CompetitionTester

A tester for linearizabilty.

This is a generic competition tester, that takes two solvers as parameters.

S1: the first type of sequential specification objects.
S2: the second type of sequential specification objects.
C: the type of concurrent object being tested.
L: the typo of logs.

Linear Supertypes

AnyRef, Any

Instance Constructors

new CompetitionTester(mkLog: ((Int, String, (S1) ⇒ Any) ⇒ InvokeEvent[S1, Any, Any], (Int, Any) ⇒ ReturnEvent[Any], (Int, String, (S2) ⇒ Any) ⇒ InvokeEvent[S2, Any, Any], (Int, Any) ⇒ ReturnEvent[Any]) ⇒ L, solver1: GenericSolver[S1, Event], solver2: GenericSolver[S2, Event], worker: (Int, CompetitionThreadLog[S1, S2, C]) ⇒ Unit, p: Int, iters: Int, concObj: C)

mkLog
function to create the log, given the event creation functions of the solvers.
solver1
the first solver.
solver2
the second solver.
worker
a function giving the behaviour of a worker.
p
the number of workers.
iters
the number of event invocations by each worker.
concObj
the concurrent object.

Value Members

final def !=(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def !=(arg0: Any): Boolean

Definition Classes
Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def ==(arg0: Any): Boolean

Definition Classes
Any
def apply(): Int

Run the linearizability solvers.
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws()
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws()
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def solve(events: Array[(Event, Event)]): Int

Test whether the history given by events is linearizable, returning one of the values defined in Solver.
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws()
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws()
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws()

class CompetitionTester[S1, S2, E1, E2, C, L <: CompetitionLog[S1, S2, C]] extends AnyRef

Instance Constructors

Value Members

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

def apply(): Int

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def solve(events: Array[(Event, Event)]): Int

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from AnyRef

Inherited from Any

Ungrouped