From: Brian Norris <banorris@uci.edu>
Date: Thu, 11 Oct 2012 00:03:04 +0000 (-0700)
Subject: spsc-queue: add new benchmark
X-Git-Tag: pldi2013~43
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=commitdiff_plain;h=ced31653a84f29c3f236fb5976f1241262953914;hp=ced31653a84f29c3f236fb5976f1241262953914

spsc-queue: add new benchmark

From:
https://groups.google.com/forum/?fromgroups=#!msg/comp.programming.threads/nSSFT9vKEe0/7eD3ioDg6nEJ
---