SUPPORTING DYNAMIC BEHAVIOR IN STATICALLY COMPILED PROGRAMS

摘要

Support for dynamic behavior is provided during static compilation while reducing reliance on JIT compilation and large runtimes. A mapping is created between metadata and native code runtime artifacts, such as between type definition metadata and a runtime type description, or between method definition metadata, a runtime type description, and a native code method location, or field definition metadata, a runtime type description, and a field location. A mapping between runtime artifacts may also be created. Some compilation results include trampoline code to support a reflection invocation of an artifact in the reduced runtime support environment, for virtual method calls, call-time bounds checking, calling convention conversion, or compiler-intrinsic methods. Some results support runtime diagnostics by including certain metadata even when full dynamic behavior is not supported.

主权项

1. A software compilation process for supporting dynamic behavior of a statically compiled computer program in a reduced runtime support environment, the process comprising the steps of:
receiving a runtime behavior characteristics description that specifies whether certain metadata are to be included within an execution scope of the computer program; obtaining a copy of some metadata which are within the execution scope of the computer program according to the runtime behavior characteristics description; and creating a mapping between at least a portion of the obtained metadata and at least one native code runtime artifact generated during a static ahead-of-time compilation of the computer program.