 cozis
|
d3def64bba
|
sometimes: implement reachableSometimes and build a list of sometimes branches at compile-time
|
2026-06-19 13:25:59 +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
|
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 |
|
|
cozis
|
69b9ddfc72
|
node: make accept blocking
|
2026-06-04 18:20:14 +02:00 |
|
|
cozis
|
ec0659e921
|
network: allow send on not yet connected sockets
|
2026-06-04 18:15:09 +02:00 |
|
|
cozis
|
0a8123b158
|
io_interface: propagate cancellation errors
|
2026-06-04 18:03:01 +02:00 |
|
|
cozis
|
140a64d609
|
io_interface: implement recancel and checkCancel mocks
|
2026-06-04 17:59:49 +02:00 |
|
|
cozis
|
64c229afb4
|
io_interface: drain canceled groups
|
2026-06-04 17:57:41 +02:00 |
|
|
cozis
|
e1fc8c6125
|
io_interface: actually cancel tasks when calling the groupCancel mock
|
2026-06-04 17:54:39 +02:00 |
|
|
cozis
|
d1ee873388
|
io_interface: properly call futexWaitUncancelable from the mock
|
2026-06-04 17:53:02 +02:00 |
|
|
cozis
|
20007f3c6b
|
node: expose futexWaitUncancelable from the scheduler
|
2026-06-04 17:52:29 +02:00 |
|
|
cozis
|
4f35537e3d
|
scheduler: add futexWaitUncancelable
|
2026-06-04 17:51:58 +02:00 |
|
|
cozis
|
f90d4d883d
|
scheduler: wake canceled tasks
|
2026-06-04 17:49:53 +02:00 |
|
|
cozis
|
fe1acaee8c
|
scheduler: make task wait cancellable
|
2026-06-04 17:47:05 +02:00 |
|
|
cozis
|
445fd2fd7f
|
scheduler: Make sleep cancellable
|
2026-06-04 17:44:02 +02:00 |
|
|
cozis
|
1c1cc1041a
|
node: Expose recancel and checkCancel at the node layer
|
2026-06-04 17:36:21 +02:00 |
|
|
cozis
|
a01858aede
|
scheduler: Add recancel and checkCancel to help manage cancellation state
|
2026-06-04 17:36:01 +02:00 |
|
|
cozis
|
b57cb8e87b
|
node: Expose .cancel at the node layer
|
2026-06-04 17:32:38 +02:00 |
|
|
cozis
|
144de52f27
|
scheduler: Add cancellation flag to Task and .cancel method to set it from the parent
|
2026-06-04 17:31:15 +02:00 |
|
|
cozis
|
cf6c78577b
|
io_interface: Add mocks for futexWait, futexWaitUncancelable, futexWake
|
2026-06-04 13:44:48 +02:00 |
|
|
cozis
|
3b3fc75f1b
|
node: Expose futexes at the node level
|
2026-06-04 13:43:15 +02:00 |
|
|
cozis
|
cde2061b3c
|
scheduler: Implement futexes at the scheduler level
|
2026-06-04 13:41:47 +02:00 |
|
|
cozis
|
3bdcce3ade
|
io_interface: First mock of the Group-related methods
|
2026-06-04 13:38:35 +02:00 |
|
|
cozis
|
ce51e82363
|
scheduler: Minor bug fix
|
2026-06-04 13:38:03 +02:00 |
|
|
cozis
|
f61bb93a22
|
node: Expose the scheduler's sub-task APIs through Node
|
2026-06-04 13:34:36 +02:00 |
|
|
cozis
|
1f5e185bec
|
scheduler: Implement spawning of nested tasks
|
2026-06-04 13:32:12 +02:00 |
|
|
cozis
|
aec8ff5154
|
io_interface: Modify netWrite to only block while reading into the first slice
|
2026-06-02 13:54:33 +02:00 |
|
|
cozis
|
38ae508c49
|
node: Add boolean argument to readSocket to switch between blocking and non-blocking mode
|
2026-06-02 13:49:22 +02:00 |
|