The Efficiency of Concurrent Algorithms

Mientras que Brinch Hansen se centra en cómo hacer que los algoritmos concurrentes sean correctos dentro de un sistema mayormente centralizado, Hewitt se desvía proponiendo una perspectiva radicalmente diferente desde el diseño fundamental, donde la concurrencia es el punto de partida, no un aspecto a gestionar dentro de un sistema secuencial preexistente. Es un cambio de paradigma en la conceptualización de la propia computación.

Aunque no trata directamente con 'concurrencia', el trabajo de Hoare sobre la verificación de programas con aserciones formales ofrece una base teórica que es no obvia pero crucial para entender la corrección en sistemas concurrentes. Brinch Hansen se apoya en una noción de corrección que debe ser justificada, mientras que Hoare proporciona las herramientas lógicas fundamentales para dicho rigor, pero desde una disciplina aparentemente distinta (semántica de lenguajes de programación).

Mientras Brinch Hansen se enfoca en la eficiencia y corrección de algoritmos concurrentes, 'Turing's World' explora las limitaciones y capacidades fundamentales de la computación en un nivel más abstracto. La conexión profunda reside en la búsqueda de los límites y las posibilidades de los sistemas computacionales, un tema subyacente que también motiva la optimización y la verificación en la concurrencia: ¿qué podemos calcular y con qué garantías?

La conexión profunda radica en la pregunta fundamental que ambos trabajos abordan, aunque desde ángulos diferentes: ¿cómo se puede lograr (o simular) la 'mente' o 'inteligencia' a través de procesos sistemáticos? Brinch Hansen busca cómo múltiples 'mentes' simultáneas pueden trabajar juntas de manera eficiente, mientras que 'The Nature of Computation' examina los principios subyacentes de cómo funciona el 'pensamiento' algorítmico en sí mismo. Ambos se sumergen en la esencia de lo que significa 'calcular'.

Mientras Brinch Hansen es una figura relativamente conocida en concurrencia aunque su libro mencionado no sea el más publicitado, Handler es un autor alemán cuya obra sobre lenguajes para paralelismo es menos conocida fuera de círculos específicos. Ambos autores exploran la implementación práctica de la concurrencia, pero desde diferentes perspectivas geográficas y con un enfoque en los lenguajes de programación en el caso de Handler, comparado con el énfasis de Brinch Hansen en los algoritmos.

Uwe Schöning es un autor alemán de renombre en complejidad computacional, pero menos conocido en el ámbito internacional fuera de ese campo. Su obra, escrita originalmente en alemán, profundiza en la teoría de algoritmos paralelos de una manera que Brinch Hansen establece las bases, pero desde una tradición académica que no siempre se superpone con la anglófona de Brinch Hansen. Ambos comparten el rigor matemático en el análisis de algoritmos concurrentes.

Brinch Hansen y Dijkstra comparten una profunda preocupación por la 'corrección' en la programación, pero Dijkstra estructura su argumento de una manera que es casi una demostración matemática extendida, similar al rigor formal que Brinch Hansen aplica a los algoritmos concurrentes. Ambos emplean una estructura argumentativa deductiva, donde cada paso lógico se construye sobre el anterior para probar la validez y la eficiencia, aunque Dijkstra se enfoca en la derivación de programas en general y Brinch Hansen en la concurrencia específica.

Knuth comparte con Brinch Hansen una estructura 'exhaustiva y sistemática' que se asemeja a un manual o tratado. Ambos libros están construidos con una meticulosidad pedante, descomponiendo problemas complejos en componentes manejables y analizándolos con rigor matemático. Aunque Knuth se centra en algoritmos fundamentales y Brinch Hansen en los concurrentes, la 'arquitectura' de su argumentación, con ejemplos detallados y pruebas formales, es sorprendentemente similar.