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) acquire_row_locks() (frontrun.async_shuffler.AwaitScheduler method) add_timeout_deadline() (frontrun.async_scheduler.InterleavedLoop method) (frontrun.async_shuffler.AwaitScheduler method) all_marker_schedules() (in module frontrun.trace_markers), [1] any_async() (in module frontrun.common) assert_holds() (frontrun.common.InterleavingResult method)

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) 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) check_invariant() (in module frontrun.common) check_serializability_violation() (in module frontrun.common) classify_conflict() (in module frontrun._trace_format) CollapsedRun (class in frontrun._trace_format) compute_serializable_states() (in module frontrun.common)

compute_serializable_states_async() (in module frontrun.common) 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] CrossProcessResult (class in frontrun)

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] exhausted (frontrun.common.InterleavingResult attribute), [1] explanation (frontrun.common.InterleavingResult attribute), [1]

explore() (in module frontrun) explore_async_random() (in module frontrun) (in module frontrun.async_shuffler) explore_marker_interleavings() (in module frontrun.trace_markers), [1] explore_processes() (in module frontrun) explore_random() (in module frontrun)

F

failure_kind (frontrun.common.InterleavingResult attribute), [1] 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.common module frontrun.contrib.django module frontrun.contrib.sqlalchemy module frontrun.trace_markers module frontrun_wait_for() (in module frontrun.async_scheduler) 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

inconclusive_reason (frontrun.common.InterleavingResult attribute), [1] InterleavedLoop (class in frontrun.async_scheduler)

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

K

kick_stalled_schedule() (frontrun.async_scheduler.InterleavedLoop method) (frontrun.async_shuffler.AwaitScheduler 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.common frontrun.contrib.django frontrun.contrib.sqlalchemy 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)

on_task_resumed() (frontrun.async_scheduler.InterleavedLoop method) on_task_suspended() (frontrun.async_scheduler.InterleavedLoop method) opcode (frontrun._trace_format.TraceEvent attribute)

P

park_timed_wait() (frontrun.async_scheduler.InterleavedLoop method) (frontrun.async_shuffler.AwaitScheduler method) 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

races_detected (frontrun.common.InterleavingResult attribute) record() (frontrun._trace_format.TraceRecorder method) record_from_opcode() (frontrun._trace_format.TraceRecorder method) record_io() (frontrun._trace_format.TraceRecorder method) release_row_locks() (frontrun.async_shuffler.AwaitScheduler method) remove_timeout_deadline() (frontrun.async_scheduler.InterleavedLoop method) (frontrun.async_shuffler.AwaitScheduler method) report_and_wait() (frontrun.async_shuffler.AwaitScheduler method) report_error() (frontrun.trace_markers.ThreadCoordinator method) report_task_access() (frontrun.async_scheduler.InterleavedLoop method)

report_task_sync() (frontrun.async_scheduler.InterleavedLoop 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) resolve_serializable_hash_fn() (in module frontrun.common) 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) SchedulerTimeoutError should_proceed() (frontrun.async_scheduler.InterleavedLoop method) (frontrun.async_shuffler.AwaitScheduler method) should_trace_file() (frontrun._tracing.TraceFilter method) sleep_until() (frontrun.async_shuffler.AwaitScheduler 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) Subprocess (class in frontrun) 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]

unpark_timed_wait() (frontrun.async_scheduler.InterleavedLoop method) (frontrun.async_shuffler.AwaitScheduler method)

V

virtual_clock (frontrun.async_scheduler.InterleavedLoop attribute)

W

wait() (frontrun.trace_markers.TraceExecutor method)

wait_for_turn() (frontrun.trace_markers.ThreadCoordinator method) wait_until_scheduled_after_block() (frontrun.async_scheduler.InterleavedLoop method)