2009-06-13 | Added a few points to the readercs test ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-13 | Update update fraction test ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-13 | Update readcslen test to use NUM_CPUS readers ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-13 | Fix perthreadlock test ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-12 | Update fraction update ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-12 | Update update-fraction test ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-12 | Update test ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-12 | Add runall.sh test ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-12 | Fix alignment of test names ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-12 | Align the summary result ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-12 | Add verbose mode ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-12 | Print reader duration ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-12 | Delay reader in loops, not us ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-12 | Add -c option for read-side C.S. length to tests ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-10 | fix runtests.sh ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-10 | runtests include mutex test ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-10 | Add test mutex ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-10 | Add set affinity -a option to tests ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-10 | Unlikely for tests ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-10 | Add i586 i686 to Makefile ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-10 | Update readme ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-10 | Add Makefile and Makefile64 architecture autodetection ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-10 | Make sure the rwlock and per thread lock could detect... ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-10 | Fix deadlock in qsbr code ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-10 | Fix qsbr urcu implementation ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-10 | Update makefiles ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-10 | Add missing void to function declaration ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-10 | Use more lightweight timer mechanism in test ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-10 | Remove unneeded signal-based MB from QSBR rcu ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-09 | Add missing urcu-qsbr ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-09 | Add runtests.sh ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-09 | Add mb urcu flavor test ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-09 | Add perthread lock scaling test ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-09 | Move test start time closer to enable ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-09 | Add rwlock scalability test ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-09 | Add scalability qsbr test ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-09 | Modify test_urcu to make more suitable for scalability... ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-08 | Add number of reader/writers parameters to tests ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-08 | Add QSBR RCU timing tests ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-08 | update test timings for writer ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-08 | Add per thread lock test case ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-04 | Another ooo mem isched update ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-04 | Update isched ooomem model ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-04 | Update ooo isched test ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-04 | Use nicer LTL formula with eventually for ooomem model ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-04 | Add speculative execution (prefetch) to model ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-03 | Fix comment on top of oomem two writes model ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-03 | Add Intel ipi urcu model run results ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-03 | Add multiple arch support (alpha, intel, powerpc) ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-30 | Verification run #1, ipi and no-ipi results ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-30 | Model used for ipi verification run #1 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-29 | Configuration for remote barrier formal verif run ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-28 | Update spin model ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-27 | Use define SLAB_SIZE in promela model ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-27 | urcu model wmb/read barrier depend ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-26 | sync_core to smp_mb transition ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-20 | Fix standard (no remote barrier) parity flip bug ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-20 | Special-case reader/writer busy-loop for signals in... ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-20 | Fix single flip test ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-20 | Fix urcu controldataflow model remote barriers ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-19 | Document update in urcu.spin header ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-19 | Add extended urcu model with ooo mem and instruction... ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-19 | Support gcc which does not support constructor attribute ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-16 | Document thread registration in urcu.h ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-16 | Document rcu_register_thread in README ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-15 | Update ooo mem model comments ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-15 | Remove old memory models ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-15 | Update out of order memory models to include instruction... ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-15 | Move reader barrier within if statement for outermost... ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-13 | Use sync_core() in the write side to match current... ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-13 | add sync_core primitive ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-13 | Add rewrite of rep_nop ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-13 | Remove rep_nop() (GPL) ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-13 | LGPLv2.1 relicensing statement ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-13 | Apply MIT-style license to compiler.h ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-13 | Rewrite of likely, unlikely, barrier and ACCESS_ONCE ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-13 | Removing GPL likely, unlikely, ACCESS_ONCE and barrier ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-13 | Create separate document for relicensing details ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-12 | Remove bogus comment. ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-12 | Implementation of xchg primitives derived from MIT... ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-11 | Add Paul's URCU model ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-11 | Fix arch_ppc precompiler error ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-11 | Fix precompiler error in arch_*.h, add arch-api test ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-11 | Add final license to test file, cleanup makefile ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-11 | Remove automatically generated api.h from repository ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-11 | Add missing urcu-static.h ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-11 | LGPL relicensing part 2 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-11 | LGPLv2.1 relicensing ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-09 | Add ACCESS_ONCE to _STORE_SHARED ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-08 | formal verif : move bits produced declarations closer... ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-08 | Add no sync_core() test to ooo two writes model ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-08 | Add instruction scheduling model using SSA model ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-08 | Add readme file ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-08 | Remove arch.h ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-05-08 | Add missing arch.h ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-04-27 | Add ooo mem instruction scheduling ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-04-26 | Remove unneeded signal in the cache-coherent case ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-04-12 | change reader_data for reader_registry ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-04-08 | Don't mix pthread sleepable lock with busy-waiting... ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-04-06 | Use more standard flags ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
next |