multicoretests

multicoretests copied to clipboard

[ocaml5-issue] Assertion failure during parallel `STM Out_channel` or `Sys` tests

1

The merge of #445 to `main` triggered an assertion failure and abort on Linux trunk during `STM Out_channel test parallel`: https://github.com/ocaml-multicore/multicoretests/actions/runs/8441854686/job/23121952174 ``` random seed: 115742799 generated error fail pass /...

jmid

Add Sys.is_directory, Sys.remove and Sys.rename

8

This PR adds `Sys.is_directory`, `Sys.remove` and `Sys.rename` to the current model-based STM tests. While doing so, I realized I could remove some of the duplicated code by pulling out special...

jmid

[ocaml5-issue] MSVC timeout and crashes in domain_spawntree - with Atomic

2

While running CI for #458, the MSVC trunk bytecode workflow timed out (deadlocked?) in `domain_spawntree - with Atomic` after 6h and having run only a few tests: https://github.com/ocaml-multicore/multicoretests/actions/runs/9115661686/job/25062501460?pr=458#logs ``` Skipping...

jmid

Reuse domains rather than spawning them for each parallel test

9

Given that domains are costly to spawn and join, and parallel tests in multicoretests do it many thousands of times, I wanted to look at it more closely. A quick...

OlivierNicole

Specifications can be terser through more type trickery

4

As I was writing an STM specification for Dynarrays, I was a bit frustrated to have to add a catch-all `assert false` at the end of `postcond`. So I went...

OlivierNicole

[ocaml5-issue] Deadlock in Dynlink test on Cygwin+MinGW+MSVC

8

Deadlock observed in a run on trunk Cygwin: https://github.com/shym/multicoretests/actions/runs/4367430739/jobs/7638729550#step:21:764 ``` Wed, 08 Mar 2023 22:46:19 GMT random seed: 366632243 Wed, 08 Mar 2023 22:46:19 GMT generated error fail pass /...

shym

[ocaml5-issue] Segfault in `STM Domain.DLS test sequential` on bytecode

23

In the CI-run for #445 on 32-bit trunk the `STM Domain.DLS test sequential` triggered a segfault https://github.com/ocaml-multicore/multicoretests/actions/runs/8436771284/job/23104952265?pr=445 ``` random seed: 107236932 generated error fail pass / total time test name...

jmid

[WIP] Add debug bytecode

1

Motivated by recent crashes in bytecode: - #412 - #440 - #446 this WIP PR adds bytecode debug workflows for Linux, macOS, and MinGW.

jmid

[ocaml5-issue] `Out_channel.flush` can cause `Syserror` when used in parallel

9

A Cygwin 5.2 run triggered when merging #443 to main found an unexpected counterexample to `STM Out_channel parallel`: https://github.com/ocaml-multicore/multicoretests/actions/runs/8361686850/job/22890359851 ``` random seed: 292949458 generated error fail pass / total time...

jmid

The merge to main of #438 crashed with a segfault on trunk in 32-bit mode: https://github.com/ocaml-multicore/multicoretests/actions/runs/8156987450/job/22295610813 ``` random seed: 86271143 generated error fail pass / total time test name [...

jmid