鉄道信号設備の保守経験から考える Swift Concurrency のフェイルセーフ設計

鉄道信号設備の保守経験から考える Swift Concurrency のフェイルセーフ設計五十嵐健太 iOSDC Japan 2026 Copyright
© 2026 East Japan Railway Company. All rights reserved. #iosdc 1/48

突然ですが、皆さん Copyright © 2026 East Japan Railway Company. All rights
reserved. #iosdc 3/48

👈 ヨシ！ Copyright © 2026 East Japan Railway Company. All
rights reserved. #iosdc 4/48

【鉄道①】条件がそろわなければ、進行を許可しない進路区間の在線 → 連動装置列車はいません → 信号装置信号を制御する装置進行在線・異常で進行を許可しない
人の注意ではなく、構造が進行を許可しない Copyright © 2026 East Japan Railway Company. All rights reserved. #iosdc 15/48

【Swift①】checkCancellation() public func search(_ q: String) { searchTask?.cancel() // 古い検索にキャンセルを要求
まず、前の Task をキャンセル Copyright © 2026 East Japan Railway Company. All rights reserved. #iosdc 20/48

searchTask = Task { do { let new = try await api.search(q) try Task.checkCancellation() // 反映してヨシ？ results = new } catch { ⋮ 反映の直前に、キャンセル済みか確認 Copyright © 2026 East Japan Railway Company. All rights reserved. #iosdc 22/48

【鉄道②】進路を鎖錠して確保する進行OK！設定済み＝鎖錠機械で方向転換を固定転てつ機（レールの方向を変える機械）他の進路を設定しようとしても → 拒否
NG！先の予約を守り、競合する要求は通さない Copyright © 2026 East Japan Railway Company. All rights reserved. #iosdc 31/48

【Swift②】actor reentrancy public actor PurchaseManager { public func buy() async
throws { try await api.purchase() } } actor はデータ競合を防ぐが… Copyright © 2026 East Japan Railway Company. All rights reserved. #iosdc 32/48

throws { try await api.purchase() } } 購入ボタンが連打されるとタップA try await manager.buy() タップB try await manager.buy() await 中には、別の buy() の再入は禁止していない Copyright © 2026 East Japan Railway Company. All rights reserved. #iosdc 34/48

【Swift②】actor reentrancy public actor PurchaseManager { private var isPurchaseInProgress =
false public func buy() async throws -> PurchaseOutcome { if isPurchaseInProgress { return .alreadyInProgress } defer { isPurchaseInProgress = false } isPurchaseInProgress = true // 二重購入を防ぐ状態ヨシ！ try await api.purchase() return .purchased } } await より前に、拒否する状態を確定 Copyright © 2026 East Japan Railway Company. All rights reserved. #iosdc 35/48

【Swift③】withTaskCancellationShield defer { await withTaskCancellationShield { await tempFile.close() } }
try await work() WWDC26で発表 Swift 6.4 新API Xcode 27 本処理がキャンセルで終了すると… Copyright © 2026 East Japan Railway Company. All rights reserved. #iosdc 42/48

【Swift③】withTaskCancellationShield defer { await withTaskCancellationShield { await tempFile.close() // 後始末
} } try await work() WWDC26で発表 Swift 6.4 新API Xcode 27 defer に入り後始末へ進む Copyright © 2026 East Japan Railway Company. All rights reserved. #iosdc 43/48

【Swift③】withTaskCancellationShield defer { await withTaskCancellationShield { await tempFile.close() } //
一時ファイルの後始末、完了👈ヨシ！ } try await work() WWDC26で発表 Swift 6.4 新API Xcode 27 本処理がキャンセルされても、後始末は止めない。 Shield で後始末がキャンセルから守られる Copyright © 2026 East Japan Railway Company. All rights reserved. #iosdc 44/48

まとめ鉄道信号 Swift Concurrency 条件がそろわなければ、進行を許可しないキャンセル済みなら反映しない先の処理を守り、競合する要求は通さない actor
reentrancy フラグは await の前で列車が着点に着くまで、 withTaskCancellationShield 予約した進路は解錠しない後始末は止めない Copyright © 2026 East Japan Railway Company. All rights reserved. checkCancellation() #iosdc 45/48

鉄道信号設備の保守経験から考える Swift Concurrency のフェイルセーフ設計

鉄道信号設備の保守経験から考える Swift Concurrency のフェイルセーフ設計

Featured

Transcript