1d7057eb58
ck_bitmap: add a ck_bitmap_bts function.
...
Signed-off-by: Samy Al Bahra <sbahra@backtrace.io>
10 years ago
de0e582eba
Add ck_pr_fence_acquire/release to generic GCC version
...
Signed-off-by: Marcin Juszkiewicz <mjuszkiewicz@redhat.com>
10 years ago
b45f94a611
Merge branch 'master' of github.com:sbahra/ck
11 years ago
a514e81209
Fix typo in ck_rhs.h
...
This prevented use of both ck_hs and ck_rhs in the same file.
11 years ago
be11635b12
ck_bitmap: Consistent Copyright.
11 years ago
cd17fed7dc
ck_pflock: Migrate to acquire / release fences.
11 years ago
6b2f5130f7
ck_swlock: Whitespace changes.
11 years ago
11f79b64f7
ck_swlock: cleanup
11 years ago
d95c609090
Merge remote-tracking branch 'upstream/swlock' into ck_swlock
11 years ago
b70a5479ca
ck_swlock: snapshot
11 years ago
217f7a2f32
ck_swlock: Load spin on write bit.
11 years ago
4d7f4fff6d
ck_swlock: Fix latch operation.
11 years ago
bbad068f5a
ck_swlock: Make latch operation write-biased.
11 years ago
e2f7df0f1d
ck_swlock: Various improvements.
...
- Remove recursive locks.
- Remove unnecessary fences.
- Add necessary fences.
- Simplify state machine.
11 years ago
66aee95dd1
Merge branch 'ck_swlock' of github.com:skjaidev/ck into swlock
...
Conflicts:
regressions/Makefile
11 years ago
c246865ce7
ck_swlock: Removed comment
11 years ago
4471ea2df8
ck_swlock: Acquire semantics
11 years ago
e6feed1f89
ck_swlock: Rename lock field
11 years ago
0f44d50e33
ck_swlock: Use single word for lock bits
11 years ago
411afc3c47
*lock: Simplify initialization semantics.
...
Compiler barrier used for backwards compatibility.
11 years ago
f3539396c2
*lock: Simply use compiler barrier on initialization.
11 years ago
b24a9af88a
ck_pflock: Migrate initializer to use compiler barrier.
11 years ago
722f526a0e
ck_tflock: Remove extraneous newline.
11 years ago
46042c7996
tflock: Task-fair reader-writer locks reference implementation.
11 years ago
9ee4334e10
Merge remote-tracking branch 'upstream/master' into ck_swlock
...
Conflicts:
.gitignore
11 years ago
15a0485c01
ck_swlock: make ck_swlock_recursive_write_unlatch() wait-free.
11 years ago
ca70ce684c
ck_swlock: Unlatch operation should be wait-free.
11 years ago
27a79623a6
ck_swlock: Need to lock cache-line on write lock
11 years ago
0ee31c1557
ck_swlock: Need barrier
11 years ago
bf8779ab13
ck_swlock: Decrement n_readers in TATAS style loop.
11 years ago
8646990847
Merge remote-tracking branch 'jsridhar-dev/ck_swlock' into ck_swlock
...
Conflicts:
include/ck_swlock.h
regressions/ck_swlock/validate/validate.c
11 years ago
1f03809acb
ck_swlock: We shouldn't decrement n_readers when
...
ck_swlock_read_latchlocks observers a writer if the unlatch
operation sets n_readers to 0.
The unlatch operation now just unsets the latch bit, we can safely
decrement n_readers in ck_swlock_read_latchlocks().
+ Fixes to validation tests & ELIDE coverage.
11 years ago
f06a5c4a71
ck_bitmap: more bulk operations, less space, more tests
...
* new bulk rmw: intersection, intersection_negate (with complement),
* new bulk reads: empty, full, count, count_intersect
* ck_bitmap_iterator fixes: avoid out of bounds read on empty bitmaps,
and ck_bitmap_next is marginally faster on sparse bitmaps .
* less space: the bitmap itself is an array of unsigned int, which
eliminates alignment padding between the n_bit field and the bitmap.
* more unit tests.
11 years ago
96fdf1efbd
ck_cc: new bitwise ops
...
GCC and compatible compilers support ffs/ctz/clz/popcount. Expose that
in ck_cc and default to slow but portable software emulation.
11 years ago
bfc9837d4f
ck_swlock: Whitespace change.
11 years ago
63b79c7b1e
ck_swlock: Fix Copyright ordering.
11 years ago
6fe2bba224
ck_swlock: Fix-up TATAS loop.
11 years ago
a1daff18ea
ck_swlock: Switch to TATAS style loop for latch operations.
11 years ago
82f33b3fe9
ck_swlock: First round fixes for ck_swlock.
...
- Add necessary memory barriers.
- Style conformance.
11 years ago
9732e2bdb3
ck_swlock: A single writer rwlock.
...
This lock is copy-safe when the latch operations are used.
Simplified write side operations lead to lower latencies than ck_rwlock
for single writer workloads.
11 years ago
176dfce5c3
ck_rwlock: Fix conflict.
...
ck_swlock will be a copy-safe single-writer multi-reader lock that
will meet our requirements.
11 years ago
e2913ab9c0
Revert "ck_rwlock: Migrate to 32-bit primitives and add a write_latch operation."
...
This reverts commit 210b724061
11 years ago
6ccfb84d81
Revert "ck_rwlock: Use sub for unlatch operation."
...
This reverts commit b7c3c8a43d
11 years ago
ed476a617c
Revert "ck_rwlock: Clear reader bits on unlatch operation."
...
This reverts commit 7f945460bc
11 years ago
cdfac8213f
Revert "ck_rwlock: Re-observe latch bits if necessary."
...
This reverts commit fa28622386
11 years ago
88d323f40d
Revert "ck_rwlock: Acquire semantics for ordering on latch bits."
...
This reverts commit 2b567320de
11 years ago
9ebd19a124
Revert "ck_rwlock: Add ck_rwlock_read_latchlock operation."
...
This reverts commit bc7ebc62eb
11 years ago
cf097db790
Revert "ck_rwlock: Ignore latch bits on write lock operation."
...
This reverts commit 8173b937bf
11 years ago
e2bd885953
Revert "ck_rwlock: Re-organization of write-side operations and latch support for write_trylock."
...
This reverts commit ab22fda4e7
11 years ago
9aad0125af
Revert "ck_rwlock: Additional re-organization of write-side functions."
...
This reverts commit d9b86d2d89
11 years ago
d3a7adaf8c
Revert "ck_rwlock: Additional reorganization."
...
This reverts commit 56de32fffd
11 years ago
2a701163eb
ck_rwlock: Ditch ck_rwlock latch for ck_swlock.
11 years ago
56de32fffd
ck_rwlock: Additional reorganization.
11 years ago
d9b86d2d89
ck_rwlock: Additional re-organization of write-side functions.
11 years ago
ab22fda4e7
ck_rwlock: Re-organization of write-side operations and latch support for write_trylock.
11 years ago
8173b937bf
ck_rwlock: Ignore latch bits on write lock operation.
11 years ago
bc7ebc62eb
ck_rwlock: Add ck_rwlock_read_latchlock operation.
...
This avoids degradation on read_lock path for use-cases not
requiring latch semantics.
11 years ago
2b567320de
ck_rwlock: Acquire semantics for ordering on latch bits.
11 years ago
fa28622386
ck_rwlock: Re-observe latch bits if necessary.
11 years ago
7f945460bc
ck_rwlock: Clear reader bits on unlatch operation.
11 years ago
b7c3c8a43d
ck_rwlock: Use sub for unlatch operation.
11 years ago
3cae483bce
Merge branch 'master' of git.concurrencykit.org:ck
11 years ago
210b724061
ck_rwlock: Migrate to 32-bit primitives and add a write_latch operation.
...
write_latch allows writers to prevent incoming read acquisitions from
succeeding while permitting write_lock operations to complete. This is
useful if multiple writers are cooperating in linearizing a non-blocking
data structure and allows for lock state to be copied by the write lock
holder safely.
In collaboration with Paul Khuong and Jaidev Sridhar.
11 years ago
f8b41af77c
x86_64: Require 32-bit immediate values for expansion.
...
Pointed out by Paul Khuong, who ran into issues with immediates
while working on improvements to ck_bitmap.
11 years ago
cefd6bc9ec
ck_ring: Remove stale comment from pre-memcpy implementation.
11 years ago
396ceb16bb
ck_ring: Fix typo in type-specialized ck_ring_dequeue_tryspmc.
...
Thanks to Paul Khuong <pkhuong@appnexus> for patch.
11 years ago
6e0f79c70e
ck_tflock: Initial check-in of reference implementation.
11 years ago
671d067ea0
ck_bytelock: Fix casting error affecting 32-bit architectures.
11 years ago
81f267ce62
Merge branch 'master' of git.concurrencykit.org:ck
11 years ago
b97b0021f9
ck_barrier: Just pass-through tournament barrier with only one participating thread.
11 years ago
15ce0501d2
ck_sequence: Add branch hint for short-circuit.
11 years ago
cb8f5f9ebb
ck_hp_fifo: Add deinit routine to allow reclaiming stub node.
11 years ago
c75e470ed4
ck_fifo_spsc: De-initialize from head.
11 years ago
06feae82f3
ck_hp_fifo: No need for volatile atomic stores on initialization.
11 years ago
5ec8191ded
ck_fifo: Add ck_fifo_*_deinit routines.
...
These allow for reclamation of garbage node in an empty FIFO.
Based on patch submitted by Rajesh R <rr01803@gm....>.
11 years ago
15ac0bc691
ck_bitmap: Fix length calculation error in ck_bitmap_union (crasher).
11 years ago
08be876fa6
ck_bytelock: Correctly compute byte sequence length for readers.
...
Thanks to Albi Kavo <albi.kavo@gm...> for spotting this.
11 years ago
190b204059
ck_bitmap: Drop _mpmc suffix and add union operation.
...
The _mpmc suffix is not useful. I see little benefit to specializing
the bitmap to begin with.
11 years ago
76e43825a7
Merge remote-tracking branch 'origin/cognet'
11 years ago
b8c801136a
ck_bytelock: Fix deadlock for unslotted reader workloads.
...
There is an off-by-one for slot ID sizeof(bytelock->readers) + 1.
This patch fixes the handling of this slot ID. Based off a patch
submitted by Albi Kavo <albi.kavo@gma....>.
11 years ago
59cedf10c6
ck_rhs: Add a read mostly mode.
...
Add a read-mostly mode, in which entries won't share cache lines with
associated datas (probes, probe_bound, etc).
This makes write operations slower, but make get faster.
11 years ago
bf686c0a42
ck_rhs: Add.
...
Introduce ck_rhs, a variant of ck_hs that uses the robin hood algorithm for
insertion, and backward shift delete for deletion.
11 years ago
c197b37df1
legal: Update Copyright statements.
11 years ago
0c4ed1d14f
ck_pflock: Use store barrier on init.
11 years ago
0353cdcb23
ck_rwlock: Migrate to acquire / release and other barrier improvements.
11 years ago
38c40315a2
ck_brlock: Use store barrier on initialization.
11 years ago
ac8397d8b5
ck_rwcohort: Migrate to acquire / release.
11 years ago
5280253974
ck_pflock: Use precise barrier in read_unlock.
11 years ago
febdb8c164
ck_brlock: Use precise barrier for read_unlock.
11 years ago
0c205740aa
ck_pflock: Migrate to acquire / release.
11 years ago
ad5e00cfb9
ck_epoch: Read-side latency improvements on x86.
11 years ago
cad7b53273
ck_epoch: Migrate to acquire / release.
11 years ago
e8051b79c2
ck_elide: Add comment indicating purposeful omission of barriers.
11 years ago
16f7568e5c
ck_cohort: Migrate to acquire / release.
11 years ago
44689f7e69
ck_bytelock: Migrate to acquire / release.
11 years ago
f314b52035
ck_brlock: Migrate to acquire/release.
11 years ago
0bbb6f0eff
ck_pr: Fix typo in preprocessor usage.
11 years ago
e57bfd5865
spinlock: Migrate to acquire / release interface.
11 years ago
661f3948ed
ck_pr: Add acquire and release fences.
11 years ago
057f719796
ck_ring: Add type-specialized ring.
11 years ago
90c9950356
ck_ring: Type-agnostic backend implementation.
...
This will serve to drive both pointer-based and type-specialized ring
implementations. Some full fences have also been removed as they are
unnecessary with the introduction of X_Y fence interface.
11 years ago
4af7571990
ck_pr/arm: Remove extraneous newline.
11 years ago
259fb5174d
ck_pr: Use the "dmb st" instruction on arm when available.
11 years ago
b32e1b24df
ck_spinlock: Use more finely-grained barrier for CLH.
11 years ago
eb59f6ead5
ck_ht: Add CK_HT_WORKLOAD_DELETE flag.
...
This is a port of the hash set delete workload
hint.
11 years ago
b17706f967
hclh: Assert my copyright.
11 years ago
df571ad331
ck_spinlock: Migrate lock implementations to directory.
11 years ago
1ecb37b28f
Merge branch 'cognet' of git.concurrencykit.org:ck
11 years ago
b6a1914085
ck_ring: Prefer treatment of ck_ring_buffer_t as an opaque type.
11 years ago
b6f085a62e
ck_ring: Minor style change.
11 years ago
e6c0ef01a5
ck_spinlock: Revert previous change, do not splice too early.
11 years ago
e8b26ec212
ck_spinlock: Minor readability changes to ck_hclh.
11 years ago
c219593967
ck_spinlock: First round of improvements to ck_hclh.
...
* Drop unnecessary volatile stores.
* Use more expressive ck_pr_fence_X_Y semantics.
11 years ago
0e5ce1aae7
ck_spinlock: Simple whitespace changes (wrap long lines).
11 years ago
0f92cbab08
ck_spinlock: Commit the missing HCLH bits.
11 years ago
aa0c303554
ck_ht: Add ck_ht_gc functionality, similar to ck_hs_gc.
...
This allows for incremental reprobe to shorten over-all probe sequences
in delete heavy workloads.
11 years ago
3edb523da5
ck_ring: Move the ring buffer outside of the ck_ring_t
...
Remove the ring buffer from the struct ck_ring, it is now required to
explicitely pass the ring buffer for enqueue/dequeue. That can be useful for
systems with multiple address spaces.
11 years ago
b778a32b0e
Merge branch 'master' of git.concurrencykit.org:ck
11 years ago
0d6a0508cc
ck_hs: Allow for amortization and partial rebuild in ck_hs_gc.
11 years ago
f7eff4d61b
ck_hs: Add ck_hs_gc, mechanism for tombstone clean-up.
...
This is treated as an explicit garbage collection step
which will block writers.
11 years ago
5d4f9ae23d
ck_hs: Add ck_hs_rebuild operation.
...
This operation is short-hand notation for rebuilding
a hash table. This rebuild can occur in the presence
of concurrent readers and will require twice the amount
of memory of the existing hash table until completion.
11 years ago
2ad920cd85
ck_hs: Add improved support for delete-heavy workloads.
...
This borrows from a technique described by Purcell and Harris
in "Non-blocking hashtables with open addressing" technical report.
Essentially, every slot will have an associated local probe maxim,
including tombstones. Highly aggressive workloads may still require
occassional garbage collection.
11 years ago
30d956d682
ck_hs: Re-order includes in header file.
11 years ago
a3532d52ce
ck_hs: Add ck_hs_put_unique function for fast-path unique inserts.
...
This function allows for faster insertions into tombstone-heavy
probe sequences by short-circuiting on tombstones rather than
continuing to probe. The user must already guarantee that the
entry being inserted is unique. If a non-unique key is inserted
with this operation, undefined behavior will result.
11 years ago
0610a0d0a8
ck_bag: Drop support for this data structure.
...
Could not find suitable use-case and generally doesn't
appear interesting to academics in the existing
form. Maybe it will make a come-back in the future with
fewer memory and latency compromises.
11 years ago
3c089d55e5
arm: Add support for cas_2 and other double-word operations.
...
This adds support for CAS_64{_VALUE}, CAS_PTR_2{_VALUE},
LOAD_64, STORE_64 and other primitives built on universal
CAS primitive.
Patch submitted by Olivier Houchard <cognet@FreeBSD>.
11 years ago
b801ec4b98
ck_array: Remove variable name from ck_array_init declaration.
11 years ago
a7cb0f9bbb
ck_array: Add ck_array_initialized functionality.
...
The function returns true if the target is initialized, otherwise,
it returns false.
11 years ago
2db9de633f
ck_array: Simple eliminating SPMC dense array for fast iteration.
...
The array is optimized for SPMC and fast iteration (though MPMC
transformation is also possible). This is an extremely simple
implementation with support for atomic in-place modification
through put -> remove elimination.
11 years ago
5916485e9e
ck_pr/arm: Implement support for Thumb 2 and fix incorrect CAS behavior.
...
Besides implementing Thumb 2 supports, this fixes incorrect usage of
"cmp" where "cmpeq" was meant.
Patch submitted by Olivier Houchard <cognet@freebsd>.
11 years ago
e1c0f6854d
ck_pr/arm: Additional style clean-up.
11 years ago
1c97766039
ck_pr: First cut 32-bit ARM port.
...
Contributed by Olivier Houchard <cognet@freebsd>.
Signed-off-by: Samy Al Bahra <sbahra@repnop.org>
11 years ago
1cc189b08e
ck_bitmap: Remove unused argument for CK_BITMAP_BITS.
...
This is an API change, has been on the queue for a while.
Patch submitted by Shreyas Prasad <sprasad@appnexus>.
11 years ago
5d8a273dbe
whitespace: Bulk whitespace changes.
11 years ago
3e5dcfe6fd
ck_sequence: Add CK_SEQUENCE_READ operation.
11 years ago
2d4524dd3e
ck_spinlock: Retab (whitespace).
...
Accidentally had Haskell vim modeline set.
11 years ago
07aab518f6
ck_spinlock: Retab (whitespace).
11 years ago
ce142f17f8
ck_spinlock: Add ck_spinlock_mcs_init operation.
11 years ago
6bc9f7a485
ck_spinlock: Get rid of MCS context initializers.
...
They are unnecessary, legacy from older versions.
11 years ago
ec58f5dcf7
ck_spinlock: Add ck_spinlock_dec_init operation.
11 years ago
2f52ace54c
ck_spinlock: Fix strict aliasing issue in unlock (no-op).
...
For builds with -Werror. Not pointed out by Wez Furlong <wez@f....>.
12 years ago
29a84b47b3
ck_hs: Add ck_hs_move operation.
...
This operation moves ownership from one hash set object
to another and re-assigns callback functions to developer-specified
values. This allows for dynamic configuration of allocation
callbacks and is necessary for use-cases involving executable code
which may be unmapped underneath the hash set.
The developer is responsible for enforcing barriers and enforcing
the visibility of the new hash set.
12 years ago
5cf28b2152
ck_rwcohort: Missing fences on fast path.
...
When spinning on global counters, it cannot be assumed that is_locked
functions will guarantee atomic to load ordering, an explicit fence
is necessary. is_locked will only guarantee load ordering.
12 years ago
73a1e42baf
ck_rwcohort: Style fixes.
12 years ago
b36e35ec76
Merge branch 'master' of https://github.com/bscheinman/ck
12 years ago
ce2ef37ce3
ck_elide: Style fixes.
12 years ago
cc231e4ab0
ck_elide: No need to expose ck_elide_stat.
12 years ago
906eaf1881
ck_elide: Fold CK_ELIDE_ADAPTIVE_PROTOTYPE into PROTOTYPE.
12 years ago
b67e91c858
ck_rwlock: Fold CK_ELIDE_ADAPTIVE_PROTOTYPE into PROTOTYPE.
12 years ago
768b5b3597
ck_rwlock: Add adaptive elision and unit tests.
12 years ago
fe8deba87d
ck_elide: Adaptive elision semantics.
...
These come in the form of CK_ELIDE_ADAPTIVE_PROTOTYPE,
CK_ELIDE_LOCK_ADAPTIVE and CK_ELIDE_UNLOCK_ADAPTIVE.
Primarily pushing this for the few that are playing with
master.
This is inspired by Andi Kleen's work for adaptive behavior
in the Linux kernel's RTM locks implementation. There are
various differences in the state machine, however. Specifically,
the concept of a retry and a busy-wait has been unified due
to state machine simplification such that any exhausted busy-wait
cycle reverts to a forfeit (a busy-wait is a specialized retry).
Follow-up work will involve allowing for is_locked behavior
to yield what users expect, if called from with-in a transaction
through the wrapper. It is warned that this will come at a performance
penalty.
12 years ago
43f7a7692a
ck_cc: Expand LIKELY/UNLIKELY on unsupport compilers.
12 years ago
f214d9419e
ck_spinlock: Move elision prototype to end of file.
12 years ago
c76441fff3
ck_stack: Style changes.
12 years ago
fc0bfae1da
ck_elide: Commentary on ck_elide interface.
12 years ago
59a1b53e86
ck_spinlock: Migrate to ck_elide.h.
...
Pending unit test updates.
12 years ago
671f82d7a8
ck_rwlock: Migrate to ck_elide.h.
12 years ago
68a614328a
ck_elide: General lock elision framework.
...
This allows users to wrap any single-argument lock implementation
to support lock elision. Built-in lock types will make use of this
facility.
12 years ago
0517a51b06
ck_spinlock: Weaken volatile store in clh_lock.
12 years ago
64b1201dcc
ck_spinlock: Acquire semantics for old locked operations.
...
Even though the intended use-case is for testing, developers
may want correctness guarantees in other situations.
12 years ago
a51c8c7aa6
ck_spinlock: Add ck_spinlock_clh_locked.
12 years ago
46d61ccd46
ck_spinlock: Add ck_spinlock_ticket_locked.
12 years ago
f149dd09fe
ck_pr: Add ck_pr_fence_strict_atomic for x86-64.
12 years ago
55decd0b38
ck_spinlock: Add ck_spinlock_anderson_locked.
12 years ago
a03d58fff2
ck_rwlock: Use heavier-weight barrier on write path.
...
This is an example limitation of fence_X_Y variant. I am
considering extending this to include an acquire extension.
Use a memory fence to force total order in a manner that
will be clearer to other developers who read this.
This did not manifest as a problem on any target architectures
due to their handling of atomic operations (SPARC models it as
both a load and a store, while Power atomic_load ordering was
enforced through a full barrier).
12 years ago
a694e871ca
ck_rwlock: Relax write_trylock_rtm semantics.
...
trylock semantics are best effort to begin with, so
avoid fallback path all together.
12 years ago
3fbefc5042
ck_rwlock: Add read_trylock_rtm.
12 years ago
4d2ccfe497
ck_rwlock: Add basic RTM interface to rwlock.
...
It is possible this will be moved to a self-contained file.
For a majority of architectures, RTM is an unnecessary
implementation-specific optimization.
12 years ago
2ed965bfc2
ck_pr_rtm: Fix xtest output clobber identifier.
12 years ago
43a6628cf1
ck_pr: Initial support for TSX.
...
goto label support has been omitted for the moment.
A majority of initial targets are still pre-gcc-4.7
to support multiple branches.
12 years ago
04590839d9
ck_sequence: change retry to take unsigned int.
...
version identifier is unsigned int not uint32_t.
12 years ago
cb0a7c8ce6
Merge branch 'master' of https://github.com/sbahra/ck
12 years ago
a8a74b9f57
ck_spinlock: Remove erroneous mask usage for non-x86 targets.
12 years ago
045d0e1053
ck_spinlock: Apply modulo arithmetic to proportional back-off ticket lock.
12 years ago
cd53e928bf
ck_cc: Add branch execution hint support for GCC.
12 years ago
7da381bb1a
ck_hs: Prototype for new ck_hs_fas operation.
12 years ago
fc071e1ce2
Merge branch 'master' of https://github.com/bscheinman/ck
12 years ago
f9ea659bff
Merge branch 'master' of https://github.com/sbahra/ck
12 years ago
3ca7072c14
ck_pr: Implicit compiler barrier ck_pr_fence.
...
I accidentally removed ck_pr_fence implicit compiler
barrier semantics in re-structure of ck_pr_fence.
This does affect the correctness of any data structures
in ck_pr_fence or the correctness of consumers of ck_pr
operations where ck_pr serves as linearization points.
The reason it does not affect any CK data structures is
that explicit compiler barriers (whether they are store/load
operations or atomic ready-modify-write operations) always
serve as linearization points.
However, if consumers are doing tricky things like using
these barriers to serialize aliased locations for correctness,
then it is possible for compiler re-ordering to bite them in
the ass.
12 years ago
a5e8d6ad45
ck_spinlock: Only enable trylock for ck_spinlock_ticket on x86*.
...
trylock algorithm semantics are not cleanly defined outside of x86.
12 years ago
adbdfe6633
ck_pr: Get rid of ck_pr_fence_X_X functions.
...
These add unnecessary complexity to the ck_pr_fence interface.
Instead, it can be safely assumed that developers will use
ck_pr_fence_X to enforce X -> X ordering.
12 years ago
e52fd0b405
ck_fifo: Migrate MPMC FIFO to ck_pr_fence_X_Y.
12 years ago
0d827b4c81
ck_hp_fifo: Finer-grained mapping to ck_pr_fence_X_Y.
...
Specifically, atomic-RMW fences were previously generalized
as store operations.
12 years ago
babae24a07
ck_rwcohort: Added missing return statements and changed while (true) loops to for (;;)
12 years ago
2b33d57148
ck_rwcohort: Removed extra whitespace
12 years ago
cbfa095108
Merge branch 'master' of https://github.com/sbahra/ck
12 years ago
2ba3f59374
ck_spinlock: Migrate MCS to ck_pr_fence_X_Y.
...
This includes fixing acquire semantics on mcs_lock fast path.
This represents an additional fence on the fast path for
acquire semantics post-acquisition.
12 years ago
8540821f3f
ck_spinlock: Minor style changes to return statement.
12 years ago
08d13deaf4
ck_brlock: Migrate to ck_pr_fence_X_Y.
12 years ago
214d7aed66
ck_pr: Implement ck_pr_fence_atomic in MD ck_pr.
12 years ago
8320a4a6f4
ck_pr: Comment elaboration on ck_pr_fence_atomic semantics.
...
More specifically, note that in memory models where atomic
operations do not have serializing effects that atomic
read-modify-write operations are modeled as store operations.
12 years ago
3f06a4e23a
ck_rwlock: Use ck_pr_fence_atomic.
12 years ago
ffd22e57b8
ck_bytelock: Use ck_pr_fence_atomic.
12 years ago
a4220f2377
ck_pr: Remove ck_pr_fence_load_depends from GCC port.
12 years ago
d1dd6611ac
ck_pr: Add ck_pr_fence_atomic interface.
...
These operations serialize atomic-RMW operations with respect
to each other, loads and stores. In addition to this, the
load_depends implementations have been removed.
12 years ago
8face51e0d
ck_spinlock: Acquire semantics for anderson spinlock.
12 years ago
f87e0caf99
ck_bytelock: Migrate to ck_pr_fence_X_Y.
12 years ago
83bc7f9f54
ck_epoch: Migrate to ck_pr_fence_X_Y.
12 years ago
fe7e5ac5b1
ck_hp_stack: Migrate to ck_pr_fence_X_Y functions.
12 years ago
01f89ee691
ck_hp_fifo: Migrate to ck_pr_fence_X_Y functions.
12 years ago
David Joseph
Marcin Juszkiewicz
Samy Al Bahra
Bruce Spang
Jaidev Sridhar
Samy Al Bahra
Jaidev Sridhar
Paul Khuong
User Doginou
Olivier Houchard
Brendon Scheinman