kotlinx-lincheck を少し遊んだ

#concurrent #kotlin #verification

JetBrains の How We Test Concurrent Primitives in Kotlin Coroutines という記事で kotlinx-lincheck というツールが紹介されていた.

並行データ構造の correctness をテスト・検証するツールで, 存在自体は知っていたが放置していので遊んでみた.

okue/concurrent-testing

---

Armeria とか grpc-kotlin といったライブラリのテスト・検証にも使えるかなーとトライしたが,

java.lang.InternalError: CallerSensitive annotation expected at frame 1 とか Netty- cannot access class jdk.internal.misc.Unsafe

といったエラーが相次いだので, 一旦放置.

そもそもこういう使い方は意図されてないだろう...

そのうち, kotlinx-coroutines ライブラリ内での使い方も追いたい.

---

Posted: 2021-02-28
Last update: 2022-12-30