projects / urcu.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add Promela model
2009-02-12  Mathieu DesnoyersAdd Promela model
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-11  Mathieu DesnoyersAdd missing memory barriers to ensure progress and...
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-10  Mathieu DesnoyersEnhance test cases
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-09  Mathieu DesnoyersAdd comment in rcu_add_lock
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-09  Mathieu DesnoyersFix int->long and keep a reader count of 1 in the global...
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-09  Mathieu DesnoyersFix RCU_GP_CTR_BIT
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-09  Mathieu DesnoyersFix data type, should now be long rather than int.
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-09  Mathieu DesnoyersRaise the number of nested readers limit 2^16 and 2...
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-09  Mathieu DesnoyersFix get_cycles for 32-bits x86
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-09  Mathieu Desnoyersdon't __USE_GNU in urcu.h
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-09  Mathieu DesnoyersInclude pthread.h in urcu.h
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-09  Mathieu DesnoyersAdd branch prediction, fix xchg for -mtune=core2
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-09  Mathieu DesnoyersAdd urcu-asm.c
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-09  Mathieu DesnoyersAdd rcutorture with yield
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-09  Mathieu DesnoyersAdd rcutorture
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-09  Mathieu DesnoyersFix lock -> unlock in synchronize_rcu
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-09  Mathieu DesnoyersUse xchg in publish content
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-09  Mathieu DesnoyersAdd rcu_assign_pointer
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-09  Mathieu DesnoyersRemove parameter from rcu_read_lock()
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-09  Mathieu DesnoyersAdd randomness to yield debug test
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-09  Mathieu DesnoyersAdd DEBUG_YIELD, add test duration
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-08  Mathieu DesnoyersChange API
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-08  Mathieu DesnoyersAdd timing tests
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-06  Mathieu DesnoyersRun longer tests
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-06  Mathieu Desnoyersupdate Makefile, -Wall
 commit | commitdiff | tree
2009-02-06  Mathieu Desnoyersremove ugly gcc warning removal ack, simply cast the...
commit | commitdiff | tree
2009-02-06  Mathieu Desnoyersadd acknowledgements, fix gcc warnings
 commit | commitdiff | tree
2009-02-06  Mathieu Desnoyersfix wait_for_quiescent_state
 commit | commitdiff | tree
2009-02-06  Mathieu Desnoyersadd licensing
 commit | commitdiff | tree
2009-02-06  Mathieu Desnoyersmodify test values
 commit | commitdiff | tree
2009-02-06  Mathieu Desnoyersruns
 commit | commitdiff | tree
2009-02-06  Mathieu Desnoyersruns
 commit | commitdiff | tree
2009-02-06  Mathieu Desnoyersadd make clean
 commit | commitdiff | tree
2009-02-06  Mathieu Desnoyersruns
 commit | commitdiff | tree
2009-02-06  Mathieu Desnoyerscompile
 commit | commitdiff | tree
2009-02-06  Mathieu Desnoyersinit version
 commit | commitdiff | tree
Userspace RCU (urcu) for Linux
This page took 0.026283 seconds and 3 git commands to generate.