、模块化设计、编译检查、平行处理、异常处理及泛型编程。
尤其Ada语言的编译检查,对诸如航空电子、航天飞行器、武器等等的操作系统。有着重要的执行代码安全保障意义,这也正是美国国防部所需要的。
此类技术。或许过于抽象,但稍有差错,就往往意味着重大的损失。
比如原本时空里1996年6月初,欧洲空间局的阿丽亚娜5型运载火箭的第一次发射,仅仅37秒,便偏离预定飞行路径。解体并爆炸,以失败收场。
要知道,光是火箭上搭载的那颗通信卫星,就价值5亿美元。
最后的事故调查结论为:控制惯性导航系统的计算机,向控制引擎喷嘴的计算机。发送了一个无效数据,其由一个64位浮点数转换成16位有符号整数时产生的溢出所导致,而Ada语言在编译过程中并没有检查到这个执行代码安全问题。
目前,InteliAPX432项目就在Ada语言编译器的研发上,遇到了大麻烦,由此导致代码运行效率低下。
完全可以预见,要是InteliAPX432真的和Intel80286比拼速度的话,马失前蹄并不意外,无非就是落后多少的问题,
以弗莱德.波拉克为首的研发团队,对此心情复杂而又微妙。
InteliAPX432明明比Intel80286先进,可运行速度却要比后者慢,由此带来的憋屈,实在难以向外人道也。
安迪?葛洛夫主张就InteliAPX432项目与唐焕合作,除了看中方圆电脑公司终端产品在微处理器需求量上的美好前景,还想借助哲儒在编程语言编译器领域的强大实力。
现阶段,哲儒的宏汇编、C、C++、PASCAL四大编程语言编译器支持的CPU列表,除了自家的RISC处理器之外,还包括Intel8086系列、ZilogZ80系列、摩托罗拉MC6800和MC68000系列、MOSTechnologyMOS6502系列,已经发展成为流行度非常高的商用编译器产品,不但各个计算机公司纷纷采用,还被众多大学做为教学使用。
另外,像FORTRAN、COBOL、Ada之类应用范围特定的编程语言,哲儒同样有着成功的编译器实现。
之前,安迪?葛洛夫就从唐焕这里得到了对Intel80286的主流编程语言编译器支持,他想把这种合作经验推广到InteliAPX432的Ada上,可研发团队对这种从外面找和尚念经的决定有些不服气。
唐焕可不管弗莱德.波拉克这帮人的想法,他笑眯眯地一摆手,随同前来的工程师们迅速搭建测试平台。
同样的Ada评估程序,分别在运
请收藏:https://m.lctcw.com
(温馨提示:请关闭畅读或阅读模式,否则内容无法正常显示)