Tema 3.3 Clasificación de los lenguajes concurrentes
Como se ha venido mencionando, los lenguajes concurrentes son aquellos que incorporan características que permiten expresar la concurrencia directamente, sin recurrir a servicios del sistema operativo, bibliotecas, etc., los cuales normalmente incluyen mecanismos de sincronización y comunicación entre procesos, dentro de los lenguajes concurrentes tenemos: ADA, Java, SR, Occam, PARLOG, de los cuales destacaremos el lenguaje ADA cuyo estándar es reconocido por la ISO, es un caso poco común dentro de esta organización por ser de contenido abierto, lo que implica que puede ser distribuido libremente y, de ese modo, los programadores pueden consultar el estándar propiamente dicho en busca de ayuda o detalles técnicos.
La finalidad de profundizar de ADA, es facilitar una introducción orientativa al lenguaje, con el fin de familiarizarlo con los propósitos y las características del mismo y dar una panorámica general.
Fue diseñado por el Departamento de Defensa de Estados Unidos, para la empresa Honeywell-Bull, después de una selección rigurosa entre varias propuestas realizadas sobre una serie de requerimientos del lenguaje y de haber evaluado negativamente veintitrés lenguajes existentes, de éstos se seleccionaron como base para la creación del nuevo lenguaje el PASCAL, el ALGOL y el PL/I, aunque incluía importantes extensiones semánticas y sintácticas, incluyendo la ejecución simultánea de tareas.
La estandarización del lenguaje se publicó en 1983 con el nombre de ADA, en honor a la primera programadora de la historia, Augusta Ada Byron. Es un lenguaje estructurado parecido al PASCAL, destinado a controlar mecanismos en tiempo real (o sea una velocidad compatible con las necesidades reales), pero de gran complejidad.
Admite una programación "orientada a objetos" y un sistema de alta modularidad de tipo hipertexto.
El ADA es un lenguaje grande y relativamente difícil de compilar porque hace muchas comprobaciones en tiempo de compilación.
Se ha estimado que un compilador de ADA completamente validado requiere cerca de 50 años de horas hombre para escribirlo y ponerlo a punto.
Entre sus características tenemos:
- Legibilidad: programas fáciles de leer (libertad de formatos de escritura).
- Tipado fuerte: todo objeto tiene componentes de valor definido (es mucho mas fuerte que Pascal).
- Capaz de construir grandes programas: compilación separada de los distintos paquetes (módulos).
- Puede utilizar la programación estructurada y la programación concurrente.
- Hace uso del manejo de excepciones: ideal para la programación en tiempo real y abstracción de datos.
- Unidades genéricas: que se pueden agrandar todo lo que queramos con nuevas funciones.
- Alta transportabilidad de los programas entre distintas plataformas: UNIX, OS/2, Win32.
