mergearray 0.1.0

A concurrent, mergable priority queue.


To use this package, put the following dependency into your project's dependencies section:

dub.json
dub.sdl

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
Stats:
  • 0 downloads today

  • 0 downloads this week

  • 0 downloads this month

  • 1 downloads total