Package org.mpi_sws.jmc.api.util.concurrent
package org.mpi_sws.jmc.api.util.concurrent
Redefinitions of classes in the java.util.concurrent package.
-
ClassesClassDescriptionA redefinition of
AtomicBooleanthat communicates with JMC runtime to perform read, write, and compare-and-set operations.A redefinition ofAtomicIntegerfor JMC model checking.A redefinition ofAtomicReferenceto support JMC model checking.A redefinition of theAtomicReferenceArrayclass.A JMC-specific version ofCompletableFuturethat allows for custom execution and provides a way to set an underlying JmcFuture.A replacement forExecutors.An executor service that runs tasks in new threads.JmcFuture<T>A future that runs a callable function in a new thread.The LockSupport class is the replacement forLockSupportclass.A reentrant lock that can be used to synchronize access to shared resources.This class is a wrapper around the Java Thread class -Thread.A thread factory that createsJmcThreadinstances.A thread pool executor that runs tasks in new threads.