著者

丸山 真佐夫 山本 繁弘 大野 和彦 中島 浩

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌プログラミング(PRO) (ISSN:18827802)

巻号頁・発行日

vol.43, no.3, pp.80-80, 2002-03-15

---

再演実行を基礎とする従来の並列プログラムのデバッギング手法では,バグの原因をたどる過程で,頻繁にプログラムの再実行をしなくてはならない.実行の行き過ぎによる再実行の回数を減らすためには,実行途中でブレークポイント設定が必要になり,ユーザの負担が大きくなる.そこで我々は,再演実行手法に基づきながら,プログラム先頭からの再実行をせずに並列プログラムを過去の状態に戻し,そこから実行を再開することを可能にする"巻き戻し実行"機構を提案する.本提案の巻き戻し実行機構では,並列プログラムを構成する任意のプロセスを,任意の受信イベントの時点に戻すことができ,これを基礎にすべてのプロセスまたは一部のプロセスだけをプログラムの途中から実行させることができる.我々は並列言語Orgel に対して巻き戻し実行機構を実装し,性能評価を行った.その結果通常実行に対して,イベント順序保存実行で7%,巻き戻しのための状態保存実行で13%増という,小さいオーバヘッドで動作させることができた.In debugging a parallel program with conventional replay based method, the programmer has to rerun the program repeatedly from its beginning, because the code the programmer wants to examine next might have already gone beyond the breakpoint. To prevent the program from overrunning, the programmer must set breakpoints with much care in the complicated parallel program. Thus we propose a rollback mechanism, which allows the programmer to rerun the program halfway of it. Using this mechanism, the programmer may rollback any process of the target program to any receive event on its event graph. We applied our rollback mechanism to a parallel programming language named Orgel, and evaluate the overhead of logging and rollback. The result shows that execution time of event logging and computational state saving mode for rollback are only 7% and 13% larger than normal execution respectively.

著者

丸山 真佐夫 齋藤 康之 栗本 育三郎 渡邊 孝一 倉持 憲司 青柳 宏昭

出版者

独立行政法人 国立高等専門学校機構 木更津工業高等専門学校

雑誌

木更津工業高等専門学校紀要 (ISSN:21889201)

巻号頁・発行日

vol.49, pp.13-18, 2016-01-29 (Released:2017-02-10)

参考文献数

7

---

This paper shows a construction and operations of high performance computing servers. The servers which introduced in 2013 were funded in a revised national budget. This server system contains computing servers which contain many-core processors, a general purpose server which has very large scale memory, and a high speed file server. They are connected by 1 or 10 Gbps high speed networks. This server system can provide very effective computational environment, and is very useful for research and education.

著者

和崎 浩幸 丸山 真佐夫 齋藤 康之 倉持 憲司

出版者

木更津工業高等専門学校

雑誌

木更津工業高等専門学校紀要 (ISSN:2188921X)

巻号頁・発行日

vol.42, pp.7-12, 2009-01

---

In this paper, a micro-computer development system for H8/3052F is presented. This system includes some development tools: cross-assembler, cross-C compiler, cross-debugger, standard libraries, start-up routine, scripts for linking and S-format down-loader. This system is currently used in subjects of computer science laboratory.