Lincheck tests are slow when the number of CPUs is lower than the number of parallel threads

JetBrains / lincheck

Framework for testing concurrent data structures

Mozilla Public License 2.0

545 stars 31 forks source link

Lincheck tests are slow when the number of CPUs is lower than the number of parallel threads #280

Closed ndkoval closed 3 months ago

ndkoval commented 4 months ago

Please see https://github.com/JetBrains/lincheck/issues/278#issuecomment-1953512719 for details:

It seems to have hung on aarch64.

I have run it successfully locally on an M3 macbook, but not on CircleCI, likely because of fewer cpu cores (as we saw that affected Lincheck in past bugs).

eupp commented 4 months ago

Ok, I think now I am able to reproduce this issue locally using a docker container with a restricted number of CPUs. I am investigating the root cause of the issue now.

ben-manes commented 3 months ago

Thanks, working beautifully now!

ben-manes commented 3 months ago

was there a regression? I tried to upgrade 2.27 to 2.28.x and it times out (2.28, 2.28.1) like before.

eupp commented 3 months ago

Hi @ben-manes ! Yes, this is probably a regression. I'll take a look at it. Could you please pin the version 2.27 for now?

ben-manes commented 3 months ago

thanks @eupp! Please consider adding a test case.