We are experiencing a race condition in the parameter flow control logic that allows requests to exceed the…
We are experiencing a race condition in the parameter flow control logic that allows requests to exceed the…: a task in LegoFlow-SWE (Harbor dataset). The ABA problem occurs because after step 2 the counter unexpectedly returns to 0, and the CAS in step 3 sees only the value 0 without knowing that…
The task
The ABA problem occurs because after step 2 the counter unexpectedly returns to 0, and the CAS in step 3 sees only the value 0 without knowing that the counter has already rolled over. As a result, a third request is permitted, exceeding the configured limit.
Part of Lego-X/LegoFlow-SWE.