The Art of Concurrent Programming

Aunque no trata directamente con programación concurrente, Hofstadter explora los conceptos subyacentes de la recursión, la auto-referencia y los sistemas de reglas que emergen en el hardware y el software. Estas ideas son cruciales para entender cómo los procesos concurrentes pueden interactuar y crear nuevos estados, de una manera que excede la suma de sus partes.

Este libro, aunque aparentemente ajeno a la informática, explora la relación entre el ser humano y la máquina, la búsqueda de la 'Calidad' en el diseño y la fiabilidad. Conecta con 'The Art of Concurrent Programming' al abordar la necesidad de una comprensión profunda y holística de los sistemas complejos para su creación y mantenimiento, más allá de la mera implementación técnica.

'The Art of Concurrent Programming' representó un cambio de paradigma en la forma de abordar la programación concurrente, pasando de técnicas ad-hoc a principios sistemáticos y estructurados. Kuhn explora cómo se producen estos saltos en el pensamiento en cualquier disciplina, ofreciendo un marco filosófico para entender la emergencia de nuevas formas de pensar sobre problemas complejos, como la concurrencia.

Aunque de un ámbito totalmente distinto, el trabajo de Frege busca establecer una base lógica rigurosa para un sistema, del mismo modo que Brinch Hansen busca principios fundamentales y rigurosos para la programación concurrente. Ambos exploran cómo construir sistemas complejos a partir de axiomas y reglas, lidiando con la consistencia y la completitud desde sus respectivas disciplinas. La búsqueda de la 'verdad' fundamental (matemática o computacional) es el hilo conductor.

Mientras que Brinch Hansen se basa en los principios de la computación, Hodges profundiza en la mente del creador original de uno de esos principios fundamentales: la máquina de Turing. Es crucial entender los límites y las posibilidades de los sistemas computacionales, y la concurrencia es una extensión natural de estos conceptos. Ofrece una perspectiva histórica y filosófica sobre los cimientos de lo que Brinch Hansen sistematiza.

La programación concurrente implica lidiar con la complejidad intrínseca de los sistemas distribuidos y la interacción de procesos, donde la completitud y la consistencia son desafíos enormes. Los teoremas de Gödel, aunque en matemáticas, resuenan con la idea de que incluso en sistemas aparentemente bien definidos, existen limitaciones inherentes a lo que se puede probar o predecir, una verdad que los ingenieros de concurrencia a menudo encuentran en la práctica.

Tanto Dijkstra como Brinch Hansen fueron pioneros en aplicar un enfoque formal y disciplinado a la programación. Mientras que Brinch Hansen se enfoca en la concurrencia, Dijkstra establece un marco más general para la correctitud del software. Ambos utilizan estructuras formales, notación matemática y un pensamiento lógico paso a paso para construir y razonar sobre programas, enfatizando la elegancia y la corrección sobre la ad-hoc-ismo.

Este libro comparte con 'The Art of Concurrent Programming' un enfoque estructural y sistemático para la construcción de software complejo. Ambos libros desglosan un problema grande (concurrencia o compilación) en componentes bien definidos (análisis léxico, sintáctico, semántico; procesos, monitores, canales) y exploran cómo estos componentes interactúan y se pueden construir de manera correcta y eficiente utilizando principios matemáticos y algorítmicos.