Type of functions that produce workers.
Produce a linearizability tester based on breadth-first JIT Graph Search and a shared log.
Produce a linearizability tester based on breadth-first JIT Graph Search and a shared log.
the type of the sequential specification datatype.
the type of concurrent datatypes.
the sequential specification datatype.
the concurrent object.
the number of threads.
a function that produces a worker.
the number of iters performed by each worker.
should a timestamp-based log be used?
Produce a linearizability tester based on JIT Graph Search and a shared log.
Produce a linearizability tester based on JIT Graph Search and a shared log.
the type of the sequential specification datatype.
the type of concurrent datatypes.
the sequential specification datatype.
the concurrent object.
the number of threads.
a function that produces a worker.
the number of iters performed by each worker.
should a timestamp-based log be used?
Produce a linearizability tester based on JIT Tree Search and a shared log.
Produce a linearizability tester based on JIT Tree Search and a shared log.
the type of the sequential specification datatype.
the type of concurrent datatypes.
the sequential specification datatype.
the concurrent object.
the number of threads.
a function that produces a worker.
the number of iters performed by each worker.
should a timestamp-based log be used?
Produce a linearizability tester based on the Wing & Gong Graph Search Algorithm and a shared log.
Produce a linearizability tester based on the Wing & Gong Graph Search Algorithm and a shared log.
the type of the sequential specification datatype.
the type of concurrent datatypes.
the sequential specification datatype.
the concurrent object.
the number of threads.
a function that produces a worker.
the number of iters performed by each worker.
should a timestamp-based log be used?
Produce a linearizability tester based on the Wing & Gong Tree Search Algorithm and a shared log.
Produce a linearizability tester based on the Wing & Gong Tree Search Algorithm and a shared log.
the type of the sequential specification datatype.
the type of concurrent datatypes.
the sequential specification datatype.
the concurrent object.
the number of threads.
a function that produces a worker.
the number of iters performed by each worker.
should a timestamp-based log be used?