org.corfudb.samples

Class CorfuSharedCounter

java.lang.Object

org.corfudb.samples.CorfuSharedCounter

public class CorfuSharedCounter
extends Object

The annotation @CorfuObject turns this into a Corfu object

Constructor Summary

Constructors

Constructor and Description
CorfuSharedCounter()

Method Summary

Modifier and Type	Method and Description
int	Get() Get() method is annotates as an Accessor method.
int	Increment() Increment() method is annotated as a MutatorAccessor Method.
void	Set(int newvalue) Set() method is annotates as a Mutator method.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CorfuSharedCounter

public CorfuSharedCounter()

Method Detail

Increment

public int Increment()

Increment() method is annotated as a MutatorAccessor Method. This guarantee that concurrent threads and processes invoking Increment on an object behave as if occurring sequentially, one after another.

Returns:

the old value of the counter, before incrementing

Get

public int Get()

Get() method is annotates as an Accessor method. This guarantees that the runtime synchronizes with the latest state of the object, and then looks at it.

Returns:

the latest value of the counter

Set

public void Set(int newvalue)

Set() method is annotates as a Mutator method. This guarantees that the runtime will capture the update and append it to the Corfu log, and only then return.