Adaptive lock switching and spin tuning not working as expected
Adaptive lock switching and spin tuning not working as expected: a task in LegoFlow-SWE (Harbor dataset). The existing AdaptiveBackOffSpinLockImpl (obtained via the Foundation class) is supposed to provide an adaptive locking strategy that transparently switches between a spin-based lock and a…
The task
The existing `AdaptiveBackOffSpinLockImpl` (obtained via the `Foundation` class) is supposed to provide an adaptive locking strategy that transparently switches between a spin-based lock and a reentrant lock depending on runtime contention. Currently the behaviour is incorrect or incomplete. Users observe that:
Part of Lego-X/LegoFlow-SWE.