Try to fix openmp's slowness with gcc on busy machines

Our CI infrastructure is plagued with openmp jobs that takes ages when the runner runs on an otherwise busy machine.

We've had OMP_DYNAMIC=true for a while, but it's not sufficient. This post investigates this exact same situation, and suggests a solution.

assigned to @thome

added 1 commit

• 7a21745e - Add OMP_WAIT_POLICY and GOMP_SPINCOUNT settings

Compare with previous version

marked this merge request as ready

changed title from Draft: Timeout for tests to Try to fix openmp's slowness with gcc on busy machines

changed the description

enabled an automatic merge when the pipeline for 7a21745e succeeds

aborted the automatic merge because source branch was updated

added 1 commit

• 2021244d - [skip some ci] just trying

Compare with previous version

added 1 commit

• 7eb315a9 - [skip some ci] just trying

Compare with previous version

added 1 commit

• 2894c569 - [skip some ci] just trying

Compare with previous version

added 1 commit

• 057b3d9f - Do everything we can to avoid the openmp starvation problem.

Compare with previous version

added 1 commit

• e27d99ea - Try to fix the openmp starvation problem.

Compare with previous version

enabled an automatic merge when the pipeline for e27d99ea succeeds

merged

mentioned in commit 11ec7e9d