Repository navigation

Bug-hunt fixes: safeWrite, trim, write/close race, statistics - #189

Merged

bernardladenthin merged 44 commits into

mainfrom

ccr-90fc5f6a-vs4s0f

Oct 22, 2026

Merged

Bug-hunt fixes: safeWrite, trim, write/close race, statistics#189
bernardladenthin merged 44 commits into
mainfrom
ccr-90fc5f6a-vs4s0f

Commits on Oct 20, 2026
- Fix safeWrite bypass by a concurrent write(int)
  claude
  committed
  3302ff8
- Add the bug-hunt ledgers: found bugs and checked classes
  claude
  committed
  38868b8
- Mark F03 as a design decision in the bug-hunt ledger
  claude
  committed
  8170864
- Update the bug-hunt ledger
  claude
  committed
  4c9c04d
- Update the bug-hunt ledger
  claude
  committed
  ceafab5
- Keep the buffered byte count constant while trim consolidates
  claude
  committed
  27aaed6
- Record the commit of F73 in the bug-hunt ledger
  claude
  committed
  6f2107b
- Update the bug-hunt ledger
  claude
  committed
  c92a564
- Update the bug-hunt ledger
  claude
  committed
  3250214
- Update the bug-hunt ledger
  claude
  committed
  bce6268
- Update the bug-hunt ledger
  claude
  committed
  6a13949
- Update the bug-hunt ledger
  claude
  committed
  e6d08d8
- Update the bug-hunt ledger
  claude
  committed
  088f1ea
- Correct the clampToMaxInt Javadoc and the maxAllocationSize default
  claude
  committed
  5540fb0
- Record the commit of F110 in the bug-hunt ledger
  claude
  committed
  ff4aaa4
- Check streamClosed under bufferLock so a write never lands after close
  claude
  committed
  6ece270
- Record the commits of F03 and F149 in the bug-hunt ledger
  claude
  committed
  496e8c7
- Carry the open points of the bug hunt into TODO.md
  claude
  committed
  48555ce
- Add the measurement brief for the open points of the bug hunt
  claude
  committed
  718e18c
- Record the results of the bug-hunt measurement brief
  
  bernardladenthin
  and
  claude
  committed
  b0fc35b
- Model-check the order of write and close with a third JPF harness
  claude
  committed
  10356bd
- Scale the stress loops down under RAC instead of running into the job timeout
  claude
  committed
  6f924d2
- Let Surefire run the jqwik properties
  claude
  committed
  50607d1
- Record the two suspected OpenJML defects and drop the done measurement item
  claude
  committed
  8d16434
- Record the check of the two suspected OpenJML RAC defects
  
  bernardladenthin
  and
  claude
  committed
  a22a9eb
- Point the two OpenJML RAC defects at OpenJML/OpenJML#1050
  
  bernardladenthin
  and
  claude
  committed
  0620aa7
- Point the RAC scaling at OpenJML/OpenJML#1050
  claude
  committed
  b18e585
- Remove the done measurement brief
  claude
  committed
  3ab8a3e
- Bring the docs in line with the F02/F73/F149 fixes
  claude
  committed
  24e425b
- Count I/O from a trim start signal in the statistics (F212)
  claude
  committed
  00fc010
- Record the commit of F212 in the bug-hunt ledger
  claude
  committed
  5951a10
- List F212 in the overview of the bug-hunt ledger
  claude
  committed
  43f0798
- Surface background failures in the F02 safeWrite test
  claude
  committed
  2f3e623
- Remove the wrapping-stream test that never reached the buffer
  claude
  committed
  83e0984
- Pin that close() waits for a write on another thread
  claude
  committed
  ac406fc
- Describe the close-during-trim tests by the current trim()
  claude
  committed
  30645bd
- Record the current StreamBuffer blob in the checked-classes ledger
  claude
  committed
  206cfa5
- List the statistics fix and the test work in the changelog
  claude
  committed
  5820a56
- List the three library fixes of this branch in the changelog
  claude
  committed
  fe7c145
- Point the recorded commit hashes at the rebased history
  claude
  committed
  62ea8a3
Commits on Oct 21, 2026

Commits

Commits on Oct 20, 2026

Commits on Oct 21, 2026