Skip to content

Commit 6087dbb

Browse files
authored
Updated fault model to track all supported fault windows (#110)
1 parent 894d30f commit 6087dbb

3 files changed

Lines changed: 668 additions & 204 deletions

File tree

antithesis-research/references/faults.md

Lines changed: 16 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -86,19 +86,22 @@ intervals. Common uses: toggling admin config, triggering compaction/GC,
8686
forking background processes. Custom faults can use the Antithesis SDK to draw
8787
random numbers for probabilistic behavior.
8888

89-
## Process Fault Availability
90-
91-
The **`basic_test` webhook** (the default way to launch runs) **disables node
92-
termination faults** (process kill and stop). This means containers will not be killed
93-
or restarted during a standard run.
94-
95-
Customers can enable process kill/stop faults by contacting Antithesis support.
96-
Alternatively, you can implement ad-hoc process-level faults yourself via test
97-
commands, custom faults, or any other mechanism available in your environment.
98-
99-
When analyzing a system, keep this in mind: properties that depend on crash
100-
recovery or restart behavior will not be exercised by default. Note them in the
101-
property catalog and flag that they require process faults to be enabled.
89+
## Fault Availability
90+
91+
Not all fault types are enabled by default. The set of enabled faults depends on
92+
the tenant configuration and the webhook used to launch runs. For example, node
93+
termination (kill/stop) and clock faults are commonly disabled in default
94+
configurations.
95+
96+
If a property or test depends on a specific fault type being active (e.g. crash
97+
recovery requires node termination, clock-sensitive logic requires clock jitter),
98+
flag it as a requirement in the property catalog and confirm with the user that
99+
the fault is enabled for their tenant. Properties that depend on disabled faults
100+
will not be exercised and may show as unfound or vacuously passing.
101+
102+
Customers can adjust fault availability by contacting Antithesis support.
103+
Alternatively, some fault scenarios can be approximated via test commands, custom
104+
faults, or other mechanisms available in the environment.
102105

103106
## Requesting Quiet Periods with `ANTITHESIS_STOP_FAULTS`
104107

0 commit comments

Comments
 (0)