SafeTSA

to get instant updates about 'SafeTSA' on your MyPage. Meet other similar minded people. Its Free!

X

All Updates

Description:

SafeTSA is a static single assignment form (SSA) intermediate representation capable of representing all of the type safety of the Java programming language and the standard Java Virtual Machine (JVM) byte-code.

As of 2005, many optimizing compilers (including just-in-time compilers used by JVMs) use SSA representations internally.A typical just-in-time compiler for a JVM converts JVM stack-machine byte-code into an internal static-single-assignment representation, performs optimizations, converts the SSA form to a low-level form similar to the host CPU's machine code, and performs some platform-specific optimizations before finally creating the native code that gets executed.SafeTSA is an external representation similar to these SSA internal representations, yet SafeTSA still provides the full type safety (including security verifiability at class load time) of standard JVM byte-code.In theory, this preserves the advatages of the JVM while decreasing the amount of work the JVM needs to do in order to efficiently execute programs.

The creators of SafeTSA modified the IBM JikesRVM (called the Jalapeño JVM at the time) so that it could use standard JVM byte-code and also a SafeTSA bytecode.They then ran a standard suite of Java benchmarks and published a paper showing that SafeTSA input produced faster running native code output from the just-in-time compiler.In addition, the researchers also showed that SafeTSA required less time to compile to native code.