urcu:urcu/futex

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

Branch merges

Branch information

Name:
urcu/futex
Repository:
lp:urcu

Recent commits

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>

bc6c15b... by Mathieu Desnoyers <email address hidden> on 2009-09-25

Add futex support to accelerate synchronize_rcu() on UP

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

8fd3b21... by Mathieu Desnoyers <email address hidden> on 2009-09-24

urcu-defer: fix futex wakeup value

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

17999ad... by Mathieu Desnoyers <email address hidden> on 2009-09-24

Remove extra LDFLAGS from makefile

> cc: -lpthread: linker input file unused because linking not done

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

1315d27... by Mathieu Desnoyers <email address hidden> on 2009-09-24

Add missing include compiler.h

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

6ee91d8... by Mathieu Desnoyers <email address hidden> on 2009-09-24

rcu torture and api.h: remove duplicated atomic primitives

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