This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages) A major contributor to this article appears to have a close connection with its subject. It may require cleanup to comply with Wikipedia's content policies, particularly neutral point of view. Please discuss further on the talk page. (January 2016) (Learn how and when to remove this template message) The topic of this article may not meet Wikipedia's notability guidelines for products and services. Please help to demonstrate the notability of the topic by citing reliable secondary sources that are independent of the topic and provide significant coverage of it beyond a mere trivial mention. If notability cannot be shown, the article is likely to be merged, redirected, or deleted.Find sources: "Da Vinci Machine" – news · newspapers · books · scholar · JSTOR (January 2016) (Learn how and when to remove this template message) This article needs to be updated. Please help update this article to reflect recent events or newly available information. (May 2012) (Learn how and when to remove this template message)
Multi Language Virtual Machine
Developer(s)Sun Microsystems
Operating systemCross-platform
TypeLibrary
LicenseGPL+linking exception
Websiteopenjdk.java.net/projects/mlvm/

The Da Vinci Machine, also called the Multi Language Virtual Machine, was a Sun Microsystems project aiming to prototype the extension of the Java Virtual Machine (JVM) to add support for dynamic languages.

It was already possible to run dynamic languages on top of the JVM, but the goal is to ease new dynamic language implementations and increase their performance. This project was the reference implementation of JSR 292 (Supporting Dynamically Typed Languages on the Java Platform).[1]

History

Prior to Java 7, the Java Virtual Machine had no built-in support for dynamically typed languages:

JSR 292 (Supporting Dynamically Typed Languages on the Java Platform)[1] proposes to:

Following the success of the JRuby Java implementation, the Da Vinci project was started at the end of January 2008.[6] The capabilities experimented by Da Vinci were planned to be added to Java 7. It aims to prototype this JSR, but also other lower-priority extensions.[7] The first working prototype, developed as a patch on OpenJDK, was announced and made available on end of August 2008.[8][9][10]

Since then, the JRuby team has successfully wired dynamic invocation in their codebase. Dynamic invocation shipped with the 1.1.5 release, and will be disabled on JVMs without invokedynamic capabilities.[11]

Since then, the project has been integrated in the JDK 7 codebase[12] and then integrated in the Java 7 release.

Architecture

Dynamic invocation is built on the fact that, even if Java is a strongly static language at the language level, the type information is much less prevalent at the bytecode level.

However, dynamic languages implementations need to be able to use just-in-time compilation (rather than reflection) to achieve good performance, and so to compile scripts to bytecode at runtime.[citation needed] To be allowed to be run by the Java Virtual Machine, these bytecodes must be verified prior to the execution, and the verifier check that the types are static throughout the code. It leads to these implementations having to create many different bytecodes for the different contexts of a method call, each time the signature of the arguments change.

This not only uses a lot of memory, but also fills a memory area called Metaspace (Permanent Generation prior to Java 8), a part of the heap used by the JVM to store information about classes. Memory used in this area is almost never garbage collected because it stores immutable data in the context of Java programs; and because of that, dynamic languages implementations can only compile a small part of the scripts.[13]

JSR 292 proposes to:

See also

References

  1. ^ a b see JSR 292
  2. ^ Nutter, Charles (2007-01-03). "InvokeDynamic: Actually Useful?". Retrieved 2008-02-06.
  3. ^ a b Ed Ort (July 2009). "New JDK 7 Feature: Support for Dynamically Typed Languages in the Java Virtual Machine". Retrieved 2009-07-26.
  4. ^ Jeff Friesen (2014-12-16). "How To Invokedynamic". JavaWorld. Retrieved 2020-06-10.
  5. ^ Rafael Winterhalter (2015-03-02). "Dismantling invokedynamic". dzone.com. Retrieved 2020-06-10.
  6. ^ Krill, Paul (2008-01-31). "Sun's Da Vinci Machine broadens JVM coverage". Archived from the original on 2009-03-28. Retrieved 2008-02-06.
  7. ^ "Sub-Projects and Investigations". Sun Microsystems. 2007. Retrieved 2008-02-06.
  8. ^ Rose, John (2008-08-26). "Happy International Invokedynamic Day!". Archived from the original on 2008-09-03. Retrieved 2008-09-03.
  9. ^ Rose, John (2008-09-02). "Happy International Invokedynamic Day!". Retrieved 2008-09-07.
  10. ^ Lorimer, R.J. (2008-09-01). "Dynamic Invocation Runs on OpenJDK". infoq.com. Retrieved 2008-09-03.
  11. ^ Nutter, Charles (2008-09-11). "A First Taste of InvokeDynamic". Retrieved 2008-09-13. I managed to successfully wire InvokeDynamic directly into JRuby's dispatch process! Such excitement! The code is already in JRuby's trunk, and will ship with JRuby 1.1.5 (though it obviously will be disabled on JVMs without InvokeDynamic).
  12. ^ Rose, John (2009-04-22). "progress: indy.patch -> JDK7". Retrieved 2009-04-30. The majority of indy.patch has entered the JDK7 VM at my workgroup's integration repo, today at about 4:00AM PDT:
  13. ^ Nutter, Charles (2008-09-11). "A First Taste of InvokeDynamic". Retrieved 2008-02-06. The dirty secret of several JVM implementations, Hotspot included, is that there's a separate heap (or a separate generation of the heap) used for special types of data like class definitions, class metadata, and sometimes bytecode or JITted native code. And it couldn't have a scarier name: The Permanent Generation. Except in rare cases, objects loaded into the PermGen are never garbage collected (because they're supposed to be permanent, get it?) and if not used very, very carefully, it will fill up(...)

External links

Categories