@inproceedings{bab8d877c48040dc8267ddaa89151e01,
title = "Memory tagging in charm++",
abstract = "Many scientific applications are logically decomposed into modules, each module performing a different type of computation. These modules are then linked together inside the same executable. While these modules are logically independent, they are not physically independent: a faulty module can corrupt the state of another one. By identifying the different modules inside an application, tagging the memory according to the different modules, and performing extra runtime checks, we can automatically detect certain type of errors. We implemented our idea inside the CHARM++ runtime system, where modules can be easily identified. We illustrate the validity of our approach, and evaluate its overhead.",
keywords = "Debugging, Memory debugging, Memory tagging, Parallel debugging",
author = "Filippo Gioachin and Kal{\'e}, {Laxmikant V.}",
year = "2008",
doi = "10.1145/1390841.1390845",
language = "English (US)",
isbn = "9781605580524",
series = "2008 International Symposium on Software Testing and Analysis - Proceedings of the 6th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging 2008, PADTAD'08",
booktitle = "2008 International Symposium on Software Testing and Analysis - Proceedings of the 6th Workshop on Parallel and Distributed Systems",
note = "6th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging 2008, PADTAD'08 ; Conference date: 20-07-2007 Through 21-07-2007",
}