Interface AsyncAtomicMarkableReference<V>
- Type Parameters:
V
- the type of object referred to by this reference
- All Known Implementing Classes:
AsyncLocalAtomicMarkableReference
,AsyncRemoteAtomicMarkableReference
public interface AsyncAtomicMarkableReference<V>
An
AtomicMarkableReference
maintains an object reference
along with a mark bit, that can be updated atomically.
Unlike AtomicMarkableReference
, each method from this interface is non-blocking,
which allows asynchronous invocation and consumption of the return value
via CompletableFuture
API. This is particularly useful when using
remote
implementation, because of relatively
high latency associated with am inevitable network call, but we do provide a
local
implementation as well.
- Since:
- 21.12
- Author:
- Aleks Seovic 2020.12.09
-
Method Summary
Modifier and TypeMethodDescriptionattemptMark
(V expectedReference, boolean fNewMark) Atomically sets the value of the mark to the given update value if the current reference is equal to the expected reference.compareAndSet
(V expectedReference, V newReference, boolean fExpectedMark, boolean fNewMark) Atomically sets the value of both the reference and mark to the given update values if the current reference is equal to the expected reference and the current mark is equal to the expected mark.get
(boolean[] abMarkHolder) Returns the current values of both the reference and the mark.Returns the current value of the reference.isMarked()
Returns the current value of the mark.Unconditionally sets the value of both the reference and mark.
-
Method Details
-
getReference
CompletableFuture<V> getReference()Returns the current value of the reference.- Returns:
- the current value of the reference
-
isMarked
CompletableFuture<Boolean> isMarked()Returns the current value of the mark.- Returns:
- the current value of the mark
-
get
Returns the current values of both the reference and the mark. Typical usage isboolean[1] holder; ref = v.get(holder);
.- Parameters:
abMarkHolder
- an array of size of at least one. On return,markHolder[0]
will hold the value of the mark- Returns:
- the current value of the reference
-
compareAndSet
CompletableFuture<Boolean> compareAndSet(V expectedReference, V newReference, boolean fExpectedMark, boolean fNewMark) Atomically sets the value of both the reference and mark to the given update values if the current reference is equal to the expected reference and the current mark is equal to the expected mark.- Parameters:
expectedReference
- the expected value of the referencenewReference
- the new value for the referencefExpectedMark
- the expected value of the markfNewMark
- the new value for the mark- Returns:
true
if successful
-
set
Unconditionally sets the value of both the reference and mark.- Parameters:
newReference
- the new value for the referencefNewMark
- the new value for the mark- Returns:
- a
CompletableFuture
that can be used to determine whether the operation completed
-
attemptMark
Atomically sets the value of the mark to the given update value if the current reference is equal to the expected reference. Any given invocation of this operation may fail (returnfalse
) spuriously, but repeated invocation when the current value holds the expected value and no other thread is also attempting to set the value will eventually succeed.- Parameters:
expectedReference
- the expected value of the referencefNewMark
- the new value for the mark- Returns:
true
if successful
-