Miscellaneous Concepts of .NET – Part 2
page 4 of 13
by Uday Denduluri
Feedback
Average Rating: This article has not yet been rated.
Views (Total / Last 10 Days): 48716/ 84

Verification Process of JIT Compilation

As a part of JIT compilation the verification process is defined as the process to verify if the code is Type safe. This means that it only accesses the memory locations it is authorized to access. Code that is proven during verification to be type-safe is called verifiably type-safe code. Code can be type-safe, yet not be verifiably type-safe due to the limitations of the verification process or of the compiler. For some languages like Visual C++ the type safe managed code is not available. We can call this as type safe code and not verifiably type safe code.

These are the some of the verifications that are checked for during the verification process:

·         A reference to a type is strictly compatible with the type being referenced.

·         Only appropriately defined operations are invoked on an object.

·         Identities are what they claim to be.


View Entire Article

User Comments

No comments posted yet.

Product Spotlight
Product Spotlight 





Community Advice: ASP | SQL | XML | Regular Expressions | Windows


©Copyright 1998-2024 ASPAlliance.com  |  Page Processed at 2024-03-28 3:04:32 PM  AspAlliance Recent Articles RSS Feed
About ASPAlliance | Newsgroups | Advertise | Authors | Email Lists | Feedback | Link To Us | Privacy | Search