You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
"Here the first process will run an instrumented trigger (trigger1) while the second process is not instrumenting, then the second process will run a non-instrumented trigger while the first process is still instrumenting."
172
-
p1 := [
173
-
sharedObject methodProcess1.
174
-
testSemaphore signal ] fork.
175
-
p2 := [
176
-
sharedObject methodProcess2.
177
-
testSemaphore signal ] fork.
156
+
p1 := [ sharedObject methodProcess1. testSemaphore signal ] fork.
157
+
p2 := [ sharedObject methodProcess2. testSemaphore signal ] fork.
178
158
testSemaphore wait.
179
159
180
160
"Here the first trigger should have been captured, but not the second. If not concurrency is not correctly managed."
0 commit comments