~/talk

Preventing Data Races in Async Coroutines

Talkat KotlinConf 2023 · 2023-04-12..04-14· Veilingzaal· [kotlin, security]
links:none on file
slides:none on file

An example shows 10,000 coroutines racing on an ArrayList and producing missing elements (e.g. 9,988) or internal exceptions. Two concrete defenses appear: a compile‑time Android lint stack analysis that flags variable accesses across coroutine boundaries while allowing immutable or mutex‑guarded data, and a runtime instrumenter TSAN (ThreadSanitizer) that runs JVM tests, instruments field reads/writes, and reports racy stacks. TSAN requires multithreaded tests; lint misses suppressed or unanalyzed code, so both tools serve different practical gaps.

AI-written summary · about

  1. 0:00Start
  2. 2:28Basic idea: flag accesses across coroutine boundaries
  3. 8:55Sample tsan warning for our example
  4. 10:38Summary
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.