2009-06-09 |
Mathieu Desnoyers | Move test start time closer to enable |
commit | commitdiff | tree | snapshot |
2009-06-09 |
Mathieu Desnoyers | Add rwlock scalability test |
commit | commitdiff | tree | snapshot |
2009-06-09 |
Mathieu Desnoyers | Add scalability qsbr test |
commit | commitdiff | tree | snapshot |
2009-06-09 |
Mathieu Desnoyers | Modify test_urcu to make more suitable for scalability... |
commit | commitdiff | tree | snapshot |
2009-06-08 |
Mathieu Desnoyers | Add number of reader/writers parameters to tests |
commit | commitdiff | tree | snapshot |
2009-06-08 |
Mathieu Desnoyers | Add QSBR RCU timing tests |
commit | commitdiff | tree | snapshot |
2009-06-08 |
Mathieu Desnoyers | update test timings for writer |
commit | commitdiff | tree | snapshot |
2009-06-08 |
Mathieu Desnoyers | Add per thread lock test case |
commit | commitdiff | tree | snapshot |
2009-06-04 |
Mathieu Desnoyers | Another ooo mem isched update |
commit | commitdiff | tree | snapshot |
2009-06-04 |
Mathieu Desnoyers | Update isched ooomem model |
commit | commitdiff | tree | snapshot |
2009-06-04 |
Mathieu Desnoyers | Update ooo isched test |
commit | commitdiff | tree | snapshot |
2009-06-04 |
Mathieu Desnoyers | Use nicer LTL formula with eventually for ooomem model |
commit | commitdiff | tree | snapshot |
2009-06-04 |
Mathieu Desnoyers | Add speculative execution (prefetch) to model |
commit | commitdiff | tree | snapshot |
2009-06-03 |
Mathieu Desnoyers | Fix comment on top of oomem two writes model |
commit | commitdiff | tree | snapshot |
2009-06-03 |
Mathieu Desnoyers | Add Intel ipi urcu model run results |
commit | commitdiff | tree | snapshot |
2009-06-03 |
Mathieu Desnoyers | Add multiple arch support (alpha, intel, powerpc) |
commit | commitdiff | tree | snapshot |
2009-05-30 |
Mathieu Desnoyers | Verification run #1, ipi and no-ipi results |
commit | commitdiff | tree | snapshot |
2009-05-30 |
Mathieu Desnoyers | Model used for ipi verification run #1 |
commit | commitdiff | tree | snapshot |
2009-05-29 |
Mathieu Desnoyers | Configuration for remote barrier formal verif run |
commit | commitdiff | tree | snapshot |
2009-05-28 |
Mathieu Desnoyers | Update spin model |
commit | commitdiff | tree | snapshot |
2009-05-27 |
Mathieu Desnoyers | Use define SLAB_SIZE in promela model |
commit | commitdiff | tree | snapshot |
2009-05-27 |
Mathieu Desnoyers | urcu model wmb/read barrier depend |
commit | commitdiff | tree | snapshot |
2009-05-27 |
Paul E. McKenney | Add .gitignore entries to reduce 'git status' chatter |
commit | commitdiff | tree | snapshot |
2009-05-26 |
Paul E. McKenney | catch urcu-paulmck.spin to my local version |
commit | commitdiff | tree | snapshot |
2009-05-26 |
Mathieu Desnoyers | sync_core to smp_mb transition |
commit | commitdiff | tree | snapshot |
2009-05-20 |
Mathieu Desnoyers | Fix standard (no remote barrier) parity flip bug |
commit | commitdiff | tree | snapshot |
2009-05-20 |
Mathieu Desnoyers | Special-case reader/writer busy-loop for signals in... |
commit | commitdiff | tree | snapshot |
2009-05-20 |
Mathieu Desnoyers | Fix single flip test |
commit | commitdiff | tree | snapshot |
2009-05-20 |
Mathieu Desnoyers | Fix urcu controldataflow model remote barriers |
commit | commitdiff | tree | snapshot |
2009-05-19 |
Mathieu Desnoyers | Document update in urcu.spin header |
commit | commitdiff | tree | snapshot |
2009-05-19 |
Mathieu Desnoyers | Add extended urcu model with ooo mem and instruction... |
commit | commitdiff | tree | snapshot |
2009-05-19 |
Mathieu Desnoyers | Support gcc which does not support constructor attribute |
commit | commitdiff | tree | snapshot |
2009-05-19 |
Steven Munroe | Fix opensuse powerpc build |
commit | commitdiff | tree | snapshot |
2009-05-16 |
Mathieu Desnoyers | Document thread registration in urcu.h |
commit | commitdiff | tree | snapshot |
2009-05-16 |
Mathieu Desnoyers | Document rcu_register_thread in README |
commit | commitdiff | tree | snapshot |
2009-05-15 |
Mathieu Desnoyers | Update ooo mem model comments |
commit | commitdiff | tree | snapshot |
2009-05-15 |
Mathieu Desnoyers | Remove old memory models |
commit | commitdiff | tree | snapshot |
2009-05-15 |
Mathieu Desnoyers | Update out of order memory models to include instructio... |
commit | commitdiff | tree | snapshot |
2009-05-15 |
Mathieu Desnoyers | Move reader barrier within if statement for outermost... |
commit | commitdiff | tree | snapshot |
2009-05-13 |
Mathieu Desnoyers | Use sync_core() in the write side to match current... |
commit | commitdiff | tree | snapshot |
2009-05-13 |
Mathieu Desnoyers | add sync_core primitive |
commit | commitdiff | tree | snapshot |
2009-05-13 |
Mathieu Desnoyers | Add rewrite of rep_nop |
commit | commitdiff | tree | snapshot |
2009-05-13 |
Mathieu Desnoyers | Remove rep_nop() (GPL) |
commit | commitdiff | tree | snapshot |
2009-05-13 |
Mathieu Desnoyers | LGPLv2.1 relicensing statement |
commit | commitdiff | tree | snapshot |
2009-05-13 |
Mathieu Desnoyers | Apply MIT-style license to compiler.h |
commit | commitdiff | tree | snapshot |
2009-05-13 |
Mathieu Desnoyers | Rewrite of likely, unlikely, barrier and ACCESS_ONCE |
commit | commitdiff | tree | snapshot |
2009-05-13 |
Mathieu Desnoyers | Removing GPL likely, unlikely, ACCESS_ONCE and barrier |
commit | commitdiff | tree | snapshot |
2009-05-13 |
Mathieu Desnoyers | Create separate document for relicensing details |
commit | commitdiff | tree | snapshot |
2009-05-13 |
Paul E. McKenney | Fix some typos in PowerPC support code. |
commit | commitdiff | tree | snapshot |
2009-05-12 |
Mathieu Desnoyers | Remove bogus comment. |
commit | commitdiff | tree | snapshot |
2009-05-12 |
Mathieu Desnoyers | Implementation of xchg primitives derived from MIT... |
commit | commitdiff | tree | snapshot |
2009-05-11 |
Mathieu Desnoyers | Add Paul's URCU model |
commit | commitdiff | tree | snapshot |
2009-05-11 |
Mathieu Desnoyers | Fix arch_ppc precompiler error |
commit | commitdiff | tree | snapshot |
2009-05-11 |
Mathieu Desnoyers | Fix precompiler error in arch_*.h, add arch-api test |
commit | commitdiff | tree | snapshot |
2009-05-11 |
Mathieu Desnoyers | Add final license to test file, cleanup makefile |
commit | commitdiff | tree | snapshot |
2009-05-11 |
Mathieu Desnoyers | Remove automatically generated api.h from repository |
commit | commitdiff | tree | snapshot |
2009-05-11 |
Mathieu Desnoyers | Add missing urcu-static.h |
commit | commitdiff | tree | snapshot |
2009-05-11 |
Mathieu Desnoyers | LGPL relicensing part 2 |
commit | commitdiff | tree | snapshot |
2009-05-11 |
Mathieu Desnoyers | LGPLv2.1 relicensing |
commit | commitdiff | tree | snapshot |
2009-05-09 |
Mathieu Desnoyers | Add ACCESS_ONCE to _STORE_SHARED |
commit | commitdiff | tree | snapshot |
2009-05-09 |
Paul E. McKenney | LGPL relicensing of IBM's contributions |
commit | commitdiff | tree | snapshot |
2009-05-08 |
Mathieu Desnoyers | formal verif : move bits produced declarations closer... |
commit | commitdiff | tree | snapshot |
2009-05-08 |
Mathieu Desnoyers | Add no sync_core() test to ooo two writes model |
commit | commitdiff | tree | snapshot |
2009-05-08 |
Mathieu Desnoyers | Add instruction scheduling model using SSA model |
commit | commitdiff | tree | snapshot |
2009-05-08 |
Mathieu Desnoyers | Add readme file |
commit | commitdiff | tree | snapshot |
2009-05-08 |
Mathieu Desnoyers | Remove arch.h |
commit | commitdiff | tree | snapshot |
2009-05-08 |
Mathieu Desnoyers | Add missing arch.h |
commit | commitdiff | tree | snapshot |
2009-04-27 |
Mathieu Desnoyers | Add ooo mem instruction scheduling |
commit | commitdiff | tree | snapshot |
2009-04-26 |
Mathieu Desnoyers | Remove unneeded signal in the cache-coherent case |
commit | commitdiff | tree | snapshot |
2009-04-21 |
Paul E. McKenney | Minor fix to userspace-rcu Makefile |
commit | commitdiff | tree | snapshot |
2009-04-18 |
Paul E. McKenney | Support kernels with broken signal delivery |
commit | commitdiff | tree | snapshot |
2009-04-18 |
Paul E. McKenney | Add x86 and ppc arch definitions |
commit | commitdiff | tree | snapshot |
2009-04-12 |
Mathieu Desnoyers | change reader_data for reader_registry |
commit | commitdiff | tree | snapshot |
2009-04-10 |
Paul E. McKenney | Split out architecture-dependent definitions into api... |
commit | commitdiff | tree | snapshot |
2009-04-08 |
Mathieu Desnoyers | Don't mix pthread sleepable lock with busy-waiting... |
commit | commitdiff | tree | snapshot |
2009-04-06 |
Mathieu Desnoyers | Use more standard flags |
commit | commitdiff | tree | snapshot |
2009-04-06 |
Mathieu Desnoyers | Check double write read order |
commit | commitdiff | tree | snapshot |
2009-04-01 |
Mathieu Desnoyers | Commit urcu verif results |
commit | commitdiff | tree | snapshot |
2009-04-01 |
Mathieu Desnoyers | Commit for tests |
commit | commitdiff | tree | snapshot |
2009-03-30 |
Mathieu Desnoyers | Execute sig handler unconditionnally |
commit | commitdiff | tree | snapshot |
2009-03-29 |
Mathieu Desnoyers | RCU signal handler reader over reader |
commit | commitdiff | tree | snapshot |
2009-03-19 |
Mathieu Desnoyers | remove duplicate ooo_mem statements |
commit | commitdiff | tree | snapshot |
2009-03-19 |
Mathieu Desnoyers | add missing ooo_mem() to writer model |
commit | commitdiff | tree | snapshot |
2009-03-19 |
compudj | spin model : inline reader |
commit | commitdiff | tree | snapshot |
2009-03-02 |
compudj | Add documentation of urcu |
commit | commitdiff | tree | snapshot |
2009-02-27 |
Mathieu Desnoyers | Add remote barrier model |
commit | commitdiff | tree | snapshot |
2009-02-26 |
Mathieu Desnoyers | Fix makefile, set default nesting to 2 |
commit | commitdiff | tree | snapshot |
2009-02-26 |
Mathieu Desnoyers | Default nesting level to 1 (< 2) |
commit | commitdiff | tree | snapshot |
2009-02-26 |
Mathieu Desnoyers | Add reader nesting test |
commit | commitdiff | tree | snapshot |
2009-02-25 |
Mathieu Desnoyers | Add independent reader and writer progress checks |
commit | commitdiff | tree | snapshot |
2009-02-23 |
Mathieu Desnoyers | dual writer fix |
commit | commitdiff | tree | snapshot |
2009-02-23 |
Mathieu Desnoyers | Run 2 writers and show single flip error case |
commit | commitdiff | tree | snapshot |
2009-02-23 |
Mathieu Desnoyers | Add ooomem and urcu checks |
commit | commitdiff | tree | snapshot |
2009-02-20 |
Paul E. McKenney | Restructure urcu_updater() to more accurately reflect... |
commit | commitdiff | tree | snapshot |
2009-02-20 |
Paul E. McKenney | Remove spurious read-side infinite loops. |
commit | commitdiff | tree | snapshot |
2009-02-13 |
Mathieu Desnoyers | Add _STORE_SHARED() and _LOAD_SHARED() |
commit | commitdiff | tree | snapshot |
2009-02-13 |
Mathieu Desnoyers | Turn *_REMOTE into *_SHARED |
commit | commitdiff | tree | snapshot |
2009-02-12 |
Mathieu Desnoyers | Add missing cpu_relax in loop |
commit | commitdiff | tree | snapshot |
2009-02-12 |
Mathieu Desnoyers | Fix compiler error. |
commit | commitdiff | tree | snapshot |
2009-02-12 |
Mathieu Desnoyers | Add smp_mc() to force_mb_single_thread so we don't... |
commit | commitdiff | tree | snapshot |
next |