www.cs.ox.ac.uk/people/gavin.lowe/BinomialHeap/index.html

You are here:

• Home
• People
• Gavin Lowe
• Calendar

Lock-Free Concurrent Binomial Heaps

This web page contains supporting material for my paper Lock-Free Concurrent Binomial Heaps.

• An extended version of the paper, containing proofs.
• A zip file containing the implementation for the binomial heap, and also code supporting linearizability testing and some experiments.
• A zip file containing a library of concurrency classes, some of which are used in the binomial heap implementation.