¿Cómo pueden múltiples hilos modificar los mismos datos sin usar bloqueos? La ciencia de la programación Lock-Free y el problema ABA
Categorías
11 páginas
Ciencias De La Computación
¿Por qué podemos demostrar matemáticamente que un programa no tiene ningún bug sin ejecutarlo ni una sola vez? La ciencia de la verificación formal
Por qué el texto diminuto se mantiene nítido y legible: Matemáticas del renderizado de fuentes, curvas de Bézier, VM de hinting y antialiasing subpíxel
Por qué las computadoras modernas resuelven en segundos problemas NP-completos que deberían explotar exponencialmente: Solucionadores SAT, CDCL y transiciones de fase
Por qué «rápido» no es suficiente: Sistemas operativos en tiempo real (RTOS), WCET, planificación RMS vs. EDF y la inversión de prioridad del Mars Pathfinder
Por qué las consolas antiguas pueden recrearse por software: Arquitectura de emuladores — Intérpretes, JIT Dynarec, Fastmem y precisión de ciclo
Por qué todo se detiene cuando todos esperan: Teoría del interbloqueo (Deadlock), grafos de asignación, algoritmo del banquero y Livelock
¿Por qué las computadoras no pueden sumar 0.1 + 0.2? La ciencia del punto flotante y los errores de redondeo
Cómo se unen programas escritos por separado: El funcionamiento interno de Linkers y Loaders
Desde pulsar el botón de encendido hasta la pantalla: El proceso de arranque del ordenador paso a paso
Teoría de subastas y teoría de juegos: El mecanismo de Vickrey, las subastas de espectro y la economía publicitaria digital
