git.lttng.org Git - userspace-rcu.git/commit

projects / userspace-rcu.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 67ef1a2) | patch

author	Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
	Fri, 15 May 2009 20:31:18 +0000 (16:31 -0400)
committer	Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
	Fri, 15 May 2009 20:31:18 +0000 (16:31 -0400)
commit	dfa8abef9f88fd28e232b0eab9a105fc50e71959
tree	262ab5ea003baac5938ecc268e91cf41e6c7e0ce	tree \| snapshot
parent	67ef1a2cd793e5dde7db32ef5210fc002c3325cd	commit \| diff

Update out of order memory models to include instruction scheduling

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

13 files changed:

formal-model/ooomem-double-update-minimal/DEFINES	[deleted file]	blob \| blame \| history
formal-model/ooomem-double-update-minimal/Makefile	[deleted file]	blob \| blame \| history
formal-model/ooomem-double-update-minimal/mem.sh	[deleted file]	blob \| blame \| history
formal-model/ooomem-double-update-minimal/mem.spin	[deleted file]	blob \| blame \| history
formal-model/ooomem-double-update-minimal/read_order.ltl	[deleted file]	blob \| blame \| history
formal-model/ooomem-double-update-minimal/read_order_no_rmb.define	[deleted file]	blob \| blame \| history
formal-model/ooomem-double-update-minimal/read_order_no_wmb.define	[deleted file]	blob \| blame \| history
formal-model/ooomem-double-update-minimal/references.txt	[deleted file]	blob \| blame \| history
formal-model/ooomem-double-update/DEFINES		diff \| blob \| blame \| history
formal-model/ooomem-double-update/mem.spin		diff \| blob \| blame \| history
formal-model/ooomem-double-update/read_order.ltl		diff \| blob \| blame \| history
formal-model/ooomem-two-writes/Makefile		diff \| blob \| blame \| history
formal-model/ooomem-two-writes/mem.spin		diff \| blob \| blame \| history

Userspace RCU (urcu) for Linux

This page took 0.026106 seconds and 4 git commands to generate.