Ada语言

✍ dations ◷ 2025-08-28 21:48:16 #Ada语言
AdaCore GNAT, Green Hills Software(英语:Green Hills Software) Optimising Ada 95 compiler,Ada,是一种程序设计语言。它源于美国军方的一个计划,旨在集成美军系统中运行着上百种不同的程序设计语言编写的程序,并提高调试能力与效率,由Pascal及其他语言扩展而成,比较接近自然语言和数学表达式,并用“Ada”命名以纪念埃达·洛夫莱斯(Ada Lovelace)。Ada语言最早是针对嵌入式和实时计算设计的,并且在现今依然在这些方面广泛使用。Ada95版,是由INTERMETRICS公司的塔克·塔夫特于1992到1995年间设计的,当时主要是希望改进对于系统、数字、财务软件编程的支持。Ada语言的重要特征就是其嵌入式风格,模块化设计(英语:Modular programming),编译检查,平行处理,异常处理及泛型编程。Ada在1995年加入了对面向对象设计的支持,包括动态分配等。Ada的编译检查主要是针对没有分配的内存读写的保护,堆栈溢出错误,单个错误空闲,队列读写错误以及其他可以避免的小问题。这些检查可以在为增加效率的情况下被取消,但是在编译的时候他们却能带来很高的效率。同样它也包括对程序的严正的设置。因为这些原因,它被广泛应用于一些非常重要的系统中,例如航空电子学,武器及航天飞行器的操作系统中。同样它支持很多的编译时间检查,这些检查被用来避免一些错误的发生。这种错误往往是在其他语言中运行之前难以被察觉到的,需要在源码中加入特殊的检查设置才能被发现。Ada的动态内存管理非常安全和高规格,它类似于JAVA语言却不同于C语言的。这种特殊功能并不需要特殊的运行设置。尽管这种语言的语意结构允许对于不能读写的目标进行自动的碎片搜集,但是大多数运行都不支持它。Ada却支持有限形式基于区域的存储管理。无效的读写常在运行时候被检查出来(除非这种检测被人为关闭)并且有时候在编译时候就被发现。Ada语言的定义同国际标准化组织(ISO)的标准有很大不同,因为他是一个自由内容形式的。这种做法的后果是被广大程序员只能从它的标准化文档(普遍认为是Ada的参考使用手册(ARM))寻找细节性的技术问题,但是普遍情况是一本标准教科书却可以在其他不同语言上使用。Ada语言由严格的巴斯特范式定义,但是不适合一般人阅读。它是第一种同时拥有IEC/ISO/美国军用标准认证的语言,其编译器经过严格的审查,以确保同样的代码在任一编译器上产生同样的可执行效果,并且保证并行性在代码级可以在无操作系统下同样运行。在1970年代,美国国防部(DoD)所属的嵌入式计算机系统项目中使用的编程语言数量逐日增多,其中的很多语言十分陈旧或者依赖于硬件,而且没有一个支持安全的模块化编程,对此DoD感到十分担心。基于这个原因,在1975年成立了高级语言工作组(HOLWG),它的使命是就是寻找或者创造某种适合国防部需要的编程语言,以便减少现有编程语言数量。该小组最终的工作成果就是Ada语言。由此,类似项目中使用的高级编程语言的数量大大减少了,1983年的450种编程语言,到1996年只剩下37种。工作组开发出了语言要求文档—文档。许多现存的语言都被仔细地检查,但是1977年这个团队却声称没有任何现存语言符合他们的条件。一个Ada语言编写的Hello, World!程序:在Ada.Text_IO.Put_Line处有一些捷径,不需要很多的文字输入,但是对于这里的理解来讲并没有多大意义。细节性的问题请参考Ada Programming/Basic。一个普遍的关于欧洲空间局阿丽亚娜5型运载火箭失败的说法是因为Ada语言在编译过程的检查失败导致的。将大的浮点数转换成整数是一种常见的程序错误来源。1996年6月4日,对于阿丽亚娜5型运载火箭的初次航行来说,这样一个错误产生了灾难性的后果。发射后仅仅37秒,火箭偏离它的飞行路径,解体并爆炸了。火箭上传有价值5亿美元的通信卫星。6亿美元付之一炬。后来的调查显示,控制惯性导航系统的计算机向控制引擎喷嘴的计算机发送了一个无效数据。失事调查报告指出,火箭爆炸是因为: .mw-parser-output .templatequote{margin-top:0;overflow:hidden}.mw-parser-output .templatequote .templatequotecite{line-height:1em;text-align:left;padding-left:2em;margin-top:0}.mw-parser-output .templatequote .templatequotecite cite{font-size:small}During execution of a data conversion from 64-bit floating point to 16-bit signed integer value, the floating point number which was converted had a value greater than what could be represented by a 16-bit signed integer. This resulted in an Operand Error.它没有发送飞行控制信息,而是提交了一个诊断位模式,表明在将一个64位浮点数转换成16位有符号整数时,产生了溢出。溢出值测量的是火箭的水平速率,这比早先的阿丽亚娜4型运载火箭所能达到的高出了5倍。在设计阿丽亚娜4型运载火箭的软件时,他们小心地分析了数字值,并且确定水平速率绝不会超出一个16位的数。不幸的是,他们在阿丽亚娜5型运载火箭的系统中简单地重新使用了这一部分,而没有检查它所基于的假设。Ada代码如下:

相关

  • 化疗人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学化学疗法(英语:Chemotherapy),简称化疗(Che
  • 兰州大学坐标:36°2′47.8483677402″N 103°51′29.032959938″E / 36.046624546594501°N 103.85806471109389°E / 36.046624546594501; 103.85806471109389兰州大学是中华人民共
  • 体感体感,或称躯体感觉,是触觉、压觉、温觉、痛觉和本体感觉(关于肌肉和关节位置和运动、躯体姿势和运动以及面部表情的感觉)的总称。体感是和特殊感觉相对的一个概念。这些不同的体
  • 私人汽车轿车,某些地区称房车或私家车,美国英语称为Sedan,在英国则称为Saloon,通常指用于人员以及行李运输的汽车。轿车除乘客厢外,外观上可见明显长度的车头与车尾,因此可从外形上清晰分
  • 扁盘动物黏丝盘虫(Trichoplax adhaerens)是1883年由德国生物学家Franz Eilhard Schulze (1840-1921)在奥地利Graz大学的水族馆发现的。目前在扁盘动物门中仅确认此一种,一般称丝盘虫即
  • 西风带赤道低压带信风带副热带高压带西风带副极地低压带极地东风带极地高压带西风带 (英语:Westerlies) 是位处于南北纬30至60度中纬度地区由西向东的盛行风。由于副热带高压把空气
  • 陈元甲陈元甲(1980年1月17日-),为台湾的棒球选手之一,前中华职棒球员,守备位置为外野手,2008年球季结束后因涉及职棒签赌案,依照中华职棒联盟条例规定永不录用。2010年4月酒后骑机车发生车
  • 皮茨菲尔德皮茨菲尔德(英语:Pittsfield)位于美国麻省西部,是伯克夏县的县治所在,面积109.6平方公里。根据2000年美国人口普查,共有45,793人,其中白人占92.58%、非裔美国人占3.66%、亚裔美国人
  • 肖开提·萨利霍夫肖开提·伊斯梅洛维奇·萨利霍夫(俄语:Шавкат Исмаилович Салихов,1944年12月12日-),乌兹别克斯坦化学家。其主要从事生物有机化学研究,是乌兹别克斯坦生物
  • 性腺动脉性腺动脉(gonadal artery)是二组动脉的通称,这两组都是由腹动脉(英语:Abdominal aorta)分支到生殖腺的动脉。具体来说,性腺动脉可以是以下这些动脉: