コンピューティングアーキテクチャ研究室の博士後期課程修了生Tanvir Ahmedさんの博士論文が「情報処理学会 研究会推薦博士論文」に選ばれました。（2014/05/29）

• 氏名: Tanvir Ahmed
  学位論文題目:　Techniques to Reduce the Overhead and to Improve the Robustness in a Fault Tolerable Reconfigurable Architecture
  
• 概要
  近年、半導体微細化の一段の進歩やポストシリコン開発の進展等に伴い、不安定 なデバイスを利用してどのように実用的システムを構築するかに関する研究が盛 んに行われている。また、このような信頼度向上の必要性は、多数の演算器を搭 載するアクセラレータにおいて特に強い。一般的には、論理回路の多重化および 多数決論理によって回路の信頼度を高めることができる。しかし、面積増加によ る歩留り低下や消費電力の急激な増大を伴うことから、元々多数の演算器を有す る構成に対して単純な多重化を適用することは難しい。以上の背景から、多数の 演算器を有するアクセラレータにおいて、いかに面積増加や消費電力増大を抑制 しつつ、信頼性を向上させるかが重要な課題となってきている。最近の学会では、アプロキシメイトコンピューティングと呼ばれる、厳密ではない計算手法が 注目されている。この考え方と、信頼性保証の考え方を融合すると、ループの制御に関する重要な計算と、多少のエラーを許容する画素値計算等をあらかじめ区別し、前者のみを冗長化し保証することにより、全体として高信頼化のコストを抑制できると考えられる。本論文は、多数の演算器を利用するリコンフィギャラブルアーキテクチャに適用できる、（１）演算種別に応じてエラー発生確率が高い箇所を特定し、データパスを選択的に検査する機構、および、（２）テスト演算を挿入してエラーをモニタリングすることによりＳＤＣ（Silent Data Corruption）予測を行い冗長度を変化させる部分冗長化機構の２つを提案してい る。得られた主要な成果は以下のとおりである。
  【１】演算種別（関与するゲート数）に依存して決定されるＯＤＰ（Operation Defective Probability)の値を用いて、リコンフィギャラブルアーキテクチャに写像した二重化演算の結果を比較する検査命令を効率よく挿入する手法を考案した。また、ＯＤＰ算出にあたっては、有効ビット数の少ない定数演算を考慮することが重要であることを明らかにした。
  【２】評価の結果、故障の発生確率が高い部分に集中的に検査命令を挿入し、全部を検査する場合に比べて、６０％の検査命令が削減できることを明らかにした。また。これにより、２２％の電力削減が可能であることを示した。
  【３】未使用演算器を利用してＳＤＣ（Silent Data Corruption）をモニタリングする演算を行わせ、次のイタレーション実行時のＳＤＣ発生確率を予測し、予測値に応じた冗長化を適用する手法を考案した。
  【４】評価の結果、演算器使用率を８％増加させるだけで、ＳＤＣ発生確率を１２％から０．３７％に削減できることを示した。
  
  
  
• 著者からの一言
  奈良先端大では、中島教授および姚准教授に大変お世話になりました。部分冗長 化という面白いテーマを頂き、こうして博士号を取得できました。現在、東工大 ポスドク研究員として引き続き研究に励んでおります。これからも、世界の計算 機アーキテクチャの発展に貢献したいと思います。よろしくお願いします。
  
  

>> コンピューティングアーキテクチャ研究室