What's Changed

• Bytecode Transformation Refactoring by @eupp in https://github.com/JetBrains/lincheck/pull/322
• Fix Java 11 performance bug by @eupp in https://github.com/JetBrains/lincheck/pull/316
• Strategy run API refactoring by @eupp in https://github.com/JetBrains/lincheck/pull/262
• Coverage bytecode filter by @dmitrii-artuhov in https://github.com/JetBrains/lincheck/pull/335
• Detect atomic primitive method calls dynamically by @eupp in https://github.com/JetBrains/lincheck/pull/336
• Output fixed in case of an incorrect arguments count in custom scenarios by @avpotapov00 in https://github.com/JetBrains/lincheck/pull/338
• Spin locks detection enchancements by @avpotapov00 in https://github.com/JetBrains/lincheck/pull/331
• AllowExtraSuspension parameter deprecated, SUSPENDED prefix removed from the output by @avpotapov00 in https://github.com/JetBrains/lincheck/pull/339
• Make all compilation warnings errors by @ndkoval in https://github.com/JetBrains/lincheck/pull/341
• Do not show clocks when they don't provide any useful information by @ndkoval in https://github.com/JetBrains/lincheck/pull/349
• Minimization improvement: try to remove two operations and move operations to init and post parts by @ndkoval in https://github.com/JetBrains/lincheck/pull/350

New Contributors

• @dmitrii-artuhov made their first contribution in https://github.com/JetBrains/lincheck/pull/335

Full Changelog: https://github.com/JetBrains/lincheck/compare/lincheck-2.32...lincheck-2.33

Improvements

• Show the field name in the trace when calling a method on the final field by @avpotapov00 in https://github.com/JetBrains/lincheck/pull/327

Improvements

• Loop detector refactoring by @eupp in https://github.com/JetBrains/lincheck/pull/310
• Set lincheck version in tests for the plugin compatibility by @zuevmaxim in https://github.com/JetBrains/lincheck/pull/312
• Exception message when no operations defined impoved by @avpotapov00 in https://github.com/JetBrains/lincheck/pull/233
• Improve trace representation: show non-this object instances on method calls and show field names when using VarHandle, AtomicReference, andUnsafe by @avpotapov00 in https://github.com/JetBrains/lincheck/pull/325

IntelliJ IDEA Plugin support:

• Object traverser fix by @avpotapov00 in https://github.com/JetBrains/lincheck/pull/313
• Exceptions provided to the plugin by @avpotapov00 in https://github.com/JetBrains/lincheck/pull/304
• Execution results are presented in case of any failure by @avpotapov00 in https://github.com/JetBrains/lincheck/pull/314

This is a big release for Lincheck. We changed how Lincheck instruments byte-code, so no more annoying add-opens ... are needed 🎉

Improvements

• Byte-code transformation via a dynamically attached Java agent by @ndkoval in https://github.com/JetBrains/lincheck/pull/296
• Increase number of invocations for flaky stress tests by @ndkoval in https://github.com/JetBrains/lincheck/pull/289
• Remove redundant default managed strategy guarantees by @eupp in https://github.com/JetBrains/lincheck/pull/306
• Bump minimal plugin version to 0.2 by @zuevmaxim in https://github.com/JetBrains/lincheck/pull/305

Full Changelog: https://github.com/JetBrains/lincheck/compare/lincheck-2.29...lincheck-2.30

Improvements:

• Optimize spin loops and fix regression by @eupp in https://github.com/JetBrains/lincheck/pull/298
• Optimize TransformationUtils.isCoroutineStateMachineClass by @ndkoval in https://github.com/JetBrains/lincheck/pull/294
• Optimize Method.isSuspendable implementation by @ndkoval in https://github.com/JetBrains/lincheck/pull/293
• Implement final field detection without Class.forName(..) by @avpotapov00 in https://github.com/JetBrains/lincheck/pull/297
• Improve UX when running *IsolatedTests from IntelliJ IDEA by @ndkoval in https://github.com/JetBrains/lincheck/pull/274
• Display enum values as enum names instead of <className>@<hashCode> by @ndkoval in https://github.com/JetBrains/lincheck/pull/300
• Object numeration representation fix by @avpotapov00 in https://github.com/JetBrains/lincheck/pull/302

Bug Fixes

• Replace AtomicLong.VMSupportsCS8() with a stub by @ndkoval in https://github.com/JetBrains/lincheck/pull/290

Improvements

• Optimized spin-wait loop in Spinner by @eupp and @ndkoval in https://github.com/JetBrains/lincheck/pull/287

Refactoring

• Rewrote the byte-code instrumentation logic to support transformation via javaagents (see #136) by @avpotapov00 and @ndkoval in https://github.com/JetBrains/lincheck/pull/285

Bug Fixes:

• LoopDetector must reset the spin-lock detection counters when the current operation finishes by @eupp in https://github.com/JetBrains/lincheck/pull/281
• Fix potential IndexOutOfBoundsException in curActorIsBlocking and concurrentActorCausesBlocking by @eupp in https://github.com/JetBrains/lincheck/pull/277
• Fix number of iterations in spin-loops in case if #cpus < #threads by @eupp in https://github.com/JetBrains/lincheck/pull/284

Bug Fixes

• Fix non-determinism in the model checker and support recent changes in the Kotlin coroutines API (#273)

Bug Fixes:

• Do not call Thread.stop() in FixedActiveThreadsExecutor on Java 20+ (#271)
• Allow passing null-s to System.identityHashCode(..) in the model checking mode (#266)
• Fix ExpandingRangeGeneratorTest failing on JDK 19+

Improvements:

• Bump Kotlin, Gradle, Kotlin Coroutines, and ASM versions (#268)
• Do not filter Lincheck events when printing a thread dump if the thread has hung in the Lincheck internals

Bug fixes:

• Fix hashCode() support (#263, #131)
• Fix representation of anonymous objects in interleaving traces (#245)

Improvements:

• Enable validation function tracing (#240)
• Allow at most one validation function (#243)
• Execute init and post parts via the same mechanism as for the parallel one. (#238)
• Call validation functions only at the end of the scenario (#237)
• Cache instrumented classes (#229)

Bug fixes:

• Interleaving replay after a spin cycle is added to avoid side effects (#224)
• Fix an infinite loop in TraceCollector and analyze only the first spin lock cycle when detecting one (#216)
• Allow removing all operations in the parallel part during minimization (#217)

Bug Fixes:

• Validation functions are now running in ignored section (#213)
• Do not transform DebugKt to avoid ExceptionInInitializerError (#212)
• Show operation calls in the execution trace even when no events occur in them (#205)

Improvements:

• Shorten spin locks in traces (#191)
• Optimize synchronization when the number of threads exceeds the number of cores (#204)

New Features:

• Add a parameter generator for enum classes (#187)

Bug Fixes:

• Fix a race in FixedActiveThreadsExecutor (#202)
• Bugfix for wait/notify support with lock re-entrance (#145)

Improvements:

• Run init/post parts of the scenario in the 1st thread, changing the scenario and trace output formats correspondingly (#146)
• Consider all exceptions as possible execution results (#181)
• Validation exception stack trace shortened (#198)
• Print operation results in interleaving traces (#197)

Thanks to @eupp and @avpotapov00 for your effort in significantly improving Lincheck in this release!

With this release, Lincheck tests are now up to 2x (!) faster on some machines (#173)

Improvements:

• Cleanup the user guide (#144)
• Fix a typo in ObstructionFreedomViolationTest.kt file name (#147)
• Add a link to the KotlinConf 2023 talk on Lincheck (#182)

In the previous release, we accidentally changed the package of parameter generators. This release fixes the issue.

License change!

Lincheck is now licensed under MPL-2.0 instead of LGPL-3.0 🎉

Bug fixes

• Reset parameter generator expanding ranges for each scenario (#180)
• Fixed String generator (#172)
• Correct the name and missing package line in CustomScenarioDSLTest.kt. (#183), thanks to @lowasser

Improvements

• Parameter generation has been improved (#149)
• The verboseTrace configuration option has been removed, now both shortened and detailed traces are always printed (#148)
• Lincheck does not ask for equals/hashCode anymore (#135)
• Bumped Java, Kotlin, AtomicFU, and Gradle versions (#161)
• Deprecate @Operation.group and @OpGroupConfig and introduce @Operation.nonParallelGroup as a replacement (#163)

Bug Fixes

• Biasing in parameter generation has been fixed (#120)
• Fixed a memory leak in the verifier (#128)

This release fixes a couple of bugs and provides code of conduct and contributing guidelines.

Bug Fixes:

• Fix NPE when trying to finish on deadlock detection (#126)
• Do not show an internal exception when a validation function fails

Documentation:

• Add code of conduct
• Add contributing guidelines
• Fix documentation-related steps in RELEASE.md