short-paper

Building debuggers and other tools: we can "have it all"

Author:

Michael L. Van De VanterAuthors Info & Claims

ICOOOLPS '15: Proceedings of the 10th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems

Article No.: 2, Pages 1 - 3

https://doi.org/10.1145/2843915.2843917

Published: 04 July 2015 Publication History

Get Access

Abstract

Software development tools that "instrument" running programs, notably debuggers, are presumed to demand difficult tradeoffs among performance, functionality, implementation complexity, and user convenience. A fundamental change in our thinking about such tools makes that presumption obsolete.

By building instrumentation directly into the core of a high-performance language implementation framework, tool-support can be always on, with confidence that optimization will apply uniformly to instrumentation and result in near zero overhead. Tools can be always available (and fast), not only for end user programmers, but also for language implementors throughout development.

References

[1]

Gilles Duboscq, Thomas Würthinger, and Hanspeter Mössenböck. Speculation without regret: reducing deoptimization meta-data in the Graal compiler. In Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java platform: Virtual machines, Languages, and Tools (PPPJ '14). ACM, New York, NY, USA, 187--193.

Digital Library

Google Scholar

[2]

Michael Haupt and Hans Schippers. A Machine model for Aspect-Oriented Programming. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP) 2007. Lecture Notes in Computer Science Volume 4609, 2007, pp 501--524, Springer Verlag.

Digital Library

Google Scholar

[3]

Urs Hölzle, Craig Chambers, and David Ungar. Debugging Optimized Code with Dynamic Deoptimization. In Proceedings of the ACM SIGPLAN '92 Conference on Programming Language Design and Implementation, 1992.

Digital Library

Google Scholar

[4]

Ricky Lindeman, Lennart CL Kats, and Eelco Visser. Declaratively defining domain-specific language debuggers. In ACM SIGPLAN Notices. Vol. 47. No. 3. ACM, 2011.

Digital Library

Google Scholar

[5]

Sukyoung Ryu and Norman Ramsey. Source-Level debugging for multiple languages with modest programming effort. Proceedings of the 14th international conference on Compiler Construction. Springer-Verlag, 2005.

Digital Library

Google Scholar

[6]

Chris Seaton, Michael L. Van De Vanter, and Michael Haupt. Debugging at Full Speed. In Proceedings Workshop on Dynamic Languages and Applications DYLA '14. Edinburgh, (June 2014)

Digital Library

Google Scholar

[7]

Michael L. Van De Vanter. The Documentary Structure of Source Code. Information and Software Technology, Volume 44, Issue 13, 1 October 2002, pp. 767--782.

Crossref

Google Scholar

[8]

Michael L. Van De Vanter, Chris Seaton, Michael Haupt, Thomas Würthinger, and David Leibs. A Flexible, High-Performance, Multi-Language Instrumentation Framework. In Preparation 2015.

Google Scholar

[9]

Christian Wimmer, Michael Haupt, Michael L. Van De Vanter, Mick Jordan, Laurent Daynès, and Douglas Simon. Maxine: An approachable virtual machine for, and in, Java. ACM Transactions on Architecture and Code Optimization 9, 4, Article 30 (January 2013).

Digital Library

Google Scholar

[10]

Hui Wu, Jeff Gray, and Marjan Mernik. Grammar--driven generation of domain-specific language debuggers. Software: Practice and Experience 38.10 (2008): 1073--1103.

Digital Library

Google Scholar

[11]

Thomas Würthinger, Christian Wimmer, Andreas Wöß, Lukas Stadler, Gilles Duboscq, Christian Humer, Gregor Richards, Doug Simon, Mario Wolczko. One VM to Rule Them All. In Proceedings of Onward!, ACM Press, 2013.

Digital Library

Google Scholar

Cited By

View all

Salim SNisbet ALuján MNagarakatte SBaumann AKasikci B(2020)TruffleWasmProceedings of the 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments10.1145/3381052.3381325(88-100)Online publication date: 17-Mar-2020
https://dl.acm.org/doi/10.1145/3381052.3381325
Stolpe DFelgentreff THumer CNiephaus FHirschfeld RMarr SFumero J(2019)Language-independent development environment support for dynamic runtimesProceedings of the 15th ACM SIGPLAN International Symposium on Dynamic Languages10.1145/3359619.3359746(80-90)Online publication date: 20-Oct-2019
https://dl.acm.org/doi/10.1145/3359619.3359746
Sun HBonetta DHumer CBinder WDubach CXue J(2018)Efficient dynamic analysis for Node.jsProceedings of the 27th International Conference on Compiler Construction10.1145/3178372.3179527(196-206)Online publication date: 24-Feb-2018
https://dl.acm.org/doi/10.1145/3178372.3179527
Show More Cited By

Index Terms

Building debuggers and other tools: we can "have it all"
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
        Software testing and debugging
  2. Software notations and tools
    1. Compilers
      1. Interpreters
      2. Runtime environments

Recommendations

High-performance cross-language interoperability in a multi-language runtime
DLS 2015: Proceedings of the 11th Symposium on Dynamic Languages

Programmers combine different programming languages because it allows them to use the most suitable language for a given problem, to gradually migrate existing projects from one language to another, or to reuse existing source code. However, existing ...
Declaratively defining domain-specific language debuggers
GCPE '11

Tool support is vital to the effectiveness of domain-specific languages. With language workbenches, domain-specific languages and their tool support can be generated from a combined, high-level specification. This paper shows how such a specification ...
Declaratively defining domain-specific language debuggers
GPCE '11: Proceedings of the 10th ACM international conference on Generative programming and component engineering

Tool support is vital to the effectiveness of domain-specific languages. With language workbenches, domain-specific languages and their tool support can be generated from a combined, high-level specification. This paper shows how such a specification ...

Comments

Information & Contributors

Information

Published In

ICOOOLPS '15: Proceedings of the 10th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems

July 2015

51 pages

ISBN:9781450336574

DOI:10.1145/2843915

Conference Chairs:
Floréal Morandat
Enseirb-Matmeca
,
Olivier Zendra
INRIA / LORIA

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 ACM 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]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 04 July 2015

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Short-paper

Conference

ECOOP '15

ECOOP '15: European Conference on Object-Oriented Programming ECOOP 2015

July 4 - 10, 2015

Prague, Czech Republic

Acceptance Rates

Overall Acceptance Rate 11 of 14 submissions, 79%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

9
Total Citations
View Citations
123
Total Downloads

Downloads (Last 12 months)5
Downloads (Last 6 weeks)0

Reflects downloads up to 12 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Salim SNisbet ALuján MNagarakatte SBaumann AKasikci B(2020)TruffleWasmProceedings of the 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments10.1145/3381052.3381325(88-100)Online publication date: 17-Mar-2020
https://dl.acm.org/doi/10.1145/3381052.3381325
Stolpe DFelgentreff THumer CNiephaus FHirschfeld RMarr SFumero J(2019)Language-independent development environment support for dynamic runtimesProceedings of the 15th ACM SIGPLAN International Symposium on Dynamic Languages10.1145/3359619.3359746(80-90)Online publication date: 20-Oct-2019
https://dl.acm.org/doi/10.1145/3359619.3359746
Sun HBonetta DHumer CBinder WDubach CXue J(2018)Efficient dynamic analysis for Node.jsProceedings of the 27th International Conference on Compiler Construction10.1145/3178372.3179527(196-206)Online publication date: 24-Feb-2018
https://dl.acm.org/doi/10.1145/3178372.3179527
Marr STorres Lopez CAumayr DGonzalez Boix EMössenböck H(2017)A concurrency-agnostic protocol for multi-paradigm concurrent debugging toolsACM SIGPLAN Notices10.1145/3170472.313384252:11(3-14)Online publication date: 24-Oct-2017
https://dl.acm.org/doi/10.1145/3170472.3133842
Würthinger TWimmer CHumer CWöß AStadler LSeaton CDuboscq GSimon DGrimmer M(2017)Practical partial evaluation for high-performance dynamic language runtimesACM SIGPLAN Notices10.1145/3140587.306238152:6(662-676)Online publication date: 14-Jun-2017
https://dl.acm.org/doi/10.1145/3140587.3062381
Marr STorres Lopez CAumayr DGonzalez Boix EMössenböck HAncona D(2017)A concurrency-agnostic protocol for multi-paradigm concurrent debugging toolsProceedings of the 13th ACM SIGPLAN International Symposium on on Dynamic Languages10.1145/3133841.3133842(3-14)Online publication date: 24-Oct-2017
https://dl.acm.org/doi/10.1145/3133841.3133842
Niephaus FFelgentreff TPape THirschfeld R(2017)Squeak Makes a Good Python DebuggerCompanion Proceedings of the 1st International Conference on the Art, Science, and Engineering of Programming10.1145/3079368.3079402(1-8)Online publication date: 3-Apr-2017
https://dl.acm.org/doi/10.1145/3079368.3079402
Würthinger TWimmer CHumer CWöß AStadler LSeaton CDuboscq GSimon DGrimmer MCohen AVechev M(2017)Practical partial evaluation for high-performance dynamic language runtimesProceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/3062341.3062381(662-676)Online publication date: 14-Jun-2017
https://dl.acm.org/doi/10.1145/3062341.3062381
Azadmanesh MHauswirth MVan De Vanter MScanniello GLo DSerebrenik A(2017)Language-independent information flow tracking engine for program comprehension toolsProceedings of the 25th International Conference on Program Comprehension10.1109/ICPC.2017.5(346-355)Online publication date: 20-May-2017
https://dl.acm.org/doi/10.1109/ICPC.2017.5

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

High-performance cross-language interoperability in a multi-language runtime

Declaratively defining domain-specific language debuggers

Declaratively defining domain-specific language debuggers