Paper Info
Title
Skadu: Efficient vector shadow memories for poly-scopic program analysis
Abstract
Shadow memory is a critical component of many dynamic program analysis frameworks with applications ranging from memory debugging to computer security. Most recent work has focused on optimizing the execution time of analyses that associate a single tag with each memory address. However, an important new class of dynamic analyses (poly-scopic analyses) requires multiple tags for each memory address. These new analyses place additional burdens on memory shadowing infrastructures, especially with regards to memory overhead. Existing shadow memory infrastructures are either unequipped to handle these additional burdens or result in runtime and memory overheads that make them impractical for all but small inputs. In this paper we propose vector shadow memories (VSMs) as an infrastructure to support poly-scopic analyses. Furthermore we introduce Skadu, a VSM implementation that employs several novel techniques to greatly reduce the runtime and memory overhead associated with the two major challenges of VSMs: tag validation and garbage collection. Our results show that on two separate poly-scopic analyses, memory footprint profiling and hierarchical critical path analysis, Skadu significantly reduces the associated memory overhead: by 14.2× and 11.4× respectively. In both cases, Skadu makes poly-scopic analysis practical for ordinary desktop and laptop machines.
Year
DOI
Venue
2013
10.1109/CGO.2013.6494985
CGO
Keywords
Field
DocType
runtime overhead,efficient vector shadow memory,memory overhead,shadow memory,vector shadow memory,memory shadowing infrastructures,additional burden,storage management,efficient vector shadow memories,computer security,poly,memory profiling,hierarchical critical path analysis,memory debugging,program debugging,memory footprint profiling,garbage collection,poly-scopic program analysis,memory address,poly-scopic analysis,poly-scopic analyses,dynamic program analysis frameworks,program diagnostics,skadu,existing shadow memory infrastructure,scopic analysis,tag validation,associated memory overhead,vsm,separate poly-scopic analysis,security of data
Physical address,Shared memory,Computer science,Parallel computing,Cache-only memory architecture,Real-time computing,Memory management,Memory map,Flat memory model,Distributed shared memory,Shadow memory
Conference
ISSN
ISBN
Citations 
2164-2397
978-1-4673-5524-7
0
PageRank 
References 
Authors
0.34
22
3
Name
Order
Citations
PageRank
Donghwan Jeon11677.25
Saturnino Garcia231120.48
Michael Bedford Taylor31707154.51