How do you lock a skip list for concurrent inserts without rotations blocking readers?
Each node has a lock only on its forward pointers, not the node itself. An inserter locks the predecessor pointers it will modify, inserts at the base level, then unlocks before promoting—readers never block on insertion. Compare this to tree rotations, which need to lock multiple parent-child relationships simultaneously. The simplicity is why lock-free skip list implementations (CAS loops, no mutexes) are so much more practical than lock-free trees.
Answered in
Skip Lists: The Shortcut Nobody RotatesBalanced trees rebalance with rotations. Skip lists layer express lanes with random promotion—same O(log n) search, simpler locking.
Read the full analysisOther questions this article answers
More system design questions
- Why doesn't Google just run Dijkstra faster?
- What is a shortcut edge and when is it precomputed?
- How much space do shortcut edges take compared to the original graph?
- Can Contraction Hierarchies handle dynamic graphs like traffic or road closure?
- Why contract low-degree nodes first instead of high-degree ones?
- What is a CRDT and why does it matter for real-time collaboration?
- How do CRDTs handle concurrent edits without a central server referee?
- Why did Figma move from operational transforms to CRDTs?
Every answer on Crashtech is written by the editor of the article it comes from — never auto-summarised. Browse all answers or the System Design beat.