@Entrypoint
@Inline
@NoNullCheck
@Unpreemptible
public static void inlineLockWithoutRaceDetInstr(Object o, Offset lockOffset) {
inlineLockHelper(o, lockOffset);
}
@NoInline
@NoNullCheck
@Unpreemptible
public static void inlineLockNoInline(Object o, Offset lockOffset) {
inlineLockHelper(o, lockOffset);
// RaceDet: instrumentation for acquire
if (RaceDet.syncOps() && RaceDet.isApplicableThread()) {
if (getRecursionCountLocked(o, lockOffset) == 1) {
Algo.acquire(o);
}
}
}