Index

_

__init__() (frontrun.async_trace_markers.AsyncTraceExecutor method) (frontrun.common.Schedule method) (frontrun.trace_markers.TraceExecutor method)

A

access_type (frontrun._trace_format.SourceLineEvent attribute) (frontrun._trace_format.TraceEvent attribute) async_frontrun() (in module frontrun.async_trace_markers) AsyncBytecodeShuffler (class in frontrun.async_bytecode) AsyncTraceExecutor (class in frontrun.async_trace_markers)

attr_name (frontrun._trace_format.ConflictInfo attribute) (frontrun._trace_format.SourceLineEvent attribute) (frontrun._trace_format.TraceEvent attribute) await_point() (in module frontrun.async_bytecode) AwaitScheduler (class in frontrun.async_bytecode)

B

build_call_chain() (in module frontrun._trace_format)

C

call_chain (frontrun._trace_format.SourceLineEvent attribute) (frontrun._trace_format.TraceEvent attribute) classify_conflict() (in module frontrun._trace_format) CollapsedRun (class in frontrun._trace_format)

condense_trace() (in module frontrun._trace_format) ConflictInfo (class in frontrun._trace_format) controlled_interleaving() (in module frontrun.async_bytecode) count (frontrun._trace_format.CollapsedRun attribute) counterexample (frontrun.common.InterleavingResult attribute), [1]

D

deduplicate_to_source_lines() (in module frontrun._trace_format)

E

enabled (frontrun._trace_format.TraceRecorder attribute) events (frontrun._trace_format.TraceRecorder attribute) execution_name (frontrun.common.Step attribute), [1]

explanation (frontrun.common.InterleavingResult attribute), [1] explore_dpor() (in module frontrun.dpor) explore_interleavings() (in module frontrun.async_bytecode) (in module frontrun.bytecode)

F

failures (frontrun.common.InterleavingResult attribute), [1] filename (frontrun._trace_format.SourceLineEvent attribute) (frontrun._trace_format.TraceEvent attribute) filter_to_shared_accesses() (in module frontrun._trace_format) format_trace() (in module frontrun._trace_format) frontrun() (in module frontrun.trace_markers) frontrun._trace_format module frontrun.async_bytecode module frontrun.async_scheduler module

frontrun.async_trace_markers module frontrun.bytecode module frontrun.common module frontrun.dpor module frontrun.trace_markers module function_name (frontrun._trace_format.SourceLineEvent attribute) (frontrun._trace_format.TraceEvent attribute)

G

get_marker() (frontrun.trace_markers.MarkerRegistry method)

H

had_error (frontrun.async_bytecode.AwaitScheduler property) (frontrun.async_scheduler.InterleavedLoop property)

I

InterleavedLoop (class in frontrun.async_scheduler)

InterleavingResult (class in frontrun.common) is_finished() (frontrun.trace_markers.ThreadCoordinator method)

L

lineno (frontrun._trace_format.SourceLineEvent attribute) (frontrun._trace_format.TraceEvent attribute)

M

marker_name (frontrun.common.Step attribute), [1] MarkerRegistry (class in frontrun.trace_markers) module frontrun._trace_format frontrun.async_bytecode frontrun.async_scheduler frontrun.async_trace_markers frontrun.bytecode frontrun.common frontrun.dpor frontrun.trace_markers

N

num_explored (frontrun.common.InterleavingResult attribute), [1]

O

obj_type_name (frontrun._trace_format.SourceLineEvent attribute) (frontrun._trace_format.TraceEvent attribute)

on_proceed() (frontrun.async_bytecode.AwaitScheduler method) (frontrun.async_scheduler.InterleavedLoop method) opcode (frontrun._trace_format.TraceEvent attribute)

P

pattern (frontrun._trace_format.ConflictInfo attribute)

pause() (frontrun.async_scheduler.InterleavedLoop method) property_holds (frontrun.common.InterleavingResult attribute), [1]

Q

qualified_name() (in module frontrun._trace_format)

R

record() (frontrun._trace_format.TraceRecorder method) record_from_opcode() (frontrun._trace_format.TraceRecorder method) record_io() (frontrun._trace_format.TraceRecorder method) report_error() (frontrun.trace_markers.ThreadCoordinator method) reproduction_attempts (frontrun.common.InterleavingResult attribute), [1] reproduction_successes (frontrun.common.InterleavingResult attribute), [1]

reset() (frontrun.async_trace_markers.AsyncTraceExecutor method) (frontrun.trace_markers.TraceExecutor method) run() (frontrun.async_bytecode.AsyncBytecodeShuffler method) (frontrun.async_trace_markers.AsyncTraceExecutor method) (frontrun.trace_markers.TraceExecutor method) run_all() (frontrun.async_scheduler.InterleavedLoop method) run_with_schedule() (in module frontrun.async_bytecode)

S

scan_frame() (frontrun.trace_markers.MarkerRegistry method) Schedule (class in frontrun.common) schedule_strategy() (in module frontrun.async_bytecode) should_proceed() (frontrun.async_bytecode.AwaitScheduler method) (frontrun.async_scheduler.InterleavedLoop method)

source_line (frontrun._trace_format.SourceLineEvent attribute) SourceLineEvent (class in frontrun._trace_format) Step (class in frontrun.common) step_index (frontrun._trace_format.TraceEvent attribute) summary (frontrun._trace_format.ConflictInfo attribute)

T

thread_id (frontrun._trace_format.CollapsedRun attribute) (frontrun._trace_format.SourceLineEvent attribute) (frontrun._trace_format.TraceEvent attribute)

ThreadCoordinator (class in frontrun.trace_markers) TraceEvent (class in frontrun._trace_format) TraceExecutor (class in frontrun.trace_markers) TraceRecorder (class in frontrun._trace_format)

U

unique_interleavings (frontrun.common.InterleavingResult attribute), [1]

W

wait() (frontrun.trace_markers.TraceExecutor method)

wait_for_turn() (frontrun.trace_markers.ThreadCoordinator method)