article · IEEE Transactions on Parallel and Distributed Systems · 2004
A framework to capture dynamic data structures in pointer-based codes
Francisco Corbera, Rafael Asenjo, Emilio L. Zapata
Cited by 8Abstract and details only
Abstract
To successfully exploit all the possibilities of current computer/multicomputer architectures, optimization compiling techniques are a must. However, for codes based on pointers and dynamic data structures, these optimization techniques have to be necessarily carried out after identifying the characteristics and properties of the data structure used in the code. We describe the framework and the analyzer we have implemented to capture complex data structures generated, traversed, and modified in codes based on pointers. Our method assigns a reduced set of reference shape graph (RSRSG) to each statement to approximate the shape of the data structure after the execution of such a statement. With the properties and operations that define the behavior of our RSRSG, the method can accurately detect complex recursive data structures such as a doubly linked list of pointers to trees where the leaves point to additional lists. Several experiments are carried out with real codes to validate the capabilities of our analyzer.
Cite this paper
Corbera, F., Asenjo, R., & Zapata, E. L. (2004). A framework to capture dynamic data structures in pointer-based codes. IEEE Transactions on Parallel and Distributed Systems, 15(2), 151–166. https://doi.org/10.1109/tpds.2004.1264798
Corbera, Francisco, et al. “A framework to capture dynamic data structures in pointer-based codes.” IEEE Transactions on Parallel and Distributed Systems, vol. 15, no. 2, 2004, pp. 151–66, https://doi.org/10.1109/tpds.2004.1264798.
Corbera, Francisco, Rafael Asenjo, and Emilio L. Zapata. 2004. “A framework to capture dynamic data structures in pointer-based codes.” IEEE Transactions on Parallel and Distributed Systems 15 (2): 151–66. https://doi.org/10.1109/tpds.2004.1264798.
Corbera, F., Asenjo, R. and Zapata, E.L. (2004) ‘A framework to capture dynamic data structures in pointer-based codes’, IEEE Transactions on Parallel and Distributed Systems, 15(2), pp. 151–166. Available at: https://doi.org/10.1109/tpds.2004.1264798.
@article{corbera2004framework,
title = {{A framework to capture dynamic data structures in pointer-based codes}},
author = {Corbera, Francisco and Asenjo, Rafael and Zapata, Emilio L.},
journal = {IEEE Transactions on Parallel and Distributed Systems},
volume = {15},
number = {2},
pages = {151--166},
year = {2004},
doi = {10.1109/tpds.2004.1264798}
}Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.