Skip to content

fix(future): race-safe remote_future_dispose — sever producer under the mutex before closing the trigger (true-async/server#93)#182

Merged
EdmondDantes merged 1 commit into
mainfrom
fix-remote-future-dispose-race
Jul 7, 2026
Merged

fix(future): race-safe remote_future_dispose — sever producer under the mutex before closing the trigger (true-async/server#93)#182
EdmondDantes merged 1 commit into
mainfrom
fix-remote-future-dispose-race

fix(future): race-safe remote_future_dispose — sever the producer und…

3d03f12
Select commit
Loading
Failed to load commit list.