Package com.vmlens.annotation

Annotation Type Atomic

@Target(TYPE)
@Retention(CLASS)
public @interface Atomic

Marks a class as atomic. This means that all methods of this class are atomic. A method is atomic when the method call appears to take effect instantaneously. So other threads either see the state before or after the method call but no intermediate state. This annotation tells the class AllInterleavings that it does not look inside the methods of this class when calculating all thread interleavings. This reduces the amount of thread interleavings generated, often dramatically.

See Also:

Callback