造就一個產業的難題：支撐全球航空業運作 60 年的基礎設施

背景

本文探討了支撐全球航空業超過六十年的核心基礎設施——SABRE 系統及其運行的作業系統 TPF。這套誕生於 1960 年代、早於 Unix 的技術架構，至今仍以極高的效率處理全球每秒數萬筆的機票交易，展現了極致針對性設計所帶來的長青生命力。

社群觀點

Hacker News 的讀者對這套「老古董」展現了複雜的情緒，討論核心圍繞在系統設計的純粹性與現代軟體開發的冗餘之間。許多技術人員感嘆，TPF 這種「無守護行程、無背景執行緒、無跨交易記憶體狀態」的設計，本質上更像是一個極致的交易運行環境而非通用作業系統。支持者認為，這種高度專業化的設計正是其性能至今仍難以被超越的原因。即便在現代硬體如 M1 晶片上使用 SQLite 可能達到類似的每秒交易數（TPS），但航空系統涉及的是複雜的業務邏輯，包含跨國調用、禁飛名單比對與詐欺檢測，這並非單純的本地資料庫讀寫所能比擬。

然而，社群中也出現了對現代開發模式的深刻反思。有觀點指出，當今的技術棧堆疊了過多抽象層，從超管理器、虛擬機、容器到各種運行庫，每一層都增加了複雜性與延遲。這種「疊床架屋」的現狀與 SABRE 這種直接與硬體對話的系統形成鮮明對比。雖然有人辯稱這些抽象層是為了安全性、開發效率與資源共享所必須付出的代價，但也有人質疑，我們是否真的需要這麼多「烏龜背著烏龜」的架構來執行簡單的指令。

此外，討論區也對這類系統的「去中心化」本質進行了辯論。雖然有人將其與比特幣對比，但資深開發者指出，航空系統並非區塊鏈式的去中心化，而是一種基於法律契約與信任體系的聯邦式架構。參與者必須信任國際航空運輸協會（IATA）等核心機構，這與無需許可的公鏈有本質上的區別。有趣的是，留言中也提到這類系統的商業決策週期極長，從 1953 年的初步構想到 1964 年正式上線，跨越了超過十年的時間，這對習慣於快速迭代的現代軟體工程師來說，是一個關於耐心與長期價值的提醒。

最後，部分讀者對文章中某些過於流暢、疑似由大型語言模型（LLM）修飾的語句表示反感，認為這類技術文章若過度追求文學性的修辭，反而可能削弱其技術可信度。儘管如此，社群普遍認同 SABRE 的案例證明了：當一個問題被定義得足夠清楚，且解決方案被設計得足夠精確時，它便能跨越技術世代的更迭，成為產業中不可撼動的鋼鐵核心。

延伸閱讀

在討論中，有讀者提到 ITA Software 曾嘗試整合這類大型主機網路，該公司後來被 Google 收購。值得注意的是，該公司高層曾公開表示，若非使用 Lisp 語言，他們無法完成如此複雜的系統整合任務。這也為航空資訊系統的開發史增添了一抹函數式編程的色彩。