仕様書をざっと検索した感じだと、仕様はスレッドについては言及してないですね。(もっというとsetTimeoutも仕様書には載ってない)

案の定というか、Javaみたいに言語自体がThreadを明示的にサポートするのでなければ普通は言及されないよなあ。

とはいえ、実務的にはシングルスレッドであることを仮定していいとは思いますが。(というかちゃんとした排他制御の仕組みがないから、そう仮定しないとプログラムを書けない)

http://d.hatena.ne.jp/amachang/20060910/1157911122

を見て。

たとえば、以下のようなソースの場合、hello と表示されるのはいつだろうか

setTimeout(function() { alert("hello") }, 10);

～ここに重くて、1秒の時間を有する処理を書く～

答えは 1000 ミリ秒後である。確実に 1000 ミリ秒後である。

[javascript]JavaScript を学ぶ際に一番重要なのに、誤解されがちな setTimeout 系の概念

おっしゃるとおり、僕の知ってる範囲内のJavaScript環境はすべて今実行している関数がブラウザに制御を返すまで、setTimeoutやsetIntervalに割り込まれることはないですね*1。

もっと言うと経験則的にはJavaScriptが実行中はブラウザの描画も行われません。だからinnerHTMLに大量のHTMLを突っ込むとかの重い処理を頻発するページは糞重い上に固まってるように見えます。

つまり、経験則的にはブラウザのレンダリング処理を含めてJavaScriptの実行はシングルスレッドで行われるように見えます。これが分かってないと重い処理にプログレスバーをつけようとしたときに、安直な書き方だと期待通りに動かなくてハマります。*2

この、JavaScriptがシングルスレッドなのって仕様で定められてるのですかね？

ECMAScriptの仕様を見れば載ってるのかもしれないけど、Cの仕様にシングルスレッドで動作するなんて書いてないようにECMAScript仕様にもそんなこと書いてないような気がしてちゃんと調べてないです。(「仕様に書いてない」ことを調べるのは面倒だし）

誰かちゃんとしたことを知ってる人がいたら教えて欲しい今日この頃です。