Project

General

Profile

Feature #8598

Support partially threaded environment models

Added by Evgeny Novikov over 1 year ago. Updated 8 months ago.

Status:
Closed
Priority:
Urgent
Assignee:
Category:
Environment model
Target version:
Start date:
11/27/2017
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

It turned out that it is extremely difficult to find data races when having many threads even using a rather lightweight approach. Indeed there is an exponential growth of a CPU time depending on a number of threads (indeed #8581 matters). So, the verification tool does not produce anything good for rather large programs.

That's why Pavel suggested to create a single thread at the top of environment model, say, when modules are initialized/exited, and do not generate any threads below.

History

#1

Updated by Ilja Zakharov over 1 year ago

  • Status changed from New to Resolved

Implemented in emg-improvements.

The mode is not set as default. To try it one need to change the following two options:
"direct control functions calls": false -> true,
"self parallel model": false -> true,

#2

Updated by Ilja Zakharov over 1 year ago

Moved to 8066-abstract-translator. I have changed a bit configuration options names.

#3

Updated by Evgeny Novikov 8 months ago

  • Status changed from Resolved to Closed

Branch klever-2.0 passed all tests and I merged it to master in 72be796e3 marked as v2.0rc1.

Also available in: Atom PDF