Important Notice: Our web hosting provider recently started charging us for additional visits, which was unexpected. In response, we're seeking donations. Depending on the situation, we may explore different monetization options for our Community and Expert Contributors. It's crucial to provide more returns for their expertise and offer more Expert Validated Answers or AI Validated Answers. Learn more about our hosting issue here.

Does CHESS scale to large programs?

April 26, 2017Chess large Programs scale

0

Posted

Does CHESS scale to large programs?

1 Answer

0

Posted

Yes & No. You can run CHESS on very large programs. In many cases, CHESS will find more bugs than stress testing. However, we do not recommend running CHESS on large programs. (Also see FAQ #4.) With CHESS, you have the ability to systematically explore the set of interleavings of your programs. You can maximize the benefit from this systematic exploration by providing lots of small tests, each exploring a different concurrency scenario. As the set of interleavings increases exponentially with the number of threads and the size of the program, the systematic exploration will not complete on large tests.