著者

石崎 一明 川人 基弘 今野 和浩 安江 俊明 竹内 幹雄 小笠原 武史 菅沼 俊夫 小野寺 民也 小松 秀昭

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告. CPSY, コンピュータシステム (ISSN:09135685)

巻号頁・発行日

vol.99, no.252, pp.17-24, 1999-08-05

被引用文献数

1

---

Javaはプログラムの安全性のために、例外チェックやポインタを排除したオブジェクトへのアクセスなど、他の言語より大きなオーバヘッドを持つ。またプログラムの柔軟性を提供するために、型検査、動的なクラスリンク、オブジェクトを伴ったインスタンスメソッド呼び出し、を提供している。これらの特徴を失うことなくプログラムの性能を改善するためには、実行時にバイトコードからネイティブコードへコンパイルを行うJust-In-Time (JIT)コンパイラが必須である。本稿では、JITコンパイラへ実装した以下の最適化、定数伝搬、不要コードの除去、例外チェックの除去、共通部分式の除去、型検査の単純化、メソッド呼び出しのインライン展開、メソッド呼び出しの一意決定、について述べる。さらに、9つのプログラムの実行結果より、これらの最適化が効果的であることを示す。

著者

竹内 幹雄 小松 秀昭 中谷 登志男

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.20, no.4, pp.355-362, 2003-07-25 (Released:2012-02-15)

---

Javaの高速化の研究が盛んになされているが,数値計算の分野では依然Fortranに水をあけられたままである.その理由の1つに,浮動小数点演算の厳密な正確さ(accuracy)が原因で最適化が困難なことがある.とりわけ,融合型積和演算(fused multiply-add (FMA))命令や,再結合(reassociation)を利用できないことが,Javaの性能に大きく影響している.この論文では,浮動小数点演算の正確さに関する投機(floating-point (FP) speculation)を提案する.FP speculationは,既存アーキテクチャの余ったハードウェア資源(浮動小数点レジスタと演算ユニット)を利用して,各最適化対象に対し正確さの異なる2通りの計算(投機計算と検算)を同時に実行することで,Javaの言語仕様を満たしつつ平均実行時間を短縮する.

著者

藤間 功司 佐藤 紘志 鴫原 良典 竹内 幹雄 千葉 智晴 飯田 勉 砂坂 善雄 高梨 和光

出版者

Japan Society of Civil Engineers

雑誌

地震工学論文集 (ISSN:1884846X)

巻号頁・発行日

vol.29, pp.881-889, 2007 (Released:2010-11-22)

参考文献数

7

被引用文献数

1

---

我が国の沿岸には多くの下水浄化センターが存在する. これらは一般には高潮水位などを考慮して建設されているが, 地震・津波による二重被害を想定して建設されている訳ではない. 我々は既に中越地震などでパイプラインの損傷, 浄化センターの一時機能停止などにより, 生活用水が使用できなくなりトイレなどの使用自粛により, エコノミークラス症候群による犠牲者の発生と言う悲しい事実も経験している. 本文では, 東海地震・津波の来襲が予想される静岡市中島浄化センターをモデルに現在得られている予測当該地点地震波の内, 最強と考えられる地震波を用いて構造物の地震被害の予測を行うと共に, 津波の初期予想水位をパラメーターとして被害の予測と復旧日数の算定を試みた.