並列言語の高レベルなデータの通信における型を利用した最適化について
スポンサーリンク
概要
- 論文の詳細を見る
本研究は,並列言語の分散メモリマシン上の実装において,リスト等の高級なデータのPE間の通信を高速化する技法を提案する.PE間の通信は,タグを埋め込んだバイト列に変換して通信することで実現する方法がまず考えられる.しかし,静的に型付けされた言語ならば静的にわかるデータの型を利用することでタグを除去し,(1)encode/decodeの高速化と(2)転送するデータ量の縮小を行うことが可能である.この方法を,特に多相型が導入された言語において実現する方法について提案する.多相型が存在する場合には型が実行時までわからず,PEの間で送られる値の型を静的に特定することができないものがある.これを2階の明示的に型付けされた言語を中間コードとして用い実行時に型をデータとして渡すことで,タグを用いないencode/decodeを可能にする.本論文では,並列言語HACLを対象として,実際にワークステーションクラスタ上に実装することで効果を測定した.
- 日本ソフトウェア科学会の論文
- 1997-03-17
著者
-
小林 直樹
東京大学大学院理学系研究科
-
小林 直樹
東北大学大学院情報科学研究科
-
清水 智弘
マックスプランク微細構造物理研
-
清水 智弘
東京大学大学院理学系研究科情報科学専攻
-
清水 智弘
広島大学先端物質科学研究科
-
小林 直樹
東京大学大学院新領域創成科学研究科
-
小林 直樹
東京大学大学院情報理工学系研究科
関連論文
- 木星型惑星の構造と形成
- シューメイカー・レビー彗星と木星との衝突シミュレーション(シューメーカー=レビー第9彗星の木星衝突)
- 計算資源使用法検証における計算資源の仕様と実際の使用法との間の適合性検証アルゴリズム
- 21pPSA-22 光電子顕微鏡によるNiナノワイヤーの磁区構造観察(21pPSA 領域3ポスターセッション,領域3(磁性,磁気共鳴))
- JVMにおけるロックの整合性検証のための新しい型システム
- 動的に型付けされた言語のためのオンラインな型主導部分評価(特集●プログラミング及びプログラミング言語)
- POPL/PEPM'99会議報告
- POPL/PEPM'99会議報告
- オキシカルコゲナイド(La_Ca_xO)Cu_Ni_xX (X=S, Se)のLa, Cu同時置換効果
- 29aPS-119 層状 p 型半導体 (LaO) CuS の電気的特性における構造欠陥効果
- 28aZK-6 オキシ硫化物 (La_M_xO)CuS (M=Ca, Ce) の電気伝導特性
- 28aZK-6 オキシ硫化物 (La_M_xO) CuS (M=Ca, Ce) の電気伝導特性
- 28aZK-5 層状ワイドギャップ半導体 (LaO) CuS のフォトルミネッセンス
- 28aZK-4 オキシサルファイド (LaO) CuS における S サイト置換効果
- 29aPS-119 層状 p 型半導体 (LaO)CuS の電気的特性における構造欠陥効果
- 20aYJ-7 LaOCuSにおけるLaおよびCuサイトの同時置換効果
- 28aTC-1 オキシ硫化物(La_Ca_xO)Cu_Ni_xSの輸送現象
- AFMセンサのための圧電薄膜の形成
- P228 T型ラインマイクロホンのノイズ減殺効果
- P369 T型ラインマイクロホンを用いた微気圧振動の観測
- T型ラインマイクロホンを用いた微気圧振動の観測(序報)
- 地球のささやきを聞く--常時地球自由振動の発見
- 41052 住宅内室温分布の要因分析とその評価方法に関する研究 : その1 暖房期における住宅内室温分布推定法の提案(住宅の暖房負荷,環境工学II)
- 41053 住宅内室温分布の要因分析とその評価方法に関する研究 : その2 累積確率を用いた暖房期の室温分布と暖房負荷の評価(住宅の暖房負荷,環境工学II)
- 41054 住宅内室温分布の要因分析とその評価方法に関する研究 : その3 標準住宅モデルを用いた室温分布と空調負荷のシミュレーション(住宅の暖房負荷,環境工学II)
- ポインタのあるプログラミング言語のための資源使用法解析
- 常時自由震動:大気と固体地球のカップリングの重要性
- 並行プログラミング言語へのチャネル使用法宣言の導入
- 042 住宅の室温分布と熱負荷の評価方法に関する研究 : その2 室温分布と空調負荷のシミュレーション(熱・暖冷房,講演研究論文、計画・技術報告)
- 041 住宅の室温分布と熱負荷の評価方法に関する研究 : その1 累積確立を用いた室温分布と熱負荷の評価法(熱・暖冷房,講演研究論文、計画・技術報告)
- 051 住宅室内温度の標準偏差と暖房期・冷房期における空調用エネルギー消費量の関係(熱環境・エネルギー,講演研究論文・計画技術報告)
- 検証済み型推論器生成のためのCoqライブラリ
- 並列言語の高レベルなデータの通信における型を利用した最適化について
- 陽極酸化アルミナ・ナノホール中に形成したCo細線配列の磁気特性
- 木星の内部構造と彗星の衝突
- An Empirical Analysis of the Information Content of the Announcements of Impaired Assets in Japan
- 木構造処理からストリーム処理プログラムへの変換のための部分的バッファリングの挿入
- 低レベル言語のための情報流解析の型システム(プログラミングおよびプログラミング言語)
- ポスト壁キャビティ付きスロット八木・宇田アレーを用いた平面マルチセクタアンテナ
- POPL2002/PEPM2002/PADL2002報告(プログラミング及びプログラミング言語)
- インピーダンスマッチング機能付きCMOSオンチップラットレースバラン(無線/画像処理,システムオンシリコン設計技術並びにこれを活用したVLSI)
- インピーダンスマッチング機能付きCMOSオンチップラットレースバラン(無線/画像処理,システムオンシリコン設計技術並びにこれを活用したVLSI)
- 型エラースライシングによるデッドロックの原因特定
- B-1-159 キャビティ壁をスルーホールで構成したプリントスロット八木・宇田アレーアンテナ
- 大気海洋の窓としての固体地球--固体地球常時自由振動 (総特集 海半球観測研究の進展)
- 木星自由振動と木星内部構造
- 文脈自由言語と超決定性言語の包含判定問題の決定可能性の型理論を用いた証明
- リージョン推論に基づくメモリ管理の下でのガーベジコレクション
- 彗星衝突による木星振動の励起(「木星に衝突する彗星 : シューメイカー・レビー9」)
- Constraint Satisfaction in Logic Programming, Paseal Van Hentenryck, The MIT Press, 1989 (制約論理プログラミング)
- 金ナノ粒子触媒を用いた無電解バリア/シード層のCu-TSVへの応用(電子デバイスの高速・高密度実装とインテグレーション技術論文)
- SELENE-2における月広帯域地震観測
- S22-08P ペネトレータを使った月内部構造探査(一般ポスターセッション2,ポスター発表)
- S22-09 ペネトレータ地震計ネットワークによる月震観測(口頭セッション22:惑星探査,口頭発表)
- S13-12 アポロ月震計データで見る月のクレーター生成率不均質(口頭セッション13:月科学,口頭発表)
- 207 火星の常時自由振動(火星と水星の科学,オーラルセッション5)
- 306 惑星物質試料受け入れ設備(キュレーション設備)の状況 : はやぶさ試料受け入れ運用リハーサルへ向けての準備(オーラルセッション9 固体天体の科学・惑星探査I)
- P208 アポロ月震データの再解析 : バンドパスフィルタ処理によるイベント検出の試み(ポスターセッション2)
- P205 月面重力計を用いたUnlocated Deep Moonquakeの震源決定(ポスターセッション2)
- 116 月震計データから見た月面クレータ生成率不均質(オーラルセッション3 月I)
- 3次元実装TSVへのコンフォーマル無電解バリアメタルの形成(配線・実装技術と関連材料技術)
- 20aPSA-37 希土類層状オキシプニクタイド(CeO)MnPn : Pn=P, As, Sbの物性評価(20aPSA 領域8ポスターセッション(磁性,低温1),領域8(強相関係:高温超伝導,強相関f電子系など))
- 27aPS-93 希土類層状オキシプニクタイド(CeO)MnPn:Pn=P,As,Sbの物性評価(27aPS 領域8ポスターセッション(磁性,低温1),領域8(強相関系:高温超伝導,強相関f電子系など))
- 7pPSB-2 (La_M'_xO)Cu_M"_xSの室温強磁性(M'=Ca, Ce M"=Mn, Ni, Zn)(領域4)
- 7pPSB-8 オキシカルコゲナイド(LaO)CuS_Se_xの電気的光学的特性(領域4)
- 6aSB-1 オキシ硫化物(LaO)CuSの精密構造解析(層状・低次元物質・化合物半導体,領域4)
- 26pPSB-7 オキシ硫化物(LaO)CuSの電気抵抗とフォトルミネッセンススペクトル(26pPSB,領域4(半導体,メゾスコピック系・局在分野))
- 高階圧縮の高速化と効率の良い符号化