Memory-Consistency-Modell für einen sicherheitskritischen Multicore
Übersicht
Worum es bei diesem Projekt geht.
Du implementierst einen Python-Runner für 30 Litmus-Tests auf einem 5-Kern-Modell und identifizierst das Speichermodell. Du erhältst ein verifizierbares Zertifikat.
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.
Advanced Computer Architecture
Master · Cs Se
Fit score: 1
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