Package org.mpi_sws.jmc.api.util.concurrent

Class JmcAtomicReferenceArray<V>

java.lang.Object
org.mpi_sws.jmc.api.util.concurrent.JmcAtomicReferenceArray<V>
Type Parameters:
V - the type of elements in this array
public class JmcAtomicReferenceArray<V> extends Object
A redefinition of the AtomicReferenceArray class. This class provides an array of references that can be atomically updated. It uses a JmcReentrantLock to ensure thread safety.

  • Constructor Details

    • JmcAtomicReferenceArray

      public JmcAtomicReferenceArray(int length)

  • Method Details

    • getAndSet

      public V getAndSet(int index, V newValue)

    • set

      public void set(int index, V newValue)

    • get

      public V get(int index)