生成されたコードの読み方 — 「動く」と「正しい」の差

全部を疑うと手が止まります。差が現れる場所は4つに型化できます。

箇所              ずれの中身              実行で露見するか
桁                単位・基数の取り違え    踏んだ値によっては出る
境界              端の1件を含むか否か      端を踏まなければ出ない
因果              原因と結果の向きが逆    1回の結果は合いうる
架空の固有名詞    実在しない名前          無視されると差が出ない

桁 は説明文の側にもある型です。第6週『分岐予測 — 先回りして、外したらどうなるか』で扱うとおり、分岐予測を外した損失は 15〜20 サイクル程度で、第7週で扱うメインメモリまで取りに行く 200〜400 サイクルとは桁が違います。混同した説明は用語も構造も正しいので違和感が出ません。コード側では、ミリ秒の引数に秒を渡す、1000 と 1024 を取り違えるといった単位・基数のずれが同じ形で現れます。

境界 と 架空の固有名詞 は、コード固有の現れ方です。

1つ目はコード。 head の <script> で document.getElementById が null を返すという報告に、エージェントが中身を setTimeout(init, 100) で包み「動くようになりました」と返したとします。

実際に動きます。ただし理由は、100 ミリ秒でパースがその要素まで進んだという観測結果です。WHATWG HTML Standard が順序について述べるのは別のことで、external classic scripts は async も defer も無ければ "fetched and evaluated immediately, blocking parsing until these are both complete" であり、async が無く defer が付いていれば "evaluated when the page has finished parsing" です。100 という値は、この記述のどこにも根拠がありません。実物は導線コース『JSが割り込む — <script> がパーサを止める理由』で見ます。

2つ目は説明文。「書き込み増幅が起きるせいで SSD の空き容量が減る」という文です。第11週『SSDはなぜ書き込みが複雑なのか — 消せる単位が大きすぎる』で扱う式 ½(1+ρ)/ρ では、ρ が 25% で 2.5 倍、7% で 7.6 倍に跳ね上がります。ρ は Agarwal & Marrow が over-provisioning factor と呼ぶ (T−U)/U で、T は物理容量、U は利用者が使える容量です。利用者から見える空き容量そのものではありません。予備領域が減ることが原因で、増幅の悪化が結果です。向きが逆です。