projects / urcu.git / search
| 2012-10-09 |  Mathieu Desnoyers | Revert "ticketlock model: state-space simplication" Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@efficios.com> |
commit | commitdiff | tree |
| 2012-10-08 | Mathieu Desnoyers | ticketlock model: state-space simplication Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@efficios.com> |
commit | commitdiff | tree |
| 2012-10-08 | Mathieu Desnoyers | Style Cleanup Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@efficios.com> |
commit | commitdiff | tree |
| 2012-10-08 | Mathieu Desnoyers | spinlock model: Simplify state-space Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@efficios.com> |
commit | commitdiff | tree |
| 2011-08-29 | Mathieu Desnoyers | Add back urcu QSBR selective wakeup model Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@efficios.com> |
commit | commitdiff | tree |
| 2011-08-27 | Mathieu Desnoyers | Add 1ton readonly waiter model Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@efficios.com> |
commit | commitdiff | tree |
| 2011-08-27 | Mathieu Desnoyers | 1to1 selective wakeup: add misorder injection test Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@efficios.com> |
commit | commitdiff | tree |
| 2011-08-27 | Mathieu Desnoyers | Update nto1 selective model Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@efficios.com> |
commit | commitdiff | tree |
| 2011-08-27 | Mathieu Desnoyers | update comment Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@efficios.com> |
commit | commitdiff | tree |
| 2011-08-27 | Mathieu Desnoyers | Update nto1-selective model comments Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@efficios.com> |
commit | commitdiff | tree |
| 2011-08-27 | Mathieu Desnoyers | Add nto1 futex wakeup scheme model Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@efficios.com> |
commit | commitdiff | tree |
| 2011-08-27 | Mathieu Desnoyers | Move futex wakeup model to nto1-selective Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@efficios.com> |
commit | commitdiff | tree |
| 2011-08-17 | Mathieu Desnoyers | futex model: Add futex_progress_inverted_waiting_vs_gp_futex... Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@efficios.com> |
commit | commitdiff | tree |
| 2009-10-14 |  Mathieu Desnoyers | update Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-10-14 | Mathieu Desnoyers | better lock-free test Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-10-14 | Mathieu Desnoyers | check wait free Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-10-14 | Mathieu Desnoyers | update Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-10-14 | Mathieu Desnoyers | update Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-10-14 | Mathieu Desnoyers | add ticketlock test for wait-free (failed, as expected) Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-29 | Mathieu Desnoyers | update gitignore Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-29 | Mathieu Desnoyers | Move formal-model to root Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-29 | Mathieu Desnoyers | Remove headers from formal model Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-29 | Mathieu Desnoyers | only keep formal model |
commit | commitdiff | tree |
| 2009-09-29 | Mathieu Desnoyers | Update formal model from local copy Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-29 | Mathieu Desnoyers | Remove ifndef for API_H Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-29 | Mathieu Desnoyers | Separate arch_uatomic*.h from arch*.h Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-29 | Mathieu Desnoyers | Update tests api*.h Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-29 | Mathieu Desnoyers | Align registry data on cache line size Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-29 | Mathieu Desnoyers | define CACHE_LINE_SIZE in arch_*.h Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-29 | Mathieu Desnoyers | compiler.h: use stddef.h for offsetof Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-29 | Mathieu Desnoyers | Update .gitignore Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-29 | Mathieu Desnoyers | urcu-qsbr: implement list_move algorithm Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-29 | Mathieu Desnoyers | urcu (mb/signal): fix list move implementation Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-29 | Mathieu Desnoyers | urcu (mb/signal): list move Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-29 | Mathieu Desnoyers | list.h: add list_move Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-29 | Mathieu Desnoyers | urcu (signal): export urcu_init for early constructor... Signed-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 Signed-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 Signed-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 Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-28 | Mathieu Desnoyers | urcu (signal/mb): move thread checks outside lock Signed-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... Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-28 | Mathieu Desnoyers | Update list, rculist and hlist Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-28 | Mathieu Desnoyers | Add urcu list and list Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-28 | Mathieu Desnoyers | Cleanup headers Signed-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 Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-27 | Mathieu Desnoyers | Document call_rcu() usage Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-27 | Mathieu Desnoyers | Add missing rcu_cmpxchg_pointer define Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 2009-09-26 | Mathieu Desnoyers | Add multiple reader queues to futex model Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca> |
commit | commitdiff | tree |
| 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 |
| next | |||