From: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Date: Sat, 26 Sep 2009 06:53:44 +0000 (-0400)
Subject: Add multicoreverif paper ticketlock and spinlock models
X-Git-Tag: v0.1~29
X-Git-Url: http://git.lttng.org/?a=commitdiff_plain;h=656c7dc16c88b6683727087013c702687dfd022b;hp=656c7dc16c88b6683727087013c702687dfd022b;p=urcu.git

Add multicoreverif paper ticketlock and spinlock models

Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
---