Всем привет! Разбираюсь с асинхронностью в JS. Допустим есть код следующего вида: 1.

fs.readFile('index.html', function());
2. fs.readFileSync('index.html', function());
3. setTimeout(() => {
4. fs.readFile('index.html', function());
5. }, 1000);

Получается, что:
1. Первая строчка добавляется в очередь WepAPIs
2. Вторая строчка выполняется сразу и блокирует Event Loop и весь последующий код, соответственно
3. Третья строчка так же добавляется в очередь WepAPIs
4. Стек вызова закончился и теперь начинается выполнение очереди WepAPIs
5. Выполняется первая строчка, затем по завершению ставится таймер на секунде
6. Спустя секунду вызывается чтение файла из 4й строчки

Я все верно описал?

Привет. Не совсем. Во первых вторая строчка не блокирует Event Loop, она блокирует стек, а Event Loop ожидает, пока стек не освободится от синхронных задач. Во вторых - таймер на секунду поставится сразу после завершения синхронного readFileSync, а не после первой строчки. В остальном всё правильно.

То есть, интерпретатор (не уверен что интерпретатор, надо будет сейчас еще погуглить этот момент), собирается все синхронные вызовы в стек, и только после этого собирает асинхронные вызовы в WebAPIs / thread pool ?

Нет, все вызовы вообще выполняются синхронно в порядке очереди. Даже если они подразумевают асинхронное выполнение. Простыми словами 1 строчка попадает в стек и сразу уходит из него. Запрос на чтение файла с последующим коллбеком отправляется WebAPI (Не помню как это называется в ноде, вроде не thread pool, поэтому пусть будет WebAPI для простоты). Далее выполняется 2 строчка и блокирует стек до её завершения. Потом setTimeout попадает в стек и сразу уходит из него. В WebAPI запускается таймер. Далее, когда все вызовы закончились - начинается обработка очереди ивентлупом. Тут уже немного посложнее, ибо всё зависит от того, является ли результат fs.readFile таском или микротаском. Но в любом случае, учитывая довольно длинный таймаут в 1 секунду, сначала в стек на выполнение попадет коллбек первого fs.readFile, далее через секунду в стек попадает fs.readFile и по аналогии с первой строчкой - сразу пропадает. Далее в очередь сразу попадает его коллбек и отправляется в стек на обработку. Это в целом довольно упрощенное объяснение, которое игнорирует множество факторов, которые могут повлиять на очередь и т.д. Таски, микротаски, итерации стека и т.д.

Уф, спасибо больше что так расписал подробно, сейчас гляну про таски, микротаски и остальное, мне главное основной концепт было понять

Рустам
Вот по поводу ноды, я не ошибся тут thread pool

Да, наверное ты прав тогда.

Если я правильно понял, то все синхронные функции добавляются в стек вызова, и сразу же выполняются, в то время как в WebAPIs они уже могут накапливаться, в отличии от стека?

Не уверен насчет накапливания. Но в стеке - да, функция выполняется сразу же после попадания в стек, так как стек у нас LIFO.

В большинстве или даже во всех случаях - выполнение асинхронной операции - это по факту синхронное выполнение в стеке той задачи, которая запустит выполнение этой задачи за пределами стека и позже когда-то вернет результат.