27fb1bc00f
ck: Reimplement a few libc headers, to make CK build when compiling in the
...
FreeBSD kernel.
9 years ago
419ddca3ad
ck_hp_stack: Switch to ck_hp_set_fence.
10 years ago
554e2f0874
whitespace: Strictly conform to C namespacing rules.
10 years ago
0dfd145aa6
whitespace: Update Copyright messages.
10 years ago
d6ba2a6273
whitespace: Sweeping whitespace changes.
...
Removing trailing whitespaces and newlines.
10 years ago
c197b37df1
legal: Update Copyright statements.
11 years ago
5d8a273dbe
whitespace: Bulk whitespace changes.
11 years ago
fe7e5ac5b1
ck_hp_stack: Migrate to ck_pr_fence_X_Y functions.
12 years ago
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
Olivier Houchard
Samy Al Bahra
Samy Al Bahra
Samy Al Bahra