同一プロミスにPromise.resolveを同時に複数回実行した時なぜ競合しないのか？

Question

未解決のプロミスオブジェクトがあったとします。そのオブジェクトに対して同時に複数回Promise.resolveを呼び出した場合の挙動について、競合せず安全か、そして解決後の挙動は確定的かどうかが質問です。

Chromeでテストしたところ競合は起きず、またプロミスの実行は一度だけで、resolveを呼び出した順にthenが実行されているように見えます。

これはPromiseの言語仕様上当然のことですか？複数回呼び出した時のインタプリタ内部の処理の流れを教えてください。例えばPromise.resolveはpにコールバックを登録するような動きなのでしょうか。解決後は登録された順にCBを呼び出しているのだとすれば、競合が起きないのは説明がつきそうです。

実験

次のように非同期の関数を定義して実験しました。http://localhost:8081はマルチスレッドのウェブサーバーで複数のリクエストを同時に処理することが出来ます。ただし、レスポンスに5秒かかるように細工がしてあります。目的は複数の同時アクセスがあるのかの検証です。

async function main() {
	var p = fetch('http://localhost:8081');
    console.log(p);
    Promise.resolve(p).then((r)=>console.log(1, r.status));
    console.log(p);
    Promise.resolve(p).then((r)=>console.log(2, r.status));
    console.log(p);
    Promise.resolve(p).then((r)=>console.log(3, r.status));
}

実行します

await main()

結果

Promise {<pending>}
Promise {<pending>}
Promise {<pending>}
# 5秒経ったのち
1 200
2 200
3 200

サーバー側のログには1行だけアクセス記録がありました。

$ ./server.py
Starting server, use <Ctrl-C> to stop
sleep 5
127.0.0.1 - - [17/Jun/2020 21:51:22] "GET / HTTP/1.1" 200 -

Answer 1

Promise.resolveを呼び出した場合の挙動について

そもそも論として、Promise.resolveは「引数に与えられたPromiseをresolve状態にするもの」ではなく、「普通の値からresolve状態のPromiseを作成する」ための関数です。

Promise.resolveにPromiseを与えた場合は、他の回答にもあるようにそのまま返ります（このような呼び出しは、意図して行う分には無意味です）。

Comments

[maisumakun]

Promiseの外側からresolve/rejectを制御することは、（new Promiseのコールバックへ引数として与えられるresolve/reject関数を外に持ち出すような強引なことをするなら別ですが）基本的にできません。

[Kenji.Noguchi]

なるほど。回答の本文とコメントでなぜPromise.resolveが必要なのかよく理解できました。

Answer 2

もし与えられた引数の値が Promise なら、そのPromise が返されます。

Promise.resolve() - JavaScript | MDN

とのことなので、Promise.resolve(p) === pです。

Comments

[Kenji.Noguchi]

なるほど！と言うことは複数回呼び出した場合は単純に.then(...).then(...).then(...)とチェーンにしただけと言うことになりますね？

[Lhankor_Mhy]

そうですね。

ちなみに、複数回解決した場合も、内部スロットの[[AlreadyResolved]]をチェックして、すでに解決済みの場合は何もしないことになっています。
https://tc39.es/ecma262/#sec-promise-resolve-functions
https://tc39.es/ecma262/#sec-promise-reject-functions

[Kenji.Noguchi]

各質問についてストレートで明快な回答を頂き、疑問が解決しました。言語仕様を理解したかったのでリンク先のアルゴリズムは決定的でした。ありがとうございます。BAは僕の誤解を指摘したmaisumakunさんにの回答に付与することにしました。申し訳ありません。

Answer 3

fetchを1回しか実行していないですよね？

Comments

[yambejp]

var p = Array(3).fill(fetch('y.php'));
console.log(p[0]);
Promise.resolve(p[0]).then((r)=>console.log(1, r.status));
console.log(p[1]);
Promise.resolve(p[1]).then((r)=>console.log(2, r.status));
console.log(p[2]);
Promise.resolve(p[2]).then((r)=>console.log(3, r.status));

[Kenji.Noguchi]

質問は３回fetchを呼び出したいわけではなく、同一の未解決のプロミスを何度もresolveしても競合せず安全か、そして解決後の挙動は確定的かどうかと言うのが質問の主旨です。

[maisumakun]

別に回答しましたが、Promise.resolveの目的が違います。

[yambejp]

安全？の意味がわかりませんが、1回しか実行してないfetchの
resolve後に参照したらpeindingにはならずfulfilledですね

async function main() {
var p = fetch('y.php');
console.log(p);
await Promise.resolve(p).then((r)=>console.log(1, r.status));
console.log(p);
await Promise.resolve(p).then((r)=>console.log(1, r.status));
console.log(p);
await Promise.resolve(p).then((r)=>console.log(1, r.status));
}
main();