{"id":45953,"date":"2024-11-26T14:16:13","date_gmt":"2024-11-26T19:16:13","guid":{"rendered":"https:\/\/mjtsai.com\/blog\/?p=45953"},"modified":"2024-11-26T14:16:40","modified_gmt":"2024-11-26T19:16:40","slug":"watch-out-for-counterintuitive-implicit-actor-isolation","status":"publish","type":"post","link":"https:\/\/mjtsai.com\/blog\/2024\/11\/26\/watch-out-for-counterintuitive-implicit-actor-isolation\/","title":{"rendered":"Watch Out for Counterintuitive Implicit Actor-Isolation"},"content":{"rendered":"

Jared Sinclair<\/a>:<\/p>\n

I ran into some unexpected runtime crashes recently while testing an app on iOS 18 compiled under Swift 6 language mode, and the root causes ended up being the perils of using @unchecked Sendable<\/code> in combination with some counterintuitive compiler behavior with implicit actor isolation.<\/p>

[…]<\/p>

What occurred to me instead was to find a way to use locking mechanisms to synchronize access to the static var<\/code> mutable property. What happened next led me down a path to some code that (A) compiled without warnings or errors but (B) crashed hard at runtime due to implicit actor isolation assertion failures.<\/p>

[…]<\/p>

It turns out that the implicit Main Actor isolation is getting introduced by MyApp<\/code>[…] Therefore that init()<\/code> method is isolated to the Main Actor. But our Logging.sink<\/code> member is not<\/em> isolated to the Main Actor. It’s implicitly nonisolated<\/code>, so why is the compiler inferring Main Actor isolation for the block we pass to it?<\/p><\/blockquote>\n\n

Matt Massicotte<\/a>:<\/p>\n

\n

What’s happening here is the compiler is reasoning “this closure is not Sendable so it couldn’t possibly change isolation from where it was formed and therefore its body must be MainActor too” but your unchecked type allows this invariant to be violated. This kind of thing comes up a lot in many forms, and it’s hard to debug…<\/p>\n<\/blockquote>\n\n

Mutex<\/a> is a potential solution but requires iOS 18. He also shows how to protect the sink with a non-global actor.<\/p>\n\n

Previously:<\/p>\n