计算机体系结构软件模拟技术
作者:
基金项目:

Supported by the National Basic Research Program of China under Grant No.2007CB310900 (国家重点基础研究发展计划(973))

  • 摘要
  • | |
  • 访问统计
  • |
  • 参考文献 [53]
  • |
  • 相似文献 [20]
  • |
  • 引证文献
  • | |
  • 文章评论
    摘要:

    在现代处理器或计算机系统设计中,体系结构软件模拟技术已成为一个不可缺少的环节.与不使用模拟技术的计算机系统或处理器设计方法相比,软件模拟技术可以极大地降低设计成本和缩短设计周期.然而,由于开发计算机体系结构软件模拟器通常十分困难,模拟器运行标准性能测试程序的时间很长以及模拟结果精度差等3个主要问题,限制了体系结构软件模拟技术在计算机系统设计中的有效性.许多研究人员已经提出了各种各样的方法和技术来解决这些问题,但是,到目前为止,这些问题还并未得到根本性解决.同时,未来体系结构模拟技术的新挑战已经开始显现.研究了体系结构软件模拟技术的由来和历史,对现有的技术和方法进行了分类和比较,对未来的挑战也进行了分析,指出了该领域今后的发展方向,以帮助计算机体系结构设计师或研究人员选择、开发体系结构模拟器或对该技术进行研究.基于这些调查分析,正在使用较为先进的技术开发一个适合于安腾系列架构的体系结构模拟器SimIPF.

    Abstract:

    Computer architecture simulation is an integral part of modern computer design process. Simulation can help architects reduce the time and cost of computer architecture design dramatically. However, difficulties of constructing simulators, long simulation time, and poor accuracy limit the effectiveness of simulation. Many researchers have proposed a wide range of approaches to resolving the three main problems, which are still open. Meanwhile, new challenges start to emerge for future computer architecture simulation. This paper investigates the history of computer architecture simulation, classifies and compares the existing methodologies and technologies, and analyzes the challenges to help architects select, develop, or research on simulators. A brief description of the simulator SimIPF design is provided as well.

    参考文献
    [1]Assn SI.International technology roadmap for semiconductors.ITRS,1999.http://public.itrs.net
    [2]Wenish T,Wunderlich R:Applying SMARTS to SPEC CPU2000.Technical Report,Computer Architecture Laboratory at Carnegie Mellon (CALCM),2003.
    [3]Mukherjee S,Adve.S.Performance simulation tools.IEEE Computer,2002,35(2):38-39.
    [4]Hennessy J,Patterson D.Computer Architecture:A Quantitative Approach.3rd ed.,Elsevier Science Pte Ltd.,2003.46.
    [5]Heidelberger P,Lavenberg S.Computer performance evaluation methodology.IEEE Trans.on Computers,1984,c-33(12):1195-1220.
    [6]John L.Performance evaluation:Techniques,tools and benchmarks.2002.http://lca.ece.utexas.edu/pubs/john_perfeval.pdf
    [7]Lazowska E,Zahorjan J.Quantitative System Performance-Computer System Analysis Using Queueing Network Models.Prentice Hall,1984.127-151.
    [8]Austin T,Larson E.SimpleScalar:An infrastructure for computer system modeling.IEEE Computer,2002,35(2):56-67.
    [9]The SimpleScalar Architectural Research Tool Set,Version 2.0.1998.http://www.cs.wisc.edu/~mscalar/simplescalar.html
    [10]Hughes C,Pai V.Rsim:Simulating shared-memory multiprocessors with ILP processors.IEEE Computer,2002,35(2):40-49.
    [11]Shriver E,Shakallah K.Ravel:Assigned-Delay compiled-code logic simulation.In:Proc.of the 1992 Int'l Conf.on Computer-Aided Design.Santa Clara:IEEE Computer Society Press,1992.364-368.
    [12]Ye W,Vijaykrishnan N.The design and use of SimplePower:A cycle-accurate energy estimation tool.In:Proc.of the DAC.2000.http://www.sigda.org/Archives/ProceedingArchives/Dac/Dac2000/papers/2000/dac00/pdffiles/21_1.pdf
    [13]Brooks D,Tiwari V.Wattch:A framework for architecture-level power analysis and optimizations.In:Proc.of the ISCA.2000.http://ieeexplore.ieee.org/iel5/6892/18551/00854380.pdf?arnumber=854380
    [14]Skadron K,Stan M.Temperature-Aware microarchitecture:Modeling and implementation.ACM Trans.on Architecture and Code Optimization,2004,1(1):94-125.
    [15]Li Y,Hempstead M.Power and thermal effect of SRAM vs.latch-mux design styles and clock gating choices.In:Proc.of the ISLPED 2005.San Diego,2005.http://www.cs.virginia.edu/~skadron/Papers/islped05_li.pdf
    [16]Roland W,Thomas W.SAMRTS:Accelerating microarchitecture simulation via rigorous statistical sampling.In:Proc.of the 30th Annual Int'l Symp.on Computer Architecture (ISCA 2003).2003.http://www.ece.cmu.edu/~simflex/publ/smarts2003isca.pdf
    [17]Zhang FX,Zhang LB.Sim-Godson:A Godson processor simulator based on SimpleScalar.Chinese Journal of Computers,2007,30(1):68-73 (in Chinese with English abstract).
    [18]Vachharajani M,Vachharajani N.The liberty structural specification language:A high-level modeling language for component reuse.In:Proc.of the Conf.Programming Language Design and Implementation.2004.http://portal.acm.org/citation.cfm?id= 996893.996865
    [19]Vachharajani M,Vachharajani N.Microarchitecture exploration with liberty.In:Proc.of the Int'l Symp.Microarchitecture.2002.http://ieeexplore.ieee.org/iel5/8385/26403/01176256.pdf?arnumber=1176256
    [20]http://www.systemc.org/
    [21]Coe P,Howell F.A hierarchical computer architecture design and simulation environment.ACM Trans.on Modeling Computer Simulation,1998,8(4):431-446.
    [22]Janneck J,Lee W.Taming heterogeneity-The ptolemy approach.In:Proc.of the ACM SIGPLAN 2001 Workshop on Languages,Compilers and Tools for Embedded Systems (LCTES).2001.http://ieeexplore.ieee.org/iel5/5/26369/01173203.pdf?tp=&isnumber= &arnumber=1173203
    [23]Vachharajani M,Vachharajani N.The liberty simulation environment:A deliberate approach to high-level system modeling.ACM Trans.on Computer Systems,2006,24(3):211-249.
    [24]Joshua K,Daniel C.Statistical simulation of multithreaded architectures.In:Proc.of the 13th IEEE Int'l Symp.on Modeling,Analysis,and Simulation of Computer and Telecommunication Systems (MASCOTS 2005).2005.http://ieeexplore.ieee.org/iel5/ 10197/32540/01521119.pdf?tp=&isnumber=&arnumber=1521119
    [25]Magnusson P,Christensson M.Simics:A full system simulation platform.IEEE Computer,2002,35(2):211-249.
    [26]Stephen G,John H.The accuracy of trace-driven simulations of multiprocessors.Technical Report,CSL-TR-92-546,Stanford University,1992.
    [27]Gao X,Zhang FX.SimOS-Goodson:A Goodson-processor based multi-core full-system simulator.Journal of Software,2007,18(4):1047-1055 (in Chinese with English abstract).http://www.jos.org.cn/1000-9825/18/1047.htm
    [28]Martin M,Sorin D.Multifacet's general execution-driven multiprocessor simulator (gems) tool set.Computer Architecture News,2005,22(4).
    [29]Babaoglu O,Ferrari D.Two-Level replacement decisions in paging stores.IEEE Trans.on Computers,1983,C-32(12):1151-1159.
    [30]Belady L.A study of replacement algorithms for a virtual storage computer.IBM System Journal,1966,5(2):78-101.
    [31]Dwarkadas S,Jump J.Execution-Driven simulation of multiprocessors:Address and timing analysis.ACM Trans.on Modeling and Computer Simulation,1994,4(4):314-338.
    [32]http://www.simplescalar.com/
    [33]Todd A,Dan E.SimpleScalar tutorial (for release 4.0).In:Proc.of the 34th Annual Int'l Symp.on Microarchitecture (MICRO-34).Austin,2002.http://www.simplescalar.com/tutorial.html
    [34]Emer J,Ahuja P.Asim:A performance model framework.IEEE Computer,2002,35(2):68-76.
    [35]Rosenblum M,Bugnion E.Using the SimOS machine simulator to study complex computer systems.ACM Trans.on Modeling and Computer Simulation,1997,7(1):78-103.
    [36]Witchel E,Rosenblum M.Embra:Fast and flexible machine simulation.In:Proc.of the ACM SIGMETRICS'96:Conf.on Measurement and Modeling of Computer Systems.Philadelphia,1996.http://portal.acm.org/citation.cfm?id=233013.233025&coll= portal&dl=ACM&type=series&idx=SERIES328&part=series&WantType=Proceedings&title=SIGMETRICS&CFID=15151515&CFTOKEN=6184618
    [37]Cmelik F,Keppel D.Shade:A fast instruction-set simulator for execution profiling.In:Proc.of the ACM SIGMETRICS'94.1994.128-137.http://portal.acm.org/citation.cfm?doid=183018.183032
    [38]Rosenblum M,Stephen A.Complete computer system simulation:The SimOS approach.IEEE Parallel and Distributed Technology,1995,3(4):34-43.
    [39]Stephen A.Using complete machine simulation to understand computer system behavior[Ph.D.Thesis].Stanford University,1998.
    [40]Wilson R,French R.The SUIF compiler system:A parallelizing and optimizing research compiler.Technical Report,CSL-TR-94-620,Stanford University,1994.
    [41]Liberty Research Group.Liberty simulation environment core module library reference manual.2003.http://liberty.princeton.edu/
    [42]Yi J,Kodakara S.Characterizing and comparing prevailing simulation techniques.In:Proc.of the 11th int'l Symp.on High-Performance Computer Architecture (HPCA-11 2005).2005.http://ieeexplore.ieee.org/iel5/9519/30167/01385950.pdf?tp=& isnumber=&arnumber=1385950
    [43]Yi J.A statically-rigorous approach for improving simulation methodology.In:Proc.of the Int'l Symp.on High Performance Computer Architecture.2003.http://ieeexplore.ieee.org/iel5/8433/26557/01183546.pdf
    [44]Biesbrouck M,Sherwood T.A co-phase matrix to guide simultaneous multithreading simulations.In:Proc.of the IEEE Int'l Symp.on Performance Analysis of System and Software.2004.3.http://www.cs.ucsd.edu/~calder/papers/ISPASS-04-CoPhaseMatrix.pdf
    [45]Perelman E,Hamely G.Using SimPoint for accurate and efficient simulation.In:Proc.of the ACM SIGMETRICS 2003.San Diego,2003.http://www.cs.ucsd.edu/~calder/papers/SIGMETRICS-03-SimPoint.pdf
    [46]KleinOsowski A,Ljia D.MinneSPEC:A new SPEC benchmark workload for simulation-based computer architecture research.2002.http://www.arctic.umn.edu/~Liljia/papers/minnespec-cal-v2.pdf
    [47]Sherwood T,Perelman E.Automatically characterizing large scale program behavior.In:Proc.of the Int'l Conf.on Architecture Support for Programming Languages and Operating Systems.2002.http://cseweb.ucsd.edu/users/calder/papers/ASPLOS-02-SimPoint.pdf
    [48]Conte T,Hirsch M.Reducing state loss for effective trace sampling of superscalar processors.In:Proc.of the Int'l Conf.on Computer Design.1996.http://www.tinker.ncsu.edu/symposia/iccd96.pdf
    [49]Citron D.MisSpeculation:Partial and misleading use of SPEC CPU2000 in computer architectural conferences.In:Proc.of the ISCA 2003.2003.http://ieeexplore.ieee.org/iel5/8578/27165/01206988.pdf?arnumber=1206988
    [50]Yi J,Eechout L.The future of simulation:A fields of dreams? IEEE Computer,2006,39(11):22-29.
    [51]Zier D,Nelsen J.NetSim:An object-oriented architectural simulator suite.In:Proc.of the 2005 Int'l Conf.on Computer Design (CDES 2005).2005.http://web.engr.oregonstate.edu/~benl/Publications/Conferences/CDES05.pdf
    [52]Krazit T.Intel shows off 80-core processor.2007.http://news.com.com/2100-1006_3-6158181.html
    [53]http://www.arctic.umn.edu/~jjyi/MoBS/2006/advance_program.html
    网友评论
    网友评论
    分享到微博
    发 布
引用本文

喻之斌,金 海,邹南海.计算机体系结构软件模拟技术.软件学报,2008,19(4):1051-1068

复制
分享
文章指标
  • 点击次数:8904
  • 下载次数: 14108
  • HTML阅读次数: 0
  • 引用次数: 0
历史
  • 收稿日期:2007-08-10
  • 最后修改日期:2007-09-30
文章二维码
您是第19728414位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号