Commits

Commits on Jun 21, 2023

Fix Mutex.tryLock() non-linearizability (Kotlin#3781 )

ndkoval
and
qwwdfsad
committedJun 21, 2023

Commits on Jun 1, 2023

Bump Lincheck version to 2.18.1. (Kotlin#3766 )
ndkoval
committedJun 1, 2023

Commits on May 5, 2023

Fix non-linearizability in BufferedChannel.expandBuffer() (Kotlin#3730 )
ndkoval
committedMay 5, 2023

Commits on Apr 19, 2023

Bump Lincheck version to 2.17 (Kotlin#3720 )
ndkoval
committedApr 19, 2023

Commits on Feb 28, 2023

Optimize CancellableContinuationImpl.invokeOnCancellation(..) for Segments (Kotlin#3084 )

ndkoval
and
qwwdfsad
committedFeb 28, 2023

Commits on Feb 13, 2023

Introduce fast and scalable channels (Kotlin#3103 )

ndkoval
authored and
qwwdfsad
committedFeb 13, 2023

Commits on Aug 4, 2022

New select and Mutex implementations (Kotlin#3020 )

ndkoval
and
Nikita Koval
committedAug 4, 2022

Commits on Nov 11, 2021

Invoke jmhJar as a part of build procedure to ensure that benchmarks always compile (Kotlin#3019 )
ndkoval
committedNov 11, 2021

Commits on Mar 23, 2021

Allow extra suspension in Lincheck tests for Semaphore.acquire() (Kotlin#2602 )
ndkoval
committedMar 23, 2021

Commits on Nov 28, 2020

Add the model checking mode in Lincheck tests (Kotlin#2326 )

ndkoval
and
elizarov
committedNov 28, 2020

Commits on Apr 28, 2020

Add a lincheck test for remove in the segment list algorithm (Kotlin#1964 )
ndkoval
committedApr 28, 2020

Commits on Apr 23, 2020

Add linearizability tests for Mutex and Semaphore and fix them (Kotlin#1898 )

ndkoval
and
elizarov
committedApr 23, 2020

Commits on Apr 10, 2020

Make the list of segments more abstract (Kotlin#1563 )

ndkoval
and
elizarov
committedApr 10, 2020

Commits on Dec 26, 2019

Update lincheck to 2.5.3 and re-write the corresponding tests

ndkoval
authored and
elizarov
committedDec 26, 2019

Commits on Dec 25, 2019

Fix non-linearizability in ArrayChannel while moving an element from the waiting queue to the buffer
ndkoval
committedDec 25, 2019

Commits on Oct 2, 2019

All ArrayChannel.size accesses should be under the channel lock

ndkoval
authored and
elizarov
committedOct 2, 2019

Commits on Oct 1, 2019

Fix ArrayChannel.isBufferEmpty atomicity
ndkoval
committedOct 1, 2019

Commits on Sep 30, 2019

Make isStressTest and the related properties top-level

ndkoval
authored and
elizarov
committedSep 30, 2019

Commits on Sep 21, 2019

Make Semaphore and Mutex stress tests concurrent

ndkoval
authored and
elizarov
committedSep 21, 2019

Commits on Jul 15, 2019

Cancellation in Semaphore should resume the next waiting acquirer if and only if the canceled request has been resumed under a race

ndkoval
authored and
elizarov
committedJul 15, 2019

Commits on Jun 6, 2019

Add fast Semaphore.

ndkoval
authored and
elizarov
committedJun 6, 2019

Commits on Mar 22, 2019

Add a JMH producer-consumer benchmark for channels

ndkoval
authored and
qwwdfsad
committedMar 22, 2019

Commits on Mar 20, 2019

Move systemProp function to the common module; only the JVM platform implements it properly while others always use provided default value.
ndkoval
committedMar 20, 2019
Deprecate SendChannel.isFull and ReceiveChannel.isEmpty properties

ndkoval
authored and
elizarov
committedMar 20, 2019

Commits on Dec 12, 2018

* Implement equals and hashCode functions for the verification process;

ndkoval
authored and
qwwdfsad
committedDec 12, 2018