著者

籠谷 裕人 南谷 崇

出版者

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

雑誌

電子情報通信学会論文誌. D-I, 情報・システム, I-コンピュータ (ISSN:09151915)

巻号頁・発行日

vol.77, no.8, pp.548-556, 1994-08-25

被引用文献数

12

---

従来,認識されてきた非同期式回路の有用性が,近年の論理素子の高速化に伴い再び注目を集めている.本論文では,論理素子遅延や配線遅延の上限が予測できないという厳しい遅延仮定のもとに,非同期式回路を合成する基本的な手法を提案する.本手法は,レジスタ間の転送や演算といった基本的な操作の間に成り立つべき依存関係を仕様とし,それを信号遷移の因果関係に直接写像することによって非同期式回路を実現する.具体的にはまず基本操作間の依存関係からなるグラフを仕様として与える.この依存性グラフから正しく回路が合成できるための条件としてsafenessなどを定義する.次にこれをもとに,その機能ノードを対応した回路素片に置換し,これらを接続することで制御回路を合成する.この制御回路はハンドシェークによって2相方式でデータパス部の制御を行う.本手法は,並列性を仕様中に容易に記述でき,論理合成のコストが低いという特徴がある.

著者

小路 朋也 井上 勇樹 舩曵 信生 中西 透 籠谷 裕人

出版者

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

雑誌

電子情報通信学会技術研究報告. NS, ネットワークシステム (ISSN:09135685)

巻号頁・発行日

vol.108, no.286, pp.105-108, 2008-11-06

被引用文献数

1

---

近年,計算機資源利用の効率化,システム管理の容易化などの利点から,サーバ構築に仮想化技術が用いられている.また,仮想サーバを用いたサーバクラスタシステムの構築手法も提案されている.本稿では,仮想化技術を用いた安全でスケーラブルなWebサーバシステムを提案する.提案システムでは,プラットフォームおよびシステム内データ通信路の安全性を確保するため,SSL認証による各Webサーバホストの正当性検証と暗号化通信を実現する.また,システム管理を容易とするために,システム管理ツールの採用により,OS,Webサーバなど実行環境の自動更新機能を実現する.システム管理ツールPuppet,システム監視・管理ライブラリRuby SNMP,仮想マシンモニタXenを用いて提案システムの実装を行った.本システムの評価実験の結果,短時間でWebサーバシステムの拡張が可能であることが明らとなった.