Mobile Code for Computers

Background: The Java Virtual Machine's byte-code format (JVM-code) has become the de facto standard for transporting mobile code across the Internet. However, it is generally acknowledged that JVM-code is far from being an ideal mobile code representation - a considerable amount of preprocessing is required to convert JVM-code into a representation more amenable to an optimizing compiler, and in a dynamic compilation context, this preprocessing takes place while the user is waiting. Further, due to the need to verify the code's safety upon arrival at the target machine, and also due to the specific semantics of JVM's particular security scheme, many possible optimizations cannot be performed in the source-to-JVM-code-compiler, but can only be done at the evetual target machine (or at least it would be very cumbersome to perform at the code producer's site). Technology: We introduce a type-safe mobile code representation based on static single assignment form. This software is to be seen as an alternative to the JVM, over which it has several advantages: (1) it is better suited as input to optimizing dynamic code generators and allows CSE to be performed at the code producer's site; (2) it provides incorruptible referential integrity and uses "type seperation" to achieve intrinsic type safety (these properties reduce the code verification effort at the code consumer's site considerably); and (3) it can transport the results of type and bounds-check elimination in a tamper-proof manner. Despite these advantages, it is more compact than JVM-code.

Type of Offer: Licensing



Next Patent »
« More Software Patents

Share on      


CrowdSell Your Patent