【作者】 揭安全；

【导师】 薛锦云；

【作者基本信息】 江西师范大学 ， 计算机软件与理论， 2003， 硕士

【摘要】 如何解决“软件危机”，提高软件尤其是算法程序的开发效率和保证其正确性一直是众多计算机科学工作者致力于解决的问题。目前许多程序设计环境都建有不同规模的可重用程序部件库，这些可重用部件极大地提高了程序开发的效率。大量实践表明，软件复用是一种解决“软件危机”的有效手段，用户利用可重用程序部件库中的部件可以组装成各种应用程序，这样可以减少大量的重复性劳动，最终实现算法生成的自动化。并行计算是未来计算科学发展的方向，并行并发环境下的可重用类库的研制正成为一个研究热点。我们在PAR方法及其开发工具的研究过程中实现了Apla-Java可重用部件库，如何在该部件库中实现并行(并发)机制，使其支持并行(并发)程序设计，这对于将PAR方法及其研究成果推广到并行(并发)领域具有重大现实意义。 本文研究的目标是实现Apla-Java可重用部件库的并行(并发)机制。Apla-Java可重用部件库是PAR方法开发工具的重要组成部分。探索并实现可重用部件库的并行(并发)机制是PAR方法的重要研究内容，也是国家自然科学基金课题“分化递推法应用于高可靠Java程序设计方法研究”的一个子课题。为实现这一目标，我们充分借鉴了软件复用及部分实现理论。利用Java现有的语言机制，自定义了用于部件库内部同步控制的同步算子，有效解决了部件的防卫式、并发式、读者写者三种策略下的同步控制。从而实现了Apla-Java可重用部件库的并行(并发)机制。 本文简要介绍了PAR方法及自定义可重用部件库的设计策略；讨论了并行、并发特征，研究了并行(并发)程序设计的Java实现方法。重点分析了Apla-Java可重用部件在并行(并发)环境下存在的新问题，提出了实现部件库的同步控制手段并有效解决了三种策略下的同步控制。最后通过实例说明了新的可重用部件库在PAR方法及并行(并发)程序设计中的应用。Apla-Java可重用部件库并行(并发)机制的实现使得该部件可重用于并行(并发)程序设计，极大提高了Java并行(并发)程序开发的效率。本文的研究不仅扩展了Apla-Java部件库的重用范围，也是探索PAR方法进行并行(并发)程序设计的有益尝试。更多还原

【Abstract】 It is a universal problem that how we can solve software crisis, improve the development efficiency of software (especially arithmetic programs) and guarante the program’s reliability. Many scientists are devoting themselves to settle this problem. Now , different scale reusable components had been built by many programming languages. These reusable components have improved the efficiency of program development greatly. Many evidences indicate reuse-driven software is a good way to solve software crisis. People can construct a lot of applications by the components, so much overlap work can be reduced and automation of arithmetic-building can be realized ultimately in this way. Parallel compute is the tendency of compute science development. Developing reusable components now becomes a hot research in the parallel and concurrent entironment. We have developed Apia-Java component in the research of PAR method and their tools. How to implement parallel and concurrent mechanism in Apia-Java resuable components and apply resuable components to parallel (concurrent) programming ? The solution of this problem is of significance for poularizing PAR method and it’s study production into parallel and concurrent fields.The goal of this paper is to realize parallel and concurrent mechanism in Apia-Java reusable components. Apia-Java reusable components is an important component of PAR method’s tools. Studing and realizing parallel and concurrent mechanism in the reusable components is an important content of PAR method and a sub-research project of the Nation’s Natural Science Fund Project ’’Research On the Development Method of Java Program With High Reliability in Partition-and-Recur". To achieve this goal, We make the most of reuse-driven software theory and the partial implementation theory for reference. We have defined a synchronization operator for synchronization control by making use of Java’s language mechanism, and have settled the component’s synchronization control successfully in guarded form, concurrent form and reader-writer form. That is, we have realized the parallel and concurrent mechanism of Apia-Java reusable components.This paper has briefly introduced PAR method and the design strategies of user-defined reusalbe components. Then it has discussed the features of parallel and concurrent and studied parallel (concurrent) programming with Java method. This paper has attached importance to analyze the new problems of Apia-Java components in parallel (concurrent) environment. Based on the above analyses, this paper has advanced synchronizational control measures for the component and effectively realized the component’s synchronization control in three strategies. Finaly, this paper has given some examples to test the new reusable components application in PAR method and parallel programming. The implementation of parallel and concurrent mechanism in Apia-Java reusalbe components makes it possible to apply reusalbe components to parallel (concurrent) programming. This will improve the efficiency of parallel (concurrent) programming greatly. This paper not only extends the reusing area of Apia-Java components, but also availably attempts to search parallel (concurrent) program with PAR method.更多还原