projects / model-checker-benchmarks.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5887dab) | patch
deque: add "proven correct" work-stealing Chase-Lev deque
authorBrian Norris <banorris@uci.edu>
Tue, 5 Mar 2013 01:00:52 +0000 (17:00 -0800)
committerBrian Norris <banorris@uci.edu>
Tue, 5 Mar 2013 01:52:05 +0000 (17:52 -0800)
commite7fb1d3fca70b9f871b961f2f3c3443d4955a3b4
tree203408fcfd24b4ebdb56a2e2684008b1f1cfe028tree | snapshot
parent5887dab329c26edc05ebd1e323371a419a81cda5commit | diff
deque: add "proven correct" work-stealing Chase-Lev deque

From the PPoPP 2013 paper "Correct and efficient work-stealing for weak
memory models"

By:

  Nhat Minh Lê
  Antoniu Pop
  Albert Cohen
  Francesco Zappa Nardelli

Citation URL:

  http://dl.acm.org/citation.cfm?id=2442524
chase-lev-deque/deque.c [new file with mode: 0644] blob
C++11 memory model checker benchmarks