论文部分内容阅读
网络分布式计算的快速发展,为软件性能提升带来了新的机会和挑战。理想情况下,人们可以通过增加硬件投入来提高软件的运行速度,或者能够方便地集成多个软件系统来实现更大规模的应用。然而事实并非如此,传统的软件模型如面向对象,是在单一控制流假设下发展起来的,对象包含的共享状态使得并行计算难以实现,无法直接向分布式开发模型过渡。相对的,数据流模型非常适合分布式并行计算,却因为缺乏如事件响应、流程事务、非确定性等通用软件模型元素,始终没有成为主流的软件模型。正是在这种背景下,以齐德昱教授为主的研究团队提出了一种基于形式领域融合的计算模型——格件模型,该模型是一种问题“求解机”。格件模型引入新的系统构造成分场、格及其基本操作格融合与场融合,场是具有抽象领域语义的形式领域,格是服务化的系统构造资源的抽象。场通过融合器构造,融合器是面向数据流的具有特定抽象语义的处理与控制器。格件模型将一个问题的求解描述为场的构造、融合器的变异、格的构造及格的自相似滚动式的扩展与纵横交错的融合。格件模型脱胎于数据流计算模型,基于格件模型的软件开发框架——格件系统,具有天然的并发性,支持分布式开发,可以缩短多线程系统的开发周期,降低软件的开发成本,有效的解决软件危机,提高软件的生产率和质量。本论文通过对格件模型的深入研究,总结了格件系统整体框架的设计和实现的相关技术,在此基础上,对格件系统的融合器进行优化和完善,使其具有分布式的特性,同时又根据实际的需要增加了多种格件融合器;另一方面,改进了格件系统的引擎,即格件系统的执行环境,包括解析引擎和执行引擎,增加了分布式代码的解析和执行相关操作,使整个格件系统具有了分布式计算环境的性质,能够用于分布式的格件程序的开发与执行。