Capability-Based Computer Systems
Capability-Based Computer Systems
Posted Sep 25, 2025 6:30 UTC (Thu) by chmaynard (subscriber, #125652)Parent article: CHERI with a Linux on top
From the Amazon.com summary:
"The book describes early descriptor architectures and explains the Burroughs B5000, Rice University Computer, and Basic Language Machine. The text also focuses on early capability architectures. Dennis and Van Horn's Supervisor; CAL-TSS System; MIT PDP-1 Timesharing System; and Chicago Magic Number Machine are discussed. The book then describes Plessey System 250, Cambridge CAP Computer, and Hydra System. The selection also discusses STAROS System and IBM System/38 ... The book highlights Intel iAPX 432, and then considers segment and objects, program execution, storage resources, and abstraction support."
