文献

J-GLOBAL ID：202002222876394157   整理番号：20A1565674

並列プログラムのための可逆ランタイム環境【JST・京大機械翻訳】

A Reversible Runtime Environment for Parallel Programs

著者 (2件)： Ikeda Takashi (Graduate School of Informatics, Nagoya University, Nagoya, Japan) ,  Yuen Shoji (Graduate School of Informatics, Nagoya University, Nagoya, Japan)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 12227  ページ： 272-279  発行年： 2020年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 簡単な並列プログラムとその実験的実装のための可逆ランタイム環境を提示した。スタックを用いた状態節約機構によるバックトラック可逆性の軽量実装を目指した。可逆スタックマシンのための実行可能中間表現の簡単なコマンドのシーケンスにプログラムを変換する。並列組成をPythonのマルチ処理特性を用いて実行した。コマンドを実行する間,スタックマシンは,変数の更新履歴とジャンプの履歴のための補助スタックにおける後方実行のための情報を収集する。後方実行のためのコマンドは,それぞれのコマンドを対応する逆コマンドで置き換えることによって,フォワード実行のためにコマンドを逆転することによって得た。デバッギングのような可逆性による挙動解析の目的で,著者らの実行時間は,高レベルプログラミング言語のソースツーソース変換よりも携帯性が高い。Copyright Springer Nature Switzerland AG 2020 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： プログラミング言語 ,  多重処理 ,  *デバッギング ,  携帯型 ,  バックトラッキング ,  可逆性 ,  *並列プログラム ,  挙動解析 ,  Python言語
準シソーラス用語： 実行時間 ,  Python , 【Automatic Indexing@JST】

著者キーワード (4件)： 可逆計算 ,  命令並列プログラム ,  スタックマシン ,  Python多重処理

分類 (2件)： 計算機システム開発  (JD02010R) ,  言語プロセッサ  (JD03040F)

タイトルに関連する用語 (3件)： 並列プログラム ,  タイム ,  環境