Userspace RCU

urcu:urcu/futex

  1. Git
  2. lp:urcu
  3. 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>

Add multiple reader queues to futex model

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

9b35d5d... by Mathieu Desnoyers <email address hidden>

Cleanup promela code for wakeup verif

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

4ccf3e7... by Mathieu Desnoyers <email address hidden>

Remove stale file

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

656c7dc... by Mathieu Desnoyers <email address hidden>

Add multicoreverif paper ticketlock and spinlock models

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

d4de486... by Mathieu Desnoyers <email address hidden>

Add futex wakeup spin model

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

bc6c15b... by Mathieu Desnoyers <email address hidden>

Add futex support to accelerate synchronize_rcu() on UP

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

8fd3b21... by Mathieu Desnoyers <email address hidden>

urcu-defer: fix futex wakeup value

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

17999ad... by Mathieu Desnoyers <email address hidden>

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>

Add missing include compiler.h

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

6ee91d8... by Mathieu Desnoyers <email address hidden>

rcu torture and api.h: remove duplicated atomic primitives

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