urcu:urcu/yield

Last commit made on 2009-09-26
Get this branch:
git clone -b urcu/yield https://git.launchpad.net/urcu

Branch merges

Branch information

Name:
urcu/yield
Repository:
lp:urcu

Recent commits

2b7f706... by Mathieu Desnoyers <email address hidden> on 2009-09-26

qsbr: only mark reader thread as being waited for in contended case

Signed-off-by: Mathieu Desnoyers <email address hidden>

b648196... by Mathieu Desnoyers <email address hidden> on 2009-09-26

Don't mark reader thread as being waited for if non-contended

Signed-off-by: Mathieu Desnoyers <email address hidden>

b3c4dd1... by Mathieu Desnoyers <email address hidden> on 2009-09-26

urcu-qsbr: repeat sched_yield() loop, yield at offline rather than online.

Signed-off-by: Mathieu Desnoyers <email address hidden>

8b25e30... by Mathieu Desnoyers <email address hidden> on 2009-09-26

Only make the threads for which we are waiting call sched_yield()

Signed-off-by: Mathieu Desnoyers <email address hidden>

ae62b5e... by Mathieu Desnoyers <email address hidden> on 2009-09-26

Implement sched_yield UP support

Signed-off-by: Mathieu Desnoyers <email address hidden>

29f3806... by Mathieu Desnoyers <email address hidden> on 2009-09-26

Add multiple reader queues to futex model

Signed-off-by: Mathieu Desnoyers <email address hidden>

9b35d5d... by Mathieu Desnoyers <email address hidden> on 2009-09-26

Cleanup promela code for wakeup verif

Signed-off-by: Mathieu Desnoyers <email address hidden>

4ccf3e7... by Mathieu Desnoyers <email address hidden> on 2009-09-26

Remove stale file

Signed-off-by: Mathieu Desnoyers <email address hidden>

656c7dc... by Mathieu Desnoyers <email address hidden> on 2009-09-26

Add multicoreverif paper ticketlock and spinlock models

Signed-off-by: Mathieu Desnoyers <email address hidden>

d4de486... by Mathieu Desnoyers <email address hidden> on 2009-09-26

Add futex wakeup spin model

Signed-off-by: Mathieu Desnoyers <email address hidden>