Warum flache Speichermodelle unsicher sind – und wie CHERI das ändern könnte
Flat vs. segmented memory – it's recursive
In einem tiefgründigen Essay untersucht Stephen Kell die Entwicklung von x86-Speicherschutzmechanismen und argumentiert, dass die Dominanz von Unix zu einem Rückgang feingranularer Segmentierung führte. Er sieht in WebAssembly und CHERI eine Rückkehr zu nicht-flachen Speichermodellen, die Sicherheit verbessern könnten. Kerns These: Die Unterteilung von Speicher ist ein rekursives Phänomen, das Hardware nur schwer abbilden kann. CHERI bietet einen vielversprechenden Ansatz, indem es Software erlaubt, Grenzen explizit zu verwalten, während liballocs eine deskriptive Alternative darstellt.
Die Frage ist nicht, ob der Speicher flach ist oder nicht – die mentale Abstraktion des Programmierers ist nie flach –, sondern wie wir ein grundlegend rekursives Phänomen, das Programmierer praktizieren, nämlich die Unterteilung, mit Hardware in Einklang bringen, die selbst überhaupt nicht rekursiv ist.