projects / urcu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d4de486) | patch
Add multicoreverif paper ticketlock and spinlock models
authorMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Sat, 26 Sep 2009 06:53:44 +0000 (02:53 -0400)
committerMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Sat, 26 Sep 2009 06:53:44 +0000 (02:53 -0400)
commit656c7dc16c88b6683727087013c702687dfd022b
treef053cfebf02bf834a14567a1dbbdeaaeeae5cf6ftree | snapshot
parentd4de486929b21b452a6fd94f2ca6c906c0f6b6b2commit | diff
Add multicoreverif paper ticketlock and spinlock models

Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
17 files changed:
formal-model/spinlock/DEFINES [new file with mode: 0644] blob
formal-model/spinlock/Makefile [new file with mode: 0644] blob
formal-model/spinlock/lock_progress.ltl [new file with mode: 0644] blob
formal-model/spinlock/mem-progress.spin [new file with mode: 0644] blob
formal-model/spinlock/mem.sh [new file with mode: 0644] blob
formal-model/spinlock/mem.spin [new file with mode: 0644] blob
formal-model/spinlock/refcount.ltl [new file with mode: 0644] blob
formal-model/spinlock/references.txt [new file with mode: 0644] blob
formal-model/ticketlock/DEFINES [new file with mode: 0644] blob
formal-model/ticketlock/Makefile [new file with mode: 0644] blob
formal-model/ticketlock/config_4_bits_per_byte.define [new file with mode: 0644] blob
formal-model/ticketlock/lock_progress.ltl [new file with mode: 0644] blob
formal-model/ticketlock/mem-progress.spin [new file with mode: 0644] blob
formal-model/ticketlock/mem.sh [new file with mode: 0644] blob
formal-model/ticketlock/mem.spin [new file with mode: 0644] blob
formal-model/ticketlock/refcount.ltl [new file with mode: 0644] blob
formal-model/ticketlock/references.txt [new file with mode: 0644] blob
Userspace RCU (urcu) for Linux
This page took 0.025596 seconds and 4 git commands to generate.