Shadow memory
From Wikipedia, the free encyclopedia
 |
This article or section needs to be wikified to meet Wikipedia's quality standards. Please help improve this article with relevant internal links. (March 2008) |
Shadow memory describes a computer science technique in which potentially every byte used by a program during its execution has a shadow byte or bytes. These shadow bytes are typically invisible to the original program and are used to record information about the original piece of data. The program is typically kept unaware of the existence of shadow memory by using a dynamic binary translator/instrumentor, which, among other things, may translate the original programs memory read and write operations into operations that do the original read and write and also update the shadow memory as necessary.
Naturally, this technique when implemented naively has both high slowdown and relatively large RAM requirements. The shadow memory requirements can be lessened through two level tables, similar to those used by modern operating systems for virtual memory lookup. For example, initially all first level page entries (each entry might cover 128kB) might point to a reserved "invalid" or "uninitialized" page entry. As the program reads/writes to/from a section specified by a page entry, then a new page entry is automatically created and initialized with the default values. Future reads/writes to that section will use that newly created entry.
The slowdown is harder to overcome, as each load and store must somehow result in the shadow memory being updated if 100% correctness is desired. Furthermore, modern CPUs perform relatively poorly when doing data intensive tasks due to the limits of local cache sizes.
[edit] References
- Nethercote, N. and Seward, J. 2007. How to shadow every byte of memory used by a program. In Proceedings of the 3rd international Conference on Virtual Execution Environments (San Diego, California, USA, June 13 - 15, 2007). VEE '07. ACM, New York, NY, 65-74. DOI=http://doi.acm.org/10.1145/1254810.1254820
