Iniciado por
masteries
Tampoco es más lento que tener que añadir todas las comprobaciones a "manímetro" en lenguaje C, para ajustarte a las normas; y tener que integrar en un sistema bare-metal (sin kernel ni sistema operativo) manejadores de excepción (búscate cómo hacer eso a nivel de hardware, que si como manejar la pila en este procesador, si tiene una pila por ventanas, si tiene caché cómo descartar su contenido cuando salté el mecanismo de excepción... bufff) para que salten cuando una variable se pase de cierto valor... tal y como ya hace ADA él solito. Claro que si tu arquitectura tiene compilador de ADA, es porque alguien ya se ha dado ese curro que he descrito, y te lo ahorras.
Bien os digo, que es mucho más fácil y cómodo hacerlo directamente en ADA, que hacer que el mismo programa en C tenga lo mismos mecanismos de seguridad.
Quería poner de manifiesto que se me antoja absurdo intentar robustecer un lenguaje para que su comportamiento se asemeje a otro, que ya fué diseñado en origen con todos esos mecanismos.
A ese despropósito lo llaman "C Ada like" .
Lo tuve que llevar a la práctica en un proyecto en el que se usaba un procesador Leon2, cuando los primeros compiladores de Ada salieron para esa familia; pero no, quisieron usar C y luego que el código fuese adaptado... os podéis imaginar lo que tardé en adaptarlo. Ya no digamos cuando les hablé de programar el sistema en Simulink y de ahí que nos generase el C Ada like (C con las MISRAs aplicadas); se quedaron mirando como diciendo... MATLAB... Simulink... lenguajes gráficos... ¿qué es eso? y si pagas un poco más incluso te genera Ada,
Marcadores