A concurrent, mergable priority queue.
|Copyright||Copyright © 2017, Michael Joseph Coulombe|
|Registered by||Michael Coulombe|
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.