El libro 'Is Parallel Programming Hard, And, If So, What Can You Do About It?' de Paul E. McKenney, autor del mecanismo de sincronización RCU del kernel de Linux, se presenta como una herramienta esencial para comprender los desafíos de la programación concorrente. Esta obra, disponible en formato PDF, aborda la complejidad de la ejecución paralela en arquitecturas modernas, centrándose en los efectos de la caché de CPU y la concurrencia real, más que en patrones de bloqueo basados en mutex o mensajería.
La estructura del texto varía según el formato de lectura, ofreciendo opciones de doble columna, una sola columna con márgenes amplios o sin márgenes, lo último optimizado para dispositivos como el Pine64 PineNote. El contenido técnico destaca por su profundidad en la arquitectura de CPU y la optimización de compiladores. Secciones clave como 'Hardware and its Habits' explican cómo funcionan los núcleos de CPU a alto nivel, mientras que 'Tools of the Trade' detalla las transformaciones creativas y erróneas que los compiladores pueden aplicar a programas paralelos, como la reordenación de código o la eliminación de código muerto, lo que puede generar comportamientos lógicos incorrectos.
Aunque el libro es valioso para entender la concurrencia, la reseña señala limitaciones prácticas. La densidad de enlaces internos, especialmente en preguntas de verificación de conocimiento, puede ser disruptiva en lectores electrónicos, dificultando la navegación. Además, se menciona la falta de una explicación inicial clara del protocolo MESI, un concepto fundamental para entender la mediación de lecturas y escrituras concurrentes en la caché, que solo aparece en el apéndice. Para el lector con experiencia previa en sistemas distribuidos y TLA⁺, el texto ofrece una transición necesaria hacia la concurrencia real en hardware multicore, aunque requiere atención a los detalles de implementación y las limitaciones de la abstracción de alto nivel.