Alexander Fedorov

@npgall I can also provide the single-threaded execution that leads to these results. ``` | put(aa, 4) | | | acquireWriteLock() at ConcurrentSuffixTree.put(ConcurrentSuffixTree.java:87) | | | put(aa,4): null at ConcurrentSuffixTree.put(ConcurrentSuffixTree.java:94)...

@dapengzhang0 you are right, it seems like an option not to transform a class may be useful, especially for such loggers, which don't affect correctness. Yet, this issue arises only...

Please consider marking them as deprecated instead as many tests used these annotations

Hi @btwilk ! It seems log4j2 had this kind of problem before and the problem should have been fixed for your version. https://issues.apache.org/jira/browse/LOG4J2-2266 This happens because lincheck uses a custom...

Hi @eupp ! Currently, there is no bytecode generation for init and post parts. They are handled in `ParallelThreadsRunner` using Java Reflections. https://github.com/JetBrains/lincheck/blob/2dcaa9acb11790a4b96d36b810862f6aa78cc837/src/jvm/main/org/jetbrains/kotlinx/lincheck/runner/ParallelThreadsRunner.kt#L233 So the reason why lincheck fails with...

@eupp > what parts exactly we need to stub and generate? The part that executes actor? Yes, it seems that only the part that generates actors. Then, the transformer replaces...

> I meant that boxing is the problem we are trying to solve with bytecode generation, isn't it? That's actually a very good question. Indeed, byte-code generation helps to prevent...