Modelos formales y garantías en sistemas distribuidos

Para diseñar sistemas que no pierdan datos, debe comprender los marcos teóricos subyacentes que rigen la computación distribuida, y debe comprenderse cómo se pueden implementar los sistemas de computación distribuída. Este curso proporciona una base conceptual clara en los modelos formales y garantiza que los sistemas modernos sean confiables. Al estudiar los teoremas clásicos junto con los paradigmas de consenso modernos, obtendrá el vocabulario y las habilidades analíticas necesarias para tomar decisiones de diseño informadas. Lo que aprenderás: - Comprender los conceptos fundamentales de los sistemas distribuidos, incluida la sincronía, los modos de falla y los relojes lógicos - Analizar modelos de consistencia desde una linealización fuerte hasta una consistencia eventual y CRDT modernos - Evaluar las implicaciones del teorema CAP y el teorema PACELC en la arquitectura de sistemas del mundo real - Comparar protocolos de consenso y garantías formales de seguridad en bases de datos distribuidas modernas - Practique la identificación de condiciones potenciales de carrera y escenarios de cerebro dividido en diseños de sistemas Este curso comienza con la terminología básica, las definiciones fundamentales y las abstracciones matemáticas de tiempo y orden, y luego explorará cómo estos modelos se aplican a las bases de datos modernas, la replicación de máquinas de estado y las arquitecturas nativas de la nube. Este curso está diseñado para ingenieros de software, arquitectos de sistemas y principiantes curiosos técnicos que desean ir más allá de la integración básica de API y dominar los principios básicos de la computación distribuida.No se requieren conocimientos matemáticos avanzados para comenzar. Comience a leer para construir una base teórica sólida para su próximo diseño de sistema distribuido.