gap-packages / io

GAP package IO to do input and output
https://gap-packages.github.io/io/
Other
14 stars 14 forks source link

Avoid spurious failures in tst/sendstringbackground.tst #114

Closed fingolfin closed 1 year ago

fingolfin commented 1 year ago

Each call to IO_SendStringBackground forks and then adds the resulting PID to a table with 1024 entries. If we fork much faster than those jobs can finish (e.g. because the machine has few cores and is under heavy load), and do it 3000 times (as we did so far), then this can result in the ignoredpids table overflowing.

So let's only do this 1000 times, not 3000.

Resolves #105 Resolves #108