Languages and Managed Runtimes
A student completing this course unit should be able to:
- Compare and use different common constructs in modern programming languages, mapping different programming paradigms, and their support in the execution environment.
- Understand the main constituents of managed runtimes, and know how to compare different type systems approaches in these environments.
- Use runtime metadata (reflection) to examine types and use metaprogramming to analyze and transform programs at runtime.
- Analyze the performance of managed programs and efficiently use automatic memory management support (garbage collection).
- Main constructions of languages supported in managed runtimes, and their contextualization in different programming paradigms, using as main case study the Java Virtual Machine (JVM).
- Main constituents of managed runtimes, namely: class loader, verifier, just-in-time compiler, metadata and memory management.
- Comparison of type systems for managed runtimes regarding: equivalence rules, compatibility and inference.
- Java reflection API and metaprogramming case studies in software development.
- Execution stack model and records. Analysis of the main Java bytecode instructions supported by tools for structural reflection (e.g. ASM, Javassist).
- Introduction to the performance analysis of programs written in Java, and the use of monitoring tools for the JVM (e.g. jconsole).
- Introduction to garbage collection algorithms in the JVM.
This course identifies the main problems solved by runtimes for high-level languages and the support they provide for application development. In particular, it analyzes constructions available in high-level languages and their type systems, using Java as the main case study.
The consistency between the syllabus and the objectives of the course is as follows:
- Objective 1 is achieved through contents I and III;
- Objective 2 is achieved through contents II, III, and IV;
- The contents IV and V contribute to objective 3;
- The contents V, VI and VII aim to achieve objective 4.
“Optimizing Java: Practical Techniques for Improving JVM Application Performance” by Chris Newland, James Gough, Benjamin J Evans. Released April 2018. Publisher(s): O’Reilly Media, Inc. ISBN: 9781492039259.
“Programming Language Pragmatics” Michael L. Scott, 2015. Publisher(s): Morgan Kaufmann Publishers.
“The Java Virtual Machine Specification” Java SE 12 Edition” by Tim Lindholm, Frank Yellin, Gilad Bracha, and Alex Buckley. Released February 2019. Publisher(s): Oracle America, Inc.