@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); } } }