略论基于C^＋＋语言的并发与并行实现方法

面向对象系统在探索并发／并行性方面显示也了巨大的潜力，近年来国内外进行了很多有关并行／并发面向对象语言或系统的研究，尤其是关于Ｃ＾＋＋语言在并行／并行方面的研究，本文给予了简要的介绍和总结。     

Granularity Analysis for Exploiting Adaptive Parallelism of Declarative Programs on Multiprocessors

1IntroductionAutomaticparallelexecutionofdeclarativelanguageprograms(e.g.functionprogramsandlogicprograms)isattractive,asitmakestheuseofparallelcomputersveryeasy,andtheprogrammerneednotbeconcernedwiththespecificsoftheunderlyingparallelarchitecture.However,ifseveralprocessorsareexecutingconcurrently,exploitingadaptiveparallelismishardduetonon-determinismoftaskgranularityanddatadependenciesamongtasks.TheearlysolutionproposedbyConeryandKibler[2]usesanorderingalgorithmtodeterminedependenciesatrun…     

面向实用的C＋＋类库的构造

面向对象程序设计（ＯＯＰ）是九十年代程序设计发展的主流，Ｃ＋＋是面向对象程序设计语言（ＯＯＰＬ）中最流行的一种，但一些因素严重影响着Ｃ＋＋语言的普及使用，其中最主要的一点就是Ｃ＋＋缺乏实用、方便的公用类库、本文介绍了两个Ｃ＋＋语言类库的构造。     

PARLOG跟踪调试器的设计实现技术

本文讨论了ＰＡＲＬＯＧ交互式跟踪调试器的设计与实现技术．作者改进了Ｌ．Ｂｙｒｄ的盒式模型，使之可以描述ＰＡＲＬＯＧ的顺序执行模型．ＰＡＲＬＯＧ顺序化执行模型使计算具有确定性，易于用户调试程序．本文详细介绍了调试器实现中确定调试层次、将顺序化模型中的平坦化计算恢复为树型、实现不同层次的跟踪算法等方面的研究成果．     

一种新的基于SAN的SNAPSHOT设计与实现

快照技术是实现在线热备份的重要技术手段，也是进行数据迁移和远程镜像的重要的技术组成．提出并实现了一种与操作系统平台无关的快照系统，通过在设定快照情况下以100-2000MB数据量进行COW操作和无快照情况下的写命令的完成时间，以及同LVM快照系统进行了快照创建时间延迟的比较，表明本文实现的快照系统在缩短快照创建延迟、处理写命令上具有更好的性能．     

基于工作站机群的数字电影计算处理系统

八十年代末,高精度连续图像数字处理技术日渐成熟,在电影制作中被大量采用并形成了完整的体系,即数字电影系统。尽管目前世界上的数字电影系统多种多样,但从功能上讲它们都由三部分组成:透射式胶片扫描输入系统、数据存储及处理系统(计算处理系统)和胶片记录输出系统。计算处理系统作为数字电影系统最重要的组成部分,承担着数字电影全部的数据处理和数据传输工作,其性能的好坏直接关系到整个系统的成败。本文主要介绍了一个基于工作站机群的计算处理系统,它以工作站机群替代昂贵的大型服务器进行连续帧的生成(渲染)工作,使得整个数字电影系统性价比更高,更适     

P—Ada：一个基于工作站机群的Ada95编译系统

Ada95语言是一种功能十分强大的高级程序设计语言,其诸多特征,例如强类型检查,数据抽象以及面向对象等,反映了现代软件工程的要求,便于程序员开发高可靠性、高可移植性的大规模实时软件系统。在并行处理方面,Ada95语言提供了任务描述机制用以支持并发程序设计。在现有的Ada95编译器中,任务机制一般都是在单机上或共享内存的多机系统上利用多线程实现的,因而在不存在共享内存的松散耦合的系统中无法使用。     

面向衫的C＋＋类库的构造

面向对象程序设计（ＯＯＰ）是九十年代程序设计发展的主注以及Ｃ＋＋是面向对象程序设计语言中最流行的一种，但一些因素严重影响着Ｃ＋＋语言的产及使用其中最主要的一点就是Ｃ＋＋缺乏实用，方便的公用类库，本文介绍了两个Ｃ＋＋语文类库的构造。     

基于区域图数据流分析的通信优化算法

减少通信开销对于并行化编译器生成高效的分布代码是非常重要的.首先提出了一个冗余并行执行模型(RPEM)作为通信优化算法生成的目标程序的执行模型,之后给出了区域图的概念和区域最大化算法,在最大化区域图的基础上进行数据流分析可以增大数据流分析粒度,提高分析的效率,同时也有助于通信的提前与合并.最后提出了一种基于区域图数据流分析的通信优化算法.该算法能够进行跨循环、跨过程的数据流分析,提高分析的精度,改善通信优化效果.实验结果表明,该算法对于通信量较大的程序能够有效地减少通信的次数和通信量,具有良好的可扩展性.     

CCPP: 一个并发C++语言的设计与实现

并发面向对象语言ＣＯＯＬ（ｃｏｎｃｕｒｅｎｔｏｂｊｅｃｔ－ｏｒｉｅｎｔｅｄｌａｎｇｕａｇｅ）是一种有效的并发程序设计语言．本文提出了一种并发对象模型（ＣｏｎｃｕｒｅｎｔＣ＋＋，ＣＣＰＰ）及其语言．在ＣＣＰＰ并发对象模型中，所有对象都是并发对象，对象间的通讯都采用异步消息发送方式．对象间的同步采用“需要时等待”策略，同一对象内并发线程间的同步用路径表达式描述．ＣＣＰＰ语言是对Ｃ＋＋语言的扩充，采用预编译方法实现．ＣＣＰＰ语言允许并发／顺序代码重用.