Simplify generation of new threads at registrations for instances
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.
Just a note that the subtask #8595 does not solve this issue since the analysis for race checking ignores assumptions and guards.
- Priority changed from Urgent to High
- Related to Feature #8595: Add a guard to restrict calling isntances related to different containers at registration added
I don't believe that we really need this so quickly and that we can do that in time.
Also available in: Atom