chore(deps-dev): bump org.jetbrains.lincheck:lincheck from 3.6 to 3.7

[dependabot]

Bumps org.jetbrains.lincheck:lincheck from 3.6 to 3.7.

Release notes

Sourced from org.jetbrains.lincheck:lincheck's releases.

Lincheck 3.7

Highlights: This release brings further improvements to the loop detection algorithm used in model checking mode. Starting with this release, the loop detector is capable of detecting side-effect-free execution paths in loops -- called await paths (the detection is performed with the help of static bytecode analysis and instrumentation). When such a loop path is executed, the thread switch can be performed immediately after the first non-progressing loop iteration, because executing subsequent iterations would not change the state of memory and would not allow the loop to progress or exit. Await loop paths cover many spin-wait patterns in real-world concurrent code.

Thanks to Alexandru Turcu @​acturcu (MSc student, TU Delft) and Soham Chakraborty (Assistant Professor, TU Delft) for this contribution!

This release also fixes a long-standing issue with constructor instrumentation and tracing — starting with this release, constructors are properly instrumented and tracked similarly to regular methods. Previously, they were handled in a special way due to the JVM bytecode throwing a VerificationError when this reference was leaked into an injected instrumentation method. Now, this situation is properly handled with the help of ASM's AnalyzerAdapter which can statically detect UNINITIALIZED_THIS references.

Improvements

• Await loop paths instrumentation and runtime detection by @​acturcu in JetBrains/lincheck#1004
• Support constructors instrumentation/tracking by @​dmitrii-artuhov and @​eupp in c319e83
• Reduce bound for spin-wait loops in ActiveThreadPoolExecutor by @​viliamDokov in JetBrains/lincheck#1028
• Park and Unpark thread waiting for awaitTurn. by @​viliamDokov in JetBrains/lincheck#1030
• Release-Acquire memory model checker (unstable) by @​viliamDokov in JetBrains/lincheck#1017
• Add proper support for locks in EventStructureStrategy by @​viliamDokov in JetBrains/lincheck#1026

Bug fixes

• Repair Lincheck IntelliJ plugin regression by @​eupp in efb54d9
• Fix suspend operation detection for Kotlin 2.4 bridge methods by @​eupp in 2c250dd

Documentation

• Update the docs for operation execution options by @​cmlimm in JetBrains/lincheck#1033
• Update argument generation constraints docs by @​cmlimm in JetBrains/lincheck#1031
• Update progress guarantees docs by @​cmlimm in JetBrains/lincheck#1035
• Add docs for verification and validation by @​cmlimm in JetBrains/lincheck#1036

Full Changelog: JetBrains/lincheck@lincheck-3.6...lincheck-3.7

Commits

• a1e02bf Release lincheck-3.7
• 1e95e85 Add docs for verification and validation (#1036)
• 11611e6 Update progress guarantees docs (#1035)
• cc73c8c Refresh agent docs: fix drift, cover blind spots, add shared memory
• 57dea53 Move test project to lincheck and add examples project
• 711e20d Changes for MCP toolset for Trace Recorder.
• 0f8f1ef Fix kotlin integration tests for TR/LD
• 2c250dd Fix suspend operation detection for Kotlin 2.4 bridge methods
• c319e83 Support constructors instrumentation/tracking in Lincheck Model Checking
• 1c0c728 Add proper support for locks in EventStructureStrategy (#1026)
• Additional commits viewable in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)