From: Brian Norris <banorris@uci.edu>
Date: Fri, 8 Mar 2013 02:09:18 +0000 (-0800)
Subject: ms-queue: relax the second load of head/tail
X-Git-Tag: oopsla2013-final~21
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=commitdiff_plain;h=606a0838f29e24305626a4229935f2ce4d96e963;hp=606a0838f29e24305626a4229935f2ce4d96e963;ds=sidebyside

ms-queue: relax the second load of head/tail
---