Fundamentos de la concurrencia: Bloqueos de obtención y adición y de tickets

Escribir programas multihilos seguros y eficientes requiere un profundo conocimiento de cómo se sincronizan los hilos a nivel de hardware.Cuando varios hilos acceden a recursos compartidos, los mecanismos de bloqueo estándar pueden causar cuellos de botella de rendimiento o inanición de hilos injusta. Este curso de solo texto lo guía a través de los conceptos fundamentales del control de concurrencia, centrándose en la poderosa instrucción de hardware de obtener y agregar.Hará la transición de los principios básicos de sincronización a la comprensión e implementación de bloqueos de tickets justos y escalables que evitan la inanición de hilos. Lo que aprenderás: - Comprender los principios básicos de las condiciones de carrera, exclusión mutua y seguridad de hilos - Analice cómo la instrucción de hardware de obtención y adición atómica garantiza las actualizaciones de estado seguras para hilos - Implementar un mecanismo de bloqueo de tickets justo para garantizar que los hilos se sirvan en el orden exacto en que llegan - Comparar los bloqueos de tickets con los spinlocks básicos para evaluar el rendimiento y las compensaciones de equidad - Explore los conceptos modernos de ordenación de memoria y las operaciones atómicas utilizadas en los sistemas contemporáneos Comenzará explorando las definiciones fundamentales de concurrencia y las limitaciones de la sincronización solo de software, luego leerá desgloses paso a paso de instrucciones de hardware atómicas, que culminarán en el diseño y análisis de bloqueos de tickets eficientes y libres de hambre. Este curso está diseñado para ingenieros de software principiantes, estudiantes de ciencias de la computación y entusiastas de la programación de sistemas.No se requiere experiencia previa con instrucciones de hardware de bajo nivel, aunque es útil una comprensión básica de la lógica de programación. Comience a leer hoy para construir una base sólida en la concurrencia de bajo nivel y la sincronización asistida por hardware.