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 Szenario
Der Netzwerkausrüstung-Anbieter beliefert mehrere DACH-Telekommunikations-Konzerne; eine unerkannte Memory-Ordering-Anomalie würde Wochen an Firmware-Debugging und mögliche Feldrückrufe bedeuten.
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.
Studienzuordnung folgt in Kürze.
Fähigkeiten
Fähigkeiten, die Du unter Beweis stellst.
Jede taucht auf Deinem verifizierten Zertifikat auf.
- Memory Consistency
Apply memory consistency to solve real industry problems and demonstrate production-level capability.
- Multicore Architecture
Apply multicore architecture to solve real industry problems and demonstrate production-level capability.
- Python
Write clean, efficient Python for data processing, automation, and backend services.
- Verification
Apply verification to solve real industry problems and demonstrate production-level capability.
- Microarchitecture
Apply microarchitecture to solve real industry problems and demonstrate production-level capability.
- Technical Writing
Apply technical writing to solve real industry problems and demonstrate production-level capability.
Karrieren
Berufe, auf die dies Dich vorbereitet.
Echte Berufsbezeichnungen. Echte Skill-Brücken. Wähle die, die Deinem Werdegang am nächsten kommt.
Software 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