Project

General

Profile

Bug #8581

Simplify generation of new threads at registrations for instances

Added by Ilja Zakharov over 1 year ago. Updated about 1 year ago.

Status:
New
Priority:
High
Assignee:
Category:
Environment model
Target version:
-
Start date:
11/24/2017
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Platform:
Published in build:

Description

If there are several instances of a process then at registration it is possible to check that provided signal parameters correspond to each particular instance. Using this clause it is possible to significantly reduce the number of starting pthreads.


Related issues

Related to Klever - Feature #8595: Add a guard to restrict calling isntances related to different containers at registrationClosed2017-11-24

History

#1 Updated by Ilja Zakharov about 1 year ago

Just a note that the subtask #8595 does not solve this issue since the analysis for race checking ignores assumptions and guards.

#2 Updated by Evgeny Novikov about 1 year ago

  • Priority changed from Urgent to High

#3 Updated by Evgeny Novikov about 1 year ago

  • Related to Feature #8595: Add a guard to restrict calling isntances related to different containers at registration added

#4 Updated by Evgeny Novikov about 1 year ago

I don't believe that we really need this so quickly and that we can do that in time.

Also available in: Atom PDF