bug_fix-bug-improve-state-updatebarrier #34

Merged

Dirk-Willem-van-Gulik merged 3 commits from bug_fix-bug-improve-state-updatebarrier into main

2026-08-24 19:26:53 +02:00

Dirk-Willem-van-Gulik commented

2026-08-24 19:24:04 +02:00

Owner

Improve/fix bugs around the state reporting (which we had introduced for the students) & try to make it work better with other background/priority processes.

Dirk-Willem-van-Gulik added 3 commits

2026-08-24 19:24:04 +02:00

Move reporting that can be done 'fast' enough in front of the do-I-have-time barrier. 53c2205402

Yield to other threads; also abort on exact length and provide more info where in the path it broke off and scale down to debug 9e40ef6588

Instrument the json allocator a bit; increase size as we hit it once now f220b8cac8

Dirk-Willem-van-Gulik scheduled this pull request to auto merge when all checks succeed

2026-08-24 19:26:04 +02:00

Dirk-Willem-van-Gulik merged commit 3180330f2e into main

2026-08-24 19:26:53 +02:00

Dirk-Willem-van-Gulik referenced this pull request from a commit

2026-08-24 19:26:54 +02:00

Merge pull request 'bug_fix-bug-improve-state-updatebarrier' (#34) from bug_fix-bug-improve-state-updatebarrier into main

Dirk-Willem-van-Gulik deleted branch bug_fix-bug-improve-state-updatebarrier

2026-08-24 19:27:06 +02:00

No reviewers

No labels

No milestone

No project

No assignees

1 participant

Notifications

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference

msl/ACNode!34

No description provided.

Rows
Columns