Package org.openjdk.jcstress.samples

Class JMMSample_05_TotalOrder.AcqRelDekker

java.lang.Object

org.openjdk.jcstress.samples.JMMSample_05_TotalOrder.AcqRelDekker

Enclosing class:

JMMSample_05_TotalOrder

public static class JMMSample_05_TotalOrder.AcqRelDekker
extends Object

Constructor Summary

Constructors

Constructor	Description
AcqRelDekker()

Method Summary

Modifier and Type	Method	Description
void	actor1(org.openjdk.jcstress.infra.results.II_Result r)
void	actor2(org.openjdk.jcstress.infra.results.II_Result r)

Methods inherited from class java.lang.Object

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

Constructor Detail

AcqRelDekker

public AcqRelDekker()

Method Detail

actor1

public void actor1(org.openjdk.jcstress.infra.results.II_Result r)

actor2

public void actor2(org.openjdk.jcstress.infra.results.II_Result r)