Project

General

Profile

Actions

Bug #8581

open

Simplify generation of new threads at registrations for instances

Added by Ilja Zakharov over 6 years ago. Updated over 6 years ago.

Status:
New
Priority:
High
Assignee:
Category:
Environment models
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 1 (0 open1 closed)

Related to Klever - Feature #8595: Add a guard to restrict calling isntances related to different containers at registrationClosedIlja Zakharov11/24/2017

Actions
Actions #1

Updated by Ilja Zakharov over 6 years ago

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

Actions #2

Updated by Evgeny Novikov over 6 years ago

  • Priority changed from Urgent to High
Actions #3

Updated by Evgeny Novikov over 6 years ago

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

Updated by Evgeny Novikov over 6 years ago

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

Actions

Also available in: Atom PDF