Sciweavers

IWMM
2010
Springer
140views Hardware» more  IWMM 2010»
14 years 2 months ago
Parametric inference of memory requirements for garbage collected languages
The accurate prediction of program's memory requirements is a critical component in software development. Existing heap space analyses either do not take deallocation into ac...
Elvira Albert, Samir Genaim, Miguel Gómez-Z...
IWMM
2010
Springer
125views Hardware» more  IWMM 2010»
14 years 2 months ago
Efficient memory shadowing for 64-bit architectures
Shadow memory is used by dynamic program analysis tools to store metadata for tracking properties of application memory. The efficiency of mapping between application memory and s...
Qin Zhao, Derek Bruening, Saman P. Amarasinghe
IWMM
2010
Springer
211views Hardware» more  IWMM 2010»
14 years 2 months ago
Concurrent, parallel, real-time garbage-collection
With the current developments in CPU implementations, it becomes obvious that ever more parallel multicore systems will be used even in embedded controllers that require real-time...
Fridtjof Siebert
IWMM
2010
Springer
137views Hardware» more  IWMM 2010»
14 years 4 months ago
The locality of concurrent write barriers
Concurrent and incremental collectors require barriers to ensure correct synchronisation between mutator and collector. The overheads imposed by particular barriers on particular ...
Laurence Hellyer, Richard Jones, Antony L. Hosking
IWMM
2010
Springer
118views Hardware» more  IWMM 2010»
14 years 5 months ago
Speculative parallelization using state separation and multiple value prediction
With the availability of chip multiprocessor (CMP) and simultaneous multithreading (SMT) machines, extracting thread level parallelism from a sequential program has become crucial...
Chen Tian, Min Feng, Rajiv Gupta
IWMM
2010
Springer
157views Hardware» more  IWMM 2010»
14 years 5 months ago
Tracing garbage collection on highly parallel platforms
The pervasiveness of multiprocessor and multicore hardware and the rising level of available parallelism are radically changing the computing landscape. Can software deal with tom...
Katherine Barabash, Erez Petrank
IWMM
2010
Springer
214views Hardware» more  IWMM 2010»
14 years 5 months ago
The economics of garbage collection
This paper argues that economic theory can improve our understanding of memory management. We introduce the allocation curve, as an analogue of the demand curve from microeconomic...
Jeremy Singer, Richard E. Jones, Gavin Brown, Mike...
IWMM
2010
Springer
173views Hardware» more  IWMM 2010»
14 years 5 months ago
CETS: compiler enforced temporal safety for C
Temporal memory safety errors, such as dangling pointer dereferences and double frees, are a prevalent source of software bugs in unmanaged languages such as C. Existing schemes t...
Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Mar...