| 
|
Quote: both termination and garbage collection satisfy safety (if marked, it is terminated/garbage) and liveness (will mark if terminated/garbage)
topics >
all references >
references t-z >
Topic:
safety, liveness, and system properties
Topic:
memory management by garbage collection
Topic:
reliability of distributed systems
Quotation Skeleton
Define the termination condition as: No process is … The following two criteria specify the correctness of … [for detecting termination]. T1. Safety. If any process is in state terminated then … be in the terminated state. … [p. 6] [Compare this with the garbage collection problem.] An object is called garbage if … The following two criteria define the correctness of … an object is garbage it will eventually be … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: safety, liveness, and system properties (22 items)
Topic: memory management by garbage collection (113 items)
Topic: reliability of distributed systems (33 items)