Read each question as a claim about a specific implementation. Separate expected cost from worst-case cost, sequential simulation from concurrent progress, and validated records from durable acknowledgment.
Lessons
- Online connectivity: answer after each edge change
- Persistent ordered indexes: copy search paths, share subtrees
- Framed journals: detect a torn tail before replay
- CAS queue protocol: link, help, and reclaim safely