Kotlin Coroutinesで共有リソースに正しくアクセスする

Kotlin Coroutinesを使えば非同期処理を比較的簡単に書けますが、それでも複数のコルーチンから共有リソースにアクセスするときには最大限の注意を払う必要があります。

例えば、あるコルーチンで変数を読み込み、その値を元になにか操作を行い、結果をもとにその変数を上書きするとします。
その間に他のコルーチンによって値が書き換わることはないでしょうか？
その結果、予期せぬ不具合を引き起こしたりしないでしょうか？

正しく共有リソースを扱うためには、MutexやStateFlowのupdate関数など、それが考慮されたAPIをうまく組み合わせる必要があります。
また、1スレッドを使い回すディスパッチャと複数スレッドを使うディスパッチャがありますが、気をつけるべき点は異なります。
このセッションではどのようなコードで注意が必要なのか、また期待通りに動作させるための方法について紹介します。　

Kotlin Fest 2024 / Kotlin言語・プログラミング

Transcript

1. .PSJ
   "UTVTIJ  ,PUMJO
   $PSPVUJOFTͰ 
 ڞ༗Ϧιʔεʹਖ਼͘͠ΞΫηε͢Δ ,PUMJO
   'FTU
    ,PUMJOݴޠɾϓϩάϥϛϯά
2. LINEϠϑʔגࣜձࣾ / Android
 2019೥౓ ະ౿εʔύʔΫϦΤʔλ Mori Atsushi X: @at_sushi_at IUUQTHJUIVCDPNNPSJBUTVTIJ
4. "
    
5. $PSPVUJOFͷىಈ
6.  
   
7. ࠓճͷΰʔϧ Kotlin CoroutinesΛ࢖ͬͯɺ
 ࣗ৴Λ࣋ͬͯڞ༗ϦιʔεΛѻ͑ΔΑ͏ʹ͢Δ 1. ڝ߹ঢ়ଶ͕ൃੜ͢Δཧ༝ͱղܾํ๏ 2. ୯ҰεϨουͷࡍʹؾΛ͚ͭΔ΂͖఺ 3. ԋश໰୊ 🚀
8. ڝ߹ঢ়ଶ͕ൃੜ͢Δཧ༝ͱ
 ղܾํ๏ 1
9. ࠶ܝ
10. ஋ΛಡΈऔͬͯॻ͖ࠐΉ
11. ݪҼɿಉ࣌ʹߋ৽͕૸Δ J εϨου εϨου   UFNQ
    
      UFNQ
    
        J
    
      J
    
     
12.   ϒϩοΫ಺͸ಉ࣌ʹ͔ͭ͠ॲཧ͞Εͳ͍
13. MutexʹΑΔϩοΫ J εϨου εϨου   UFNQ
    
      UFNQ
    
        J
    
      NVUFY ϩοΫ J
    
        ϩοΫղআ ϩοΫதͷͨΊ଴ػ ϩοΫղআ ϩοΫ
14.   ૿΍ͨ͠΋ͷΛฦؔ͢਺ εϨου҆શͳ*OUFHFS ѻ͍͍ͨσʔλʹରԠͨ͠λΠϓ͕ଘࡏ͠ͳ͍৔߹͸࢖͑ͳ͍ ,PUMJO/BUJWFͰ͸"UPNJD*OU͕࢖͑Δ
15.   ϒϩοΫ಺͸ಉ࣌ʹ͔ͭ͠ॲཧ͞Εͳ͍
16.   ؔ਺͸ಉ࣌ʹ͔̍ͭ͠ॲཧ͞Εͳ͍
17. MutexͱSynchronizedͷҧ͍ MutexɿϒϩοΫ͞Ε͍ͯΔؒɺͦͷCoroutine͸தஅঢ়ଶʹͳΔ SynchronizedɿϒϩοΫ͞Ε͍ͯΔؒɺεϨουΛઐ༗͠ଓ͚Δ CoroutinesΛ࢖͍ͬͯΔ৔߹ → Mutex
 suspendͰͳ͍ؔ਺ → Synchronized
18. ෳ਺ͷεϨουͰಉ͡ϦιʔεΛ
 ѻ͏৔߹ɿ
 - AtomicInteger౳ͷεϨου҆શͳ
 λΠϓΛ࢖͏ - Mutex΍SynchronizedͰϩοΫ͢Δ 💡
19. ୯ҰεϨουͷࡍʹ
 ؾΛ͚ͭΔ΂͖఺ 2
20. Dispatcherͷछྨ Dispatchers.Main: UIॲཧ Dispatchers.Default: όοΫάϥϯυॲཧ
 Dispatchers.IO: ωοτϫʔΫ΍DBΞΫηε౳
21. Dispatcherͷछྨ Dispatchers.Main: UIॲཧ Dispatchers.Default: όοΫάϥϯυॲཧ
 Dispatchers.IO: ωοτϫʔΫ΍DBΞΫηε౳ εϨου ෳ਺εϨου ෳ਺εϨου
22.   εϨου͔ͩΒڝ߹ঢ়ଶ͸ى͖ͳ͍ʁ
24. ճݺ͹ΕΔ
25. ݪҼɿFetchதʹॲཧ͞ΕΔͨΊ MBTU'FUDIFE"U.JMMJT $PSPVUJOF
     $PSPVUJOF
      GFUDI ʜ GFUDI ʜ
26. ౓ͷΈݺ͹ΕΔ ϩοΫͯ͠ಉ࣌ʹ࣮ߦ͞Εͳ͍Α͏ʹ͢Δ
27. ౓ͷΈݺ͹ΕΔ 4VTQFOEؔ਺ͷݺͼग़͠લʹߋ৽͢Δ ϝΠϯεϨου͔Βݺͼग़͢ඞཁ͕͋Δ͜ͱΛ໌ࣔ
    BOESPJEYBOOPUBUJPO
28. ίϯύΠϧΤϥʔ suspendؔ਺ʹSynchronized͸࢖͑ͳ͍
29. ୯ҰεϨουͰಉ͡ϦιʔεΛ
 ѻ͏৔߹ɿ
 - ಡΈࠐΈͱॻ͖ࠐΈͷؒʹsuspend ؔ਺͕ೖΔ৔߹ʹ஫ҙ͕ඞཁ - MutexͰϩοΫՄೳ 💡
30. ԋश໰୊ 3
31. ෳ਺εϨουͰݺͼग़͍ͨ͠ ԋश̍
32. .VUFYͰϩοΫ͢Δ
33. εϨου҆શͳ 
 .VUBCMF4UBUF'MPXVQEBUF Λ࢖͏
34. GVODUJPO͸ෳ਺ճ 
 ݺͼग़͞ΕΔՄೳੑ͕͋Δ function಺ʹ෭࡞༻Λ࣋ͨͤͯ͸͍͚ͳ͍
35. FNJU͸
    ෳ਺εϨου͔Β҆શʹݺͼग़ͤΔ ͜͜͸ಉ͡εϨουʹͳΔ $IBOOFMͰ΋Մ
36. ԋश2 TVTQFOE
    GVODUJPO
37. .VUFYͰϩοΫ͢Δ
38. .VUFYͰϩοΫ͢Δ ҟͳΔIDͷϢʔβʔΛಉ࣌ʹऔಘͰ͖ͳ͍
39. *%͝ͱʹϩοΫΛ࡞੒͢Δ *%͝ͱͷϩοΫΛऔಘ͢ΔͨΊʹ 
 ϩοΫ͢Δඞཁ͕͋Δ
40. %FGGFSFEΛ࡞Δ͚ͩͳͷͰTVTQFOEঢ়ଶʹͳΒͳ͍ ΞϓϦέʔγϣϯείʔϓͷ$PSPVUJOF4DPQF 6TFSͷ୅ΘΓʹ%FGGFSFEΛอ࣋͢Δ .BQͷૢ࡞͸ϩοΫதʹߦ͏
41. εϨου҆શͳ.VUBCMF.BQ IUUQTHJUIVCDPNUPVDIMBC4UBUFMZ +7.ͳΒ$PODVSSFOU)BTI.BQ͕࢖͑Δ
42. ඇಉظॲཧ͸૝૾Ҏ্ʹෳࡶ
 - Ͱ͖Δ͚ͩ1εϨουͰѻ͑ΔΑ͏ʹ͢Δ - ෳ਺Coroutine͔ΒΞΫηε͞ΕΔڞ༗ Ϧιʔε͸Ͱ͖Δ͚ͩݮΒ͢ - ෳ਺ͷղܾࡦ͔Βγϯϓϧͳ΋ͷΛબͿ 🚀