A concurrent, mergable priority queue.
To use this package, put the following dependency into your project's dependencies 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
- 0.1.0 released 2 years ago
- Copyright © 2017, Michael Joseph Coulombe