Based on: Language Support for Performance - Explicity Parallel Languages by Charles Severance, Kevin Dowd
Tal como hemos visto a lo largo de este libro, uno de los mayores retos de afinación consiste en que el compilador reconozca aquellos segmentos de código particulares que pueden paralelizarse. Esto resulta especialmente cierto para códigos numéricos, donde el retorno de inversión es potencialmente mayor. Piense en esto: si usted sabe que algo es paralelo, ¿por qué debiera haber alguna dificultad en hacer que el compilador lo reconozca? ¿Por qué no puede usted simplemente escribirlo, y hacer que el compilador diga "Sí, esto se hará en paralelo"?
El problema es que los lenguajes de programación más comúnmente usados no ofrecen ningún constructo para expresar cálculos en paralelo. Usted se ve forzado a expresarse en términos primitivos, como si fuera un cavernícola con grandes ideas, pero sin vocabulario para explicarlas. Esto es particularmente cierto en FORTRAN y en C, que no soportan la noción de cómputos en paralelo, lo cuál significa que los programadores deben reducir los cálculos a pasos secuenciales. Suena incómodo, pero la mayoría de los programadores lo hacen de forma tan natural que ni siquiera se percatan de cuán buenos son para ello.
Por ejemplo, digamos que queremos sumar dos vectores, A y B. ¿Cómo debemos hacerlo? Probablemente escribamos un pequeño ciclo sin siquiera detenernos un instante a pensarlo:
DO I=1,N
C(I) = A(I) + B(I)
END DO
Parece razonable, pero veamos qué pasa. ¡Le hemos impuesto un orden a los cálculos! ¿No hubiera bastado con decir "C es el resultado de A más B"? Ello permitiría al compilador sumar los vectores usando cualesquiera hardware a su disposición, usando el método que mejor le parezca. De eso se tratan los lenguajes paralelos, de proporcionar primitivas capaces de expresar cómputos paralelos.
No se están proponiendo nuevos lenguajes paralelos tan rápidamente como se hizo a mediados de la década de 1980. Los desarrolladores se han dado cuenta que pueden crear un esquema maravilloso, pero si no es compatible con FORTRAN o C, le va a interesar a poca gente. La razón es simple: hay miles de millones de líneas de código C y FORTRAN, pero sólo unas pocas en Fizgibbet o como sea que le llame usted a su nuevo lenguaje paralelo. Por causa de la preminencia de C y FORTRAN, las actividades más significativas referentes a lenguajes paralelos que se desarrollan actualmente se enfocan a extender estos lenguajes, protegiendo así 20 o 30 años de inversión en programas ya escritos. 1 Resulta muy tentador para los desarrolladores de un nuevo lenguaje probarlo mediante el problema de las ocho reinas y el juego de la vida, obtener buenos resultados, y luego declarar que está listo para su debut y esperar que hordas de programadores lo conviertan en su lenguaje de cabecera.