共有メモリ関連命令を生成可能な実装用言語の設計
スポンサーリンク
概要
- 論文の詳細を見る
並列計算機は共有メモリ型だけを考えてもプロセッサやメモリモデルなどの点で様々なアーキテクチャがある.アーキテクチャの違いを吸収して信頼性・再利用性・実行効率の高いソフトウェアを開発するには, 並列処理のための高水準プログラミング言語が有用である.高水準言語コンパイラでは, 直接アセンブリコードを生成する代わりに, C言語を実装用言語として利用することでプロセッサに依存するコード生成をCコンパイラに担当させることができる.しかしながら, C言語では, 共有メモリに関する不可分操作やメモリアクセス完了順序を直接記述することはできず, ライブラリやasm文などを利用する必要があり, 移植性や実行効率を低下させる原因となっていた.本研究ではこれら移植性や実行効率を高めるためのC言語の拡張について検討を行う.性能を犠牲にせずに同じ記述を可能とするためには, 適切に選択した機能を組み込みとし, コンパイラにより最適化したコード生成を行うものとした.
- 一般社団法人情報処理学会の論文
- 2001-03-15
著者
-
湯淺 太一
京都大学大学院工学研究科情報工学専攻
-
小宮 常康
電気通信大学大学院情報システム学研究科
-
湯淺 太一
京都大学大学院情報学研究科
-
湯浅 太一
豊橋技術科学大学
-
小宮 常康
京都大学大学院情報学研究科通信情報システム
-
田畑 悠介
京都大学大学院情報学研究科通信情報システム専攻
-
八杉 昌宏
科学技術振興事業団, さきがけ研究21, 「情報と知」領域グループ
-
Yasugi Masahiro
Department Of Communications And Computer Engineering Graduate School Of Informatics Kyoto Universit
-
Masahiro Yasugi
Graduate School Of Informatics Kyoto University
関連論文
- L-Closure : 高性能・高信頼プログラミング言語の実装向け言語機構
- 階層的グループ化に基づくコピー型ごみ集めによる局所性改善
- ISLisp処理系の開発と複合他システムインタフェースについて
- ISO規格ISLISP処理系におけるオブジェクトシステムの実装について
- ISO規格ISLISP処理系の実装方式
- ISO規格ISLISP処理系の開発
- データ並列言語におけるベクトルプロセッサ向きコード生成
- 共有メモリプログラミングのための拡張C言語
- 標準プログラム言語の国際化
- 動的名前解決による通信先・移動先の柔軟な指定が可能な分散アンビエントシステムの設計
- 1.高信頼組込みシステムのための先進ソフトウェア技術(第1部:高い生産性を持つ高信頼ソフトウェア作成技術の開発,学と産の連携による基盤ソフトウェアの先進的開発)
- 4L-8 継続の共有化による継続ベースWebサーバのメモリ使用量削減(要求定義とプログラミング言語・設計・実装,学生セッション,ソフトウェア科学・工学)
- 4L-6 Webアプリケーションのための動的適応可能な処理分担機構の設計と実装(要求定義とプログラミング言語・設計・実装,学生セッション,ソフトウェア科学・工学)
- 構成的理論に基づいたプログラミング言語Zとその実装
- L-Closureを用いた真に末尾再帰的なSchemeインタプリタ
- 日米並列Lispワークショップに参加して
- リターンバリア型実時間ごみ集めの抽象モデル検査
- Cache-conscious階層的グループ化データ配置法:Cache-oblivious配置法との実験的比較
- タプル空間によるブラウザ間通信を備えたScheme処理系の開発
- 2L-5 スタックスキャンを中断させるリターンバリアごみ集め(リーディングプロジェクト e-society:高信頼性組み込みソフトウェア(2),一般セッション,リーディングプロジェクト e-society)
- Lego MindStorms用のLisp処理系XS(ソフトウェア論文,ソフトウェア論文)
- 情報化
- リージョン変数の動的なエイリアス判定によるメモリ効率向上
- 遅延分割型負荷分散フレームワークの試験実装
- スタックベースのML処理系における効率的な一級継続の実装
- S式ベースC言語における変形規則による言語拡張機構
- 国内予選を突破せよ(プログラム・プロムナード)
- 実時間処理に適したメモリ管理を行うLisp処理系の設計と実装
- 入れ子関数を利用する動的負荷分散と高水準記述(言語処理系)
- 細粒度マルチスレッド言語における例外処理の効率良い実装
- 組み込みシステムにおける複数のフリーリストに割り振るメモリ量の最適化
- バックトラックに基づく負荷分散のT2K並列環境における評価
- Java上のScheme処理系「ぶぶ」の実装
- call/ccからcall/iocへの自動変換
- 無制限の寿命を持つ単一呼出継続
- Indefinite One-time Continuation
- Future ベースの並列 Scheme における継続の拡張
- ヒューマノイド行動ソフトウェア基盤におけるマルチスレッドLispへの実時間GC機能の導入(サイバー増大ページ論文概要,新しいソフトウェアの実現,サイバー増大号)
- ソフトウェア論文座談会
- バックトラックに基づく負荷分散の高並列環境における評価
- 4P-1 ページ遷移を考慮したWebアプリケーション記述言語の設計と実装(プログラミング言語,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- Lispは楽しい(コラム)
- Seymour Papert: Mindstorms: Children, Computers, and Powerful Ideas(20世紀の名著名論)
- オブジェクト指向並列言語OPAのための遅延正規化手法
- 遅延タスク生成の反復計算向け拡張(並列処理)
- オブジェクト指向並列言語OPAのためのコード生成手法
- マルチコンテキスト管理をサポートする実装用言語
- 3Z-7 並列言語OPAにおける一貫性制御に対応した差分プログラミング
- Scheme処理系におけるC言語拡張コードへのライトバリア自動挿入
- Scheme処理系におけるC言語拡張コードへのライトバリア自動挿入
- データ並列言語における擬似ベクトル処理のための実行方式
- 2ZP-2 バックトラックに基づく負荷分散の広域分散環境における評価(情報爆発時代における分散処理と運用技術,学生セッション,「情報爆発」時代に向けた新IT基盤技術,情報処理学会創立50周年記念(第72回)全国大会)
- ロボット行動ソフトウェア環境に適した実時間ごみ集め(サイバー増大ページ論文概要,サイバー増大号)
- ネットワークコミュニティにおける関心の類似性に基づいた知識共有の促進(インタラクション技術の革新と実用化)
- Zinger:関心の類似性に基づく会話支援エージェント(「情報メディアとインタフェース」および一般)
- 共有メモリ向けプリミティブとそのGCCを使った実現
- データ並列言語におけるベクトルプロセッサ向きコード生成
- 1Q-4 WebアプリケーションにおけるJavaScript計算の移送機構(プログラミング言語・実装・支援,学生セッション,ソフトウェア科学・工学)
- 等式分割を用いた配列データ依存解析手法
- 入れ子関数を利用した動的負荷分散
- Java上のScheme処理系「ぶぶ」における単一のクラスローダを用いたオブジェクトシステムの実装
- プログラムの部分移送に基づく遠隔実行機構とその知的インタフェースへの応用
- 3Z-6 並列Schemeにおける即時タスク生成法と遅延タスク生成法の融合
- 産業界からの理工系情報学科の研究教育内容への期待と大学の取り組み
- リターン・バリア
- 既存Cヘッダファイルの構文の異なる言語での有効利用(サイバー増大ページ論文概要,新しいソフトウェアの実現,サイバー増大号)
- Silly Sort(プログラム・プロムナード)
- 継続の生成におけるスタックコピーの遅延
- Javaアプリケーション組込み用のLispドライバ
- SchemeにおけるEvaluation Strategyの設計と実装
- 4L-6 ISLISPコンパイラの実装
- SIMD型超並列数式処理系のための並列プログラミング作法
- 仮想プロセッサを利用したSIMD型超並列数式処理系
- ワークスティーリングフレームワークにおけるブロードキャスト機能
- スタックの直接操作を必要としない一級継続の実装
- 入れ子関数を利用したマルチスレッドの実現
- Javaと相互呼び出し可能なScheme処理系「ぶぶ」における継続機能と例外処理機能の実装
- 可読性の高いアルゴリズムの記述法
- データ並列言語における通信最適化のためのコード移動手法
- サーバ・クライアント処理の動的分割・再配置機能を備えたWebアプリケーション用言語
- ソフトウェア紹介 TUTScheme
- Safe AmbientsのためのJavaフレームワーク
- Javaクラスライブラリに対する言語間インタフェース
- 複数の最上位環境をサポートするLispモジュール機能
- SIMD 型超並列計算機上の拡張 Common Lisp 処理系におけるごみ集めとその評価
- 共有メモリ関連命令を生成可能な実装用言語の設計
- 部分評価を応用した動的Webページのキャッシュ機構
- Dijkstra, E.W., Lamport, L., et al., On-the-Fly Garbage Collection, An Exercise in Cooperation, CACM Vol.21, No.11, Nov.1978, pp.966-975(20世紀の名著名論)
- SIMD型並列計算機SM-1(特集知られざる計算機)
- 末尾再帰の最適化と一級継続を実現するためのJVMの機能拡張
- JLUGM--日本Lispユーザ会議(1)全体報告
- VPリストを用いたデータ並列言語のアクティビティ制御
- はじめての並列プログラミング
- LEGO Mindstorms用のLisp処理系XSによるクラウド制御型ロボット開発(一般セッション(2),クラウドでつながるロボットサービス)
- MPIを用いたデータ並列C言語NCXの実装
- ソフトウェア紹介 TUTScheme
- Weak Consを用いたマクロ再定義時の自動再コンパイル
- 学生には良い計算機システムを (情報技術の新時代に向けて)
- Topics Lisp生誕40周年記念ユーザコンファレンス
- ACM国際学生プログラミングコンテスト