_with_blocking_host

func _with_blocking_host(consume body: BlockingTask) -> ()

The no-cooperative-effects entry specialization. The backend selects this wrapper only after proving that the reachable entry performs none of the effects admitted by Task but not BlockingTask. Keeping the scheduler unreachable preserves direct blocking park calls and avoids resumable C frames for blocking-only programs.

View Source

pub func _with_blocking_host(consume body: BlockingTask) -> () {
	#handle 'io { request in
		'continue _io_host(request: request)
	}
	#handle 'alloc { allocation in
		'continue
	}
	#handle 'yield {
		'continue
	}
	#handle 'panic { message in
		write_string(fd: STDERR_FD, s: message)
		write_string(fd: STDERR_FD, s: "\n")
		_io_host(request: .exit(1))
		loop {}
	}
	#handle 'wait { reasons in
		_block_wait(reasons: reasons)
		'continue
	}
	body()
}