Skip to main content

compile_to_tenstorrent_multi_racy

Function compile_to_tenstorrent_multi_racy 

Source
pub fn compile_to_tenstorrent_multi_racy(
    source: &str,
) -> Result<MeshLowering<RacyMultiSpec>, String>
Expand description

Recognize a multi-task race (≥2 tasks each sleep then send; main awaits receive-or-timeout) and lower it to a coordinator + N-task program. The coordinator collects every task’s (value, send-vtime), picks the global-minimum send-vtime, and compares it to the timeout — the VM’s deterministic winner. ≡VM.