文献

J-GLOBAL ID：201802265815035859   整理番号：18A0339238

SafeGPU:オブジェクト指向言語のための契約およびライブラリGPGPU【Powered by NICT】

SafeGPU: Contract- and library-based GPGPU for object-oriented languages

著者 (4件)： Kolesnichenko Alexey (Department of Computer Science, ETH Zuerich, Switzerland) ,  Poskitt Christopher M. (Department of Computer Science, ETH Zuerich, Switzerland) ,  Poskitt Christopher M. (Singapore University of Technology and Design, Singapore) ,  Nanz Sebastian (Department of Computer Science, ETH Zuerich, Switzerland)
資料名： Computer Languages, Systems and Structures  (Computer Languages, Systems and Structures)
巻： 48  ページ： 68-88  発行年： 2017年 
JST資料番号： A1222A  ISSN： 1477-8424  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 汎用プロセッサとしてのGPUを用いたデスクトップマシン上での大量のデータ並列化を,大きく増大している一連のアルゴリズムのための,提供することにより,並列計算に革命をもたらした。それらの広範囲の採用に対する障害物が,プログラミングの難しさと良好な性能を達成するために必要なハードウェアの低レベル制御である。計画法,SafeGPU,オブジェクト指向言語のための高レベルライブラリーを経由してアクセス可能なGPUデータ並列操作を行わせることが目的であることを提案し,低レベルコードの性能上の利点を維持した。アプローチは束縛形式と組み合わせた化合物計算を表現するために,自動的に扱えるすべてのデータ同期とデバイス管理できることをコレクションのためのデータ並列操作を提供する。も設計による契約方法論,プログラムテキストへの実行可能な仕様を埋め込むことによって機能的プログラムの正当性の信頼性を増加することを特徴とする。EiffelのSafeGPUのプロトタイプを示した,GPGPU専門家に利用できるモジュールで簡潔なコードをもたらすことを示し,手書きCUDAコードのそれと匹敵する性能を提供する。もC#への移植に向けての第一段階を記述し,異なる管理言語におけるアプローチを実行するためのいくつかの挑戦,解決策および洞察を強調した。最後に,実行時契約チェックはSafeGPUで可能になることを示す,契約がGPU上で実行できる。Copyright 2018 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【Powered by NICT】

シソーラス用語： *言語 ,  計算機プログラミング ,  アルゴリズム ,  プロトタイプ ,  *オブジェクト指向言語 ,  信頼性 ,  並列運転 ,  並列演算 ,  演算プロセッサ ,  レベル制御
準シソーラス用語： *オブジェクト指向 ,  CUDA ,  手書き ,  データ並列 ,  *GPGPU , 【Automatic Indexing@JST】

著者キーワード (8件)： GPGPU ,  並列計算 ,  実行時コード生成 ,  生成プログラミング ,  オブジェクト指向 ,  管理された言語 ,  設計による契約 ,  プログラム正当性

分類 (1件)： 計算機システム開発  (JD02010R)

タイトルに関連する用語 (4件)： オブジェクト指向言語 ,  契約 ,  ライブラリ ,  GPGPU