From: Brian Norris <banorris@uci.edu>
Date: Fri, 12 Oct 2012 17:44:58 +0000 (-0700)
Subject: spsc-queue: don't statically construct the queue
X-Git-Tag: pldi2013~30
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=commitdiff_plain;h=2b4ad7d1230c791d6ffaf3903ff7c475c5ce3e8b;hp=2b4ad7d1230c791d6ffaf3903ff7c475c5ce3e8b

spsc-queue: don't statically construct the queue

Our model-checker doesn't support constructors which perform
model-checking actions (e.g, atomic initialization) at load time (e.g.,
in a static execution of the constructor), since this happens before the
model-check object is created. Maybe we'll fix that in the future, but
for now, don't construct the queue at load time.
---