QueueCompetitionTester

Value Members

1. final def !=(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

2. final def !=(arg0: Any): Boolean

   Definition Classes

   Any

3. final def ##(): Int

   Definition Classes

   AnyRef → Any

4. final def ==(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

5. final def ==(arg0: Any): Boolean

   Definition Classes

   Any

6. def JIT[A, US <: Undoable, C](worker: (Int, QueueCompetitionThreadLog[A, US, C]) ⇒ Unit, p: Int, iters: Int, concQueue: C, us: US, tsLog: Boolean = true): QueueCompetitionTester[A, US, C, QueueCompetitionLog[A, US, C]]

   A QueueCompetitionTester using the Just-in-Time Linearization Tree Search Algorithm.

   A QueueCompetitionTester using the Just-in-Time Linearization Tree Search Algorithm.

   A

   the type of data stored in the queue.

   US

   the type of the undoable sequential specification datatype.

   C

   the type of concurrent datatypes.

   worker

   a function that produces a worker.

   p

   the number of threads.

   iters

   the number of iters performed by each worker.

   concQueue

   the concurrent queue object.

   us

   the undoable sequential specification datatype.

   tsLog

   should a timestamp-based log be used?

7. def WG[A, US <: Undoable, C](worker: (Int, QueueCompetitionThreadLog[A, US, C]) ⇒ Unit, p: Int, iters: Int, concQueue: C, us: US, tsLog: Boolean = true): QueueCompetitionTester[A, US, C, QueueCompetitionLog[A, US, C]]

   A QueueCompetitionTester using the Wing & Gong Tree Search Algorithm.

   A QueueCompetitionTester using the Wing & Gong Tree Search Algorithm.

   A

   the type of data stored in the queue.

   US

   the type of the undoable sequential specification datatype.

   C

   the type of concurrent datatypes.

   worker

   a function that produces a worker.

   p

   the number of threads.

   iters

   the number of iters performed by each worker.

   concQueue

   the concurrent queue object.

   us

   the undoable sequential specification datatype.

   tsLog

   should a timestamp-based log be used?

8. final def asInstanceOf[T0]: T0

   Definition Classes

   Any

9. def clone(): AnyRef

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws()

10. final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

11. def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

12. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws()

13. final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

14. def hashCode(): Int

    Definition Classes

    AnyRef → Any

15. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

16. final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

17. final def notify(): Unit

    Definition Classes

    AnyRef

18. final def notifyAll(): Unit

    Definition Classes

    AnyRef

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

    Definition Classes

    AnyRef

20. def toString(): String

    Definition Classes

    AnyRef → Any

21. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws()

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

    Definition Classes

    AnyRef

    Annotations

    @throws()

23. final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws()