Uniprocessor Garbage Collection Techniques.¶
Wilson, P. R. (1992). Uniprocessor Garbage Collection Techniques. Memory Management (IWMM '92).
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Garbage Collection
- Recognizing a problem as garbage collection unlocks a portable reasoning kit. Root identification comes first: whatever ambiguity exists in "what is garbage?" is concentrated in this single question. Reachability is transitive: if A is reachable and A points to B, then B is reachable — the same closure operation across all substrates, making the collector's correctness a fixed-point computation. Mark-and-sweep versus reference counting is a domain-independent design choice: tracing handles cycles but pauses; counting is incremental but cannot collect cycles unaided, and the same trade-off appears in legal claims, library curation, and organizational deprecation.
This sourceSurvey contrasting tracing (handles cycles, pauses) with reference counting (incremental, cannot collect cycles unaided).
- Recognizing a problem as garbage collection unlocks a portable reasoning kit. Root identification comes first: whatever ambiguity exists in "what is garbage?" is concentrated in this single question. Reachability is transitive: if A is reachable and A points to B, then B is reachable — the same closure operation across all substrates, making the collector's correctness a fixed-point computation. Mark-and-sweep versus reference counting is a domain-independent design choice: tracing handles cycles but pauses; counting is incremental but cannot collect cycles unaided, and the same trade-off appears in legal claims, library curation, and organizational deprecation.
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:869c79499c2b · see in the full table