Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #671 from CruGlobal/readWriteMutex
Kotlin coroutines ReadWriteMutex
- Loading branch information
Showing
2 changed files
with
234 additions
and
0 deletions.
There are no files selected for viewing
55 changes: 55 additions & 0 deletions
55
...-coroutines/src/main/java/org/ccci/gto/android/common/kotlin/coroutines/ReadWriteMutex.kt
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,55 @@ | ||
package org.ccci.gto.android.common.kotlin.coroutines | ||
|
||
import androidx.annotation.VisibleForTesting | ||
import kotlinx.coroutines.runBlocking | ||
import kotlinx.coroutines.sync.Mutex | ||
import kotlinx.coroutines.sync.withLock | ||
|
||
interface ReadWriteMutex { | ||
val write: Mutex | ||
|
||
/** | ||
* Provides a shared read mutex. This Mutex doesn't support the `owner` parameter to debug/prevent deadlocks. | ||
* It is also not possible to upgrade a read lock to a write lock without release the read lock first. | ||
*/ | ||
val read: Mutex | ||
} | ||
|
||
fun ReadWriteMutex(): ReadWriteMutex = ReadWriteMutexImpl() | ||
|
||
@VisibleForTesting | ||
internal class ReadWriteMutexImpl : ReadWriteMutex { | ||
private val stateMutex = Mutex() | ||
private val readerOwner = Any() | ||
@VisibleForTesting | ||
internal var readers = 0L | ||
|
||
override val write = Mutex() | ||
override val read = object : Mutex { | ||
override suspend fun lock(owner: Any?) { | ||
stateMutex.withLock { | ||
check(readers < Long.MAX_VALUE) { | ||
"Attempt to lock the read mutex more than ${Long.MAX_VALUE} times concurrently" | ||
} | ||
// first reader should lock the write mutex | ||
if (readers == 0L) write.lock(readerOwner) | ||
readers++ | ||
} | ||
} | ||
|
||
override fun unlock(owner: Any?) { | ||
runBlocking { | ||
stateMutex.withLock { | ||
check(readers > 0L) { "Attempt to unlock the read mutex when it wasn't locked" } | ||
// release the write mutex lock when this is the last reader | ||
if (--readers == 0L) write.unlock(readerOwner) | ||
} | ||
} | ||
} | ||
|
||
override val isLocked get() = TODO("Not supported") | ||
override val onLock get() = TODO("Not supported") | ||
override fun holdsLock(owner: Any) = TODO("Not supported") | ||
override fun tryLock(owner: Any?) = TODO("Not supported") | ||
} | ||
} |
179 changes: 179 additions & 0 deletions
179
...outines/src/test/java/org/ccci/gto/android/common/kotlin/coroutines/ReadWriteMutexTest.kt
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,179 @@ | ||
package org.ccci.gto.android.common.kotlin.coroutines | ||
|
||
import java.util.concurrent.atomic.AtomicBoolean | ||
import kotlinx.coroutines.Dispatchers | ||
import kotlinx.coroutines.joinAll | ||
import kotlinx.coroutines.launch | ||
import kotlinx.coroutines.runBlocking | ||
import kotlinx.coroutines.sync.withLock | ||
import kotlinx.coroutines.yield | ||
import org.junit.Assert.assertEquals | ||
import org.junit.Assert.assertFalse | ||
import org.junit.Test | ||
|
||
class ReadWriteMutexTest { | ||
private val mutex = ReadWriteMutex() | ||
|
||
@Test | ||
fun testWriteExclusion() { | ||
runBlocking { | ||
launch { | ||
expect(3) | ||
mutex.write.withLock { | ||
expect(5) | ||
} | ||
} | ||
|
||
expect(1) | ||
mutex.write.withLock { | ||
expect(2) | ||
yield() | ||
expect(4) | ||
} | ||
} | ||
finish(6) | ||
} | ||
|
||
@Test | ||
fun testReadShared() { | ||
runBlocking { | ||
launch { | ||
expect(3) | ||
mutex.read.withLock { | ||
expect(4) | ||
yield() | ||
expect(6) | ||
} | ||
} | ||
|
||
expect(1) | ||
mutex.read.withLock { | ||
expect(2) | ||
yield() | ||
expect(5) | ||
} | ||
} | ||
finish(7) | ||
} | ||
|
||
@Test | ||
fun testWriteLocksRead() { | ||
runBlocking { | ||
launch { | ||
mutex.read.withLock { | ||
expect(2) | ||
} | ||
} | ||
|
||
mutex.write.withLock { | ||
yield() | ||
expect(1) | ||
} | ||
} | ||
finish(3) | ||
} | ||
|
||
@Test | ||
fun testReadsLockWrite() { | ||
val owner1 = Any() | ||
val owner2 = Any() | ||
val owner3 = Any() | ||
runBlocking { | ||
launch { | ||
expect(3) | ||
mutex.write.withLock(owner1) { | ||
expect(8) | ||
} | ||
} | ||
|
||
launch { | ||
expect(4) | ||
mutex.read.withLock(owner2) { | ||
expect(5) | ||
yield() | ||
expect(7) | ||
} | ||
} | ||
|
||
expect(1) | ||
mutex.read.withLock(owner3) { | ||
expect(2) | ||
yield() | ||
expect(6) | ||
} | ||
} | ||
finish(9) | ||
} | ||
|
||
@Test | ||
fun testReaderReentrancy() { | ||
val owner = Any() | ||
runBlocking { | ||
expect(1) | ||
mutex.read.withLock(owner) { | ||
expect(2) | ||
mutex.read.withLock(owner) { | ||
expect(3) | ||
} | ||
expect(4) | ||
} | ||
expect(5) | ||
|
||
mutex.write.withLock(owner) { | ||
expect(6) | ||
} | ||
} | ||
finish(7) | ||
} | ||
|
||
@Test(expected = IllegalStateException::class) | ||
fun testReadLockTooManyTimes() { | ||
runBlocking { | ||
(mutex as ReadWriteMutexImpl).readers = Long.MAX_VALUE - 1 | ||
while (true) mutex.read.lock() | ||
} | ||
} | ||
|
||
@Test(expected = IllegalStateException::class) | ||
fun testInvalidReadUnlock() { | ||
runBlocking { | ||
mutex.read.unlock() | ||
} | ||
} | ||
|
||
@Test | ||
fun testInvalidReadUnlockCounterRaceCondition() { | ||
repeat(10) { | ||
runBlocking { | ||
val running = AtomicBoolean(true) | ||
val tasks = List(16) { | ||
launch(Dispatchers.IO) { | ||
do { | ||
try { | ||
mutex.read.unlock() | ||
} catch (_: IllegalStateException) { | ||
} | ||
} while (running.get()) | ||
} | ||
} | ||
mutex.read.lock() | ||
running.set(false) | ||
tasks.joinAll() | ||
assertEquals(0, (mutex as ReadWriteMutexImpl).readers) | ||
} | ||
} | ||
} | ||
|
||
private var actionIndex = 0 | ||
private var finished = false | ||
private fun expect(index: Int) { | ||
val wasIndex = ++actionIndex | ||
check(index == wasIndex) { "Expecting action index $index but it is actually $wasIndex" } | ||
} | ||
|
||
private fun finish(index: Int) { | ||
expect(index) | ||
assertFalse("Should call 'finish(...)' at most once", finished) | ||
finished = true | ||
} | ||
} |