Async/await


In computer programming, the async/await pattern is a syntactic feature of many programming languages that allows an asynchronous, non-blocking function to be structured in a way similar to an ordinary synchronous function.
It is semantically related to the concept of a coroutine and is often implemented using similar techniques, and is primarily intended to provide opportunities for the program to execute other code while waiting for a long-running, asynchronous task to complete, usually represented by promises or similar data structures. The feature is found in C#, C++, Python, F#, Hack, Julia, Dart, Kotlin, Rust, Nim, JavaScript, and Swift.

History

F# added asynchronous workflows with await points in version 2.0 in 2007. This influenced the async/await mechanism added to C#.
Microsoft first released a version of C# with async/await in the Async CTP. It was later officially released in C# 5.
Haskell lead developer Simon Marlow created the async package in 2012.
Python added support for async/await with version 3.5 in 2015 adding 2 new keywords, async and await.
TypeScript added support for async/await with version 1.7 in 2015.
JavaScript added support for async/await in 2017 as part of ECMAScript 2017 JavaScript edition.
Rust added support for async/await with version 1.39.0 in 2019 using the async keyword and the .await postfix operator, both introduced in the 2018 edition of the language.
C++ added support for async/await with version 20 in 2020 with 3 new keywords co_return, co_await, co_yield.
Swift added support for async/await with in 2021, adding 2 new keywords async and await. This was released alongside a concrete implementation of the Actor model with the actor keyword which uses async/await to mediate access to each actor from outside.

Example

The C# function below, which downloads a resource from a URI and returns the resource's length, uses this async/await pattern:

public async Task FindSizeOfPageAsync

  • First, the async keyword indicates to C# that the method is asynchronous, meaning that it may use an arbitrary number of await expressions and will bind the result to a promise.
  • The return type, Task<T>, is C#'s analogue to the concept of a promise, and here is indicated to have a result value of type int.
  • The first expression to execute when this method is called will be new HttpClient.GetByteArrayAsync, which is another asynchronous method returning a Task<byte>. Because this method is asynchronous, it will not download the entire batch of data before returning. Instead, it will begin the download process using a non-blocking mechanism, and immediately return an unresolved, unrejected Task<byte> to this function.
  • With the await keyword attached to the Task, this function will immediately proceed to return a Task<int> to its caller, who may then continue on with other processing as needed.
  • Once GetByteArrayAsync finishes its download, it will resolve the Task it returned with the downloaded data. This will trigger a callback and cause FindPageSizeAsync to continue execution by assigning that value to data.
  • Finally, the method returns data.Length, a simple integer indicating the length of the array. The compiler re-interprets this as resolving the Task it returned earlier, triggering a callback in the method's caller to do something with that length value.
A function using async/await can use as many await expressions as it wants, and each will be handled in the same way. A function can also hold a promise object directly and do other processing first, delaying awaiting the promise until its result is needed. Functions with promises also have promise aggregation methods that allow the program to await multiple promises at once or in some special pattern. Many promise types also have additional features beyond what the async/await pattern normally uses, such as being able to set up more than one result callback or inspect the progress of an especially long-running task.
In the particular case of C#, and in many other languages with this language feature, the async/await pattern is not a core part of the language's runtime, but is instead implemented with lambdas or continuations at compile time. For instance, the C# compiler would likely translate the above code to something like the following before translating it to its IL bytecode format:

public Task FindSizeOfPageAsync

Because of this, if an interface method needs to return a promise object, but itself does not require await in the body to wait on any asynchronous tasks, it does not need the async modifier either and can instead return a promise object directly. For instance, a function might be able to provide a promise that immediately resolves to some result value, or it may simply return another method's promise that happens to be the exact promise needed.
One important caveat of this functionality, however, is that while the code resembles traditional blocking code, the code is actually non-blocking and potentially multithreaded, meaning that many intervening events may occur while waiting for the promise targeted by an await to resolve. For instance, the following code, while always succeeding in a blocking model without await, may experience intervening events during the await and may thus find shared state changed out from under it:

string name = state.name;
HttpClient client = new;
byte data = await client.GetByteArrayAsync;
// Potential failure, as value of state.a may have been changed
// by the handler of potentially intervening event.
Debug.Assert;
return data.Length;

Implementations

C

The C language does not support await/async. Some coroutine libraries such as s_task simulate the keywords await/async with macros.

  1. include
  2. include "s_task.h"
constexpr int STACK_SIZE = 64 * 1024 / sizeof;
// define stack memory for tasks
int g_stack_main;
int g_stack0;
int g_stack1;
void sub_task
void main_task
int main

C++

In C++, await has been officially merged into version 20. Support for it, coroutines, and the keywords such as co_await are available in GCC and MSVC compilers while Clang has partial support.
It is worth noting that std::promise and std::future, although it would seem that they would be awaitable objects, implement none of the machinery required to be returned from coroutines and be awaited using co_await. Programmers must implement a number of public member functions, such as await_ready, await_suspend, and await_resume on the return type in order for the type to be awaited on. Details can be found on cppreference.
Suppose there is some class AwaitableTask, it must implement operator co_await to be used in coroutines.

import std;
import org.wikipedia.util.AwaitableTask;
using org::wikipedia::util::AwaitableTask;
AwaitableTask add noexcept
AwaitableTask test
int main

C#

In 2012, C# added the async/await pattern in C# with version 5.0, which Microsoft refers to as the task-based asynchronous pattern. Async methods usually return either void, Task, Task<T>, ValueTask or ValueTask<T>. User code can define custom types that async methods can return through custom async method builders but this is an advanced and rare scenario. Async methods that return void are intended for event handlers; in most cases where a synchronous method would return void, returning Task instead is recommended, as it allows for more intuitive exception handling.
Methods that make use of await must be declared with the async keyword. In methods that have a return value of type Task<T>, methods declared with async must have a return statement of type assignable to T instead of Task<T>; the compiler wraps the value in the Task<T> generic. It is also possible to await methods that have a return type of Task or Task<T> that are declared without async.
The following async method downloads data from a URL using await. Because this method issues a task for each URI before requiring completion with the await keyword, the resources can load at the same time instead of waiting for the last resource to finish before starting to load the next.

public async Task SumPageSizesAsync

F#

In 2007, F# added asynchronous workflows with version 2.0. The asynchronous workflows are implemented as CE. They can be defined without specifying any special context. F# asynchronous workflows append a bang to keywords to start asynchronous tasks.
The following async function downloads data from an URL using an asynchronous workflow:

let asyncSumPageSizes : Async = async

Java

Java does not have async and await keywords in the language, however it can be emulated using the java.util.concurrent package, such as the class CompletableFuture. Asynchronous programming is later improved in Java 21 with the introduction of virtual threads and structured task scopes.

package org.wikipedia.examples;
import java.util.concurrent.CompletableFuture;
import java.util.concurrent.ExecutionException;
import java.util.concurrent.ExecutorService;
import java.util.concurrent.Executors;
import java.util.concurrent.Future;
import static java.util.concurrent.StructuredTaskScope.ShutdownOnFailure;
import static java.util.concurrent.StructuredTaskScope.Subtask;
public class AsyncExample

JavaScript

The await operator in JavaScript can only be used from inside an async function or at the top level of a module. If the parameter is a promise, execution of the async function will resume when the promise is resolved. If the parameter is not a promise, the parameter itself will be returned immediately.
Many libraries provide promise objects that can also be used with await, as long as they match the specification for native JavaScript promises. However, promises from the jQuery library were not Promises/A+ compatible until jQuery 3.0.
Below is an example :

interface DBResponse
interface Document
interface Database
declare const db: Database;
async function createNewDoc: Promise
async function main: Promise
main;

Node.js version 8 includes a utility that enables using the standard library callback-based methods as promises.

Perl

The Future::AsyncAwait module was the subject of a Perl Foundation grant in September 2018.

Python

Python 3.5 has added support for async/await as described in PEP 492.

import asyncio
async def main -> None:
print
await asyncio.sleep
print
if __name__ "__main__":
asyncio.run)

Rust

On November 7, 2019, async/await was released on the stable version of Rust. Async functions in Rust desugar to plain functions that return values that implement the Future trait. Currently they are implemented with a finite-state machine.

// In the crate's Cargo.toml, we need `futures = "0.3.0"` in the dependencies section,
// so we can use the futures crate
extern crate futures; // There is no executor currently in the `std` library.
use std::future::Future;
// This desugars to something like
// `fn async_add_one -> impl Future`
async fn async_add_one -> u32
async fn example_task -> impl Future
fn main

Swift

Swift 5.5 added support for async/await as described in SE-0296.

func getNumber async throws -> Int
Task

Benefits and criticisms

The async/await pattern is especially attractive to language designers of languages that do not have or control their own runtime, as async/await can be implemented solely as a transformation to a state machine in the compiler.
Supporters claim that asynchronous, non-blocking code can be written with async/await that looks almost like traditional synchronous, blocking code. In particular, it has been argued that await is the best way of writing asynchronous code in message-passing programs; in particular, being close to blocking code, readability and the minimal amount of boilerplate code were cited as await benefits.
Critics of async/await note that the pattern tends to cause surrounding code to be asynchronous too; and that its contagious nature splits languages' library ecosystems between synchronous and asynchronous libraries and APIs, an issue often referred to as "function coloring". Alternatives to async/await that do not suffer from this issue are called "colorless". Examples of colorless designs include Go's goroutines and Java's virtual threads.