Docs/Overview/Documentation

LANGUAGE · VERIFIED

Async

async fn fetch_data() -> int {
    return 42;
}

async fn main_async() -> int {
    return await fetch_data();
}

Verified

  • async fn
  • await
  • Future values
  • Multiple awaits
  • Local values across await
  • delay()
  • Async loops
  • Channels, send, and recv
  • Bounded channels
  • Completion-order scenarios

Limits

Full scheduler semantics, guaranteed CPU parallelism, cancellation, complete Future error propagation, and a complete inter-task memory model are not established.

TRACEABILITY

Related Evidence

Audit evidence

These references identify supplied project evidence related to the documented area. Test files indicate exercised scenarios; reports and source documents provide additional audit evidence. A listed item is not a claim that every related behavior is covered.

  • tests/backend_async/async_simple.avs
  • tests/backend_async/async_two_awaits.avs
  • tests/backend_async/async_channel_stress.avs
  • tests/backend_async/concurrency_order.avs
  • tests/backend_async/delay.avs
  • tests/tests/async_get_greeting.avs