一种改进的SMT模拟器--支持Oracle机制和多种取指策略

摘要

模拟器是计算机系统设计中非常重要的一种技术.Oracle研究能够用来确定所研究问题的最优或最差情况,为正常研究提供有用的辅助信息.但是现在常用的一些同步多线程(SMT)模拟器都不能提供支持Oracle研究所需的信息.文章结合原有模拟器的基础,提供了一种新的支持Oracle研究的模拟平台.同时原SMT模拟器只支持ICOUNT这一种取指策略,文章在原模拟器基础上,又增加了BRCOUNT和MISSCOUNT这两种通用的取指策略.