5K-5
SmartCore システムのデッドロック回避
○笹河良介，佐藤真平，吉瀬謙二（東工大）
我々は，メニーコアプロセッサにおいて，多数のコアの利用と，
高機能ルータによって性能向上を目指す，SmartCore システム
を提案している．SmartCore システムの利用において，
冗長実行させた時にデッドロックを引き起こす可能性がある
ことが分かった．本稿では，冗長実行時のデッドロックを
回避する方法を示し，デッドロックが回避できたことを証明する．