シングルスレッドのjsがどうやって非同期処理を実現しているのかという疑問から始まり、Web API、イベントループ、MicrotaskとしてのPromiseについてザッとみていく記事です👶
後半ではイベントループにおけるマイクロタスクの実行順序をJavaScript Visualizer 9000(こういうもの↓)を使って実際に目でみてみます👶
JavaScript Visualizer 9000でsetTimeout()やPromiseが混ざったスクリプトを実行している様子

疑問その1: 「シングルスレッドじゃ非同期処理できなくない？」

jsはシングルスレッドである。ざっくり言えば、複数の処理を並行して行うことはできないことが言語仕様から由来するさだめなのである
- js誕生当時はシングルコアが当たり前で、コード量も少なかったから「シングルスレッド上等！」だった
  
  JavaScript is an inherently single-threaded language. It was designed in an era in which this was a positive choice; there were few multi-processor computers available to the general public, and the expected amount of code that would be handled by JavaScript was relatively low at that time.
- Web Workerの話は考えない
いや、そしたら非同期処理ってなんやねん
- ここでいう非同期処理とは「時間のかかる処理が始まった時、それが終わるのをただ待つのではなく、他の処理を進めながら待ち、終わり次第いい感じに合流するような進め方」を指す
- こんなんシングルスレッドじゃ無理やん
  - 例えばFetch APIの非同期処理にしても、そもそもリクエストを「待つ」ってのもけっこう大変なこと(リクエストが返ってきているかを確認したり、タイムアウトの判定をしたり)のはず。jsがシングルスレッドなら、なぜ他の処理をしながらそんなことができるの？どういうこと？？？？

疑問その1への答え: 「外部のAPIがいるんです」

実は、jsは多くの処理を実行環境のAPIにまかせている

疑問その2: 「そのたくさんある外部のAPIを誰がまとめるのよ」

jsが外部APIを利用して非同期処理が実現されることはよくわかったけど……
冷静に考えて、このたくさんの外部APIたち相手に誰がどう指揮を執るんだ？？
- 要するに、fetch()とかsetTimeout()とか色々なAPIが「おわったよ」とか「エラーでした」とか返事をしてくるわけで、それに応じて色々処理を切り替えてとか、そんな複雑なことをシングルスレッドでやりきれるのか！？

疑問その2への答え: 「イベントループというものがあるんです」

この点でもやはり、jsは実行環境のちからを借りている
- jsはシングルスレッドなのに、外部の力を借りてマルチスレッド的状況を作っているといえる。そしたら、そのマルチスレッド的状況をjsだけで管理しようというのも無策なわけ
具体的には、イベントループという仕組みがある。このイベントループというのは、めちゃくちゃざっくり言うと「その実行環境において処理されるべき色々なものごと(jsスクリプトに加えて、ブラウザならレンダリングなども含む)を整理して、何をどんな順番でやるのか整理してくれる頼れる人」って感じ
- 死ぬほどざっくりいくと、jsの実行→レンダリングを繰り返すってこと
- でもさすがにもう少し理解したほうが良い
  - JAVASCRIPT.INFOのこの章がめちゃくちゃ分かりやすいからまずは必読
- 実際にイベントループを目で見て理解できるツールがあるのでやってみよう！！！
  - タスクをとってくる→コールスタックに積んでいって消化する→レンダリング→タスクをとってくる→……という流れになっていることがわかる！！！
- setTimeoutとかsetIntervalというのは、要するに「XX秒後にキューにタスクを追加する」ってことで、厳密にXX秒後に実行されるわけではない
補足: window, worklet, workerでイベントループは別々に管理されているとか、異なるタブのイベントループが場合によっては同じとか、そういう話も知りたかったらここにある
補足: イベントループの細かな仕様も、Web API同様に、jsそのものではなくて実行環境側で定められている。つまり、細かい仕様はまたもやブラウザやNode.jsなど実行環境ごとに規定され、実行環境ごとに異なった実装がなされている
- 補足: ブラウザ向け仕様はwhatwgさんが管理してる
- 補足: Node.jsは非同期I/Oに強いlibuvというライブラリをイベントループに組み入れている。詳しくは下記リンク先参照
  - 余談: ブラウザとNode.jsのイベントループの違いがさくっとまとまってそうな記事(未読)
  - 余談: react nativeのjsランタイムであるHermesにも独自のやり方があったりするのかな？
- 補足: いちおうECMAScriptにもイベントループの抽象的な定義はされている。ただ、細かい部分までは定義されてきっておらず、特にMicrotask(後述)とPromiseの関係が曖昧である
  - 余談: 興味ある人はこのあたりが該当するはずだから読んでみるとよい
  - 余談: このPromiseとMicrotaskの関係の曖昧さが2015年頃にブラウザ間で、Promiseの処理やレンダリング処理の実行タイミングの違いを引き起こしていたという記述もある(いまはブラウザ間で動作は揃っている模様)
    
    Firefox and Safari are correctly exhausting the microtask queue between click listeners, as shown by the mutation callbacks, but promises appear to be queued differently. This is sort-of excusable given that the link between jobs & microtasks is vague, but I'd still expect them to execute between listener callbacks.
  - setTimeoutにより追加されたタスク実行とイベントリスナー, レンダリングのタイミングの話をしている記事が他にもある。その中でも例えばこの記事は2015年で、こういうことが「Promiseの処理やレンダリングのタイミングの違い」に起因して起きていたのかも？

疑問その3: 「そのイベントループとやらは、どんなタスクをどんな順で繰り返すのよ」

冷静に考えると、ブラウザでは色々なことが起きている
- アニメーション、イベントによるコールバック発火、バブリング、イベントリスナーの登録、DOM変更によるコールバック発火……などなど
そういう細かいことの順序も知りたくなっちゃった

疑問その3への答え: 「分かった、イベントループの詳細をみてみよう(MutationObserverの細かい挙動なども含めて)」

調べてみると、Blinkは詳細な仕様をドキュメントにはしていないことに勘付く
- めちゃくちゃ掘ったけど分かりやすい図は見つからなかった……
- コードをみてみたけど、さすがに難しかった
- 先人の言葉をみて、やはりそうなのかとなる
  
  Chrome ブラウザ環境のイベントループの実装については実はほとんど情報がありません。Chrome ブラウザで利用されている JavaScript エンジンである V8 はデフォルトのイベントループを提供していますが、基本的に外部からプラグインして実装するようになっています。
  - なお、上記の記事は本当にわかりやすいので必読
というわけで、色々な動画や先人の実験結果をもとに推察してみるしかない……

と思いきや、まとめてくれた方がいる！！

 ブラウザ環境のイベントループの擬似コード(上記リンク先より引用)

while (true) {
    queue = getNextQueue();
    task = queue.pop();
    execute(task);

    while (micortaskQueue.hasTasks()) {
        doMicrotask();
    }

    if(isReapintTime()) {
        animationTasks = animationQueue.copyTasks();
        for(task in animationTasks) {
            doAnimationTask(task);
            while (micortaskQueue.hasTasks()) {
                doMicrotask();
            }
        }
        repaint();
    }
}

何がタスクなのかはwhatwgが決めている
- イベント(Event)
- パース(Parsing)
- コールバック(Callbacks)
- リソースの使用(Using a resource)
- DOM 操作への反応(Reacting to DOM manipulation)

このコードをみつつ、この動画の再生ボタンを押す(見てほしい位置から再生されます)とめちゃよくわかる

上記の擬似コードから分かる「やってはいけないこと」として、Microtask(後述)と呼ばれるものは、もしMicrotaskがMicrotaskを作り続けるようなコードにしてしまうと永遠のトラップに陥ってしまうということがある
その他のめちゃ細かいルールで興味深いのは、このあたり
- MutationObserverによりセットされたコールバックは、1つのjsスクリプトコンテクストにつき1回しか呼ばれない(=特定のコールバックが紐付けられた特定のDOM操作を、1つのjsスクリプトコンテクスト内でどれだけ繰り返し行っても、紐付けられたコールバックは一度しかキューに登録されない)
  - whatwgさんの仕様にもある
    To queue a mutation observer microtask, run these steps:
    1. If the surrounding agent’s mutation observer microtask queued is true, then return.
    2. Set the surrounding agent’s mutation observer microtask queued to true.
    3. Queue a microtask to notify mutation observers.
  - 下記サイトの3つ目の例をみると実際に体感できる
  - mutationObserverへのレコード登録は毎回される。リンク先のjsbinをためすといい
    - mutationObserverのこの独特の仕様は、mutationObserverを90年代に導入するときに課題になっていた「(ルートドキュメントに対する)1スクリプト内での大量のイベント発生」を念頭においていそう(だし、それは実際そうすべきだろう):
- スクリプト内でイベントを発生させる(e.g. click())と、イベントを発生させたjsスクリプトコンテクストが継続して、そのコンテクストの中でイベントによって呼ばれたコールバックが処理される
  - 下記サイトの3つ目の例をみるとよい
- 「イベントに反応してコールバックをタスクに入れる」という1つのタスクの中で、バブリングも一気に処理される(=バブリングは他タスクによって中断されず、ひとまとまりで行われる)
  - このルールはあくまでも下記リンクの実験結果から推察されることなので、仕様を見つけたわけではないです
イベントループの詳細を知るにあたりこれもわかりやすい

疑問その4: 「Microtaskって出てきたけどそれは何ですか」

イベントループに書いてあったMicrotaskってなんやねん

疑問その4への答え: 「Microtaskってのはタスクの合間にまとめて処理されるタイプのタスク群のことです。Promiseとかがそれなのよ」

Microtaskとは「タスク群の実行の合間に、もしくはアニメーション関連タスク群の実行の合間に、まとめて処理されるタスク」ってことが先の擬似コードから分かる
- 優先的に処理されるタスクと言い換えることもできる
- ある処理を優先的に実行したい、複数の処理を他のタスクに割り込まれずひとまとまりで実行したい。そういうときに使える！！！！
  
  マイクロタスクを使用する主な理由は次のとおりです。結果やデータが同期的に利用できる場合でも、タスクの一貫した順序付けを保証すると同時に、ユーザーが識別できる操作の遅れのリスクを低減するためです。
  - マイクロタスクの実際のユースケースがここにまとまっている
- Microtaskの導入は90年代で、そのモチベーションはMutationObserverのハンドリングだったっぽい
  - これをみるとわかる
何をMicrotaskとして扱うかはECMAScriptは定義しておらず、ブラウザ側で決められる
- ただし、いまはもう大体揃っていて下記3つで呼ばれるコールバック関数はMicrotaskとしてキューに入るのだと思っておけばほとんど間違いない
  - MutationObserverで登録しておいたコールバック関数
  - Promiseの解決時に呼び出されるコールバック関数
  - queueMicrotask()で登録されたコールバック関数
- addEventListener()で登録したコールバックが発動しても、それはMicrotaskではない！タスク。
  - 補足: addEventListenerの登録は同期的に行われる

疑問その5: 「やばい、Promiseってどんな感じだったっけ」

いい機会だしもう一度Promiseのことをじっくり考えてみよう……

疑問その5への答え: 「Promiseの使い方を復習してみよう」

余談: PromiseはES2015(ES6)にて正式にECMAScriptに入れられたわけで、そのときにはすでにMicrotaskなる概念が存在したわけ。なので、ECMAScriptのスレッドにPromise導入時、それをMicrotaskにするか議論した形跡があったりする。下記でECMAScriptコミュニティでの実際の議論がみれる
- Promiseはコールバック地獄をなくすために導入されたとされる(要出典)。じつは当時、すでにjQueryとかでPromiseっぽいものは使われていた
- async / awaitの正式追加はES2016 / ES2017
- Promiseは冷静に考えるとけっこうすごい代物で、つくってみると理解が深まる。下記の記事がおすすめ
- 補足: promisificationという話がある
Promiseの要点としては、下記をおさえておけば問題なさそう
- Promiseを新たに作るときは、引数として与えた関数は同期実行される
- Promiseがresolved(settledではないはず……resolveでPromiseを返した時もここでは含めたいので。ちょっと自信ないけど)になった時点で、thenやcatchによって後続で設定されていたコールバックがMicrotaskとしてイベントループのキューに追加される
Promiseを例として、イベントループを実際にJavaScript Visualizer 9000で見ることができます。これは本当に理解が進むので色々なパターンをやってみるとよさそう
- 実際にJavaScript Visualizer 9000でみれる！①通常の関数呼び出し、②setTimeout()で積まれたタスク、③Promiseで積まれたMicrotaskが①→③→②の順に消化されていくことがわかる: 下記を実際にJavaScript Visualizer 9000で試してみる
- thenによるチェーンは、最初の処理が実行されるとそこから一気に実行される: 下記を実際にJavaScript Visualizer 9000で試してみる
  - 先述の通り、MicrotaskがMicrotaskを作り続けるようなコードにしてしまうと次のタスクにいけなくなってしまうことが分かる。その間はレンダリングもブロックされるため、長きにわたると、ブラウザの処理速度が目に見えて落ちる結果を招く
- Promise起因のコールバック呼び出しはPromiseがresolvedになったタイミングで呼ばれる: 下記を実際にJavaScript Visualizer 9000で試してみる
  - fetch()などの非同期処理を実現するAPIは、要するにその内部でPromiseの状態をsettled(fulfilledかrejected)にしていると思われる。ちなみにJavaScript Visualizer 9000でもfetch()を動かせるのでやってみると、こんな感じになる: 下記を実際にJavaScript Visualizer 9000で試してみる
- 若干の注意: Promiseオブジェクトを作る時に引数に入れる関数は同期的に処理される(下記参照)
PromiseがMicrotaskであるおかげで、非同期処理まわりの処理順序を確定できる。下記のような関数を実行した時、処理Bがどれだけ時間を必要としても/どれだけ一瞬で終わろうとも、Aは処理Bのあとに行われることが約束されている(もちろんマシンスペックにもよらない)
```
const res = fetch('aaaaa')
res.then(処理A)

//処理B

return
```
このMicrotaskとしてのPromiseと通常のタスクの実行のされ方の違いを用いて、処理を工夫することができる。実際の例をリンク先でみるといい。例えばめちゃ長い処理があった時、setTimeout()でぶつぎりにすればレンダリングが防がれないようにできる

ちなみにawaitは、『そのasync関数の残り全ての部分を、「awaitされるPromise」がresolvedになった時点でMicrotaskとしてキューに入れる仕組み』だと思っておけばよさそう

function resolveAfter2Seconds() {
  return new Promise(resolve => {
    setTimeout(() => {
      resolve('resolved');
    }, 2000);
  });
}

async function asyncCall() {
  console.log('calling');
  const result = await resolveAfter2Seconds();
	// ここから下がresolveAfter2Seconds()にthenでつながれたものとみなされる
  console.log(result);
  console.log("hi")
}

asyncCall();
// calling
// resolved
// hi

// これと同じ
async function asyncCallrewrited() {
  console.log('calling');
  resolveAfter2Seconds().then((result) => {
    console.log(result);
		console.log("hi")
  })
}

// これは違う
async function asyncCall2() {
  console.log('calling');
  resolveAfter2Seconds().then((result) => {
    console.log(result);
  })
  console.log("hi")
}

asyncCall2()
// calling
// hi
// resolved

このように考えると、あるPromiseに対してawaitするときは、そのPromiseの結果とは無関係に実行できる処理を巻き込まないように注意しないといけない！！

You'll probably use async functions a lot where you might otherwise use promise chains, and they make working with promises much more intuitive.
Keep in mind that just like a promise chain, await forces asynchronous operations to be completed in series. This is necessary if the result of the next operation depends on the result of the last one, but if that's not the case then something like Promise.all() will be more performant.

例えばこういうこと

// 例えば同時に実行できるfetchを待たせてしまうとか、
function inefficientFetch() {
  const fetch1 = fetch('1')
  const fetch2 = fetch('2')
  const fetch3 = fetch('3')
  Promise.all(fetch1, fetch2, fetch3).then(console.log(fetch1, fetch2, fetch3))
}

async function efficientFetch() {
  const fetch1 = await fetch('1')
  const fetch2 = await fetch('2')
  const fetch3 = await fetch('3')
  console.log(fetch1, fetch2, fetch3)
}

// 例えば全然関係ない処理を待たせてしまうとか
async function notRelatedAwait() {
	const fetch1 = await fetch('1')
	const notRelatedResult = notRelatedCalc()
	return calc(fetch1, notRelatedResult)
}
// ↑
// notRelatedCalc()はfetch1の結果に左右されない関数

// これなら下記のようにして実行の順序を逆にしたほうが良い
async function notRelatedAwait() {
	const notRelatedResult = notRelatedCalc()
	const fetch1 = await fetch('1')
	return calc(fetch1, notRelatedResult)
}

疑問その6: 「イベントループを体得したいんだけどどうしよう」

イベントループを文字通り体得したい……！

疑問その6への答え: 「こういう事例とかみてみるともっとわかるよ」

下記のクイズ群を何回かやってみるとイベントループやMicrotaskの実行のされ方がよくわかるようになる気がする。1つ目が特におすすめ

Discussion