projects
/
urcu.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
urcu.git
2012-10-09
Mathieu Desnoyers
Revert "spinlock model: Simplify state-space"
formal-model
commit
|
commitdiff
|
tree
|
snapshot
2012-10-09
Mathieu Desnoyers
Revert "Style Cleanup"
commit
|
commitdiff
|
tree
|
snapshot
2012-10-09
Mathieu Desnoyers
Revert "ticketlock model: state-space simplication"
commit
|
commitdiff
|
tree
|
snapshot
2012-10-08
Mathieu Desnoyers
ticketlock model: state-space simplication
commit
|
commitdiff
|
tree
|
snapshot
2012-10-08
Mathieu Desnoyers
Style Cleanup
commit
|
commitdiff
|
tree
|
snapshot
2012-10-08
Mathieu Desnoyers
spinlock model: Simplify state-space
commit
|
commitdiff
|
tree
|
snapshot
2011-08-29
Mathieu Desnoyers
Add back urcu QSBR selective wakeup model
commit
|
commitdiff
|
tree
|
snapshot
2011-08-27
Mathieu Desnoyers
Add 1ton readonly waiter model
commit
|
commitdiff
|
tree
|
snapshot
2011-08-27
Mathieu Desnoyers
1to1 selective wakeup: add misorder injection test
commit
|
commitdiff
|
tree
|
snapshot
2011-08-27
Mathieu Desnoyers
Update nto1 selective model
commit
|
commitdiff
|
tree
|
snapshot
2011-08-27
Mathieu Desnoyers
update comment
commit
|
commitdiff
|
tree
|
snapshot
2011-08-27
Mathieu Desnoyers
Update nto1-selective model comments
commit
|
commitdiff
|
tree
|
snapshot
2011-08-27
Mathieu Desnoyers
Add nto1 futex wakeup scheme model
commit
|
commitdiff
|
tree
|
snapshot
2011-08-27
Mathieu Desnoyers
Move futex wakeup model to nto1-selective
commit
|
commitdiff
|
tree
|
snapshot
2011-08-17
Mathieu Desnoyers
futex model: Add futex_progress_inverted_waiting_vs_gp_...
commit
|
commitdiff
|
tree
|
snapshot
2011-08-17
Paolo Bonzini
model optimization of the waker (selective wake)
commit
|
commitdiff
|
tree
|
snapshot
2011-08-17
Paolo Bonzini
new futex model
commit
|
commitdiff
|
tree
|
snapshot
2009-10-14
Mathieu Desnoyers
update
commit
|
commitdiff
|
tree
|
snapshot
2009-10-14
Mathieu Desnoyers
better lock-free test
commit
|
commitdiff
|
tree
|
snapshot
2009-10-14
Mathieu Desnoyers
check wait free
commit
|
commitdiff
|
tree
|
snapshot
2009-10-14
Mathieu Desnoyers
update
commit
|
commitdiff
|
tree
|
snapshot
2009-10-14
Mathieu Desnoyers
update
commit
|
commitdiff
|
tree
|
snapshot
2009-10-14
Mathieu Desnoyers
add ticketlock test for wait-free (failed, as expected)
commit
|
commitdiff
|
tree
|
snapshot
2009-09-29
Mathieu Desnoyers
update gitignore
commit
|
commitdiff
|
tree
|
snapshot
2009-09-29
Mathieu Desnoyers
Move formal-model to root
commit
|
commitdiff
|
tree
|
snapshot
2009-09-29
Mathieu Desnoyers
Remove headers from formal model
commit
|
commitdiff
|
tree
|
snapshot
2009-09-29
Mathieu Desnoyers
only keep formal model
commit
|
commitdiff
|
tree
|
snapshot
2009-09-29
Mathieu Desnoyers
Update formal model from local copy
commit
|
commitdiff
|
tree
|
snapshot
2009-09-29
Mathieu Desnoyers
Remove ifndef for API_H
commit
|
commitdiff
|
tree
|
snapshot
2009-09-29
Jon Bernard
Add build support for ppc when $HOSTTYPE is "ppc"
commit
|
commitdiff
|
tree
|
snapshot
2009-09-29
Mathieu Desnoyers
Separate arch_uatomic*.h from arch*.h
commit
|
commitdiff
|
tree
|
snapshot
2009-09-29
Mathieu Desnoyers
Update tests api*.h
commit
|
commitdiff
|
tree
|
snapshot
2009-09-29
Mathieu Desnoyers
Align registry data on cache line size
commit
|
commitdiff
|
tree
|
snapshot
2009-09-29
Mathieu Desnoyers
define CACHE_LINE_SIZE in arch_*.h
commit
|
commitdiff
|
tree
|
snapshot
2009-09-29
Mathieu Desnoyers
compiler.h: use stddef.h for offsetof
commit
|
commitdiff
|
tree
|
snapshot
2009-09-29
Mathieu Desnoyers
Update .gitignore
commit
|
commitdiff
|
tree
|
snapshot
2009-09-29
Mathieu Desnoyers
urcu-qsbr: implement list_move algorithm
commit
|
commitdiff
|
tree
|
snapshot
2009-09-29
Mathieu Desnoyers
urcu (mb/signal): fix list move implementation
commit
|
commitdiff
|
tree
|
snapshot
2009-09-29
Mathieu Desnoyers
urcu (mb/signal): list move
commit
|
commitdiff
|
tree
|
snapshot
2009-09-29
Mathieu Desnoyers
list.h: add list_move
commit
|
commitdiff
|
tree
|
snapshot
2009-09-29
Mathieu Desnoyers
urcu (signal): export urcu_init for early constructor...
commit
|
commitdiff
|
tree
|
snapshot
2009-09-29
Mathieu Desnoyers
urcu-defer: use list instead of array for registry
commit
|
commitdiff
|
tree
|
snapshot
2009-09-29
Mathieu Desnoyers
urcu-qsbr: Add list sanity check at lib exit
commit
|
commitdiff
|
tree
|
snapshot
2009-09-28
Mathieu Desnoyers
urcu-qsbr: use linked list instead of array for registry
commit
|
commitdiff
|
tree
|
snapshot
2009-09-28
Mathieu Desnoyers
urcu (signal/mb): move thread checks outside lock
commit
|
commitdiff
|
tree
|
snapshot
2009-09-28
Mathieu Desnoyers
urcu (signal/mb): use linked list instead of array...
commit
|
commitdiff
|
tree
|
snapshot
2009-09-28
Mathieu Desnoyers
Update list, rculist and hlist
commit
|
commitdiff
|
tree
|
snapshot
2009-09-28
Mathieu Desnoyers
Add urcu list and list
commit
|
commitdiff
|
tree
|
snapshot
2009-09-28
Mathieu Desnoyers
Cleanup headers
commit
|
commitdiff
|
tree
|
snapshot
2009-09-28
Mathieu Desnoyers
Add missing urcu-defer.{so,h} and urcu-defer-static.h
commit
|
commitdiff
|
tree
|
snapshot
2009-09-27
Mathieu Desnoyers
Document call_rcu() usage
commit
|
commitdiff
|
tree
|
snapshot
2009-09-27
Mathieu Desnoyers
Add missing rcu_cmpxchg_pointer define
commit
|
commitdiff
|
tree
|
snapshot
2009-09-26
Mathieu Desnoyers
Add multiple reader queues to futex model
urcu/futex
commit
|
commitdiff
|
tree
|
snapshot
2009-09-26
Mathieu Desnoyers
Cleanup promela code for wakeup verif
commit
|
commitdiff
|
tree
|
snapshot
2009-09-26
Mathieu Desnoyers
Remove stale file
commit
|
commitdiff
|
tree
|
snapshot
2009-09-26
Mathieu Desnoyers
Add multicoreverif paper ticketlock and spinlock models
commit
|
commitdiff
|
tree
|
snapshot
2009-09-26
Mathieu Desnoyers
Add futex wakeup spin model
commit
|
commitdiff
|
tree
|
snapshot
2009-09-25
Mathieu Desnoyers
Add futex support to accelerate synchronize_rcu() on UP
commit
|
commitdiff
|
tree
|
snapshot
2009-09-24
Mathieu Desnoyers
urcu-defer: fix futex wakeup value
urcu/busyloop
commit
|
commitdiff
|
tree
|
snapshot
2009-09-24
Mathieu Desnoyers
Remove extra LDFLAGS from makefile
commit
|
commitdiff
|
tree
|
snapshot
2009-09-24
Mathieu Desnoyers
Add missing include compiler.h
commit
|
commitdiff
|
tree
|
snapshot
2009-09-24
Mathieu Desnoyers
rcu torture and api.h: remove duplicated atomic primitives
commit
|
commitdiff
|
tree
|
snapshot
2009-09-24
Mathieu Desnoyers
test_atomic: test for byte/short atomic support
commit
|
commitdiff
|
tree
|
snapshot
2009-09-23
Mathieu Desnoyers
ppc atomic: fix atomic_dec/inc
commit
|
commitdiff
|
tree
|
snapshot
2009-09-23
Mathieu Desnoyers
urcu-defer: remove dependency on linux/futex.h
commit
|
commitdiff
|
tree
|
snapshot
2009-09-23
Mathieu Desnoyers
urcu: Move urcu_init within ifdef
commit
|
commitdiff
|
tree
|
snapshot
2009-09-23
Mathieu Desnoyers
atomic ppc: fix missing casts and inline
commit
|
commitdiff
|
tree
|
snapshot
2009-09-23
Mathieu Desnoyers
urcu-defer: ensure callbacks will never be enqueued...
commit
|
commitdiff
|
tree
|
snapshot
2009-09-23
Mathieu Desnoyers
Fix urcu-defer: add missing brackets.
commit
|
commitdiff
|
tree
|
snapshot
2009-09-23
Mathieu Desnoyers
Cleanup: remove debug code form urcu-defer.c
commit
|
commitdiff
|
tree
|
snapshot
2009-09-23
Mathieu Desnoyers
Move urcu_defer_queue to urcu-defer.c
commit
|
commitdiff
|
tree
|
snapshot
2009-09-23
Mathieu Desnoyers
urcu-defer: make call_rcu() energy efficient using...
commit
|
commitdiff
|
tree
|
snapshot
2009-09-23
Mathieu Desnoyers
Add offsetof to compiler.h
commit
|
commitdiff
|
tree
|
snapshot
2009-09-23
Paul E. McKenney
ppc atomic: Fix asm format.
commit
|
commitdiff
|
tree
|
snapshot
2009-09-22
Mathieu Desnoyers
add rcu_cmpxchg_pointer
commit
|
commitdiff
|
tree
|
snapshot
2009-09-22
Mathieu Desnoyers
remove volatile from prototypes in atomic code
commit
|
commitdiff
|
tree
|
snapshot
2009-09-22
Mathieu Desnoyers
update ppc atomic
commit
|
commitdiff
|
tree
|
snapshot
2009-09-22
Mathieu Desnoyers
update x86 and ppc atomic ops
commit
|
commitdiff
|
tree
|
snapshot
2009-09-22
Mathieu Desnoyers
Add powerpc atomic operations
commit
|
commitdiff
|
tree
|
snapshot
2009-09-22
Mathieu Desnoyers
update x86_64 cmpxchg
commit
|
commitdiff
|
tree
|
snapshot
2009-09-22
Mathieu Desnoyers
Update atomic x86_64 cmpxchg
commit
|
commitdiff
|
tree
|
snapshot
2009-09-22
Mathieu Desnoyers
makefile update
commit
|
commitdiff
|
tree
|
snapshot
2009-09-22
Mathieu Desnoyers
Add inc/dec x86 atomics
commit
|
commitdiff
|
tree
|
snapshot
2009-09-22
Mathieu Desnoyers
update x86 atomic, add test atomic
commit
|
commitdiff
|
tree
|
snapshot
2009-09-22
Mathieu Desnoyers
extend x86 atomic operations
commit
|
commitdiff
|
tree
|
snapshot
2009-09-21
Mathieu Desnoyers
Add missing files in make clean
commit
|
commitdiff
|
tree
|
snapshot
2009-09-20
Mathieu Desnoyers
urcu-defer: remove unnecessary memory barrier
commit
|
commitdiff
|
tree
|
snapshot
2009-09-20
Mathieu Desnoyers
urcu-defer: Add fast path for empty queues
commit
|
commitdiff
|
tree
|
snapshot
2009-09-20
Mathieu Desnoyers
urcu-defer: cleanup debug code
commit
|
commitdiff
|
tree
|
snapshot
2009-09-20
Mathieu Desnoyers
Deferral test update
commit
|
commitdiff
|
tree
|
snapshot
2009-09-20
Mathieu Desnoyers
generic urcu deferral (call_rcu())
commit
|
commitdiff
|
tree
|
snapshot
2009-09-20
Mathieu Desnoyers
Rename liburcu-reclaim to liburcu-defer
commit
|
commitdiff
|
tree
|
snapshot
2009-09-19
Mathieu Desnoyers
urcu-reclaim cleanup
commit
|
commitdiff
|
tree
|
snapshot
2009-09-19
Mathieu Desnoyers
Update header heading
commit
|
commitdiff
|
tree
|
snapshot
2009-09-19
Mathieu Desnoyers
Add rcu-reclaim.so library
commit
|
commitdiff
|
tree
|
snapshot
2009-09-19
Mathieu Desnoyers
add static declarations
commit
|
commitdiff
|
tree
|
snapshot
2009-09-18
Mathieu Desnoyers
qsbr: Add write+read thread support to 32-bit QSBR
commit
|
commitdiff
|
tree
|
snapshot
2009-09-18
Mathieu Desnoyers
QSBR: Implement 2-phase grace period for 32-bit arch
commit
|
commitdiff
|
tree
|
snapshot
2009-09-18
Mathieu Desnoyers
Permit both 32 and 64-bit builds
commit
|
commitdiff
|
tree
|
snapshot
2009-09-18
Mathieu Desnoyers
Default to architecture size, add Makefile32
commit
|
commitdiff
|
tree
|
snapshot
next
This page took
0.037587 seconds
and
4
git commands to generate.