权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

データ抽象化に基づく超並列システムの記述と処理方式に関する研究

基于数据抽象的大规模并行系统描述与处理方法研究

基本信息

批准号：
05219210
负责人：
荒木啓二郎
金额：
$ 0.64万
依托单位：
Nara Institute of Science and Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
财政年份：
1993
资助国家：
日本
起止时间：
1993 至无数据
项目状态：
已结题

项目摘要

本研究では,データ抽象化に基づくシステムのモデル化とその形式的仕様記述法を用いて,超並列処理システムの記述を試みて,その記述法の特質の分析,超並列処理アプリケーションへの適用,並びに,記述された超並列処理システムの高効率実行方式の提案を自指す.本年度は,主として,仕様記述言語zを用いた形式的仕様記述,ならびに,超並列処理システムの実現方式に関して,以下のような研究を行った.1.形式的仕様記述とそれに基づくシステム開発システム開発法として,Zによる形式的仕様記述から段階的詳細化によって実現へと導く方法,Miranda等の関数型プログラミング言語による仕様アニメーションないしプロトタイピングに基づく方法の二通りを検討した.いずれの場合も,各種の支援ツールを用意して効率よく開発を行うことを目指している.元来プログラムに対して定義されたスライス操作を,形式的仕様に対して定義して,仕様記述および分析の効率化をはかっている.また,対象となる応用領域レベルでの表現と仕様レベルでの表現との間での詳細化と抽象化とを自由に行うことにより,システムの記述を支援する機能について検討した.2.超並列処理システムの処理方式処理方式に関して,並列計算機システム評価用シミュレータおよび並列化コンパイラに関する研究を行った.超並列計算機システムの性能評価において,メモリアクセスの種類に応じて確率を用いたシミュレーションとアドレストレースを行うシミュレーションとを切り替えることによるシミュレーションの高速化手法を提示した.並列化コンパイラに関して,データ分割問題のより一般的な解決をはかり,さらにはスケジューリングとデータ分割,プロセッサ分割などの自動並列化コンパイラにおける種々の問題に対する統一的な取扱いを行うことを目指して,従来の制御依存グラフを拡張したデータ分割グラフを定義し,それを生成するアルゴリズムを与えた.

This study is based on the abstract description method of the official document in the form of abstraction and super-parallel processing. Analysis of the characteristics of the description method, super parallel processing of アプリケーションへの, and びに, description of the super parallel processing Handle the proposal of a high-efficiency implementation method of the company. Self-referral. This year's project, main project, official description language, use official description in the form of "いた" , ならびに, super parallel processing システムの実appears the way に关して, the following のような research を行った.1. Official description of the form とそれにThe details of the stage-by-stage description of the official description in the form of the basic づくシステム开発システム开発法として and the Zによる form are explained in detail. Method, Miranda et al. The method is the same as the second pass.る.元来プログラムに対してDefinitionされたスライスoperationを,Form of official definitionして,Shi様narrativeおよびanalysisのeffect Routine をはかっている.また,対向となる応Use the field レベルでのexpression とShi様レベルでのexpression との间でのDetailed とAbstract Change the freedom of action, use the description of the system to support the function, and support the function. 2. Super parallel processing of the system Processing method processing method, Parallel computer evaluation and application of Parallel computer parallelization, Research on parallelizationた.Performance evaluation of super parallel computer システムの価において,メモリType of アクセスのに応じて Accuracy を Use いたシミュレーションとアドレストレースを行うシミュレーションとをcutり substituteえることによるシミュレーションのHigh Speed TechniqueをTipsした.Parallelization of コンパイラに关して, データ segmentation problem のより general solution をはかり, さらにはスケジューリングとデータ segmentation, プロセッサなどのautomatic parallelization コンパイラにおけるkind of 々の problem に対する unified な扱いを行うことをObject refers to して, the control depends on グラフを拡张したデータ divides グラフを definition し, それをgenerates するアルゴリズムを and えた.