skip to main content
10.1145/2811237.2811295acmotherconferencesArticle/Chapter ViewAbstractPublication PagesiwstConference Proceedingsconference-collections
research-article

Live Introspection of Target-Agnostic JIT in Simulation

Published: 15 July 2015 Publication History

Abstract

A debugging system is described wherein an outer Smalltalk running on a real machine interacts with a GEM5 simulation of an inner Smalltalk. An experimental embodiment is applied towards understanding the behavior of a target-agnostic JIT prototype.

References

[1]
D. Aarno, J. Engblom. Software and System Development Using Virtual Platforms. Elsevier, 2015.
[2]
A. V. Aho, S. C. Johnson. Optimal Code Generation for Expression Trees. J.ACM, Vol. 23, No. 3, 1976.
[3]
A. V. Aho, M. Ganapathi, S. Tjiang. Code Generation Using Tree Matching and Dynamic Programming. ACM Transactions on Programming Languages and Systems, 1989.
[4]
M. Arnold, M. Hind, B Ryder. An Empirical Study of Selective Optimization. 13th International Workshop on Languages and Compilers for Parallel Computing.
[5]
R. Auler, P. C. Centoducatte, E. Borin. ACCGen: An Automatic ArchC Compiler Generator. 24th International Symposium on Computer Architecture and High Performance Computing, New York, USA, 2012.
[6]
R. Azevedo, et al. The ArchC Architecture Description Language. International Journal of Parallel Computing, 33(5): 453--484, October 2005.
[7]
J. Bastian, S. Onder. Specification of Intel IA-32 Using an Architecture Description Language. IFIP TC-2 Workshop on Architecture Description Languages (WADL), Toulouse, France, 2004.
[8]
J. A. Bergstra, J. W. Klop. Conditional Rewrite Rules: Confluence and Termination. Journal of Computer and System Sciences 32, 323--362 (1986)
[9]
I. Bilicki, et al. Cache Line Reservation: Exploring a Scheme for Cache-Friendly Object Allocation. Proceedings of the 2009 conference of the Centre for Advanced Studies on Collaborative Research.
[10]
N. L. Binkert, et al. The M5 Simulator: Modeling Networked Systems. IEEE Micro, Vol. 26, Issue 4, 2006.
[11]
M. Bravenboer, E. Visser. Rewriting Strategies for Instruction Selection. Proceedings of the 13th International Conference on Rewriting Techniques and Applications. Springer, 2002.
[12]
A. Butko, R. Garibotti, L. Ost, G. Sassatelli. Accuracy evaluation of GEM5 simulator system. IEEE, 7th International Workshop on Reconfigurable Communication-centric Systems-on-Chip, 2012.
[13]
R. G. Cattell. Automatic Derivation of Code Generators from Machine Descriptions. ACM TOPLAS, Vol. 2, Issue 2, April 1980.
[14]
M. H. M. Cheng, M. H. van Emden, D. Stott Parker. A Method for Implementing Equational Theories as Logic Programs.
[15]
L. P. Deutsch, A. M. Schiffman. Efficient Implementation of the Smalltalk-80 System. ACM, 1983.
[16]
M. Ganapathi, C. N. Fischer. Affix Grammar Driven Code Generation. ACM, 1985.
[17]
M. Hohenauer, R. Leupers. C Compilers for ASIPs. Springer, 2010.
[18]
F. A. Endo, D. Courouss, H.-P. Charles. Micro-architectural simulation of embedded core heterogeneity with gem5 and McPAT. Proceedings of the 2015 Workshop on Rapid Simulation and Performance Evaluation. ACM, New York, 2015.
[19]
F. A. Endo, D. Courouss, H.-P. Charles. Micro-architectural simulation of in-order and out-of-order ARM microprocessors with gem5. IEEE, 2014 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV).
[20]
J. Fridstrom, A. Jacques, K. Kilpela, J. Sarkela. Testing Modtalk. Lecture Notes in Business Information Processing, Agile Processes, in Software Engineering, and Extreme Programming --- 16th International Conference, XP 2015 Helsinki, Finland, 2015.
[21]
D. E. Knuth, P. B. Bendix. Simple word problems in universal algebras. In: Computational problems in abstract algebra. Pergamon, 1970.
[22]
R. Leupers, P. Marwedel. Retargetable Code Generation Based on Structural Processor Descriptions. Kluwer, 1998.
[23]
R. Leupers, O. Temam (eds.) Processor and System-on-Chip Simulation. Springer, 2010.
[24]
P. Magnusson, B. Werner. Efficient Memory Simulation in Simics. Proceedings of the 28th Annual Simulation Symposium. IEEE, Phoenix, Arizona, USA, April 1995.
[25]
M. M. K. Martin, et al. Multifacet's General Execution-driven Multiprocessor Simulator (GEMS) Toolset. ACM SIGARCH Computer Architecture News, Vol. 33, No. 4, September 2005.
[26]
P. Marwedel, R. Leupers. Instruction Set Extraction from Programmable Structures. European Design Automation Conference, Grenoble, France, 1994.
[27]
C. J. Mauer, M. D. Hill, D. A. Wood. Full-System Timing-First Simulation. Proceedings of the ACM Sigmetrics Conference on Measurement and Modeling of Computer Systems. 2002.
[28]
E. Miranda. The Cog Blog. http://www.mirandabanda.org/cogblog
[29]
E. Miranda. VisualWorks Threaded Interconnect. Smalltalk Solutions, New York, USA, 1999.
[30]
E. Miranda. Context Management in VisualWorks 5i. OOPSLA, Denver, Colorado, USA, 1999.
[31]
P. Mishra, N. Dutt (eds.) Processor Description Languages. Applications and Methodologies. Morgan Kaufmann Publishers, 2008.
[32]
D. Stott Parker, M. H. M. Cheng, M. H. van Emden. A Prolog Technology Term Rewriter.
[33]
D. Patterson. Future of Computer Architecture. Berkeley EECS Annual Research Symposium, 2006, Berkeley, California, USA
[34]
J. B. Rosenberg. How Debuggers Work: Algorithms, Data Structures, and Architecture. Wiley Computer Publishing, 1996.
[35]
S. H. Nikounia, S. Mohammadi. Gem5v: a modified gem5 for simulating virtualized systems. Springer, The Journal of Supercomputing, Vol. 71, Issue 4, 2015.
[36]
R. N. Sanchez, et al. Using Machines to Learn Method-Specific Compilation Strategies. CGO'2011.
[37]
B. Shingarov. Towards a Smalltalk VM for the 21st Century. 21st International Smalltalk Conference, Annecy, France, 2013.
[38]
B. Shingarov. Modern Problems for the Smalltalk VM. International Workshop on Smalltalk Technologies, Cambridge, UK, 2014.
[39]
B. Shingarov. The Synthesis of Target-Agnostic JIT. 8th Smalltalks --- Argentina Conference, Córdoba, 2014.
[40]
K. Vaswani, et al. Microarchitecture Sensitive Empirical Models for Compiler Optimizations. IEEE, International Symposium on Code Generation and Optimization, 2007.
[41]
G. Wright et al. Introspection of a Java Virtual Machine under Simulation. SMLI TR-2006-159, Sun Microsystems, Calif., USA, 2006.
[42]
G. Zimmermann. The MIMOLA design system: a computer aided digital processor design method. ACM, 1988.

Cited By

View all
  • (2017)Programming a Smalltalk VM in CoqProceedings of the 12th edition of the International Workshop on Smalltalk Technologies10.1145/3139903.3139905(1-8)Online publication date: 4-Sep-2017
  • (2017)MaxSim: A simulation platform for managed applications2017 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS)10.1109/ISPASS.2017.7975286(141-152)Online publication date: Apr-2017

Index Terms

  1. Live Introspection of Target-Agnostic JIT in Simulation

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Other conferences
    IWST '15: Proceedings of the International Workshop on Smalltalk Technologies
    July 2015
    79 pages
    ISBN:9781450338578
    DOI:10.1145/2811237
    • Program Chairs:
    • Jannik Laval,
    • Anne Etien
    Permission to make digital or hard copies of all or part 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 components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

    In-Cooperation

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 15 July 2015

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. Full-System Simulation
    2. GDB Remote Serial Protocol
    3. GEM5
    4. Liveness
    5. Processor Description Language
    6. Retargetable Compiler
    7. Smalltalk Virtual Machine
    8. Unification

    Qualifiers

    • Research-article
    • Research
    • Refereed limited

    Conference

    IWST '15

    Acceptance Rates

    Overall Acceptance Rate 25 of 27 submissions, 93%

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)0
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 11 Feb 2025

    Other Metrics

    Citations

    Cited By

    View all
    • (2017)Programming a Smalltalk VM in CoqProceedings of the 12th edition of the International Workshop on Smalltalk Technologies10.1145/3139903.3139905(1-8)Online publication date: 4-Sep-2017
    • (2017)MaxSim: A simulation platform for managed applications2017 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS)10.1109/ISPASS.2017.7975286(141-152)Online publication date: Apr-2017

    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