{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,30]],"date-time":"2026-06-30T01:17:00Z","timestamp":1782782220335,"version":"3.54.5"},"reference-count":24,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2005,11,1]],"date-time":"2005-11-01T00:00:00Z","timestamp":1130803200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGARCH Comput. Archit. News"],"published-print":{"date-parts":[[2005,11]]},"abstract":"<jats:p>The Wisconsin Multifacet Project has created a simulation toolset to characterize and evaluate the performance of multiprocessor hardware systems commonly used as database and web servers. We leverage an existing full-system functional simulation infrastructure (Simics [14]) as the basis around which to build a set of timing simulator modules for modeling the timing of the memory system and microprocessors. This simulator infrastructure enables us to run architectural experiments using a suite of scaled-down commercial workloads [3]. To enable other researchers to more easily perform such research, we have released these timing simulator modules as the Multifacet General Execution-driven Multiprocessor Simulator (GEMS) Toolset, release 1.0, under GNU GPL [9].<\/jats:p>","DOI":"10.1145\/1105734.1105747","type":"journal-article","created":{"date-parts":[[2006,2,6]],"date-time":"2006-02-06T18:14:10Z","timestamp":1139249650000},"page":"92-99","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1186,"title":["Multifacet's general execution-driven multiprocessor simulator (GEMS) toolset"],"prefix":"10.1145","volume":"33","author":[{"given":"Milo M. K.","family":"Martin","sequence":"first","affiliation":[{"name":"Univ. of Pennsylvania"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Daniel J.","family":"Sorin","sequence":"additional","affiliation":[{"name":"Duke Univ."}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bradford M.","family":"Beckmann","sequence":"additional","affiliation":[{"name":"Univ. of Wisconsin-Madison"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael R.","family":"Marty","sequence":"additional","affiliation":[{"name":"Univ. of Wisconsin-Madison"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Min","family":"Xu","sequence":"additional","affiliation":[{"name":"Univ. of Wisconsin-Madison"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alaa R.","family":"Alameldeen","sequence":"additional","affiliation":[{"name":"Univ. of Wisconsin-Madison"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kevin E.","family":"Moore","sequence":"additional","affiliation":[{"name":"Univ. of Wisconsin-Madison"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mark D.","family":"Hill","sequence":"additional","affiliation":[{"name":"Univ. of Wisconsin-Madison"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"David A.","family":"Wood","sequence":"additional","affiliation":[{"name":"Univ. of Wisconsin-Madison"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2005,11]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Fred Weber. AMD Opteron Shared Memory MP Systems. In Proceedings of the 14th HotChips Symposium","author":"Ahmed Ardsher","year":"2002","unstructured":"Ardsher Ahmed , Pat Conway , Bill Hughes , and Fred Weber. AMD Opteron Shared Memory MP Systems. In Proceedings of the 14th HotChips Symposium , August 2002 .]] Ardsher Ahmed, Pat Conway, Bill Hughes, and Fred Weber. AMD Opteron Shared Memory MP Systems. In Proceedings of the 14th HotChips Symposium, August 2002.]]"},{"key":"e_1_2_1_2_1","series-title":"Lecture Notes in Computer Science","first-page":"1871","volume-title":"FM'99--Formal Methods","author":"Akhiani Homayoon","unstructured":"Homayoon Akhiani , Damien Doligez , Paul Harter , Leslie Lamport , Joshua Scheid , Mark Tuttle , and Yuan Yu . Cache Coherence Verification with TLA+ . In FM'99--Formal Methods , Volume II, volume 1709 of Lecture Notes in Computer Science , page 1871 . Springer Verlag, 1999.]] Homayoon Akhiani, Damien Doligez, Paul Harter, Leslie Lamport, Joshua Scheid, Mark Tuttle, and Yuan Yu. Cache Coherence Verification with TLA+. In FM'99--Formal Methods, Volume II, volume 1709 of Lecture Notes in Computer Science, page 1871. Springer Verlag, 1999.]]"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1178046"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.982917"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2004.21"},{"key":"e_1_2_1_6_1","volume-title":"Proceedings of the Sixth Workshop on Computer Architecture Evaluation Using Commercial Workloads","author":"Binkert L.","year":"2003","unstructured":"Nathan. L. Binkert , Erik. G. Hallnor , and Steven. K. Reinhardt . Network-Oriented Full-System Simulation using M5 . In Proceedings of the Sixth Workshop on Computer Architecture Evaluation Using Commercial Workloads , February 2003 .]] Nathan. L. Binkert, Erik. G. Hallnor, and Steven. K. Reinhardt. Network-Oriented Full-System Simulation using M5. In Proceedings of the Sixth Workshop on Computer Architecture Evaluation Using Commercial Workloads, February 2003.]]"},{"key":"e_1_2_1_7_1","first-page":"13","volume-title":"Proceedings of the Fifth Workshop on Computer Architecture Evaluation Using Commercial Workloads","author":"Cain Harold W.","year":"2002","unstructured":"Harold W. Cain , Kevin M. Lepak , Brandon A. Schwartz , and Mikko H. Lipasti . Precise and Accurate Processor Simulation . In Proceedings of the Fifth Workshop on Computer Architecture Evaluation Using Commercial Workloads , pages 13 -- 22 , February 2002 .]] Harold W. Cain, Kevin M. Lepak, Brandon A. Schwartz, and Mikko H. Lipasti. Precise and Accurate Processor Simulation. In Proceedings of the Fifth Workshop on Computer Architecture Evaluation Using Commercial Workloads, pages 13--22, February 2002.]]"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/645461.654859"},{"key":"e_1_2_1_9_1","unstructured":"Free Software Foundation. GNU General Public License (GPL). http:\/\/www.gnu.org\/copyleft\/gpl.html.]]  Free Software Foundation. GNU General Public License (GPL). http:\/\/www.gnu.org\/copyleft\/gpl.html.]]"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2003.1196116"},{"key":"e_1_2_1_11_1","volume-title":"Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers","author":"Lamport Leslie","year":"2002","unstructured":"Leslie Lamport . Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers . Addison-Wesley , 2002 .]] Leslie Lamport. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley, 2002.]]"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/264107.264206"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/325164.325132"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.982916"},{"key":"e_1_2_1_15_1","unstructured":"Milo M. K. Martin et al. Protocol Specifications and Tables for Four Comparable MOESI Coherence Protocols: Token Coherence Snooping Directory and Hammer. http:\/\/www.cs.wisc.edu\/multifacet\/theses\/milo_martin_phd\/ 2003.]]  Milo M. K. Martin et al. Protocol Specifications and Tables for Four Comparable MOESI Coherence Protocols: Token Coherence Snooping Directory and Hammer. http:\/\/www.cs.wisc.edu\/multifacet\/theses\/milo_martin_phd\/ 2003.]]"},{"key":"e_1_2_1_16_1","volume-title":"Token Coherence: A New Framework for Shared-Memory Multiprocessors","author":"Martin Milo M. K.","year":"2003","unstructured":"Milo M. K. Martin , Mark D. Hill , and David A. Wood . Token Coherence: A New Framework for Shared-Memory Multiprocessors . IEEE Micro, 23(6), Nov\/Dec 2003 .]] Milo M. K. Martin, Mark D. Hill, and David A. Wood. Token Coherence: A New Framework for Shared-Memory Multiprocessors. IEEE Micro, 23(6), Nov\/Dec 2003.]]"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2005.17"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/511334.511349"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/572719.876330"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/88.473612"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1024393.1024420"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2002.1011412"},{"key":"e_1_2_1_24_1","unstructured":"Systems Performance Evaluation Cooperation. SPEC Benchmarks. http:\/\/www.spec.org.]]  Systems Performance Evaluation Cooperation. SPEC Benchmarks. http:\/\/www.spec.org.]]"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/54.57906"}],"container-title":["ACM SIGARCH Computer Architecture News"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1105734.1105747","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1105734.1105747","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:08:03Z","timestamp":1750262883000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1105734.1105747"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,11]]},"references-count":24,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2005,11]]}},"alternative-id":["10.1145\/1105734.1105747"],"URL":"https:\/\/doi.org\/10.1145\/1105734.1105747","relation":{},"ISSN":["0163-5964"],"issn-type":[{"value":"0163-5964","type":"print"}],"subject":[],"published":{"date-parts":[[2005,11]]},"assertion":[{"value":"2005-11-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}