A concurrent, mergable priority queue.
To use this package, run the following command in your project's root directory:
Put the following dependency into your project's dependences section:
Dub package for the Merge Array data structure, written in the D programming language.
Implements a concurrent, mergable priority queue with lock-free merge and insert and deadlock-free remove-min.
This dub package is the continuation of the work done for my Master's Thesis.
Proofs of correctness and details of guarantees can be found in the thesis pdf.
- Registered by Michael Coulombe
- ~master released 4 years ago
- Copyright © 2017, Michael Joseph Coulombe