mergearray 0.1.0

A concurrent, mergable priority queue.


To use this package, run the following command in your project's root directory:

Merge Array

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.

Dependencies

  • Phobos
  • std.experimental.allocator

Proofs

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.

Authors:
  • kirsybuu
Dependencies:
none
Versions:
0.1.0 2017-Feb-06
~master 2017-Feb-06
Show all 2 versions
Download Stats:
  • 0 downloads today

  • 0 downloads this week

  • 0 downloads this month

  • 0 downloads total

Score:
0.2
Short URL:
mergearray.dub.pm