ターゲットマシンの動的モデルを持った並列オブジェクト指向言語処理系の研究

具有目标机动态模型的并行面向对象语言处理系统研究

• 批准号: 06780242
• 负责人: 柴山 悦哉
• 金额: $ 0.58万
• 依托单位: Tokyo Institute of Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1994
• 资助国家: 日本
• 起止时间: 1994 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-06780242/
• 关键词: 言語処理系; 分散共有メモリ; 一貫性管理; ランタイムシステム

ターゲットマシンの動的挙動に関する知識を持った言語処理系の構成法に関する研究を行った。研究の対象となるターゲットマシンの動的挙動としては、分散共有メモリサーバの動的挙動(主としてキャッシュの挙動)を選択した。以下に、本研究の概要を示す。研究の初期の段階では、分散共有メモリサーバの挙動をコンパイラが予想することにより、効率的なコード生成を行う予定であった。しかし、実際にこの方式を試みてみると、一つのアプリケーションに関する完璧な知識(メモリのアクセスパタンなどに関する知識)があったとしても、複数のアプリケーションで共用される分散共有メモリサーバの挙動を完全に予測することは難しいことが明らかとなった。これは、計算機システムをマルチタスクあるいはマルチユーザで利用する場合には、避けられない問題である。そこで、この問題に対応するために、言語処理系のランタイムシステムと分散共有メモリのサーバの間で情報のやり取りを行うプロトコールの設計と実験を行った。このプロトコールを用いると、以下のような情報のやりとりが可能となる。・アプリケーションのメモリアクセスパタンを分散共有メモリサーバに伝える・分散共有メモリサーバの状態を言語処理系のランタイムシステムに伝えるこのプロトコールを利用することにより、共有メモリサーバの状態にあわせてアプリケーションの挙動を変更することができるようになるとともに、アプリケーションのメモリアクセスパタンに関する情報に基づき共有メモリサーバの挙動を変更することも可能となる。結論として、本研究では、処理系のランタイムシステムと分散共有メモリサーバが、お互いに相手の実行時状態のモデルを持つという方式を提案することになった。これは、分散共有メモリサーバのモデルをコンパイラが持つという当初予定していた方式とは異なるが、より柔軟性のある方式である。

タ ー ゲ ッ ト マ シ ン の 挙 of move に masato す る knowledge を hold っ た words 処 science is の constitute law に masato す る を line っ た. Research の like と seaborne な る タ ー ゲ ッ ト マ シ ン の 挙 of move と し て は, dispersion of メ モ リ サ ー バ の 挙 of move (main と し て キ ャ ッ シ ュ の 挙 movement) を sentaku し た. The following に, the <s:1> summary of this study を shows す. Early research の の Duan Jie で は, dispersion of メ モ リ サ ー バ の 挙 dynamic を コ ン パ イ ラ が to think す る こ と に よ り, sharper rate な コ ー ド generated line を う designated で あ っ た. し か し, be interstate に こ の way を try み て み る と, a つ の ア プ リ ケ ー シ ョ ン に masato す る safely な knowledge (メ モ リ の ア ク セ ス パ タ ン な ど に masato す る) knowledge が あ っ た と し て も, plural の ア プ リ ケ ー シ ョ ン で share さ れ る dispersion of メ モ リ サ ー バ の 挙 dynamic す を に to completely test る こ と は difficult し い こ と が Ming ら か と Youdaoplaceholder0. こ れ は, computer シ ス テ ム を マ ル チ タ ス ク あ る い は マ ル チ ユ ー ザ で using す る occasions に は, avoid け ら れ な い problem で あ る. そ こ で, こ の problem に 応 seaborne す る た め に, speech 処 is の ラ ン タ イ ム シ ス テ ム と dispersion of メ モ リ の サ ー バ の で between intelligence の や り take り を line う プ ロ ト コ ー ル の design と be 験 を line っ た. <s:1> プロトコ プロトコ を を を may be となる by using ると ると and the following <s:1> ような information や や と と が が が. · ア プ リ ケ ー シ ョ ン の メ モ リ ア ク セ ス パ タ ン を dispersion of メ モ リ サ ー バ に 伝 え る, dispersion of メ モ リ サ ー バ の condition を words 処 principle is の ラ ン タ イ ム シ ス テ ム に 伝 え る こ の プ ロ ト コ ー ル を using す る こ と に よ り, mutual メ モ リ サ ー バ の state に あ わ せ て ア プ リ ケ ー シ ョ ン の 挙 dynamic を - more す る こ と が で き る よ う に な る と と も に, ア プ リ ケ ー シ ョ ン の メ モ リ ア ク セ ス パ タ ン に masato す る intelligence に base づ き mutual メ モ リ サ ー バ の 挙 dynamic を - more す る こ と も may と な る. Conclusion と し て, this study で は, 処 is の ラ ン タ イ ム シ ス テ ム と dispersion of メ モ リ サ ー バ が, お mutual い に の your hand be row state の モ デ ル を hold つ と い う way を proposal す る こ と に な っ た. こ れ は, dispersion of メ モ リ サ ー バ の モ デ ル を コ ン パ イ ラ が hold つ と い う had designated し て い た way と は different な る が, よ り softness の あ る way で あ る.