Concurrency Control in Distributed Systems

Aunque no trata directamente con el control de concurrencia en sistemas distribuidos, comparte una preocupación subyacente por los sistemas complejos, la lógica interna y cómo la recursión y la paradoja pueden surgir en estructuras formales. La gestión de estados coherentes en sistemas distribuidos puede verse como un intento de evitar las paradojas lógicas que Hofstadter explora.

El control de concurrencia busca mantener la integridad y la consistencia frente a eventos impredecibles y concurrentes. Aunque Taleb se centra en eventos de alto impacto en el mundo real, la 'robustez' de un sistema distribuido frente a fallos imprevistos y condiciones de carrera es una preocupación análoga al manejo de los 'cisnes negros' computacionales, evitando estados inconsistentes o catastróficos.

El control de concurrencia se ocupa de cómo diferentes 'actores' (procesos, nodos) mantienen una visión coherente y consistente de un estado global. De manera análoga, Kuhn explora cómo las 'visiones del mundo' científicas (paradigmas) necesitan ser consistentes dentro de una comunidad y cómo los cambios a estas visiones requieren complejas coordinaciones de creencias y experimentos. Ambos tratan la consistencia a gran escala bajo condiciones de potencial divergencia.

El control de concurrencia busca establecer 'certeza' en el estado de los datos a pesar de la incertidumbre inherente a la distribución y la competencia de los procesos. Wittgenstein explora cómo los marcos fundamentales de 'certeza' se construyen y mantienen dentro de un sistema de creencias. Ambos investigan cómo se establece un fundamento inquebrantable (o al menos un 'marco' de confianza) en presencia de múltiples agentes y posibles contradicciones.

Aunque no es directamente sobre sistemas distribuidos, el libro de Bernstein, Hadzilacos y Goodman se ocupa de la validación y la corrección de algoritmos complejos. La metodología de Popper de intentar 'falsar' una hipótesis en lugar de confirmarla, resonaría con la necesidad de rigurosas pruebas y la búsqueda de casos límite en el diseño de algoritmos de concurrencia, para asegurar que el sistema no falle bajo condiciones adversas o inesperadas.

En un sistema distribuido, la 'democracia' de los nodos trabajando juntos para mantener un estado coherente es crucial. Los mecanismos de control de concurrencia son los 'controles y equilibrios' que previenen que un nodo o proceso 'abuse de su poder' y lleve al sistema a un estado inconsistente o fallido. La analogía es cómo las reglas y normas evitan el 'colapso' de un sistema por la acción de sus componentes internos.

El libro de referencia de Bernstein, Hadzilacos y Goodman es un clásico que asienta las bases teóricas del control de concurrencia. Este libro, 'Fundamentos de bases de datos', es un texto estructuralmente similar, siendo un manual muy detallado y sistemático que también aborda el control de concurrencia entre sus capítulos, explicando los mecanismos en un formato didáctico y exhaustivo, con una progresión lógica y bien definida de conceptos técnicos.

Al igual que el libro de referencia se centra en un aspecto crucial de los sistemas distribuidos (control de concurrencia), este libro se concentra en los problemas fundamentales de la concurrencia y la sincronización, pero a nivel de sistema operativo. Ambos libros son tratados académicos que abordan problemas centrales de coordinación y consistencia en entornos concurrentes, presentados de manera rigurosa y sistemática, con ejemplos de algoritmos y sus propiedades.