Makefiles: use appropriate preprocessor vs. compiler flags We should differentiate preprocessor vs. C++ compiler vs. C compiler flags, according to the CPPFLAGS, CXXFLAGS, and CFLAGS conventions. That way we can, for instance, easily add the appropriate --std=XXX flags necessary for compiling with a C++11 (or C++0x) or C11 (or C1x) compliant compiler.
spsc-queue: add spsc-relacy build Now we can test a version of spsc-queue using Relacy. There were some small modifications necessary, so I duplicated the source code, renamed with "-relacy" in the name. To use it, you need to do something like the following, from the spsc-queue directory: make RELACYPATH=/path-to-relacy ./spsc-relacy
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.