A concurrent, mergable priority queue.
To use this package, run the following command in your project's root directory:
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.
- 0.1.0 released 2 years ago
- Copyright © 2017, Michael Joseph Coulombe