projects / urcu.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Cleanup verif directory.
2009-05-12  Mathieu DesnoyersImplementation of xchg primitives derived from MIT...
...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-05-11  Mathieu DesnoyersAdd Paul's URCU model
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-05-11  Mathieu DesnoyersFix arch_ppc precompiler error
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-05-11  Mathieu DesnoyersFix precompiler error in arch_*.h, add arch-api test
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-05-11  Mathieu DesnoyersAdd final license to test file, cleanup makefile
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-05-11  Mathieu DesnoyersRemove automatically generated api.h from repository
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-05-11  Mathieu DesnoyersAdd missing urcu-static.h
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-05-11  Mathieu DesnoyersLGPL relicensing part 2
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-05-11  Mathieu DesnoyersLGPLv2.1 relicensing
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-05-09  Mathieu DesnoyersAdd ACCESS_ONCE to _STORE_SHARED
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-05-08  Mathieu Desnoyersformal verif : move bits produced declarations closer...
...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-05-08  Mathieu DesnoyersAdd no sync_core() test to ooo two writes model
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-05-08  Mathieu DesnoyersAdd instruction scheduling model using SSA model
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-05-08  Mathieu DesnoyersAdd readme file
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-05-08  Mathieu DesnoyersRemove arch.h
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-05-08  Mathieu DesnoyersAdd missing arch.h
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-04-27  Mathieu DesnoyersAdd ooo mem instruction scheduling
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-04-26  Mathieu DesnoyersRemove unneeded signal in the cache-coherent case
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-04-12  Mathieu Desnoyerschange reader_data for reader_registry
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-04-08  Mathieu DesnoyersDon't mix pthread sleepable lock with busy-waiting...
...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-04-06  Mathieu DesnoyersUse more standard flags
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-04-06  Mathieu DesnoyersCheck double write read order
 commit | commitdiff | tree
2009-04-01  Mathieu DesnoyersCommit urcu verif results
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-04-01  Mathieu DesnoyersCommit for tests
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-03-30  Mathieu DesnoyersExecute sig handler unconditionnally
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-03-29  Mathieu DesnoyersRCU signal handler reader over reader
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-03-19  Mathieu Desnoyersremove duplicate ooo_mem statements
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-03-19  Mathieu Desnoyersadd missing ooo_mem() to writer model
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-27  Mathieu DesnoyersAdd remote barrier model
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-26  Mathieu DesnoyersFix makefile, set default nesting to 2
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-26  Mathieu DesnoyersDefault nesting level to 1 (< 2)
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-26  Mathieu DesnoyersAdd reader nesting test
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-25  Mathieu DesnoyersAdd independent reader and writer progress checks
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-23  Mathieu Desnoyersdual writer fix
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-23  Mathieu DesnoyersRun 2 writers and show single flip error case
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-23  Mathieu DesnoyersAdd ooomem and urcu checks
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-13  Mathieu DesnoyersAdd _STORE_SHARED() and _LOAD_SHARED()
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-13  Mathieu DesnoyersTurn *_REMOTE into *_SHARED
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-12  Mathieu DesnoyersAdd missing cpu_relax in loop
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-12  Mathieu DesnoyersFix compiler error.
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-12  Mathieu DesnoyersAdd smp_mc() to force_mb_single_thread so we don't...
...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-12  Mathieu DesnoyersAdd gitignore files
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-12  Mathieu DesnoyersSupport architectures with non-coherent caches
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-12  Mathieu DesnoyersAdd support for x86 older than P4, with CONFIG_HAS_FENCE...
...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-12  Mathieu DesnoyersAdd read/write counts to test
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-12  Mathieu DesnoyersFix force_mb_all_threads must be called within internal...
...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-12  Mathieu DesnoyersAdd barriers
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-12  Mathieu DesnoyersRemove debug yield statements
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-12  Mathieu Desnoyersuse smp_*mb()
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-12  Mathieu DesnoyersAdd Promela model
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-11  Mathieu DesnoyersAdd missing memory barriers to ensure progress and...
...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-10  Mathieu DesnoyersEnhance test cases
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-09  Mathieu DesnoyersAdd comment in rcu_add_lock
 ...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...
...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-09  Mathieu DesnoyersFix RCU_GP_CTR_BIT
 ...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.
 ...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...
...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-09  Mathieu DesnoyersFix get_cycles for 32-bits x86
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-09  Mathieu Desnoyersdon't __USE_GNU in urcu.h
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-09  Mathieu DesnoyersInclude pthread.h in urcu.h
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-09  Mathieu DesnoyersAdd branch prediction, fix xchg for -mtune=core2
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-09  Mathieu DesnoyersAdd urcu-asm.c
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-09  Mathieu DesnoyersAdd rcutorture with yield
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-09  Mathieu DesnoyersAdd rcutorture
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-09  Mathieu DesnoyersFix lock -> unlock in synchronize_rcu
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-09  Mathieu DesnoyersUse xchg in publish content
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-09  Mathieu DesnoyersAdd rcu_assign_pointer
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-09  Mathieu DesnoyersRemove parameter from rcu_read_lock()
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-09  Mathieu DesnoyersAdd randomness to yield debug test
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-09  Mathieu DesnoyersAdd DEBUG_YIELD, add test duration
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-08  Mathieu DesnoyersChange API
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-08  Mathieu DesnoyersAdd timing tests
 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
 commit | commitdiff | tree
2009-02-06  Mathieu DesnoyersRun longer tests
 ...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.033888 seconds and 3 git commands to generate.