2009-05-15 | Move reader barrier within if statement for outermost... Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-13 | Use sync_core() in the write side to match current... Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-13 | add sync_core primitive Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-13 | Add rewrite of rep_nop Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-13 | Remove rep_nop() (GPL) Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-13 | LGPLv2.1 relicensing statement Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-13 | Apply MIT-style license to compiler.h Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-13 | Rewrite of likely, unlikely, barrier and ACCESS_ONCE Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-13 | Removing GPL likely, unlikely, ACCESS_ONCE and barrier Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-13 | Create separate document for relicensing details Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-13 | Fix some typos in PowerPC support code. Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-12 | Remove bogus comment. Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-12 | Implementation of xchg primitives derived from MIT... Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-11 | Add Paul's URCU model Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-11 | Fix arch_ppc precompiler error Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-11 | Fix precompiler error in arch_*.h, add arch-api test Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-11 | Add final license to test file, cleanup makefile Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-11 | Remove automatically generated api.h from repository Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-11 | Add missing urcu-static.h Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-11 | LGPL relicensing part 2 Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-11 | LGPLv2.1 relicensing Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-09 | Add ACCESS_ONCE to _STORE_SHARED Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-09 | LGPL relicensing of IBM's contributions |
commit | commitdiff | tree | |
2009-05-08 | formal verif : move bits produced declarations closer... Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-08 | Add no sync_core() test to ooo two writes model Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-08 | Add instruction scheduling model using SSA model Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-08 | Add readme file Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-08 | Remove arch.h Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-08 | Add missing arch.h Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-04-27 | Add ooo mem instruction scheduling Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-04-26 | Remove unneeded signal in the cache-coherent case Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-04-21 | Minor fix to userspace-rcu Makefile Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-04-18 | Support kernels with broken signal delivery Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-04-18 | Add x86 and ppc arch definitions Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-04-12 | change reader_data for reader_registry Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-04-10 | Split out architecture-dependent definitions into api... Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-04-08 | Don't mix pthread sleepable lock with busy-waiting... Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-04-06 | Use more standard flags Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-04-06 | Check double write read order |
commit | commitdiff | tree | |
2009-04-01 | Commit urcu verif results Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-04-01 | Commit for tests Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-03-30 | Execute sig handler unconditionnally Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-03-29 | RCU signal handler reader over reader Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-03-19 | remove duplicate ooo_mem statements Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-03-19 | add missing ooo_mem() to writer model Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-02-27 | Add remote barrier model Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-02-26 | Fix makefile, set default nesting to 2 Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-02-26 | Default nesting level to 1 (< 2) Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-02-26 | Add reader nesting test Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-02-25 | Add independent reader and writer progress checks Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-02-23 | dual writer fix Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-02-23 | Run 2 writers and show single flip error case Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-02-23 | Add ooomem and urcu checks Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-02-20 | Restructure urcu_updater() to more accurately reflect... Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-02-20 | Remove spurious read-side infinite loops. Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-02-13 | Add _STORE_SHARED() and _LOAD_SHARED() Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-02-13 | Turn *_REMOTE into *_SHARED Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-02-12 | Add missing cpu_relax in loop Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-02-12 | Fix compiler error. Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-02-12 | Add smp_mc() to force_mb_single_thread so we don't... Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-02-12 | Add gitignore files Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-02-12 | Support architectures with non-coherent caches Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-02-12 | Add support for x86 older than P4, with CONFIG_HAS_FENCE... Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-02-12 | Fix warnings in urcutorture and use access once in... Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-02-12 | Fix formal model nesting Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-02-12 | Add read/write counts to test Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-02-12 | Fix force_mb_all_threads must be called within internal... Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-02-12 | Add barriers Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-02-12 | Remove debug yield statements Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-02-12 | use smp_*mb() Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-02-12 | Add Promela model Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-02-11 | Add missing memory barriers to ensure progress and... Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-02-10 | Enhance test cases Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-02-09 | Add comment in rcu_add_lock Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-02-09 | Fix 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 | Fix RCU_GP_CTR_BIT Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-02-09 | Fix data type, should now be long rather than int. Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-02-09 | Raise 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 | Fix get_cycles for 32-bits x86 Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-02-09 | don't __USE_GNU in urcu.h Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-02-09 | Include pthread.h in urcu.h Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-02-09 | Add branch prediction, fix xchg for -mtune=core2 Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-02-09 | Add urcu-asm.c Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-02-09 | Add rcutorture with yield Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-02-09 | Add rcutorture Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-02-09 | Fix lock -> unlock in synchronize_rcu Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-02-09 | Use xchg in publish content Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-02-09 | Add rcu_assign_pointer Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-02-09 | Remove parameter from rcu_read_lock() Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-02-09 | Add randomness to yield debug test Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-02-09 | Add DEBUG_YIELD, add test duration Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-02-08 | Change API Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-02-08 | Add timing tests Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-02-08 | Do two parity flip in the writer to fix race condition Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-02-07 | test_urcu.c: use gettid() |
commit | commitdiff | tree | |
2009-02-06 | URCU : use pthread_equal() Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-02-06 | Run longer tests Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-02-06 | update Makefile, -Wall |
commit | commitdiff | tree | |
2009-02-06 | remove ugly gcc warning removal ack, simply cast the... |
commit | commitdiff | tree | |
2009-02-06 | add acknowledgements, fix gcc warnings |
commit | commitdiff | tree | |
next |