[2] タスクキューtask queue イベントループ におけるタスク の順序付き のリスト
(キュー ) です。
Webブラウザー 内に常にいくつか存在します。
仕様書 [9] HTML Standard (2016-12-06 07:17:59 +09:00 ) https://html.spec.whatwg.org/#event-loops [1] HTML Standard (2012-03-28 21:58:58 +09:00 版) http://www.whatwg.org/specs/web-apps/current-work/#task-queue [19] HTML Standard (2012-03-28 21:58:58 +09:00 版) http://www.whatwg.org/specs/web-apps/current-work/#the-event-loop [10] HTML Standard (2016-12-06 07:17:59 +09:00 ) https://html.spec.whatwg.org/#worker-event-loop [44] HTML Standard (2012-03-28 21:58:58 +09:00 版) https://www.whatwg.org/specs/web-apps/current-work/#task-source [45] HTML Standard (2013-02-09 02:07:40 +09:00 版) https://www.whatwg.org/specs/web-apps/current-work/#unshipped-port-message-queue [78] HTML Standard (2016-12-06 07:17:59 +09:00 ) https://html.spec.whatwg.org/#parsing-main-incdata [75] Service Workers Nightly (2017-02-16 20:10:49 +09:00 ) https://w3c.github.io/ServiceWorker/#dfn-service-worker-registration-task-queue [94] Service Workers Nightly (2017-03-02 15:00:14 +09:00 ) https://w3c.github.io/ServiceWorker/#dfn-client-message-queue 意味 [4] タスクキュー は、タスク の集合 です >>1 タスク を入れたり出したりできます。
原則的に FIFO なのでキュー と呼ばれていますが、
event loop step 1 のようにそれ以外の特別な操作もあるため、
現在の HTML Standard は集合 と定義しています >>1 Infra Standard によれば Web
における集合 は順序付きリスト です。
[5] 基本的に未実行のタスク はタスクキュー に入れられて待機状態となります。
一つのタスク が複数のタスクキュー に同時に含まれることはありません。
文脈 [18] イベントループ は、1つ以上 のタスクキュー群 >>1
[31] イベントループ がいくつタスクキュー を持つかは、実装依存 です。
[12] 例えば、マウス操作 その他の利用者 の操作 (利用者対話タスク源 )
のタスクキュー と、それ以外のタスクキュー とで2つ用意し、
利用者 の操作のタスクキュー を優先的に処理する、という戦略を採ることができます。
>>1
[32] あるイベントループ で、
あるタスク源 から来たタスク をどのタスクキュー に追加するかは、
実装依存 の方法で固定しなければなりません >>1 >>3 )。
[84] 実装戦略によっては実行時にタスクキュー が増減するかもしれませんが、
同じタスク源 のタスク は同じタスクキュー に入れなければならないという原則は歪められません。
[76] サービスワーカー登録 は、1つ以上 のタスクキュー群 task queues 活性ワーカー が動作していない間にタスク を保持しておくもので、
これ自体を使ってタスク を実行するものではありません。
>>75
[7] 同じくタスク のキュー であっても、セッション履歴探索キュー マイクロタスクキュー クライアントメッセージキュー ポートメッセージキュー 未出荷済みポートメッセージキュー pending application cache download process tasks タスクキュー とは異なるものです。
(タスクキュー はデータ型 ではなく、イベントループ のフィールド名と捉えるべきもののようです。) タスク源 [46] 各タスク は、何らかのタスク源task source 来るcome ものと定義されます
>>44
[102]
タスク は、
源 source 源 は、
タスク源 のいずれかであって、
関連するタスク を集団化し直列化 するために使われます。
>>9
[103]
あるイベントループ においてあるタスク源 は、
当該イベントループ の特定のタスクキュー と関連付けられなければなりません
>>9 イベントループ が開始された時から終了する時まで変わることがありません。
[104]
いわばタスク源 はタスクキュー のラベルのような働きを持っています。
タスク源 には1つタスクキュー がありますが、
タスクキュー のタスク源 は1つとは限りません。
複数のタスク源 が同じタスクキュー を共有することがあります。
すべてのタスク源 が独立したタスクキュー を持つ状態が、
タスクキュー を最大限分割した状態といえます。
[61] タスクキュー はタスク源 によって分けられており、
同じタスク源 のタスク 同士の実行順序はタスクキュー への追加順序となることが保証されます。
[62] タスク源 は、追加時にタスクキュー の決定に使われる他、
何らかの理由でタスクキュー からタスク を削除する条件として使われることもあります。
[49] タスク源 としては次のものがあります。DOM操作タスク源 利用者対話タスク源 ネットワーク処理タスク源 履歴探索タスク源 媒体要素イベントタスク源 画布blob直列化タスク源 画布更新タスク源 タイマー・タスク源 遠隔イベント・タスク源 WebSocketタスク源 ポートメッセージキュー 未出荷済みポートメッセージキュー クライアントメッセージキュー XMLHttpRequestタスク源FileReaderタスク源データベース・アクセス・タスク源 埋め込みタスク源 WebGLタスク源 マイクロタスクタスク源 フォント読み込みタスク源 application life-cycle task source アイドルタスクタスク源 センサータスク源 handle fetch task source 投稿済みメッセージタスク源 雛形タスク源 FileSaverタスク源装置タスク源 PendingOpタスク源
[53] タスク源 の一覧は >>54 にあります。
[54] data-web-defs/data/browsers.json at master · manakai/data-web-defs (2014-04-09 13:08:57 +09:00 版) https://github.com/manakai/data-web-defs/blob/master/data/browsers.json [50] ほとんどのタスク源 はイベントループ に1つずつ存在していますが、
ポートメッセージキュー は著者 が MessagePort オブジェクト を作成することによって任意個作成されます。
クライアントメッセージキュー は ServiceWorkerContainer
オブジェクト の数だけ存在します。
媒体要素イベントタスク源 と
XMLHttpRequestタスク源FileReaderタスク源FileSaverタスク源
[51] 未出荷済みポートメッセージキュー は仮想virtual タスク源 >>54 タスク はポートメッセージキュー にも未出荷済みポートメッセージキュー にも属するという特殊な状態になっています。
未出荷済みポートメッセージキュー はイベントループ ごとに1つだけあります >>45
[52] 転送していない MessagePort タスク が実行されることを保証し、
転送してしまった MessagePort [88] 同じタスク源 なら同じタスクキュー を使うとの制約から、
未出荷済みポートメッセージキュー に入るタスク は (ポートメッセージキュー に関わらず)
同じタスクキュー に入るものとしなければなりません。出荷 済みのポートメッセージキュー にはこの制約はありません。マイクロタスクとの関係 [58] マイクロタスク のタスク源 はすべてマイクロタスクタスク源 と定義されています。
[59] マイクロタスク にはタスクキュー とは別のマイクロタスクキュー が存在しています。
これはマイクロタスク源 のタスク (マイクロタスク ) を実行するタスクキュー とは別のものです。
タスクキューの構造 [83] 仕様書 上、タスクキュー はタスク の集合 であるとしか説明されていません。
しかし、タスクキュー 上のタスク には、源タスク源 、文書タスク 、fetch
という情報が関連付けられていて、これがタスクキュー が関わる色々な演算で重要な役目を持ちます。
[85] タスクキュー は、源タスク源 、文書タスク 、fetch という情報を持ったタスク のキュー であるが、
通常のキュー とは異なる特殊な演算 も持つ、と解釈することもできますし、
源タスク源 、文書タスク 、fetch をキーとするタスク のリスト
(タスクキュー部分リスト ) をいくつか重ね合わせて全体として順序 を持つリスト として捉えたものがタスクキュー である、
と解釈することもできそうです。
[86] ポートメッセージキュー やクライアントメッセージキュー は、タスクキュー部分リスト の一種であると解せます。
[87] 未出荷済みポートメッセージキュー は、いくつかのポートメッセージキュー を束ねたものと捉えることができます。
ただし、未出荷済みポートメッセージキュー のタスク と各ポートメッセージキュー のタスク が異なるタスクキュー を利用する場合を考えると、
事情は若干複雑化します。
[63] ポートメッセージキュー も参照。[65] タスクキュー部分リスト は、状態 を持ちます (>>66 )。
追加 [11]
タスクをキューに追つい 加か queue a task >>1 タスク の実行を予定するものです。
[43] タスク は、その処理に関係するイベントループ に追加されます。
Webブラウザー が複数のイベントループ を持つ場合、
処理対象の文書 やワーカー を担当しているイベントループ のタスクキュー に追加されることになります。
[3] タスク は、その出自であるタスク源 によって決まるタスクキュー に追加されます。
イベントループ が複数のタスクキュー を持つ場合、
同じタスク源 からのタスク は必ず同じタスクキュー に追加され、
相互の順序は保持されますが、
異なるタスク源 からのタスク は異なるタスクキュー に追加されるかもしれないため、
順序は保証されません。
[37] タスクをキューに追加 する処理は、
次の引数を受け取ります。
源
タスク源 。 イベントループ
イベントループ 。
仕様書 はこの引数 を省略可能としており、
省略された場合暗示イベントループ を意味するとしています >>1 手順群
手順群 の系列。 文脈
要素 、閲覧文脈 、環境設定群オブジェクト のいずれか。
あるいはスクリプト が指定された場合、その設定群オブジェクト >>1 タスクをキューに追加 の呼び出し元を意味しています。
(クライアントメッセージキュー の場合は、クライアントメッセージキュー の関連設定群オブジェクト >>94 文書
文書 。
仕様書 はこの引数 を省略可能としており、
省略された場合にイベントループ と文脈 についての暗示文書 を意味するとしています >>1 fetch
fetch または null。 fetch からタスクをキューに追加 する場合には、
その fetch の実現値 となります。既定値は null。 捨てる処理 handle fetch や Install で指定されます。[38] タスクをキューに追加 する処理は、
次のようにします。
[14] 文脈 が環境設定群オブジェクト で、
文脈 の大域オブジェクト が WorkerGlobalScope で、
文脈 の大域オブジェクト の閉じ中 が真 なら、[68] ここで停止します。 >>10 [39] タスク を、
新しいタスク に設定します。[40] タスク 手順群 手順群
>>1 源タスク源 源
>>1 文書タスク 文書
>>1 triggered by user activation その他のフラグ群
イベントループ の現在走っているタスク が null でなければ、
イベントループ の現在走っているタスク の
triggered by user activation その他のフラグ群 fetch fetch 順序 イベントループ 内でタスクをキューに追加 の実行順序を表す値捨てる処理 捨てる処理 [13] タスクキュー を、
イベントループ のタスクキュー群 のタスクキュー のうち源 に関連付けられものに設定します。
>>1 [41] タスクキュー に、
タスク を末尾に追加 します。
>>1 [42]
タスクを要素キューに追つい 加か queue an element task タスク源 源 、
要素 要素 、
手順群 手順群 について、
次のようにします。
>>1
[125]
文書 を、
要素 の節点文書 に設定します。
[126]
イベントループ を、
要素 の節点文書 の関連realm のagent のイベントループ に設定します。
[127]
源 、
イベントループ 、
文書 、
手順群 について、
タスクをキューに追加 します。 [35] タスクをキューに追加 やタスクを要素キューに追加 する操作は、
色々な処理から呼び出されます。
Webプラットフォーム のアルゴリズム の基本的な操作の1つです。
[92] 移動の項も参照。
[105]
マイクロタスクをキューに入れる は、
名前が似ていますが別の処理です。
[106]
暗示イベントループimplied event loop タスクをキューに追加 やマイクロタスクをキューに追加 する処理を呼び出すアルゴリズムから決まるイベントループ です。
>>1 仕様書 は多くの箇所でイベントループ を明示せず、
暗示イベントループ に頼る形としています。
(歴史的理由ですが、煩雑さを避けるためもあるのでしょう。)
[107]
ほとんどの場合は関係するエージェント が1つだけで、
したがってイベントループ も1つに定まるので曖昧ではないのですが、
エージェント 間の通信に関する場合は明示しなければならない とされています。
>>1
[108]
イベントループ と文脈 の暗示文書implied document >>1
[109]
イベントループ が window event loop でない 場合、[110]
null を返します。[111]
それ以外で、文脈 が要素 の場合、[112]
文脈 の節点文書 を返します。[113]
それ以外で、文脈 が閲覧文脈 の場合、[114]
文脈 の活性文書 を返します。[115]
それ以外で、
文脈 がスクリプト の場合、[116]
文脈 の設定群オブジェクト の有責文書 を返します。[117]
それ以外の場合、[118]
... はないとされます。存在 [28] EventSource MessagePort ごみ収集 のタイミングは、
タスク がタスク・キュー に残っているかによって決まります。
[29] これはタスク から EventSource MessagePort 強い参照 があると解釈できるかもしれません。[30] XHR は逆にごみ収集 によってタスク を破棄します。[8] the embed element setup steps は、
同要素 に関するタスク が他に追加されている場合、何も実行しません。
(実行中かどうかではなく追加されたかどうかの検査です。)
この検査は自タスク のみならず、そこから追加された他のタスクキュー からも行われます。
取得 [15] タスクキュー は FIFO っぽいもので、基本的には最古のものから取得 (実行)、
削除されます。しかし条件を満たさないタスク はイベントループ に無視されることになっていますから、
厳密には FIFO とは言えません。
[20] イベントループ についてタスクキューからタスクを選択 するには、
次のようにします。
[70] タスクキュー を、
イベントループ のタスクキュー群 内のタスクキュー のうち、
いずれか1つでもタスク が走らせられる ものを、
実装依存 の方法で選択した結果に設定します。
>>9 [72] 状態 が無効ではないもの (>>34 ) を選びます。[66] タスクキュー が null の場合、[89] null を返します。[91] それ以外の場合、[90] タスク を、
タスクキュー のタスク のうち、最初の走らせられる ものに設定します。[64] タスクキュー から、タスク を削除list remove します。[67] タスク を返します。[21] 同じタスクキュー のタスク は、無視 (遅延) されるものを除き、
実行順序が保証されています。異なるタスクキュー のタスク 同士がどの順序で実行されるかは、
実装依存 です。
[69] この辺の処理は、プラットフォーム の影響を受けることもあるでしょうし、
あるいは何を優先的に実行するかは実装の品質 の問題であって (>>12 )
Webブラウザー事業者 が工夫して競合するべき点でもあるでしょうから、
仕様としてはあまり具体的に規定せず、かなり自由度を持たせているようです。
何をどのような順序で処理するかが相互運用性 にあまり影響しないということもあります。
[79] WebSocketメッセージ受信 におけるタスク の実行では、
タスク の実行に必要な I/O
処理を待つ間他のタスクキュー を実行するような効率化が推奨されています。
WebSocketメッセージ受信 参照。[48] かつては、
タスク の決定時点ではまだタスクキュー から削除せず、
イベントループ によるタスク の実行後にタスクキュー から削除すると規定されていた時期もありました。
仕様書 の構成上の違いだけで、観測可能な違いは生じないはずで、
Webブラウザー は好きな方法で実装できます。
[47]
タスク は走らせられる ときしか選ばれません。
その条件には文書タスク が完全に活性 か否かが含まれます。
従って、履歴 移動により非表示状態になった文書 のタスク は、
実行されません。しかし捨てられたわけではないので、再び表示状態に戻れば実行されます。
[34] ポートメッセージキュー とクライアントメッセージキュー は、
有効か無効かのいずれかの状態 を持ちます。
既定値は無効です。
仕様書 上は、ポートメッセージキュー とクライアントメッセージキュー は有効になってはじめてイベントループ がタスク源 として使うようになると規定されています。
ポートメッセージキュー とクライアントメッセージキュー [80] HTML構文解析器 の script 要素 の終了タグ の処理は、
字句化器をブロックblock the tokenizer 字句化器をブロック解除unblock the tokenizer 字句化器 を実行することになるタスク をイベントループ が実行しないものと説明されています
>>78
[71] なぜかこれは構文解析器 の動作の規定で説明されるだけで、
イベントループ 側のアルゴリズム には組み込まれていません。
そのため仕様書 の意図する正確な動作は不明です。
しかし、構文解析器 自体が正常に動作することや他の挙動との整合性、
実際の Webブラウザー の動作との一貫性を考慮すると、
イベントループ が単一のタスクキュー しか持たない場合であってもそのようなタスク の後に続く一切のタスク を実行できないとは考えにくく、
完全に活性 でないタスク と同様、ブロック解除されるまで無効とされると解釈するのが妥当そうです。
[82] なお、このような挙動を引き起こしたHTML構文解析器 によってブロックされる、
字句化器 を実行することになるタスク 、というのは、
navigate によって実行される fetch の process response や
process response end-of-body の処理を行うネットワークタスク源 のタスク です。
[81] ということは、字句化器をブロックするとは、
(タスク源 = ネットワークタスク源 , 文書 = HTML構文解析器 の文書 ,
fetch = その構文解析器HTML構文解析器 と対になる fetch )
のタスクキュー部分リスト の状態 を無効 に設定する、と言い換えられることになります。
削除 [22] タスク は実行される際にキュー から削除されますが、それ以外にも削除されることがあります。[23] イベントループ について文書 のタスクを削除Document タスク がすべて削除されることがあります。document.open
discard a Document [24] 特定のタスク源 のタスク がすべて削除されることがあります。media element load algorithm FileReader abort FileSaver abort [27] 特定の文書族 ・タスク源 のタスク がすべて削除されることがあります。URLおよび履歴更新手順群 セッション履歴エントリーの挿入 素片識別子へのnavigate [26] 特定のものに関する fetch 算法 が生成したタスク がすべて削除されることがあります。update the image data 媒体要素 text track abort a document XHR のごみ収集 [25] すべてのタスク が削除されることがあります。WorkerGlobalScope close kill a worker [33] 特定のタスク が削除されることがあります。
移動 ポートメッセージキュー [17] ポートメッセージキュー においては、
タスク が他のポートメッセージキュー へと移動されることがあります。
タスクキュー部分リスト 内のすべてのタスク を削除し、
他のポートメッセージキュー に改めて追加するものと解することができます。
ポートメッセージキュー 参照。[36] ポートメッセージキュー の操作
(postMessage や Transfer ) でタスク がポートメッセージキュー に追加されることがあります。
仕様書 上はタスクをキューに追加 を使わずに規定されていますが、
ポートメッセージキュー がタスクキュー部分リスト であると考えれば、
タスクをキューに追加 する操作で記述できます。
[73] ポート出荷に伴うタスク移動 :
ポートメッセージキュー のタスク は、MessagePort
の既に出荷済み フラグが偽 である間、
未出荷済みポートメッセージキュー に属するものとみなされ、
ポートメッセージキュー としての処理は停止されると規定されています。
これは (色々な実装方法がありそうですが)
未出荷済みポートメッセージキュー を収容するタスクキュー からポートメッセージキュー に相当するタスクキュー部分リスト を削除し、
ポートメッセージキュー が本来収容されるべきタスクキュー に追加する操作と解することができます。
この操作ではタスク 自体は削除と移動されるわけではなく、
タスクキュー 上のタスク の順序 が維持される必要があります。
サービスワーカー [93] サービスワーカーを走らせる 処理、
サービスワーカーを終端させる 処理で、
イベントループ とサービスワーカー登録 との間でタスク が移動されることがあります。
[77] handle fetch のタスクが捨てられる 時は、
タスク の捨てる処理 が実行されます。
イベント順との関係 [55] DOM3イベント はイベント 同士の関係をイベント順 により規定しています。
DOM3イベント はイベント・ループ やタスク という概念を使っておらず、
このイベント順 は適宜タスク源 として使うことによってイベント・ループ と互換性がある形で実装できる、
としています。
[56] Document Object Model (DOM) Level 3 Events Specification (2012-03-21 00:00:37 +09:00 版) http://dev.w3.org/2006/webapi/DOM-Level-3-Events/html/DOM3-Events.html#event-order-and-loops [57] 具体的にどう対応付けるのかは説明を読んでもあんまりよくわかりません。 HTML
はマウス も鍵盤 も同じ利用者対話タスク源 で扱っていますが、
DOM3イベント は独立してるからそれぞれ別のタスク源 だ、とか言っていますし、
焦点 の変更など独立した操作がそれぞれタスク源 だ、とか訳のわからないことも言ってます。ごみ収集との関係 [74] ごみ収集 、ポートメッセージキュー 参照。
歴史 [6] Web Applications 1.0 r2074 Define event loops, task queues, etc; Make 'fetching' use this mechanism (everything will in due course); Fix some cross-references around 'interactive content'.
(2008-08-16 09:52:00 +09:00 版)
https://html5.org/r/2074 [60] IRC logs: freenode / #whatwg / 20100824
(2010-09-02 21:15:06 +09:00 版)
http://krijnhoetmer.nl/irc-logs/whatwg/20100824 [16] Web Applications 1.0 r7992 Make <form> submission more like reality. (2013-06-20 06:37:00 +09:00 版) http://html5.org/tools/web-apps-tracker?from=7991&to=7992 [19] Fix #19: Remove majority of "DOM Event Architecture" section · w3c/uievents@6cb42db
(2016-03-08 18:11:43 +09:00 版)
https://github.com/w3c/uievents/commit/6cb42db4054c5502d28c3f53c6ae64da5e475747 [95] Clarify realm and task-queuing situation in pipeTo() by domenic · Pull Request #902 · whatwg/streams
(2018-03-10 13:29:59 +09:00 )
https://github.com/whatwg/streams/pull/902
[96] Add self.queueMicrotask()
(domenic 著, 2018-08-02 06:28:24 +09:00 )
https://github.com/whatwg/html/commit/9d7cf125f960e6bb8d9b7c9456595f505f2e9d4b
[97] document.open() simplifications, part 1
(TimothyGu 著, 2018-08-17 07:20:44 +09:00 )
https://github.com/whatwg/html/commit/6f769b8089a843066aa19f5991405bf4c84458b3
[98] No longer remove tasks for document.open() by annevk · Pull Request #3665 · whatwg/html
(2018-08-23 20:17:54 +09:00 )
https://github.com/whatwg/html/pull/3665
[99] document.open() simplifications: realm creation, unloading, tasks removal by TimothyGu · Pull Request #3918 · whatwg/html
(2018-08-23 20:19:07 +09:00 )
https://github.com/whatwg/html/pull/3918
[100] document.open() simplifications, part 2
(TimothyGu 著, 2018-08-21 03:57:31 +09:00 )
https://github.com/whatwg/html/commit/ae7cf0cc1936c6c309d7279c822dffc3af147851
[101] Editorial: rigorize tasks and task queuing
(domenic , 2019-05-01 01:36:30 +09:00 , 2021-03-25T08:52:45.000Z )
https://github.com/whatwg/html/commit/f4e29076caad1779336adea40ac2125d6d1c9496
[119] Script event-loop: ignoring tasks for documents that are not fully active · Issue #4242 · whatwg/html
(2021-03-25T11:52:45.000Z )
https://github.com/whatwg/html/issues/4242
[120] Editorial: rigorize tasks and task queuing by domenic · Pull Request #4465 · whatwg/html
(2021-03-25T11:54:07.000Z )
https://github.com/whatwg/html/pull/4465
[121] Editorial: remove now-redundant removal of event loop task
(domenic , 2019-09-13 14:26:06 +09:00 , 2021-04-12T05:25:18.000Z )
https://github.com/whatwg/html/commit/edcf2eff7570fd142188e45350eb9c69bad9b9fc
[122] Editorial: remove now-redundant removal of event loop task by domenic · Pull Request #4897 · whatwg/html
(2021-04-12T05:26:15.000Z )
https://github.com/whatwg/html/pull/4897
[123] Duplicated removal from queue in the Event Processing Model · Issue #4888 · whatwg/html
(2021-04-12T05:26:47.000Z )
https://github.com/whatwg/html/issues/4888
[124] Add "queue an element task" algorithm
(dtapuska , 2019-12-06 05:15:14 +09:00 , 2022-01-27T09:31:52.000Z )
https://github.com/whatwg/html/commit/a9e1d2ad5a7569010c685b271965ae4a3a34a64b
[128] Add the ability to queue an element task. by dtapuska · Pull Request #5072 · whatwg/html
(2022-01-27T09:53:48.000Z )
https://github.com/whatwg/html/pull/5072