Memory-Consistency-Modell für einen sicherheitskritischen Multicore
Übersicht
Worum es bei diesem Projekt geht.
Du erhältst das Software-Modell der Multicore-Plattform (5 Kerne, eigene Pipeline-Beschreibung) und eine Sammlung von 30 Litmus-Tests aus der Memory-Modeling-Literatur (z. B. Store Buffer, Independent Reads of Independent Writes). Implementiere einen Runner in Python, der jeden Test über alle möglichen Verschränkungen ausführt und beobachtbare Ergebnisse mit den Erwartungen für TSO (Total Store Ordering), PSO (Partial Store Ordering) und RMO (Relaxed Memory Ordering) vergleicht. Identifiziere, welches Modell das vorhandene Software-Modell tatsächlich erfüllt. Liefere den Runner, einen 8-seitigen Bericht, ein Memo an die Hardware-Verifikation und ein 25-minütiges Review-Skript.
Das Briefing
Was Du tust und was Du zeigst.
Welches Memory-Consistency-Modell beschreibt das Multicore-Design exakt, und welche Litmus-Tests offenbaren Abweichungen vom erwarteten Modell?
Earning criteria — what you'll demonstrate
- TSO, PSO und RMO praktisch unterscheiden und auf reale Designs anwenden
- Litmus-Tests als Verifikations-Methodik aus der Forschung einsetzen
- Verschränkungs-Enumeration als Kontrollwerkzeug für Concurrency-Modelle nutzen
- Architektur-Eigenschaften für eine Hardware-Verifikation klar und auditfähig beschreiben
Studienpassung
Wo dies in Dein Studium passt.
Schärft dieselben Fähigkeiten, die Dein Studium von Dir erwartet.
Fähigkeiten
Fähigkeiten, die Du unter Beweis stellst.
Jede taucht auf Deinem verifizierten Zertifikat auf.
Karrieren
Berufe, auf die dies Dich vorbereitet.
Echte Berufsbezeichnungen. Echte Skill-Brücken. Wähle die, die Deinem Werdegang am nächsten kommt.
Karrierewege, die das aufbaut
Kanonische RollenSoftware Engineer
Memory-Consistency-Erfahrung ist eine seltene Tiefenkompetenz, die Software Engineers in Concurrency- und Performance-Rollen direkt qualifiziert.
Dieses Projekt schärft
- memory-consistency
- python
- verification
Backend Engineer
Backend Engineers, die Lock-Free-Strukturen sicher entwerfen, müssen Memory-Consistency verstehen. Litmus-Test-Erfahrung beschleunigt das Lesen von Concurrency-Code drastisch.
Dieses Projekt schärft
- memory-consistency
- multicore-architecture
- verification
Noch eine Sache