Support for parallel model checking

mbeddr / mps-build-backends

Command-line utilities used e.g. by Gradle plugins to generate or check models.

Apache License 2.0

3 stars 4 forks source link

Support for parallel model checking #11

Closed cdelabou closed 1 year ago

cdelabou commented 1 year ago

This only includes option to use the new parallel task scheduler for checkers Flags to choose number of used thread will come in a later PR

Dependencies were set to use 2021.3.4 which isn't yet released, it can be built locally from sources or downloaded from our teamcity.

sergej-koscejev commented 1 year ago

This PR will have to be adapted to not fail on MPS versions that do not have SystemBackgroundTaskScheduler and withTaskScheduler() method.

sergej-koscejev commented 1 year ago

Merged separately, thanks!

fisakov commented 1 year ago

The upcoming MPS 2021.3.5 is going to have additional parameter in an overloaded constructor of SystemBackgroundTaskScheduler: the Executor to use to launch BG tasks with. That option could be used to avoid deadlocks when any of the checkers launches a write action.