共查询到20条相似文献,搜索用时 15 毫秒
1.
2.
本文着重讨论了Ada语言与其它语言的接口问题,提出了一种能在Ada程序中使用现存有C库和程序的方法,尤其是Ada同C并发程序的数据共享问题。本文中的大部分例子同样适用于解决在多种操作系统上的接口问题。 相似文献
3.
4.
5.
6.
7.
Ada95语言评述 总被引:1,自引:0,他引:1
徐宝文 《计算机研究与发展》1997,34(1):53-57
Ada95语言是在Ada83基础上修订而成的,它几乎提供了现代程序设计范型及程序设计实践所需要的一切设施,它可以支持面向对象的程序设计、大型程序设计、实时与并行程序设计等等。 相似文献
8.
本文设计了一种基于Ada的规范说明语言,该语言具有模块化机制,参量化机制,私有化机制和函数定义机制,在一个模块中可说明操作、类型和常量,函数的定义由前置条件和结果描述组成,其中允许使用量词表达式和描述符表达式。 相似文献
9.
文中介绍几种常用的静态检测Ada程序死锁的方法,分析了它们的适应性和不足之处,并指出NP问题和检测结果的准确性是无锁检测面临的主要问题,死锁检测仍然是一个有待进一步研究的问题。 相似文献
10.
论述了Ada软件源代码分析器的结构,功能以及一些特点。该工具是保证Ada软件系统质量的工具这一,可为高效地开发和维护大型,复杂的软件系统提供支持。 相似文献
11.
12.
1 引言嵌入式实时系统(下称嵌入式系统)的开发一般按照软件工程生命周期的瀑布模型来进行,并可考虑快速原型方法。在嵌入式系统的代码实现过程中,选择编程语言成为关键,因为它关系到所选语言的语言特征能否很好地支持嵌入式系统的有关特性,即该语言是否能够支持嵌入式系统设计的6个重要准则:安全性、可靠性、适应性、简单性、可移植性和有效性。 相似文献
13.
14.
15.
本文从一般时间网出发,派生出一种简单时间网,并建模了延迟,分支选择,异步选择,优先权等Ada实时结构,特别是把优先权处理为一种时间特性,这样不仅扩充了Petri网在Ada中的建模能力,同时可以更加准确刻画Ada程序行为。 相似文献
16.
蔡建平 《计算机研究与发展》1994,31(2):10-18
本文给出了基于机器代码程序交叉转换的Ada交叉转换系统的设计方法和实现细节,简述了系统的基本构成和工作过程,指出了掌握代码交叉转换技术的重要意义。该系统的成功实现,为用Ada开发单片机应用软件提供了强有力的工具。 相似文献
17.
张庭俊 《抗恶劣环境计算机》1996,10(5):18-24
为了更好支持实时系统中使用并行机制,Ada程序设计语言的修订标准-Ada9X扩充了Ada的任务机制模型,这些扩充需要新的实现方法,该文讨论了有关技术问题,并且概述了实现方案-GNuAda运行库,详细地讨论了两个特点:保护对象和控制异步转换,保护对象是一种数据对象,对于多任务并发存取是安全的,控制异步转换允许一个任务去响应中止当前计算的异步事件,并把控制转移到该任务中的一个恢复点。 相似文献
18.
19.
Ada95语言是一种功能十分强大的高级程序设计语言,其诸多特征,例如强类型检查,数据抽象以及面向对象等,反映了现代软件工程的要求,便于程序员开发高可靠性、高可移植性的大规模实时软件系统。在并行处理方面,Ada95语言提供了任务描述机制用以支持并发程序设计。在现有的Ada95编译器中,任务机制一般都是在单机上或共享内存的多机系统上利用多线程实现的,因而在不存在共享内存的松散耦合的系统中无法使用。 相似文献
20.
本文介绍一种基于Ada的交叉引用语言CRL/Ada,它用于描述Ada程序实体的定义与引用信息,在软件维护的过程中,利用它可以方便地获得软件源程序中的实体信息。本文将介绍它的设计思想、程序结构与应用。 相似文献