# Uma visão geral conceitual de `asyncio`

Este artigo COMOFAZER tem como objetivo ajudá-lo a construir um modelo mental sólido de como `asyncio` funciona fundamentalmente, ajudando-lhe a compreender o como e o porquê por trás dos padrões recomendados.

Você pode estar curioso sobre alguns conceitos-chave de `asyncio`. Ao final deste artigo, você será capaz de responder confortavelmente a estas perguntas:

- O que acontece nos bastidores quando um objeto é aguardado?

- Como o `asyncio` diferencia uma tarefa que não precisa de tempo de CPU (como uma solicitação de rede ou leitura de arquivo) de uma tarefa que precisa (como calcular n-fatorial)?

- Como escrever uma variante assíncrona de uma operação, como uma suspensão assíncrona ou uma solicitação de banco de dados.

Ver também

- O guia que inspirou este artigo COMOFAZER, por Alexander Nordin.

- Esta série de tutoriais detalhados do YouTube sobre `asyncio` foi criada pelo membro da equipe principal do Python, Łukasz Langa.

- 500 linhas ou menos: um rastreador da Web com corrotinas asyncio (em inglês) por A. Jesse Jiryu Davis e Guido van Rossum.

## Uma visão geral conceitual parte 1: o alto nível

Na parte 1, abordaremos os principais blocos de construção de alto nível de `asyncio`: o laço de eventos, funções de corrotina, objetos de corrotina, tarefas e `await`.

### Laço de eventos

Tudo em `asyncio` acontece em relação ao laço de eventos. Ele é a estrela do show. É como um maestro de orquestra. Está nos bastidores, gerenciando recursos. Algum poder lhe é explicitamente concedido, mas grande parte de sua capacidade de realizar tarefas advém do respeito e da cooperação de seus operários.

Em termos mais técnicos, o laço de eventos contém uma coleção de tarefas a serem executadas. Algumas tarefas são adicionadas diretamente por você e outras indiretamente por `asyncio`. O laço de eventos pega uma tarefa do seu backlog de tarefas e a invoca (ou “dá a ela o controle”), semelhante a chamar uma função, e então essa tarefa é executada. Uma vez pausada ou concluída, ela retorna o controle para o laço de eventos. O laço de eventos então seleciona outra tarefa do seu pool e a invoca. Você pode aproximadamente pensar na coleção de tarefas como uma fila: as tarefas são adicionadas e processadas uma de cada vez, geralmente (mas nem sempre) em ordem. Esse processo se repete indefinidamente, com o laço de eventos em ciclos infinitos. Se não houver mais tarefas pendentes de execução, o laço de eventos é inteligente o suficiente para descansar e evitar o desperdício desnecessário de ciclos de CPU, e retornará quando houver mais trabalho a ser feito.

A execução eficaz depende do bom compartilhamento e da cooperação entre as tarefas; uma tarefa gananciosa pode monopolizar o controle e deixar as outras tarefas na miséria, tornando a abordagem geral do laço de eventos inútil.

    import asyncio

    # Isso cria um laço de eventos e percorre indefinidamente
    # sua coleção de trabalhos
    event_loop = asyncio.new_event_loop()
    event_loop.run_forever()

### Funções assíncronas e corrotinas

Esta é uma função básica e chata do Python:

    def hello_printer():
        print(
            "Olá, sou uma impressora humilde e simples, embora tenha tudo "
            "que preciso na vida: -- \npapel novo e meu querido e amado "
            "parceiro no crime, o polvo."
        )

Chamar uma função regular invoca sua lógica ou corpo:

    >>> hello_printer()
    Olá, sou uma impressora humilde e simples, embora tenha tudo o que preciso na vida:
    papel novo e meu querido e amado parceiro no crime, o polvo.

O async def, em oposição a um simples `def`, torna esta uma função assíncrona (ou “função de corrotina”). Chamá-la cria e retorna um objeto corrotina.

    async def loudmouth_penguin(magic_number: int):
        print(
         "Eu sou um pinguim falante superespecial. Muito mais legal que aquela impressora. "
         f"Aliás, meu número da sorte é: {magic_number}."
        )

Chamar a função assíncrona, `loudmouth_penguin`, não executa a instrução de impressão; em vez disso, cria um objeto corrotina:

    >>> loudmouth_penguin(magic_number=3)
    <coroutine object loudmouth_penguin at 0x104ed2740>

Os termos “função de corrotina” e “objeto corrotina” são frequentemente confundidos com corrotina. Isso pode ser confuso! Neste artigo, corrotina se refere especificamente a um objeto corrotina, ou mais precisamente, a uma instância de `types.CoroutineType` (corrotina nativa). Observe que corrotinas também podem existir como instâncias de `collections.abc.Coroutine` — uma distinção importante para a verificação de tipos.

Uma corrotina representa o corpo ou a lógica da função. Uma corrotina precisa ser iniciada explicitamente; novamente, a mera criação da corrotina não a inicia. Notavelmente, a corrotina pode ser pausada e retomada em vários pontos do corpo da função. Essa capacidade de pausar e retomar é o que permite o comportamento assíncrono!

Corrotinas e funções de corrotina foram criadas aproveitando a funcionalidade de geradores e funções geradoras. Lembre-se: uma função geradora é uma função que executa `yield`, como esta:

    def get_random_number():
        # Este seria um gerador de número aleatório ruim!
        print("Oi")
        yield 1
        print("Olá")
        yield 7
        print("E aí")
        yield 4
        ...

Semelhante a uma função de corrotina, chamar uma função geradora não a executa. Em vez disso, ela cria um objeto gerador:

    >>> get_random_number()
    <generator object get_random_number at 0x1048671c0>

Você pode prosseguir para o próximo `yield` de um gerador usando a função embutida `next()`. Em outras palavras, o gerador é executado e, em seguida, pausado. Por exemplo:

    >>> generator = get_random_number()
    >>> next(generator)
    Oi
    1
    >>> next(generator)
    Olá
    7

### Tarefas

Em termos gerais, tarefas são corrotinas (não funções de corrotina) vinculadas a um laço de eventos. Uma tarefa também mantém uma lista de funções de retorno de chamada cuja importância ficará clara em breve, quando discutirmos `await`. A maneira recomendada de criar tarefas é via `asyncio.create_task()`.

A criação de uma tarefa a agenda automaticamente para execução (adicionando um retorno de chamada para executá-la na lista de tarefas do laço de eventos, ou seja, coleção de tarefas).

`asyncio` associa automaticamente as tarefas ao laço de eventos. Essa associação automática foi propositalmente incorporada ao `asyncio` para simplificar o processo. Sem ela, você teria que controlar o objeto laço de eventos e passá-lo para qualquer função de corrotina que queira criar tarefas, adicionando código redundante ao seu projeto.

    coroutine = loudmouth_penguin(magic_number=5)
    # Isso cria um objeto Task e agenda sua execução por meio do laço de eventos.
    task = asyncio.create_task(coroutine)

Anteriormente, criamos manualmente o laço de eventos e o configuramos para ser executado indefinidamente. Na prática, é recomendado (e comum) usar `asyncio.run()`, que gerencia o laço de eventos e garante que a corrotina fornecida termine antes de avançar. Por exemplo, muitos programas assíncronos seguem esta configuração:

    import asyncio

    async def main():
        # Faz todo tipo de coisas malucas, selvagens e assíncronas...
        ...

    if __name__ == "__main__":
        asyncio.run(main())
        # O programa não alcançará a seguinte instrução de exibição
        # até que o main() da corrotina seja finalizado.
        print("main() da corrotina concluiu!")

É importante estar ciente de que a tarefa em si não é adicionada ao laço de eventos, apenas um retorno de chamada para a tarefa. Isso é importante se o objeto de tarefa que você criou for coletado como lixo antes de ser chamado pelo laço de eventos. Por exemplo, considere este programa:

     1async def hello():
     2    print("hello!")
     3
     4async def main():
     5    asyncio.create_task(hello())
     6    # Outras instruções assíncronas que são executadas por
     7    # um tempo e cedem o controle ao laço de eventos...
     8    ...
     9
    10asyncio.run(main())

Como não há referência ao objeto tarefa criado na linha 5, ele pode ser coletado como lixo antes que o laço de eventos o invoque. Instruções posteriores na corrotina `main()` transferem o controle de volta para o laço de eventos para que ele possa invocar outras tarefas. Quando o laço de eventos eventualmente tenta executar a tarefa, pode falhar e descobrir que o objeto task não existe! Isso também pode acontecer mesmo que uma corrotina mantenha uma referência a uma tarefa, mas seja concluída antes que ela termine. Quando a corrotina termina, as variáveis locais saem do escopo e podem estar sujeitas à coleta de lixo. Na prática, `asyncio` e o coletor de lixo do Python trabalham arduamente para garantir que esse tipo de coisa não aconteça. Mas isso não é motivo para ser imprudente!

### await

`await` é uma palavra reservada do Python comumente usada de duas maneiras diferentes:

    await task
    await coroutine

De maneira crucial, o comportamento de `await` depende do tipo de objeto que está sendo aguardado.

Aguardar uma tarefa cederá o controle da tarefa ou corrotina atual para o laço de eventos. No processo de cessão de controle, algumas coisas importantes acontecem. Usaremos o seguinte exemplo de código para ilustrar:

    async def plant_a_tree():
        dig_the_hole_task = asyncio.create_task(dig_the_hole())
        await dig_the_hole_task

        # Outras instruções associadas com plantar uma árvore.
        ...

Neste exemplo, imagine que o laço de eventos passou o controle para o início da corrotina `plant_a_tree()`. Como visto acima, a corrotina cria uma tarefa e a aguarda. A instrução `await dig_the_hole_task` adiciona um retorno de chamada (que retomará `plant_a_tree()`) à lista de retornos de chamada do objeto `dig_the_hole_task`. E então, a instrução cede o controle para o laço de eventos. Algum tempo depois, o laço de eventos passará o controle para `dig_the_hole_task` e a tarefa concluirá o que for necessário. Assim que a tarefa for concluída, ela adicionará seus vários retornos de chamada ao laço de eventos, neste caso, uma chamada para retomar `plant_a_tree()`.

De modo geral, quando a tarefa aguardada termina (`dig_the_hole_task`), a tarefa original ou corrotina (`plant_a_tree()`) é adicionada novamente à lista de tarefas do laço de eventos para ser retomada.

Este é um modelo mental básico, porém confiável. Na prática, as transferências de controle são um pouco mais complexas, mas não muito. Na parte 2, abordaremos os detalhes que tornam isso possível.

Ao contrário de tarefas, aguardar uma corrotina não devolve o controle ao laço de eventos! Envolver uma corrotina em uma tarefa primeiro e depois aguardar isso cederia o controle. O comportamento de `await coroutine` é efetivamente o mesmo que invocar uma função Python síncrona comum. Considere este programa:

    import asyncio

    async def coro_a():
       print("Sou coro_a(). Oi!")

    async def coro_b():
       print("Sou coro_b(). Espero que ninguém monopolize o laço de eventos...")

    async def main():
       task_b = asyncio.create_task(coro_b())
       num_repeats = 3
       for _ in range(num_repeats):
          await coro_a()
       await task_b

    asyncio.run(main())

A primeira instrução na corrotina `main()` cria `task_b` e a agenda para execução via laço de eventos. Em seguida, `coro_a()` é aguardado repetidamente. O controle nunca cede ao laço de eventos, e é por isso que vemos a saída de todas as três invocações de `coro_a()` antes da saída de `coro_b()`:

    Sou coro_a(). Oi!
    Sou coro_a(). Oi!
    Sou coro_a(). Oi!
    Sou coro_b(). Espero que ninguém monopolize o laço de eventos...

Se alterarmos `await coro_a()` para `await asyncio.create_task(coro_a())`, o comportamento muda. A corrotina `main()` cede o controle ao laço de eventos com essa instrução. O laço de eventos então prossegue com seu backlog de trabalho, chamando `task_b` e, em seguida, a tarefa que encerra `coro_a()` antes de retomar a corrotina `main()`.

    Sou coro_b(). Espero que ninguém monopolize o laço de eventos...
    Sou coro_a(). Oi!
    Sou coro_a(). Oi!
    Sou coro_a(). Oi!

Esse comportamento de `await coroutine` pode confundir muita gente! Este exemplo destaca como usar apenas `await coroutine` pode, involuntariamente, monopolizar o controle de outras tarefas e efetivamente paralisar o laço de eventos. `asyncio.run()` pode ajudar a detectar tais ocorrências por meio do sinalizador `debug=True`, que habilita o modo de depuração. Entre outras coisas, ele registrará quaisquer corrotinas que monopolizem a execução por 100 ms ou mais.

O design intencionalmente troca alguma clareza conceitual em torno do uso de `await` por melhor desempenho. Cada vez que uma tarefa é aguardada, o controle precisa ser passado por toda a pilha de chamadas até o laço de eventos. Isso pode parecer insignificante, mas em um programa grande com muitas instruções `await` e uma pilha de chamadas extensa, essa sobrecarga pode representar um significativo prejuízo ao desempenho.

## Uma visão geral conceitual, parte 2: os detalhes

A parte 2 detalha os mecanismos que `asyncio` usa para gerenciar o fluxo de controle. É aqui que a mágica acontece. Você sairá desta seção sabendo o que `await` faz nos bastidores e como criar seus próprios operadores assíncronos.

### O funcionamento interno das corrotinas

`asyncio` utiliza quatro componentes para passar o controle.

`coroutine.send(arg)` é o método usado para iniciar ou retomar uma corrotina. Se a corrotina foi pausada e agora está sendo retomada, o argumento `arg` será enviado como valor de retorno da instrução `yield` que a pausou originalmente. Se a corrotina estiver sendo usada pela primeira vez (em vez de ser retomada), `arg` deve ser `None`.

     1class Rock:
     2    def __await__(self):
     3        value_sent_in = yield 7
     4        print(f"Rock.__await__ resumindo com o valor: {value_sent_in}.")
     5        return value_sent_in
     6
     7async def main():
     8    print("Iniciando main() da corrotina.")
     9    rock = Rock()
    10    print("Aguardando rock...")
    11    value_from_rock = await rock
    12    print(f"Corrotina recebeu valor: {value_from_rock} de rock.")
    13    return 23
    14
    15coroutine = main()
    16intermediate_result = coroutine.send(None)
    17print(f"Corrotina pausou e retornou o valor intermediário: {intermediate_result}.")
    18
    19print(f"Resumindo corrotina e enviando o valor: 42.")
    20try:
    21    coroutine.send(42)
    22except StopIteration as e:
    23    returned_value = e.value
    24print(f"O main() da corrotina finalizou e forneceu o valor: {returned_value}.")

yield, como de costume, pausa a execução e retorna o controle ao chamador. No exemplo acima, `yield`, na linha 3, é chamado por `... = await rock` na linha 11. Em termos mais gerais, `await` chama o método `__await__()` do objeto fornecido. `await` também faz algo muito especial: ele propaga (ou “repassa”) quaisquer `yield`s que recebe na cadeia de chamadas. Neste caso, voltamos a `... = coroutine.send(None)` na linha 16.

A corrotina é retomada por meio da chamada `coroutine.send(42)` na linha 21. A corrotina continua de onde foi executada (ou pausada) com `yield` na linha 3 e executa as instruções restantes em seu corpo. Quando uma corrotina termina, ela levanta uma exceção `StopIteration` com o valor de retorno anexado ao atributo `value`.

Esse trecho de código produz esta saída:

    Iniciando main() da corrotina.
    Aguardando rock...
    Corrotina pausou e retornou o valor intermediário: 7.
    Resumindo coroutine e enviando o valor: 42.
    Rock.__await__ resumindo com o valor: 42.
    Corrotina recebeu valor: 42 de rock.
    O main() da corrotina finalizou e forneceu o valor: 23.

Vale a pena parar um momento aqui e certificar-se de que você seguiu as diversas maneiras pelas quais o fluxo de controle e os valores foram passados. Muitas ideias importantes foram abordadas e vale a pena garantir que seu entendimento esteja firme.

A única maneira de ceder (ou efetivamente ceder o controle) de uma corrotina é `await` um objeto que `yield` está em seu método `__await__`. Isso pode parecer estranho para você. Você pode estar pensando:

> 1. What about a `yield` directly within the coroutine function? The coroutine function becomes an async generator function, a different beast entirely.

> 2. What about a yield from within the coroutine function to a (plain) generator? That causes the error: `SyntaxError: yield from not allowed in a coroutine.` This was intentionally designed for the sake of simplicity – mandating only one way of using coroutines. Initially `yield` was barred as well, but was re-accepted to allow for async generators. Despite that, `yield from` and `await` effectively do the same thing.

### Futuros

Um future é um objeto que representa o status e o resultado de uma computação. O termo é uma referência à ideia de algo que ainda está por vir ou que ainda não aconteceu, e o objeto é uma forma de ficar de olho nesse algo.

Um future possui alguns atributos importantes. Um deles é o seu estado, que pode ser “pending”, “cancelled”, or “done” (“pendente”, “cancelado” ou “concluído”, respectivamente). Outro é o seu resultado, que é definido quando o estado transita para concluído. Ao contrário de uma corrotina, um future não representa a computação real a ser realizada; em vez disso, representa o status e o resultado dessa computação, como uma espécie de luz de status (vermelha, amarela ou verde) ou indicador.

`asyncio.Task` estende `asyncio.Future` para obter esses vários recursos. A seção anterior dizia que as tarefas armazenam uma lista de retornos de chamada, o que não era totalmente preciso. Na verdade, é a classe `Future` que implementa essa lógica, que `Task` herda.

Instruções future também podem ser usados diretamente (não por meio de tarefas). As tarefas se marcam como concluídas quando sua corrotina é concluída. Instruções future são muito mais versáteis e serão marcados como concluídos quando você informar. Dessa forma, eles são a interface flexível para você definir suas próprias condições de espera e retomada.

### Um asyncio.sleep caseiro

Veremos um exemplo de como você pode aproveitar um future para criar sua própria variante de suspensão assíncrona (`async_sleep`) que imita `asyncio.sleep()`.

Este trecho de código registra algumas tarefas no laço de eventos e, em seguida, aguarda a tarefa criada por `asyncio.create_task`, que envolve a corrotina `async_sleep(3)`. Queremos que essa tarefa termine somente após três segundos, mas sem impedir a execução de outras tarefas.

    async def other_work():
        print("Eu gosto de trabalhar. Trabalhar, trabalhar.")

    async def main():
        # Adiciona algumas tarefas ao laço de eventos, de forma que
        # haja algo para fazer durante a suspensão assíncrona.
        work_tasks = [
            asyncio.create_task(other_work()),
            asyncio.create_task(other_work()),
            asyncio.create_task(other_work())
        ]
        print(
            "Começando a suspensão assíncrona no horário: "
            f"{datetime.datetime.now().strftime("%H:%M:%S")}."
        )
        await asyncio.create_task(async_sleep(3))
        print(
            "Concluí a suspensão assíncrona no horário: "
            f"{datetime.datetime.now().strftime("%H:%M:%S")}."
        )
        # asyncio.gather efetivamente espera cada tarefa na coleção.
        await asyncio.gather(*work_tasks)

A seguir, usamos um future para permitir o controle personalizado sobre quando essa tarefa será marcada como concluída. Se `future.set_result()` (o método responsável por marcar o future como concluído) nunca for chamado, essa tarefa nunca terminará. Também contamos com a ajuda de outra tarefa, que veremos em breve, que monitorará o tempo decorrido e, consequentemente, chamará `future.set_result()`.

    async def async_sleep(seconds: float):
        future = asyncio.Future()
        time_to_wake = time.time() + seconds
        # Adiciona uma tarefa de monitoramento ao laço de eventos.
        watcher_task = asyncio.create_task(_sleep_watcher(future, time_to_wake))
        # Bloqueia até future ser marcado como concluído.
        await future

A seguir, usamos um objeto `YieldToEventLoop()` bastante simples para `yield` do seu método `__await__`, cedendo o controle ao laço de eventos. Isso é efetivamente o mesmo que chamar `asyncio.sleep(0)`, mas essa abordagem oferece mais clareza, sem mencionar que é um tanto quanto trapaça usar `asyncio.sleep` ao demonstrar como implementá-lo!

Como de costume, o laço de eventos percorre suas tarefas, concedendo-lhes o controle e recebendo-o de volta quando elas pausam ou terminam. A tarefa `watcher_task`, que executa a corrotina `_sleep_watcher(...)`, será invocada uma vez por ciclo completo do laço de eventos. A cada retomada, ela verificará o tempo e, se não tiver decorrido tempo suficiente, pausará novamente e devolverá o controle ao laço de eventos. Assim que o tempo suficiente tiver decorrido, `_sleep_watcher(...)` marcará o futuro como concluído e finalizará, saindo de seu laço `while` infinito. Dado que essa tarefa auxiliar é invocada apenas uma vez por ciclo do laço de eventos, você está correto ao observar que essa suspensão assíncrona durará pelo menos três segundos, em vez de exatamente três segundos. Observe que isso também se aplica a `asyncio.sleep`.

    class YieldToEventLoop:
        def __await__(self):
            yield

    async def _sleep_watcher(future, time_to_wake):
        while True:
            if time.time() >= time_to_wake:
                # Isso marca future como concluído.
                future.set_result(None)
                break
            else:
                await YieldToEventLoop()

Aqui está a saída completa do programa:

    $ python custom-async-sleep.py
    Começando a suspensão assíncrona no horário: 14:52:22.
    Eu gosto de trabalhar. Trabalhar, trabalhar.
    Eu gosto de trabalhar. Trabalhar, trabalhar.
    Eu gosto de trabalhar. Trabalhar, trabalhar.
    Concluí a suspensão assíncrona no horário: 14:52:25.

Você pode achar que esta implementação de suspensão assíncrona foi desnecessariamente complexa. E, bem, foi mesmo. O exemplo tinha como objetivo demonstrar a versatilidade dos futures com um exemplo simples que poderia ser replicado para necessidades mais complexas. Para referência, você poderia implementá-lo sem futures, assim:

    async def simpler_async_sleep(seconds):
        time_to_wake = time.time() + seconds
        while True:
            if time.time() >= time_to_wake:
                return
            else:
                await YieldToEventLoop()

Mas por agora é tudo. Espero que agora esteja pronto para mergulhar com mais confiança na programação assíncrona ou consultar tópicos avançados no `restante da documentação`.