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