 cozis
|
3f96898f54
|
io_interface: implement fileSetLength
|
2026-06-20 09:46:35 +02:00 |
|
|
cozis
|
edecb61ba4
|
node: add setFileLength
|
2026-06-20 09:46:14 +02:00 |
|
|
cozis
|
13f001e317
|
file_system: add setFileLength
|
2026-06-20 09:45:59 +02:00 |
|
|
cozis
|
2c5afbd283
|
sometimes: don't report reachableSometimes in the N/M form
|
2026-06-19 17:03:55 +02:00 |
|
|
cozis
|
93b4efbb2f
|
node: add injection of partial reads and writes
|
2026-06-19 16:57:47 +02:00 |
|
|
cozis
|
6d27a5fcec
|
examples: add example that tests whether fault injection reaches interesting branches
|
2026-06-19 16:57:19 +02:00 |
|
|
cozis
|
c37d29977d
|
examples: add fault coverage example
|
2026-06-19 15:52:03 +02:00 |
|
|
cozis
|
306aa88f00
|
simulator: add network partition fault injection
|
2026-06-19 15:51:53 +02:00 |
|
|
cozis
|
e8ba94b418
|
partition_policy: add partition shape policy
|
2026-06-19 15:51:38 +02:00 |
|
|
cozis
|
0b792274e3
|
network: honor partitions in connect and send
|
2026-06-19 15:51:26 +02:00 |
|
|
cozis
|
50dea84f1d
|
partition: add broken-link tracking
|
2026-06-19 15:51:13 +02:00 |
|
|
cozis
|
08518e15ad
|
io_interface: implement dirRename
|
2026-06-19 13:41:15 +02:00 |
|
|
cozis
|
5b1e8c5d24
|
node: add rename
|
2026-06-19 13:41:04 +02:00 |
|
|
cozis
|
89e5fff8a4
|
file_system: add rename
|
2026-06-19 13:40:50 +02:00 |
|
|
cozis
|
3a0eab16a7
|
examples: add example for sometimes assertions
|
2026-06-19 13:27:03 +02:00 |
|
|
cozis
|
fa09d425a0
|
examples: minor cleanup
|
2026-06-19 13:26:47 +02:00 |
|
|
cozis
|
e98630cafd
|
simulator: expose reachableSometimes via Simulator
|
2026-06-19 13:26:24 +02:00 |
|
|
cozis
|
d3def64bba
|
sometimes: implement reachableSometimes and build a list of sometimes branches at compile-time
|
2026-06-19 13:25:59 +02:00 |
|
|
cozis
|
9f867c71ee
|
examples: explicitly dump sometimes assertions report in example.zig
|
2026-06-19 13:02:16 +02:00 |
|
|
cozis
|
53aa509153
|
simulator: expose sometimes assertions via the simulator object
|
2026-06-19 13:01:04 +02:00 |
|
|
cozis
|
9e56a63360
|
sometimes: implement registry of sometimes assertions
|
2026-06-19 13:00:44 +02:00 |
|
|
cozis
|
43a24f4771
|
readme: update README.md and add DST.md
|
2026-06-09 15:38:35 +02:00 |
|
|
cozis
|
890d16fa7b
|
readme: add timeline diagram image
|
2026-06-08 12:44:20 +02:00 |
|
|
cozis
|
b7d748d081
|
misc: ignore .html and .txt files
|
2026-06-08 12:36:25 +02:00 |
|
|
cozis
|
6133b7cb60
|
build: add timeline_html, timeline_ascii, strace commands to build.zig to easily generate diagrams from a trace
|
2026-06-08 12:36:09 +02:00 |
|
|
cozis
|
720d20d3e0
|
diagram: add program to generate various visual representations of the simulation trace
|
2026-06-08 12:35:34 +02:00 |
|
|
cozis
|
b49025bc39
|
examples: log output of tcp_ping_pong to simulation.log
|
2026-06-08 11:33:43 +02:00 |
|
|
cozis
|
6b0ba04058
|
misc: ignore .log files
|
2026-06-08 11:33:13 +02:00 |
|
|
cozis
|
7423d8fad7
|
trace: minor fix
|
2026-06-08 11:31:35 +02:00 |
|
|
cozis
|
aa9c3b7274
|
trace: write traced events to disk
|
2026-06-08 11:28:57 +02:00 |
|
|
cozis
|
a8ac2773f9
|
simulator: add setTraceOutputFile to enable tracing and specify the output file
|
2026-06-08 11:00:49 +02:00 |
|
|
cozis
|
4b2c103e71
|
trace: add backing file handle
|
2026-06-08 10:59:31 +02:00 |
|
|
cozis
|
57527c270e
|
scheduler: call taskState
|
2026-06-08 10:46:47 +02:00 |
|
|
cozis
|
53ad5b297a
|
trace: add taskState
|
2026-06-08 10:45:30 +02:00 |
|
|
cozis
|
3b5e7f54d4
|
scheduler: call timeAdvanced
|
2026-06-08 10:41:52 +02:00 |
|
|
cozis
|
7c642e384e
|
trace: add timeAdvanced
|
2026-06-08 10:40:56 +02:00 |
|
|
cozis
|
d7f9eb2a51
|
scheduler: call taskSpawned and taskRemoved
|
2026-06-08 10:39:48 +02:00 |
|
|
cozis
|
a3dbb48718
|
trace: add taskSpawned and taskRemoved
|
2026-06-08 10:39:34 +02:00 |
|
|
cozis
|
34faa08f68
|
scheduler: call enterTask/leaveTask when context switching
|
2026-06-08 10:37:17 +02:00 |
|
|
cozis
|
f09afaa5a8
|
trace: add enterTask and leaveTask
|
2026-06-08 10:35:17 +02:00 |
|
|
cozis
|
ea3da4004d
|
node: call tracing functions when doing I/O
|
2026-06-08 10:30:19 +02:00 |
|
|
cozis
|
7c7ef6db6f
|
trace: add dummy implementation of the tracing object
|
2026-06-08 10:23:46 +02:00 |
|
|
cozis
|
3676ceb9c4
|
node: use random delays instead of static ones when simulating I/O delay
|
2026-06-08 10:19:16 +02:00 |
|
|
cozis
|
d77714e11a
|
scheduler: pick ready tasks randomly
|
2026-06-08 10:12:41 +02:00 |
|
|
cozis
|
bad44c36f1
|
simulator: Add PRNG field
|
2026-06-08 10:11:00 +02:00 |
|
|
cozis
|
92f301ea40
|
node: add local_time and increment it by a fixed amount any time a task runs
|
2026-06-08 10:05:52 +02:00 |
|
|
cozis
|
4e3cae8cc8
|
simulator: remove tests
|
2026-06-08 10:02:24 +02:00 |
|
|
cozis
|
36752f6d0e
|
io_interface: implement fileSync mock
|
2026-06-04 19:09:02 +02:00 |
|
|
cozis
|
9769188fc9
|
file_system: expose syncFile from FileSystem
|
2026-06-04 19:08:28 +02:00 |
|
|
cozis
|
e9884fbe85
|
file_system: add no-op syncFile
|
2026-06-04 19:06:33 +02:00 |
|