Sciweavers

743 search results - page 12 / 149
» Realtime garbage collection
Sort
View
IFL
1997
Springer
158views Formal Methods» more  IFL 1997»
13 years 11 months ago
A Compacting Garbage Collector for Unidirectional Heaps
A unidirectional heap is a heap where all pointers go in one direction, e.g. from newer to older objects. For a strict functional language, such as Erlang, the heap may be arranged...
Kent Boortz, Dan Sahlin
MICRO
2000
IEEE
137views Hardware» more  MICRO 2000»
14 years 15 hour ago
Relational profiling: enabling thread-level parallelism in virtual machines
Virtual machine service threads can perform many tasks in parallel with program execution such as garbage collection, dynamic compilation, and profile collection and analysis. Har...
Timothy H. Heil, James E. Smith
TLDI
2003
ACM
102views Formal Methods» more  TLDI 2003»
14 years 26 days ago
A typed interface for garbage collection
An important consideration for certified code systems is the interaction of the untrusted program with the runtime system, most notably the garbage collector. Most certified cod...
Joseph Vanderwaart, Karl Crary
IWMM
1992
Springer
138views Hardware» more  IWMM 1992»
13 years 11 months ago
Incremental Collection of Mature Objects
Abstract. We present a garbage collection algorithm that extends generational scavenging to collect large older generations (mature objects) non-disruptively. The algorithm's ...
Richard L. Hudson, J. Eliot B. Moss
LFP
1994
113views more  LFP 1994»
13 years 9 months ago
Collecting More Garbage
We present a method, adapted to polymorphically typed functional languages, to detect and collect more garbage than existing GCs. It can be applied to strict or lazy higher order ...
Pascal Fradet