7980489eaf
ck_hp_stack: Style fixes.
12 years ago
5c483e3b1c
ck_hp: hp_acquire patterns require strict fences under TSO.
...
Several counter-examples were found which break in the
presence of store-to-load re-ordering. Strict fence
semantics are necessary.
Thanks to Paul McKenney for helpful discussions.
12 years ago
33a9222923
legal: Update Copyright statements.
12 years ago
286cc8b012
ck_hp_stack: Add trypush/trypop variants.
...
Regressions tests pending an update (taking a snaphot, A/C is down).
13 years ago
1cabea8a54
ck_hp_{fifo, stack}: Get rid of backoff behavior by default.
13 years ago
3cf265cba0
all: Strip trailing whitespaces.
13 years ago
706fd07de7
legal: Update Copyright statements.
13 years ago
d7d1dfbf50
ck_hp: Remove barrier from set and allow user to batch.
...
A user may want to batch multiple slot updates. Enforcing strong
semantics in set would not allow this.
14 years ago
a915d3f9ad
Add SLOT constants for ck_hp_stack.h.
14 years ago
cbd30b2206
Initial import.
14 years ago
Samy Al Bahra
Samy Al Bahra