オブジェクト指向並列言語OPAのための遅延正規化手法

• Item type: Trans(1)
• 公開日: 2004-05-15
• タイトル: オブジェクト指向並列言語OPAのための遅延正規化手法
• タイトル / 言語: en
• タイトル: Lazy Normalization Techniques for an Object - oriented Parallel Language OPA
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 通常論文
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 京都大学大学院情報学研究科通信情報システム専攻
• 著者所属: 京都大学大学院情報学研究科通信情報システム専攻
• 著者所属: 京都大学大学院情報学研究科通信情報システム専攻／現在，豊橋技術科学大学情報工学系
• 著者所属: 京都大学大学院情報学研究科通信情報システム専攻
• 著者所属(英): en
• 著者所属(英): Department of Communications and Computer Engineering, Graduate School of Informatics, Kyoto University
• 著者所属(英): en
• 著者所属(英): Department of Communications and Computer Engineering, Graduate School of Informatics, Kyoto University
• 著者所属(英): en
• 著者所属(英): Department of Communications and Computer Engineering, Graduate School of Informatics, Kyoto University/Presently with Department of Information and Computer Sciences, Toyohashi University of Technology
• 著者所属(英): en
• 著者所属(英): Department of Communications and Computer Engineering, Graduate School of Informatics, Kyoto University
• 著者名: 馬谷, 誠二; 八杉, 昌宏; 小宮, 常康; 湯淺, 太一
• 著者名(英): Seiji, Umatani; Masahiro, Yasugi; Tsuneyasu, Komiya; Taiichi, Yuasa
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本論文では，Java 言語を拡張したオブジェクト指向並列言語OPA のためのいくつかの実装手法を提案する．Java 等のオブジェクト指向並列計算においては，各スレッドは，synchronized 構文を実現するため同一性（スレッドID）を維持する必要がある．また，共有オブジェクトへの排他的アクセスをサポートするため一般的な同期を可能とする機能（中断および再開）が必要である．洗練された例外処理のため，OPA は動的スコープによるjoin 構文を採用しており，例外ハンドラは，並列実行中，任意の子スレッドにより投げられた例外を捕まえられる．マルチスレッド言語の効率良い実装において，「遅延」は重要な概念である．たとえば，遅延タスク生成（Lazy Task Creation: LTC）は，負荷分散を効率良く行うことができる．本論文では，スレッド同一性維持，一般的な同期，動的スコープによるjoin といったOPA の現代的な言語機能に遅延性を利用する方法を提案する．さらに，OPA 処理系は移植性のためC コードを生成するが，これによりLTC を用いるのが難しい．Cilk 言語の実装は，制限された（うまく構造化された）マルチスレッド計算において，すでにこの問題を解決しているが，我々の実装は，LTC を採用するだけでなく，OPA の持つ現代的な言語機能をサポートしており，さらにCilk を上回る性能を達成している．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: This paper describes various techniques for implementing a modern multithreaded language OPA, which is an extended Java programming language that supports object-oriented programming and exception handling. For object-oriented parallel computing as in Java, each thread needs to keep its identity to implement the synchronized construct and each thread should have ability in general synchronization (suspension and resumption) to support mutually-exclusive access to a shared object. For elegant exception handling, OPA employs a join construct with dynamic scope which enables an exception handler to catch an exception thrown by any of child threads during parallel execution. For efficient implementation of multithreaded languages, laziness is an important idea; for example, Lazy Task Creation (LTC) is a well known technique for good load balancing. In this paper, we pursue laziness for the modern language features, including thread identity preservation, general synchronization, and dynamically-scoped join. In addition, the OPA system generates C code for good portability; this makes the adoption of LTC difficult. Although the implementation of the Cilk language has already overcome this difficulty in a limited (well-structured) multithreaded computations, our implementation not only adopts LTC but also supports the modern language features and furthermore achieves better performance than Cilk.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11464814
• 書誌情報: 情報処理学会論文誌プログラミング（PRO）; 巻 45, 号 SIG05(PRO21), p. 12-25, 発行日 2004-05-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7802
• 出版者 / 言語: ja
• 出版者: 情報処理学会