Index

_

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

A

access_type (frontrun._trace_format.SourceLineEvent attribute) (frontrun._trace_format.TraceEvent attribute) all_marker_schedules() (in module frontrun.trace_markers), [1] async_django_dpor() (in module frontrun.contrib.django) async_frontrun() (in module frontrun.async_trace_markers) async_sqlalchemy_dpor() (in module frontrun.contrib.sqlalchemy)

AsyncShuffler (class in frontrun.async_shuffler) 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_shuffler) AwaitScheduler (class in frontrun.async_shuffler)

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_shuffler) coordinator (frontrun.trace_markers.TraceExecutor property) count (frontrun._trace_format.CollapsedRun attribute) counterexample (frontrun.common.InterleavingResult attribute), [1]

D

deduplicate_to_source_lines() (in module frontrun._trace_format) detail (frontrun._trace_format.SourceLineEvent attribute) (frontrun._trace_format.TraceEvent attribute)

django_dpor() (in module frontrun.contrib.django) DJANGO_TRACE_PACKAGES (in module frontrun.contrib.django)

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_shuffler) (in module frontrun.bytecode) explore_marker_interleavings() (in module frontrun.trace_markers), [1]

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_scheduler module frontrun.async_shuffler module frontrun.async_trace_markers module

frontrun.bytecode module frontrun.common module frontrun.contrib.django module frontrun.contrib.sqlalchemy module frontrun.dpor module frontrun.trace_markers module function_name (frontrun._trace_format.SourceLineEvent attribute) (frontrun._trace_format.TraceEvent attribute)

G

get_async_connection() (in module frontrun.contrib.sqlalchemy)

get_connection() (in module frontrun.contrib.sqlalchemy) get_marker() (frontrun.trace_markers.MarkerRegistry method)

H

had_error (frontrun.async_scheduler.InterleavedLoop property) (frontrun.async_shuffler.AwaitScheduler 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] marker_registry (frontrun.trace_markers.TraceExecutor property) marker_schedule_strategy() (in module frontrun.trace_markers), [1] MarkerRegistry (class in frontrun.trace_markers) module frontrun._trace_format frontrun.async_scheduler frontrun.async_shuffler frontrun.async_trace_markers frontrun.bytecode frontrun.common frontrun.contrib.django frontrun.contrib.sqlalchemy frontrun.dpor frontrun.trace_markers

N

NondeterministicSQLError

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_scheduler.InterleavedLoop method) (frontrun.async_shuffler.AwaitScheduler method) opcode (frontrun._trace_format.TraceEvent attribute)

P

pattern (frontrun._trace_format.ConflictInfo attribute) pause() (frontrun.async_scheduler.InterleavedLoop method) (frontrun.async_shuffler.AwaitScheduler 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_shuffler.AsyncShuffler 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_shuffler)

S

scan_frame() (frontrun.trace_markers.MarkerRegistry method) Schedule (class in frontrun.common) schedule_strategy() (in module frontrun.async_shuffler) should_proceed() (frontrun.async_scheduler.InterleavedLoop method) (frontrun.async_shuffler.AwaitScheduler method) should_trace_file() (frontrun._tracing.TraceFilter method)

source_line (frontrun._trace_format.SourceLineEvent attribute) SourceLineEvent (class in frontrun._trace_format) sql_anomaly (frontrun.common.InterleavingResult attribute), [1] sqlalchemy_dpor() (in module frontrun.contrib.sqlalchemy) Step (class in frontrun.common) step_index (frontrun._trace_format.TraceEvent attribute) summary (frontrun._trace_format.ConflictInfo attribute)

T

task_errors (frontrun.trace_markers.TraceExecutor property) thread_errors (frontrun.trace_markers.TraceExecutor property) thread_id (frontrun._trace_format.CollapsedRun attribute) (frontrun._trace_format.SourceLineEvent attribute) (frontrun._trace_format.TraceEvent attribute)

ThreadCoordinator (class in frontrun.trace_markers) threads (frontrun.trace_markers.TraceExecutor property) TraceEvent (class in frontrun._trace_format) TraceExecutor (class in frontrun.trace_markers) TraceFilter (class in frontrun._tracing) 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)