著者

福田エリック駿 定久紀基 井上浩明 竹中崇 浅井哲也 本村真人

雑誌

研究報告システムLSI設計技術(SLDM)

巻号頁・発行日

vol.2014-SLDM-164, no.16, pp.1-6, 2014-01-21

---

Memcached は多数のサーバのメモリ上にデータをキャッシングすることで Web サーバなどの応答を高速化する技術である。Memcached の処理は非常に単純である一方大きなメモリバンド幅を必要とするが、既存の汎用プロセッサでは低消費電力と高メモリバンド幅を両立することが難しいため、FPGA を用いて Memcached を高速化する研究が近年盛んに行われている。本研究では、Memcached の機能全体を FPGA に実装する従来のアプローチとは異なり、Memcached サーバ上に搭載した FPGA 搭載 NIC 上に Memcached の機能とデータの一部をキャッシングするアプローチを提案する。ソフトウェアシミュレーションによる評価の結果、本アプローチでは通常のソフトウェアによる Memcached サーバと比べて平均遅延が最大 6 倍改善することがわかった。

著者

竹中 崇 岡野 浩三 東野 輝夫 谷口 健一

出版者

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

雑誌

電子情報通信学会論文誌. D-I, 情報・システム, I-情報処理 (ISSN:09151915)

巻号頁・発行日

vol.87, no.4, pp.462-470, 2004-04-01

参考文献数

10

---

整数変数をもつ有限状態機械(FSM/int)に対する記号モデル検査法を提案する.入力値を保持する変数の値は次に同一遷移で新たな値が読み込まれるまで変更されない,などの制約を満たす,与えられたFSM/intに対し,整数変数をもつCTL式を満たすか否かをこの記号検査アルゴリズムは判定する.この記号モデル検査アルゴリズムを実装し,ブラックジャックディーラ回路とバケット多重化プロトコルに適用した.そして,100状態,10整数変数程度の規模のシステムであれば数秒程度(最悪時で数分程度)で検証できることが確かめられた.