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

書換え計算モデル論に基づく宣言型言語の並列性の解析および制御

基于重写计算模型理论的声明式语言并行性分析与控制

基本信息

批准号：
04235201
负责人：
井田哲雄
金额：
$ 1.92万
依托单位：
University of Tsukuba
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
财政年份：
1992
资助国家：
日本
起止时间：
1992 至无数据
项目状态：
已结题

项目摘要

先行研究で設計・実装を行なってきた宣言型言語(以下Lと呼ぶ)を、超並座計算環境下で稼動させるための評価・検討を行なった。この結果、次の2つの言語(以下L1とL2よぶ)の形で検討が進んでいる。言語L1は並列処理そのものの制御を目指して設計されている。この言語は関数・論理型言語をガード付き条件付き項書換え系として捉えることで得られた言語である。L1の計算機構は、この項書換え系を用いた条件付きナローイングである。この計算機構は計算の複雑度が高く、並列的な実装の考察に適さないので、これを形式的推論体系での推論として実装する。この推論体系は等式の列を対象とし6つの推論規則を持つ。これらの推論規則により、決定的な計算を優先して行なえるようになっている。こうすることで、プロセス数の爆発的な増加を避けることができる。現在は、L1の設計と推論体系の定義が終了した段階である。言語L2は、並列粒度の制御を十分に抽象度の高いアルゴリズムのレベルで行なおうとするものである、L2は基本的には関数型言語であるが、これに命令型言語の機能を付加して拡張している。粒度の制御は、各関数毎、アルゴリズム毎に明示的に記述できる。また並列して動作するプロセス間の同期は、要求駆動とデータ駆動の両方によって行なうことができるように設計している。L1と同様に、言語処理系を作るためにはL2の操作的な計算モデルを設計する必要がある。我々は、その操作的計算モデルを14個の推論規則を持った形式的体系で定義し、L2では並列計算がどのように行なわれるかを具体的に示した。

Advance research, design, implementation, declaratory speech (hereinafter L), and evaluation and discussion in a super-parallel computing environment. The result of this, the second and the second speech (the following L1 L2) and the form of the discussion are discussed. Speech L1 is designed for parallel processing and control. The number of logical words is the number of logical words. L1 calculation mechanism, the term change system, the use of the middle condition to pay The computational mechanism is designed to investigate the complexity and parallelism of computation, and to infer the formal inference system. The inference system is based on the equation and the inference rules. The calculation priority of the inference rule and the decision is determined. The increase in the number of explosions caused by this phenomenon is avoided. The definition of L1 design and inference system is now completed. Speech L2 has a high degree of abstraction in terms of granularity and control, and L2 has a high degree of abstraction in terms of function in terms of imperative speech. The size of the control system, the number of each, the number of each. The timing of the parallel motion is different from the design of the parallel motion. L1 and speech processing systems are necessary for computing and designing L2 operations. The system definition of the 14 inference rules and the L2 parallel calculation are shown in detail.