skip to main content
10.1145/3341105.3374064acmconferencesArticle/Chapter ViewAbstractPublication PagessacConference Proceedingsconference-collections
poster

VIRA: a virtualization assisted deterministic system-level simulations

Published: 30 March 2020 Publication History

Abstract

In this paper, we propose an effective and practical virtualization-assisted (VIRA) approach for the annotation of synchronization points in hardware devices to reproduce deterministic system-level interactions. To achieve maximal efficiency, we leverage the existing hardware virtualization framework and utilize the trap mechanism for precise intercepts of system-level interactions with no need to check every data access. Additionally, the approach effectively uses the synchronization points to maintain deterministic chronological orders of system-level interactions. The experimental results show that the system-level interactions are simulated deterministically while running 58~625 times faster than a commercial functional system simulator.

References

[1]
Wu, M. H., Wang, P. C., Fu, C. Y., and Tsay, R. S. "A Distributed Timing Synchronization Technique for Parallel Multi-Core Instruction-Set Simulation." In ACM Transactions on Embedded Computing Systems. no. 54. 2013.
[2]
Bellard, F. "QEMU, a Fast and Portable Dynamic Translator." In USENIX Annual Technical Conference. pp. 41--46. 2005.
[3]
Chung, E. S., Nurvitadhi, E., Hoe, J. C., Falsafi, B., & Mai, K., "PROToFLEX: FPGA-accelerated hybrid functional simulator." In Parallel and Distributed Processing Symposium. pp. 1--6. 2007.
[4]
Chiou, D., Sunwoo, D., Kim, J., Patil, N. A., Reinhart, W., Johnson, D. E. & Angepat, H. "FPGA - accelerated simulation technologies (fast): Fast, full-system, cycle-accurate simulators." In Proceedings of the International Symposium on Microarchitecture. pp. 249--261. 2007.
[5]
Woo, S. C., Ohara, M., Torrie, E., Singh, J. P., & Gupta, A. "The SPLASH-2 programs: Characterization and methodological considerations." In ACM SIGARCH computer architecture news. pp. 24--36. 1995.
[6]
Kivity, A., Kamay, Y., Laor, D., Lublin, U., & Liguori, A. "kvm: the Linux virtual machine monitor." In Proceedings of the Linux Symposium. pp. 225--230. 2007.
[7]
Hong, D. Y., Hsu, C. C., Yew, P. C., Wu, J. J., Hsu, W. C., Liu, P., & Chung, Y. C. "HQEMU: a multi-threaded and retargetable dynamic binary translator on multicores." In Proceedings of the Tenth International Symposium on Code Generation and Optimization pp. 104--113. 2012.
[8]
Sandberg, A., Nikoleris, N., Carlson, T. E., Hagersten, E., Kaxiras, S., & Black-Schaffer, D. "Full speed ahead: Detailed architectural simulation at near-native speed." In Workload Characterization International Symposium. pp. 183--192. 2015.
[9]
Fan-Wei Yu, Bo-Han Zeng, Yu-Hung Huang, Hsin-I Wu, Che-Rung Lee and Ren-Song Tsay "A Critical-Section-Level Timing Synchronization Approach for Deterministic Multi-Core Instruction-Set Simulations," In Design, Automation and Test in Europe Conference and Exhibition. 2013
[10]
Wu, M. H., Wang, P. C., Fu, C. Y., and Tsay, R. S.," A Distributed Timing Synchronization Technique for Parallel Multi-Core Instruction-Set Simulation". In ACM Transactions on Embedded Computing Systems. 2013.
[11]
Iqbal, S. M. Z., Liang, Y., & Grahn, H., "Parmibench-an open-source benchmark for embedded multiprocessor systems". In IEEE Computer Architecture Letters, 9(2), pp. 45--48. 2010//G. Eason, B. Noble, and I. N. Sneddon, "On certain integrals of Lipschitz-Hankel type involving products of Bessel functions," Phil. Trans. Roy. Soc. London, vol. A247, pp. 529--551, April 1955. (references)
[12]
Karandikar, S., Mao, H., Kim, D., Biancolin, D., Amid, A., Lee, D., & Huang, Q., "FireSim: FPGA-accelerated cycle-exact scale-out system simulation in the public cloud". In Proceedings of the 45th Annual International Symposium on Computer Architecture, pp. 29--42. 2018

Index Terms

  1. VIRA: a virtualization assisted deterministic system-level simulations
        Index terms have been assigned to the content through auto-classification.

        Recommendations

        Comments

        Information & Contributors

        Information

        Published In

        cover image ACM Conferences
        SAC '20: Proceedings of the 35th Annual ACM Symposium on Applied Computing
        March 2020
        2348 pages
        ISBN:9781450368667
        DOI:10.1145/3341105
        Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

        Sponsors

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        Published: 30 March 2020

        Check for updates

        Qualifiers

        • Poster

        Conference

        SAC '20
        Sponsor:
        SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing
        March 30 - April 3, 2020
        Brno, Czech Republic

        Acceptance Rates

        Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

        Upcoming Conference

        SAC '25
        The 40th ACM/SIGAPP Symposium on Applied Computing
        March 31 - April 4, 2025
        Catania , Italy

        Contributors

        Other Metrics

        Bibliometrics & Citations

        Bibliometrics

        Article Metrics

        • 0
          Total Citations
        • 93
          Total Downloads
        • Downloads (Last 12 months)3
        • Downloads (Last 6 weeks)0
        Reflects downloads up to 17 Feb 2025

        Other Metrics

        Citations

        View Options

        Login options

        View options

        PDF

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader

        Figures

        Tables

        Media

        Share

        Share

        Share this Publication link

        Share on social media