Modelo de Concorrência e Event Loop

O JavaScript possui um modelo de concorrência baseado em um event loop (laço de eventos), em português), responsável pela execução do código, coleta e processamento de eventos e execução de subtarefas enfileiradas. Este modelo é bem diferente de outras linguagens, como C ou Java, por exemplo.

Conceitos de runtime (tempo de execução)

Os próximos tópicos irão explicar teoricamente o modelo. Interpretadores modernos de JavaScript implementam e otimizam fortemente as semânticas descritas.

Representação visual

Stack, heap, queue

Pilha (Stack)

As chamadas de funções criam uma pilha de frames (quadros).

function foo(b) {
  let a = 10;
  return a + b + 11;
}

function bar(x) {
  let y = 3;
  return foo(x * y);
}

const baz = bar(7); // atribui 42 a baz

Ordem das operações:

  1. Quando chamamos a função bar, o primeiro frame é criado contendo argumentos e variáveis locais de bar.
  2. Quando a função bar chama foo, o segundo frame é criado e é colocado no topo da pilha, contendo os argumentos e as variáveis locais de foo.
  3. Quando foo retorna, o frame do topo é removido da pilha (deixando apenas o frame da chamada de bar).
  4. Quando bar retorna, a pilha fica vazia.

Note que os argumentos e variáveis locais podem continuar existindo, pois são armazenados fora da pilha — de forma que podem ser acessados por quaisquer funções aninhadas muito depois de sua função externa ter retornado.

Acervo (Heap)

Os objetos são alocados em um heap (acervo), que é apenas um nome para denotar uma grande região não estruturada da memória.

Fila (Queue)

O runtime do JavaScript contém uma fila de mensagens, que é uma lista de mensagens a serem processadas. Cada mensagem é associada a uma função, que é chamada para lidar com a mensagem.

Em algum ponto durante o event loop (laço de eventos), o runtime começa a manipular as mensagens na fila, começando pela mais antiga. Para fazer isso, a mensagem é removida da fila e sua função correspondente é chamada com a mensagem como um parâmetro de input (entrada). Como de costume, chamar uma função cria um novo frame (quadro) na pilha para uso dessa função.

O processamento de funções continua até que a pilha fique novamente vazia, então o event loop processará a próxima mensagem na fila (se houver uma).

Laço de Eventos (Event loop)

O Event loop tem esse nome por causa da forma que normalmente é implementado, que se assemelha a:

while (queue.waitForMessage()) {
  queue.processNextMessage();
}

queue.waitForMessage aguarda, de maneira síncrona, receber uma mensagem (se não houver nenhuma já disponível esperando para ser tratada).

Processamento Completo ("Run-to-completion")

Cada mensagem é processada completamente antes de outra mensagem ser processada. Isso oferece um bom fundamento ao pensar sobre o seu software, incluindo o fato de que, independente de quando uma função é executada, ela não pode ser interrompida e, portanto, será executada por completo antes que outro código rode (e modifique dados manipuláveis pela função). Isso é diferente do C, por exemplo, no qual uma função que está sendo executada em uma thread (um fluxo de execução), pode ser interrompida a qualquer momento para executar um outro código em outra thread.

Um aspecto negativo deste modelo é que se uma mensagem levar muito tempo para ser finalizada, a aplicação web ficará indisponível para processar as interações do usuário, como cliques ou rolagens. O navegador mitiga este problema através do aviso: "Um script desta página pode estar ocupado, ou parou de responder". Uma boa prática a seguir é fazer o processamento de mensagens curtas, e, se possível, dividir uma longa mensagem em múltiplas mensagens menores.

Adicionando mensagens

Nos navegadores, as mensagens são adicionadas a qualquer momento que um evento é acionado se este possuir um listener (ouvinte). Caso não haja, o evento será ignorado. Assim, um clique em um elemento com um manipulador de eventos de clique adicionará uma mensagem, como qualquer outro evento.

A função setTimeout é chamada com 2 argumentos: uma mensagem para adicionar à fila (queue) e um valor em tempo (opcional, o padrão é 0). O valor de tempo (time value) representa o intervalo (mínimo) com que a mensagem será realmente enviada à fila. Se não houver outra mensagem na fila, a mensagem será processada logo após o intervalo. No entanto, caso haja mensagens, a mensagem setTimeout terá que esperar até que outras mensagens sejam processadas. Por esse motivo, o segundo argumento indica um tempo mínimo e não um tempo garantido.

Aqui está um exemplo que demonstra esse conceito (setTimeout não é executado imediatamente após o temporizador expirar):

const s = new Date().getSeconds();

setTimeout(function () {
  // imprime "2", o que significa que o callback não é chamado imediatamente após 500 milissegundos.
  console.log("Ran after " + (new Date().getSeconds() - s) + " seconds");
}, 500);

while (true) {
  if (new Date().getSeconds() - s >= 2) {
    console.log("Good, looped for 2 seconds");
    break;
  }
}

Intervalos de zero segundos

O intervalo zero não significa, necessariamente, que o callback será disparado após zero milissegundos. Chamar setTimeout com um intervalo de 0 (zero) milissegundos não executa a função do callback após intervalo dado.

A execução depende do número de mensagens em espera na fila. No exemplo abaixo, a mensagem ''this is just a message'' será escrita no console antes que a mensagem do callback seja processada, porque, como informado previamente, o intervalo definido na função indica o tempo mínimo necessário para que a aplicação processe a requisição e não o tempo exato de processamento.

Basicamente, setTimeout precisa esperar que todo o código das mensagens enfileiradas seja concluído, mesmo que você tenha especificado um tempo limite específico para o seu setTimeout.

(function () {
  console.log("this is the start");

  setTimeout(function cb() {
    console.log("Callback 1: this is a msg from call back");
  }); // tem um valor de tempo padrão de 0

  console.log("this is just a message");

  setTimeout(function cb1() {
    console.log("Callback 2: this is a msg from call back");
  }, 0);

  console.log("this is the end");
})();

// "this is the start"
// "this is just a message"
// "this is the end"
// "Callback 1: this is a msg from call back"
// "Callback 2: this is a msg from call back"

Múltiplos runtimes comunicando-se em conjunto

Um web worker ou um iframe com uma diferente origem (cross-origin) tem seu próprio stack, heap e queue de messagens. Dois runtimes distintos só podem se comunicar por meio do envio de mensagens via método postMessage (en-US). Este método adiciona uma mensagem ao outro runtime, se este escutar os eventos de message.

Sem bloqueio

Uma propriedade muito interessante do modelo event loop é que o JavaScript, ao contrário de muitas outras linguagens, nunca bloqueia. A manipulação de E/S (I/O) é tipicamente realizada através de eventos e callbacks. Portanto, quando uma aplicação está esperando pelo retorno de uma consulta do IndexedDB ou de uma requisição XHR, ela ainda pode processar outras coisas, como as ações do usuário.

Exceções de legado existem, como por exemplo, alert ou XHR síncrono, mas é considerado uma boa prática evitá-los. Tome cuidado, exceções a exceção existem (mas geralmente são, mais do que qualquer coisa, bugs de implementação).

Veja também