Move futex wakeup model to nto1-selective
authorMathieu Desnoyers <mathieu.desnoyers@efficios.com>
Sat, 27 Aug 2011 14:16:52 +0000 (10:16 -0400)
committerMathieu Desnoyers <mathieu.desnoyers@efficios.com>
Sat, 27 Aug 2011 14:16:52 +0000 (10:16 -0400)
commitc14f083d1667973769d0cdcf2041476b90a29fdd
treeb8948ff8901345f50e1c5f102ae06af1f54a0071
parent37acf64d444bf756e8f61e4eaa2ea96fadf84635
Move futex wakeup model to nto1-selective

Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
14 files changed:
futex-wakeup/DEFINES [deleted file]
futex-wakeup/Makefile [deleted file]
futex-wakeup/futex.ltl [deleted file]
futex-wakeup/futex.spin [deleted file]
futex-wakeup/futex_progress_inverted_waiting_vs_gp_futex.define [deleted file]
futex-wakeup/futex_progress_late_dec.define [deleted file]
futex-wakeup/futex_progress_no_wake.define [deleted file]
futex-wakeup/nto1-selective/DEFINES [new file with mode: 0644]
futex-wakeup/nto1-selective/Makefile [new file with mode: 0644]
futex-wakeup/nto1-selective/futex.ltl [new file with mode: 0644]
futex-wakeup/nto1-selective/futex.spin [new file with mode: 0644]
futex-wakeup/nto1-selective/futex_progress_inverted_waiting_vs_gp_futex.define [new file with mode: 0644]
futex-wakeup/nto1-selective/futex_progress_late_dec.define [new file with mode: 0644]
futex-wakeup/nto1-selective/futex_progress_no_wake.define [new file with mode: 0644]
This page took 0.0265300000000001 seconds and 4 git commands to generate.