Memory Consistency: Race Detector para Modelos x86-TSO vs ARM Weak
Visión general
De qué trata este proyecto.
Memory Consistency: Race Detector para Modelos x86-TSO vs ARM Weak. Expert-level challenge in code. Writing production code that solves real engineering prob...
El Briefing
Lo que harás y lo que demostrarás.
Construir un enumerador de outcomes bajo TSO y ARMv8 que reproduzca la base Herd/Diy7 en 50 tests y diagnostique los casos divergentes.
This is not a coding exercise. It is the work a software engineer does between a Jira ticket and a merged PR. That distinction matters to every hiring manager who has seen candidates solve LeetCode problems and none who have shipped production code under real constraints.
When you finish, you will have something most graduates do not: a real-world deliverable, verified by Ewance, that you can show to a hiring manager and say "I did this. Here is the proof."
Earning criteria — what you'll demonstrate
- Modelar TSO y ARMv8 weak con axiomas formales
- Enumerar outcomes alcanzables eficientemente sin explotar el espacio
- Reproducir resultados de la base litmus comunitaria
- Diagnosticar bugs concurrentes con razonamiento sobre el modelo
Encaje académico
Dónde encaja esto en tus estudios.
Afina las mismas habilidades que tu titulación espera de ti.
Advanced Computer Architecture
Master · Systems
Strong alignment
This challenge maps to Advanced Computer Architecture at the Master level. It sharpens the same practical skills your coursework expects — but in a real industry context with actual constraints and deliverables.
Habilidades
Habilidades que demostrarás.
Cada una aparece en tu credencial verificada.
- Memory Consistency
Apply memory consistency to solve real industry problems and demonstrate production-level capability.
- Concurrency
Apply concurrency to solve real industry problems and demonstrate production-level capability.
- Formal Models
Apply formal models to solve real industry problems and demonstrate production-level capability.
- Verification
Apply verification to solve real industry problems and demonstrate production-level capability.
- Rust
Apply rust to solve real industry problems and demonstrate production-level capability.
- Lock Free Programming
Apply lock free programming to solve real industry problems and demonstrate production-level capability.
Carreras
Roles para los que esto te prepara.
Títulos reales. Puentes de habilidades reales. Elige el que más se acerque a tu trayectoria.
Ingeniero de Software
Razonar formalmente sobre modelos de memoria es una de las habilidades más difíciles del sector — ingeniero de software con experiencia aquí tiene perfil casi único en LATAM/ES.
Este proyecto afina
- memory-consistency
- concurrency
- formal-models
Ingeniero Backend
Quien diagnostica bugs lock-free con razonamiento sobre TSO/ARM es el ingeniero backend que las empresas de bases de datos en memoria contratan sin pestañear.
Este proyecto afina
- concurrency
- lock-free-programming
- memory-consistency
Arquitecto de Sistemas
Entender modelos de consistencia es parte del kit del arquitecto que diseña sistemas distribuidos o motores de bases de datos cross-arquitectura.
Este proyecto afina
- memory-consistency
- verification
- formal-models