Harden Foundations memory and concurrency contracts - #116

Draft

tdecroyere wants to merge 60 commits into

mainfrom

refactor/memory-pop-cleanup

Commits on Sep 4, 2026

Simplify memory arena page layout
tdecroyere
committed
3bb224b

Commits on Sep 5, 2026

Document memory arena contracts
tdecroyere
committed
4a59f74
Harden span contracts and const usage
tdecroyere
committed
4963500
Fix duplicated string span length
tdecroyere
committed
e33cb7e
Add span and string buffer tests
tdecroyere
committed
dc95ea7
Include span tests in FoundationsTests
tdecroyere
committed
7ad19b2
Fix bounded concurrent memory arena pushes
tdecroyere
committed
884051d
Add memory arena overflow regression tests
tdecroyere
committed
f908752
Serialize memory arena page bookkeeping
tdecroyere
committed
9f51444
Add concurrent commit regression coverage
tdecroyere
committed
3569935
Finalize memory arena synchronization invariants
tdecroyere
committed
029fba8
Write shader string terminators explicitly
tdecroyere
committed
e5b2250
Report platform memory operation failures
tdecroyere
committed
39769f4
Make Windows VM accounting thread-safe
tdecroyere
committed
4e5e5d8
Make POSIX VM accounting thread-safe
tdecroyere
committed
12d5da1
Harden memory arena size and VM failure handling
tdecroyere
committed
16f6580
Add VM accounting and overflow regression tests
tdecroyere
committed
b80f7e3
Track committed bytes when freeing VM ranges
tdecroyere
committed
7e71549
Account committed bytes on Windows VM release
tdecroyere
committed
405715e
Account committed bytes on POSIX VM release
tdecroyere
committed
5dee42f
Validate memory accounting after arena release
tdecroyere
committed
b6f5139
Run memory robustness regressions
tdecroyere
committed
ffc7ad1
Track committed bytes when freeing arenas
tdecroyere
committed
c2c90bb
Harden concurrent data pool allocation
tdecroyere
committed
550613f
Add concurrent data pool regressions
tdecroyere
committed
82dcb04
Run data pool robustness regressions
tdecroyere
committed
6753494
Harden dictionary concurrency
tdecroyere
committed
1169584
Add dictionary robustness regressions
tdecroyere
committed
d4dbec0
Run dictionary robustness regressions
tdecroyere
committed
b7d9aeb
Document data pool concurrency contract
tdecroyere
committed
d96df7b
Document dictionary concurrency contract
tdecroyere
committed
40c9fd7
Document memory commit failure contract
tdecroyere
committed
a2c7556
Propagate memory commit failures
tdecroyere
committed
7dc6b32
Handle data pool commit failures
tdecroyere
committed
495afc1
Handle dictionary commit failures
tdecroyere
committed
5636200
Test memory commit result contract
tdecroyere
committed
873f7cf
Fix commit result regression call
tdecroyere
committed
bb5073b

Commits on Sep 6, 2026

Document remaining SystemMemory helpers
tdecroyere
committed
a585f8c
Separate memory concurrency tests
tdecroyere
committed
748cde3
Separate data pool concurrency tests
tdecroyere
committed
9ea9f88
Separate dictionary concurrency tests
tdecroyere
committed
0342fab
Keep memory tests focused on sequential behavior
tdecroyere
committed
f98e132
Keep data pool tests focused on sequential behavior
tdecroyere
committed
6c9fba8
Keep dictionary tests focused on sequential behavior
tdecroyere
committed
98ddbb2
Organize Foundations tests by concurrency contract
tdecroyere
committed
79d81c6
Remove obsolete memory robustness tests
tdecroyere
committed
6efb753
Remove obsolete dictionary robustness tests
tdecroyere
committed
edd4f18
Remove obsolete data pool robustness tests
tdecroyere
committed
ead3758
Document memory data structures
tdecroyere
committed
82e0130
Add assertion messages to span tests
tdecroyere
committed
01d00ed
Add assertion messages to math tests
tdecroyere
committed
d3375e5
Add assertion messages to string tests
tdecroyere
committed
7beb84d
Add assertion messages to IO tests
tdecroyere
committed
a69d13e
Add assertion messages to process tests
tdecroyere
committed
9527cfd
Add assertion messages to data pool tests
tdecroyere
committed
ff83b68
Add assertion messages to concurrent data pool tests
tdecroyere
committed
4946045
Add assertion messages to dictionary tests
tdecroyere
committed
702aa81
Add assertion messages to concurrent dictionary tests
tdecroyere
committed
a8981ca
Add assertion messages to memory tests
tdecroyere
committed
ac0bfbf
Add assertion messages to concurrent memory tests
tdecroyere
committed
9ec166f