src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/managed/ManagedStrategy.kt [1844:1856]: - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - val threadId = threadScheduler.getCurrentThreadId() // check if the called method is an atomics API method // (e.g., Atomic classes, AFU, VarHandle memory access API, etc.) val atomicMethodDescriptor = getAtomicMethodDescriptor(receiver, methodDescriptor.methodName) // get method's analysis section type val methodSection = methodAnalysisSectionType( receiver, methodDescriptor.className, methodDescriptor.methodName, atomicMethodDescriptor, deterministicMethodDescriptor, ) if (collectTrace && methodSection != AnalysisSectionType.IGNORED) { - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/managed/ManagedStrategy.kt [1901:1913]: - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - val threadId = threadScheduler.getCurrentThreadId() // check if the called method is an atomics API method // (e.g., Atomic classes, AFU, VarHandle memory access API, etc.) val atomicMethodDescriptor = getAtomicMethodDescriptor(receiver, methodDescriptor.methodName) // get method's analysis section type val methodSection = methodAnalysisSectionType( receiver, methodDescriptor.className, methodDescriptor.methodName, atomicMethodDescriptor, deterministicMethodDescriptor, ) if (collectTrace && methodSection != AnalysisSectionType.IGNORED) { - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -