Máquina flexible

El sistema informático Flex fue desarrollado por Michael Foster e Ian Currie del Royal Signals and Radar Establishment (RSRE) ^{[ 1 ]} en Malvern , Inglaterra, a finales de la década de 1970 y durante la década de 1980. Utilizaba un esquema de almacenamiento etiquetado para implementar una arquitectura de capacidades y fue diseñado para la implementación segura y eficiente de procedimientos fuertemente tipados.

El hardware era personalizado y microprogramable, con un sistema operativo, un compilador (modular), un editor y un sistema de archivos, todo ello escrito en ALGOL 68RS .

Hubo (al menos) dos versiones de Flex, implementadas mediante hardware con microcódigo escribible . La primera fue proporcionada por Logica para un diseño RSRE, ^{[ 2 ]} y la segunda utilizó un ICL PERQ . ^{[ 3 ] [ 4 ]} El microcódigo por sí solo era responsable de la asignación de memoria, la desasignación y la recolección de basura. Esto excluía inmediatamente toda una clase de errores derivados del uso indebido (deliberado o accidental) de punteros.

Una característica destacada de Flex era su sistema de almacenamiento de archivos etiquetado y de escritura única. Esto permitía escribir y recuperar código y estructuras de datos arbitrarias de forma transparente, sin necesidad de codificaciones externas. De este modo, los datos podían transferirse de forma segura entre programas.

De manera similar, las capacidades remotas permitieron acceder a datos y procedimientos en otras máquinas a través de una conexión de red, nuevamente sin que el programa de aplicación interviniera en la codificación externa de datos, parámetros o valores de resultados.

Todo el sistema permitía implementar de forma segura tipos de datos abstractos , ya que los elementos de datos y los procedimientos autorizados para acceder a ellos podían vincularse, y la capacidad resultante podía transmitirse libremente. Esta capacidad otorgaba acceso a los procedimientos, pero no podía utilizarse de ninguna manera para obtener acceso a los datos.

Otra característica notable de Flex fue la noción de punteros inestables, más recientemente denominados referencias débiles , que apuntan a bloques de memoria que podrían liberarse en la siguiente recolección de basura . Esto se utiliza, por ejemplo, para bloques de disco en caché o una lista de espacios de trabajo de procedimientos de reserva . ^{[ 5 ]}

COMFLEX, una red de conmutación de paquetes capaz de transmitir datos a la velocidad de un disco magnético, se desarrolló junto con Flex. Hizo posible el uso de almacenamiento remoto de archivos, capacidades remotas y llamadas a procedimientos remotos . ^{[ 6 ]}

• Computadora automática del Royal Radar Establishment
• Diez15
• PS-algol
• Recurrir