STP084: Cursed Computer Iceberg Meme, Runde 3

<p>Mal wieder stehen uns angesichts der Merkwürdigkeit der Computertechnik die Haare zu Eisberge.</p><h2>Shownotes</h2>Wir setzen unsere Betrachtung des <a href="suricrasia.online/iceberg/">Cursed Computer Iceberg Meme</a> aus STP042 und STP064 fort. Dieses Mal hat Xyrill sich vorgenommen, einen Pick aus jeder Ebene des Eisbergs zu besprechen.</p>
<ul>
<li>"Above the Iceberg" - Oberhalb des Eisbergs: <a href="meltdownattack.com/">Spectre/Meltdown&…;
<ul>
<li>Beispiel eines Seitenkanalangriffs (vgl. Besprechung von nicht-zeitkonstanten Operationen in STP041)</li>
<li>war damals (2018) auch <a href="c3d2.de/news/pentaradio24-20180123.html"&… Pentaradio besprochen worden</a></li>
<li>und im <a href="chaosradio.de/cr242-einmaleinschmelzenbitte&qu…;
<li>Grundlage: moderne Prozessoren erzielen ihre Geschwindigkeit zu guten Teilen durch spekulative Ausführung zukünftiger Instruktionen (siehe STP011)</li>
<li>Idee: Angreifer kann nicht auf geschützten Speicher zugreifen, aber die spekulative Ausführung weiß das nicht</li>
<li>spekulativ ausgeführter (und dann verworfener) Befehl ist so gebaut, dass je nach dem Wert eines geschützten Bytes eine unterschiedliche Speicherseite angefasst wird</li>
<li>dann Auslesen des Wert des Bytes durch Timing-Seitenkanal: zuletzt angefasste Speicherseite ist im Cache und schneller lesbar</li>
</ul>
</li>
<li>"On the Iceberg" - Auf dem Eisberg: <a href="superuser.com/a/1202556">Schriftarten können Schadcode enthalten</a>
<ul>
<li>Kombo mit "Middle of the Iceberg" weiter unten</li>
</ul>
</li>
<li>"Below the Water" - Unter der Wasserlinie: <a href="youtube.com/watch?v=pdmODVYPDLA">Magic the Gathering is Turing Complete</a>
<ul>
<li>vgl. unsere Besprechung von "aus Versehen turingvollständig" in STP042 sowie von Turingmaschinen in STP063</li>
<li>Kyle Hill hat dazu auch noch ein <a href="youtube.com/watch?v=uDCj-QOp5gE">neueres Video</a> auf seinem eigenen Kanal</li>
</ul>
</li>
<li>"Middle of the Iceberg" - Mitte des Eisbergs: <a href="en.wikipedia.org/w/index.php?title=TrueType&am… ist turingvollständig</a>
<ul>
<li>noch ein Fall von "aus Versehen turingvollständig" (siehe STP042)</li>
<li>Hinting: Anpassung der Form einer Glyphe an die tatsächliche Schriftgröße in Pixeln etc., um ungewollte Rasterisierungs-Artefakte zu reduzieren (<a href="commons.wikimedia.org/w/index.php?title=File:F… Beispiel</a>)</li>
<li>in TrueType: Hinting in einer VM, die durch Code in der Schriftartendatei gesteuert wird; damit Einschleusung von Schadcode möglich, wenn diese VM Schwachstellen hat</li>
<li>Problem: heute Schriftarten nicht nur im Betriebssystem vorinstalliert, sondern auch dynamisch geladen als Webfont</li>
</ul>
</li>
<li>"Bottom of the Iceberg" - Unterseite des Eisbergs: <a href="gayle.com/blog/2015/5/31/the-problem-with-the-… gibt keine elegante Lösung für FizzBuzz</a></li>
<li>"Below the Iceberg" - Unterhalb des Eisbergs: <a href="ojs.aaai.org/index.php/aimagazine/article/view… werden immer schneller</a>
<ul>
<li>SAT (von engl. "satisfiability"): <a href="de.wikipedia.org/w/index.php?title=Erf%C3%BCll… der Aussagenlogik</a></li>
<li>relevant deswegen, weil man viele Probleme als SAT-Problem umformulieren kann (z.B. Sudoku, Raumplanung, Paketmanager)</li>
</ul>
</li>
<li>"Deep Water" - Im tiefen Wasser: <a href="developer.arm.com/documentation/dui0801/g/A64-…;
<ul>
<li>FJCTVZS = "Floating-point Javascript Convert to Signed fixed-point, rounding toward Zero" (Konvertierung eines float64 in einen int32 mit Rundung zur Null hin und Modulo 2^32 bei Überlauf)</li>
<li>ARM ist zwar RISC (siehe STP075), aber eine spezielle Instruktion für Zahlenumwandlungen in JavaScript-Engines ist offenbar doch wertvoll</li>
</ul>
</li>
<li>"The Abyss" - Der Abgrund: <a href="dampfkraft.com/posuto.html">Die große Adressdatei der japanischen Post</a>
<ul>
<li>eine Lektion darin, wie wichtig saubere Daten sind, und dass man auf bei der Erstellung von Dateien auf ihre Verwendung achten muss (Parallele zu Dokumentation)</li>
</ul>
</li>
</ul>
<p>Es gibt weiterhin mehr zu entdecken. Wir sehen uns wieder in STP105.