projects / urcu.git / search
| 2009-09-29 |  Mathieu Desnoyers | only keep formal model |
commit | commitdiff | tree |
| 2009-09-29 | Mathieu Desnoyers | Update formal model from local copy ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-29 | Mathieu Desnoyers | Remove ifndef for API_H ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-29 |  Jon Bernard | Add build support for ppc when $HOSTTYPE is "ppc" ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-29 | Mathieu Desnoyers | Separate arch_uatomic*.h from arch*.h ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-29 | Mathieu Desnoyers | Update tests api*.h ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-29 | Mathieu Desnoyers | Align registry data on cache line size ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-29 | Mathieu Desnoyers | define CACHE_LINE_SIZE in arch_*.h ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-29 | Mathieu Desnoyers | compiler.h: use stddef.h for offsetof ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-29 | Mathieu Desnoyers | Update .gitignore ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-29 | Mathieu Desnoyers | urcu-qsbr: implement list_move algorithm ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-29 | Mathieu Desnoyers | urcu (mb/signal): fix list move implementation ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-29 | Mathieu Desnoyers | urcu (mb/signal): list move ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-29 | Mathieu Desnoyers | list.h: add list_move ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-29 | Mathieu Desnoyers | urcu (signal): export urcu_init for early constructor... ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-29 | Mathieu Desnoyers | urcu-defer: use list instead of array for registry ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-29 | Mathieu Desnoyers | urcu-qsbr: Add list sanity check at lib exit ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-28 | Mathieu Desnoyers | urcu-qsbr: use linked list instead of array for registry ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-28 | Mathieu Desnoyers | urcu (signal/mb): move thread checks outside lock ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-28 | Mathieu Desnoyers | urcu (signal/mb): use linked list instead of array... ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-28 | Mathieu Desnoyers | Update list, rculist and hlist ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-28 | Mathieu Desnoyers | Add urcu list and list ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-28 | Mathieu Desnoyers | Cleanup headers ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-28 | Mathieu Desnoyers | Add missing urcu-defer.{so,h} and urcu-defer-static.h ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-27 | Mathieu Desnoyers | Document call_rcu() usage ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-27 | Mathieu Desnoyers | Add missing rcu_cmpxchg_pointer define ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-26 | Mathieu Desnoyers | Add multiple reader queues to futex model ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-26 | Mathieu Desnoyers | Cleanup promela code for wakeup verif ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-26 | Mathieu Desnoyers | Remove stale file ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-26 | Mathieu Desnoyers | Add multicoreverif paper ticketlock and spinlock models ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-26 | Mathieu Desnoyers | Add futex wakeup spin model ...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 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-24 | Mathieu Desnoyers | urcu-defer: fix futex wakeup value ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-24 | Mathieu Desnoyers | Remove extra LDFLAGS from makefile ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-24 | Mathieu Desnoyers | Add missing include compiler.h ...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 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-24 | Mathieu Desnoyers | test_atomic: test for byte/short atomic support ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-23 | Mathieu Desnoyers | ppc atomic: fix atomic_dec/inc ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-23 | Mathieu Desnoyers | urcu-defer: remove dependency on linux/futex.h ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-23 | Mathieu Desnoyers | urcu: Move urcu_init within ifdef ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-23 | Mathieu Desnoyers | atomic ppc: fix missing casts and inline ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-23 | Mathieu Desnoyers | urcu-defer: ensure callbacks will never be enqueued... ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-23 | Mathieu Desnoyers | Fix urcu-defer: add missing brackets. ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-23 | Mathieu Desnoyers | Cleanup: remove debug code form urcu-defer.c ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-23 | Mathieu Desnoyers | Move urcu_defer_queue to urcu-defer.c ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-23 | Mathieu Desnoyers | urcu-defer: make call_rcu() energy efficient using... ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-23 | Mathieu Desnoyers | Add offsetof to compiler.h ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-23 |  Paul E. McKenney | ppc atomic: Fix asm format. ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-22 | Mathieu Desnoyers | add rcu_cmpxchg_pointer ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-22 | Mathieu Desnoyers | remove volatile from prototypes in atomic code ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-22 | Mathieu Desnoyers | update ppc atomic ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-22 | Mathieu Desnoyers | update x86 and ppc atomic ops ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-22 | Mathieu Desnoyers | Add powerpc atomic operations ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-22 | Mathieu Desnoyers | update x86_64 cmpxchg ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-22 | Mathieu Desnoyers | Update atomic x86_64 cmpxchg ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-22 | Mathieu Desnoyers | makefile update ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-22 | Mathieu Desnoyers | Add inc/dec x86 atomics ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-22 | Mathieu Desnoyers | update x86 atomic, add test atomic ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-22 | Mathieu Desnoyers | extend x86 atomic operations ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-21 | Mathieu Desnoyers | Add missing files in make clean ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-20 | Mathieu Desnoyers | urcu-defer: remove unnecessary memory barrier ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-20 | Mathieu Desnoyers | urcu-defer: Add fast path for empty queues ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-20 | Mathieu Desnoyers | urcu-defer: cleanup debug code ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-20 | Mathieu Desnoyers | Deferral test update ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-20 | Mathieu Desnoyers | generic urcu deferral (call_rcu()) ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-20 | Mathieu Desnoyers | Rename liburcu-reclaim to liburcu-defer ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-19 | Mathieu Desnoyers | urcu-reclaim cleanup ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-19 | Mathieu Desnoyers | Update header heading ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-19 | Mathieu Desnoyers | Add rcu-reclaim.so library ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-19 | Mathieu Desnoyers | add static declarations ...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 ...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 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-18 | Mathieu Desnoyers | Permit both 32 and 64-bit builds ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-18 | Mathieu Desnoyers | Default to architecture size, add Makefile32 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-18 | Mathieu Desnoyers | Update makefile to compiler for 32-bit architectures... ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-18 | Mathieu Desnoyers | Rename define ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-18 | Mathieu Desnoyers | Fix urcu.c comment ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-18 | Mathieu Desnoyers | qsbr: use defines to clarify code. ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-17 | Mathieu Desnoyers | qsbr: portability fixes: use unsigned long for the... ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-17 | Mathieu Desnoyers | qsbr: micro optimization of the gp use. ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-17 |  Pierre Habouzit | qsbr: save two full smp_mb() when the writer is also... ...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 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-16 | Mathieu Desnoyers | Move mb() outside of the synchronize C.S. ...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... ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-16 | Mathieu Desnoyers | QSBR offline thread micro-optimization ...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 ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-15 | Mathieu Desnoyers | Update README (again) ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-15 | Mathieu Desnoyers | update README ...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... ...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... ...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... ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-15 | Pierre Habouzit | qsbr urcu: make it safe to call rcu_sychronize from... ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-15 | Pierre Habouzit | qsbr urcu: simplifications and fixes. ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-15 | Mathieu Desnoyers | Build urcu-qsbr.so library, update README ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-15 | Mathieu Desnoyers | urcu qsbr: add DEBUG_RCU self check ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-15 | Mathieu Desnoyers | update README ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-15 | Mathieu Desnoyers | urcu qsbr: move thread online after add reader ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-15 | Pierre Habouzit | qsbr rcu: rc_register_thread also make the thread online. ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-05 | Mathieu Desnoyers | update rcu_dereference comment ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-05 | Mathieu Desnoyers | Document access ordering of rcu_dereference wrt VSS ...off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| next | |||