https://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692017-11-24T14:40:31ZOpen-Source ProjectsKlever - Bug #8581: Simplify generation of new threads at registrations for instanceshttps://forge.ispras.ru/issues/8581?journal_id=321272017-11-24T14:40:31ZIlja Zakharovilja.zakharov@ispras.ru
<ul></ul><p>Just a note that the subtask <a class="issue tracker-4 status-5 priority-6 priority-high2 closed" title="Feature: Add a guard to restrict calling isntances related to different containers at registration (Closed)" href="https://forge.ispras.ru/issues/8595">#8595</a> does not solve this issue since the analysis for race checking ignores assumptions and guards.</p> Klever - Bug #8581: Simplify generation of new threads at registrations for instanceshttps://forge.ispras.ru/issues/8581?journal_id=322442017-12-26T15:25:44ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Priority</strong> changed from <i>Urgent</i> to <i>High</i></li></ul> Klever - Bug #8581: Simplify generation of new threads at registrations for instanceshttps://forge.ispras.ru/issues/8581?journal_id=322452017-12-26T15:25:54ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Related to</strong> <i><a class="issue tracker-4 status-5 priority-6 priority-high2 closed" href="/issues/8595">Feature #8595</a>: Add a guard to restrict calling isntances related to different containers at registration</i> added</li></ul> Klever - Bug #8581: Simplify generation of new threads at registrations for instanceshttps://forge.ispras.ru/issues/8581?journal_id=322472017-12-26T15:27:56ZEvgeny Novikovnovikov@ispras.ru
<ul></ul><p>I don't believe that we really need this so quickly and that we can do that in time.</p>