時間軸
Structural
Structural は、時間軸 の観点から、シグナルが重要であり続けると見込まれる期間という時間軸で BTW Media の記事を整理するページです。直近の運用の変化と、四半期や年単位で進むガバナンス、投資、標準、インフラの長期的な変化を見分けるのに役立ちます。時間軸の前提を、公開された証拠、関係組織、市場環境、顧客への影響、政策圧力、インフラ計画と結び付けることで、動きが緊急なのか、戦略的なのか、裏付けとなる証拠を待つ段階なのかを判断できます。また、時間軸によってシグナルの意味がどう変わるか、影響を受ける可能性のある組織、短期的な対応が必要なインフラ判断と長期的な監視が必要な判断を解説します。
インターネット史
最安の実行計画は、まだ現実ではなかった
クエリの意味が一つでも、そこへ至る物理的な道は一つではない。Patricia G. Selinger と System R チームは1979年、統計と費用モデルを使って実行前にその道を選ぶ仕組みを実用化した。ここでいう「最安」は、調べた候補の中で推定値が最小だったという意味である。実測時間の判決でも、あらゆる計画に対する大域最適性の証明でもない。
インターネット史
KWICの出力は同じでも、変更の広がりは同じではない
二つのプログラムに同じ見出しを与えると、どちらも同じ循環シフトを同じアルファベット順で出力する。受け入れ試験は双方とも通る。では、行の格納方法を変えたら、いくつの担当とインターフェースがその変更を知る必要があるのか。David L. Parnas が1972年に示したのは、この二つ目の試験だった。
インターネット史
Paul Baranの生存性曲線には条件があった
攻撃でいくつかのノードが消えた。二つの端点は物理的には残っている。両者はなお経路を見つけられるだろうか。Paul Baran が RAND で扱ったのは、この限定された問いである。核攻撃を無傷で切り抜けるネットワークや、あらゆるメッセージの必達を証明したのではない。
インターネット史
Susan Eggersと、空いた発行枠を共有した一つのコア
幅の広いプロセッサには多くの実行器があっても、一つの命令列だけでは毎サイクルを埋められない。Susan Eggers らが問うたのは、物理コアを増やすことではなく、複数の独立したスレッドを同じサイクルの候補にできないか、ということだった。同時マルチスレッディングは総スループットを押し上げた。同時に、共有には公平性、遅延、競合という代価があることも数値で示した。
インターネット史
Irene Greifと、アトミックなコミットでは守れない書き手の意図
Collaborative Editing System は、共有文書の変更を直列化し、障害から回復できる状態にした。同時に、今も変わらない限界を示した。トランザクションは中途半端なデータを防げても、書き手が何を意図し、誰が変更を見て、どの判断を優先すべきかまでは決められない。
インターネット史
「GPSを発明した」の一文では足りない——Gladys B. West、1982年論文が証明した地球の形と、その証拠の限界
Gladys B. West の1982年論文 “Mean Earth ellipsoid determined from SEASAT 1 altimetric observations” の価値は、現代 GPS の全要素を一人で発明したことを示す点にはない。むしろ重要なのは、衛星レーダー高度計から作られたジオイド情報と重力ポテンシャル係数を、明示された仮定と最小化手順の下で結び、平均地球楕円体の大きさと原点位置を推定したことである。その証拠は強い。しかし、強い証拠ほど、どこまで届き、どこから先には届かないかを区別する必要がある。
インターネット史
Adele Goldberg と Smalltalk-80 を旅立たせた契約
「Blue Book」が記述したのは、生きたシステムを持ち運ぶための境界だった。同じイメージを保ち、各マシンでオブジェクトメモリ、バイトコード、実行コンテキスト、プリミティブを実装する。それにより Smalltalk-80 は再実装できたが、速度、フォント、ウィンドウ、デバイス、操作感まで同一になるとは約束されていなかった。
インターネット史
Kathleen Boothと、記号が機械命令になる境界
1947年、Kathleen H. V. Britten と Andrew D. Booth は、数学的な手順を20ビットの命令へ落とし込む道筋を記述した。略号はその道筋を読みやすくしたが、計算の意味まで機械に判断させたわけではない。
インターネット史
Barbara Liskov と Argus――commit が証明できるのは guardian の内側まで
Argus は、障害回復を言語の問題として扱った。guardian が回復可能なオブジェクトを管理し、handler がノードを越え、action が分散状態をまとめて commit または abort する。しかし、その強さには明確な終端がある。commit が確定するのは参加した Argus の状態であり、人物の身元、業務上の目的、管理外の装置や I/O の完了ではない。
インターネット史
Anita Borg と Systers――管理された部屋への入室は、平等の実現を意味しなかった
Systers にメールが届くためには、会員資格とアドレス、配信規則が私的な専門家コミュニティへの扉を開く必要があった。その配信は各地で孤立していたコンピューティング分野の女性を結んだが、すべての本人性を証明せず、雇用機会を保証せず、職場の権力や発言の危険を消しもしなかった。
インターネット史
Andrew S. TanenbaumとAmoeba capability――対象操作は許しても、所持者の身元は証明しない
Amoeba は、サービスの宛先、対象オブジェクト、許される操作、改ざん検出の手掛かりを128ビットに収めた。この capability は中央の所持者名簿なしに権限を運べたが、有効なビット列から分かるのはサーバーの検証規則を満たしたことまでである。誰が、どんな目的で使い、その先の結果が残ったかまでは語らない。
インターネット史
Ned Freedと、復元できても信用してはいけないファイル名
メールの添付を保存しようとしたとき、画面に出る名前は一つでも、通信路では複数の断片だったかもしれない。RFC 2231が保証するのは断片から値を復元する方法であり、その値を安全な命令へ変える権限ではない。
インターネット史
Ward Christensenと、端点を自由にした128バイトの約束
XMODEM は、通信サービス全体を設計しなかったからこそ広がった。Ward Christensen が回線上に置いたのは、順序と再送を共有するための小さな約束である。電話のかけ方も、保存先も、画面も、その後の改良も端点側に残された。
インターネット史
Cynthia Dworkと、使い回せないコスト
プルーフ・オブ・ワークが暗号資産の用語になる以前、Cynthia Dwork と Moni Naor は計算を電子メールの入場料として設計した。一通なら負担できても、大量送信では積み上がり、しかも一度払った計算を別の宛先に使い回せない料金である。
インターネット史
Raj Jainと、1ビットを判断に変えた二つの時間フィルター
DECbit の混雑表示は1ビットだった。しかし、ルーターも送信側も一回の観測だけでは動かなかった。小さな信号を制御に変えたのは、経路の両端に置かれた別々の時間の記憶である。
インターネット史
Larry Masinterが残した、同じ名前の別々の値
multipart/form-data の歴史を追うと、正常に届いたデータから何を残し、誰が意味を決めるのかという、ソフトウェアの責任分担が見えてくる。
インターネット史
Scott Shenkerが問い直した接続の許可
Ethane と NOX は、企業ネットワークの「つながる」と「つないでよい」を近づけようとした。Scott Shenker らの共同研究を読むと、許可の前提となる対応関係を維持する仕事も見えてくる。
インターネット史
Urs Hölzleと、部分ごとに手を入れられるネットワーク
大きなネットワークを維持するには、どの部分を止めて作業できるのか。Google の初期設計に現れた特殊な接続障害から、構成を小さな単位で変更するための条件を考える。
インターネット史
Ermanno Pietrosemoliと、海を越えたリンクの「最大値」の読み方
最大値には、それが得られた条件がある。Ermanno Pietrosemoli が関わった長距離無線の実験は、条件を取り除かずに数字を読むことが、研究の評価にもサービスの判断にも必要だと教える。
インターネット史
Budi Rahardjoと、命令権を持たないインシデント窓口
できないことを明記する窓口は、必ずしも頼りない窓口ではない。Budi Rahardjo が設立に取り組んだ ID-CERT は、関係するネットワークを操作する権限を持たないと公開文書で説明している。その境界があるからこそ、報告者は何を送るべきか、運用者は何を引き受けるべきかを判断できる。信頼できる仲介と実際の修復は、別の仕事なのである。