著者

一場 利幸 津金 佳祐 新井 正樹 田原 司睦

雑誌

研究報告ハイパフォーマンスコンピューティング(HPC) (ISSN:21888841)

巻号頁・発行日

vol.2019-HPC-168, no.17, pp.1-5, 2019-02-26

---

近年,HPC 用途の ARM プロセッサが開発されており,注目が集まっている.そのため,AArch64 をターゲットとしたコンパイラの最適化機能の重要性が増している.しかし,コンパイラ基盤 LLVM の AArch64 向け最適化は,GCC に比べて不十分であることが報告されている.具体的な例の 1 つとして,LLVM は,GCC に比べて多くのスピルコードを挿入する.LLVM が生成したコードを分析すると,空いているレジスタがあるにも関わらず,スピルコードが挿入される場合があった.本研究では,LLVM で挿入される不要なスピルコードについて述べ,それらを削減する方法を提案する.これは,従来通りに LLVM のレジスタ割付けを行った後に,その結果を変更してスピルコードを削減する方法である.2 パターンの不要なスピルコードに対して,提案方法を NPB に適用した結果,パターン 1 については平均 1.25%,パターン 2 については平均 2.87% のスピルコードを削減できた.

著者

一場 利幸 森 孝夫 高瀬 英希 鴫原 一人 本田 晋也 高田 広章

出版者

The Institute of Electronics, Information and Communication Engineers

雑誌

電子情報通信学会論文誌 D (ISSN:18804535)

巻号頁・発行日

vol.J95-D, no.3, pp.387-399, 2012-03-01

---

複数のプログラムが並列若しくは並行動作する環境では,プログラムの実行順序に依存してパスが定まる分岐が存在することがある.ソフトウェアテストでは分岐を網羅することが求められ,プログラムを繰り返し実行する手法が考えられるが,特定のパスを決定的に実行することができない.また,プログラムの実際の実行順序を知ることが困難であるため,実行順序に依存する分岐に関するテストを効率的に行うことができない.本論文では,テストプログラムからプロセッサの実行を制御することで,プログラム中の特定のパスを決定的に実行する機構を用いたテスト効率化手法を提案する.提案手法により,マルチプロセッサ向けリアルタイムOSであるTOPPERS/FMPカーネルにおけるプロセッサの実行順序に依存したパスを全て決定的に実行することができ,テストの効率化が可能であることを確認した.

著者

石川 拓也 安積 卓也 一場 利幸 柴田 誠也 本田 晋也 高田 広章

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.28, no.4, pp.4_158-4_174, 2011-10-25 (Released:2011-11-30)

---

本論文では,組込み向けコンポーネントシステムであるTECSの仕様に基づいて開発した,LEGO社製MindstormsNXT用ソフトウェアプラットフォームATON(ASP+TECS On NXT)について述べる.ATONは,TECSを用いることにより,未使用デバイスのデバイスドライバの取り外しによるメモリ使用量の削減を可能とし,また,モデルを用いたソフトウェア開発との親和性を高めている.これらを実現するために,タスクやセマフォなどのリアルタイムOSの扱うオブジェクトやNXTに搭載されているデバイスのデバイスドライバをTECS仕様に従ってコンポーネント化している.倒立二輪ライントレースロボットの制御ソフトウェアをATON上に実装する事例によりATONの有用性を示した.