2009-09-26 | Add multiple reader queues to futex model ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-26 | Cleanup promela code for wakeup verif ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-26 | Remove stale file ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-26 | Add multicoreverif paper ticketlock and spinlock models ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-26 | Add futex wakeup spin model ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-25 | Add futex support to accelerate synchronize_rcu() on UP ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-24 | urcu-defer: fix futex wakeup value ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-24 | Remove extra LDFLAGS from makefile ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-24 | Add missing include compiler.h ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-24 | rcu torture and api.h: remove duplicated atomic primitives ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-24 | test_atomic: test for byte/short atomic support ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-23 | ppc atomic: fix atomic_dec/inc ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-23 | urcu-defer: remove dependency on linux/futex.h ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-23 | urcu: Move urcu_init within ifdef ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-23 | atomic ppc: fix missing casts and inline ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-23 | urcu-defer: ensure callbacks will never be enqueued... ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-23 | Fix urcu-defer: add missing brackets. ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-23 | Cleanup: remove debug code form urcu-defer.c ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-23 | Move urcu_defer_queue to urcu-defer.c ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-23 | urcu-defer: make call_rcu() energy efficient using... ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-23 | Add offsetof to compiler.h ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-22 | add rcu_cmpxchg_pointer ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-22 | remove volatile from prototypes in atomic code ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-22 | update ppc atomic ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-22 | update x86 and ppc atomic ops ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-22 | Add powerpc atomic operations ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-22 | update x86_64 cmpxchg ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-22 | Update atomic x86_64 cmpxchg ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-22 | makefile update ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-22 | Add inc/dec x86 atomics ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-22 | update x86 atomic, add test atomic ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-22 | extend x86 atomic operations ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-21 | Add missing files in make clean ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-20 | urcu-defer: remove unnecessary memory barrier ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-20 | urcu-defer: Add fast path for empty queues ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-20 | urcu-defer: cleanup debug code ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-20 | Deferral test update ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-20 | generic urcu deferral (call_rcu()) ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-20 | Rename liburcu-reclaim to liburcu-defer ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-19 | urcu-reclaim cleanup ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-19 | Update header heading ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-19 | Add rcu-reclaim.so library ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-19 | add static declarations ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-18 | qsbr: Add write+read thread support to 32-bit QSBR ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-18 | QSBR: Implement 2-phase grace period for 32-bit arch ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-18 | Permit both 32 and 64-bit builds ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-18 | Default to architecture size, add Makefile32 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-18 | Update makefile to compiler for 32-bit architectures... ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-18 | Rename define ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-18 | Fix urcu.c comment ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-18 | qsbr: use defines to clarify code. ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-17 | qsbr: portability fixes: use unsigned long for the... ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-17 | qsbr: micro optimization of the gp use. ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-16 | rename QSBR force_mb_all_threads to smp_mb ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-16 | Move mb() outside of the synchronize C.S. ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-16 | Ensure LOAD_SHARED/STORE_SHARED semantic is used in... ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-16 | QSBR offline thread micro-optimization ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-16 | Expose nop QSBR read lock to non-GPL/LGPL programs ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-15 | Update README (again) ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-15 | update README ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-15 | Rename CONFIG_URCU_AVOID_SIGNALS to URCU_MB, and README... ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-15 | Revert "qsbr urcu: make it safe to call rcu_sychronize... ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-15 | qsbr urcu: make it safe to call rcu_sychronize from... ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-15 | Build urcu-qsbr.so library, update README ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-15 | urcu qsbr: add DEBUG_RCU self check ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-15 | update README ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-15 | urcu qsbr: move thread online after add reader ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-05 | update rcu_dereference comment ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-09-05 | Document access ordering of rcu_dereference wrt VSS ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-08-30 | add global include Makefile ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-08-30 | Move test programs to tests/ subdir ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-07-08 | Move DEBUG_FULL_MB to properly named CONFIG_URCU_AVOID_SIGNALS ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-29 | update license ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-29 | Update license files and readme ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-26 | Add runpaul-phase6.sh ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-26 | Fix phase5 test log collection ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-23 | Add local reclaim tests ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-22 | Update phase3 batch size ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-22 | Add phase 5 test, educated guess for batch size 32768 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-22 | Update default batch size to 32768, after removal of... ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-22 | Remote mutex from RCU write-side ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-22 | Protect shared affinity table with mutex ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-22 | Deal with kernel affinity bug for tests ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-20 | Test qsbr debug ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-20 | Add verbose debug to test_qsbr ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-19 | Add test phase 4 for striding ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-18 | Add verif results ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-18 | Add nosched model results (for signal readers) ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-18 | Cleanup verif directory. ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-18 | Add phase 3 : scalability run ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-18 | Put back 4096 for runall.sh batch size ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-18 | update runtests.sh ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-18 | Update runall.sh default batch size ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-18 | Make batch test shorter ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-18 | Add 2 phases test ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-18 | Add "runpaul.sh" test script ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-18 | Fix makefile ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-18 | Add more batch sizes to tests, just in case ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-18 | Update default value for batch size ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
2009-06-18 | Fix gc tests ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree | |
next |