Lamport simplified Dijkstra's concurrent garbage collection algorithm by recognizing that the free list handling—which Dijkstra had made a special process—could be integrated into the regular data structure, requiring no special handling.

factualpending

Speaker

Leslie Lamport

Evidence Quote

I could simplify the algorithm... that free list could just be made part of the regular data structure

Source

Turing Award Winner: Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie LamportRyan Peterman
Created: 8/12/2026, 6:17:50 PM

My Notes

Loading notes...