patchDotGNU Portable.NET - Patches: patch #5517, Make IL verifier optional

 
 

You are not allowed to post comments on this tracker with your current authentication level.

patch #5517: Make IL verifier optional

Submitter:  Roman I Khimov <roman_khimov>
Submitted:  Thu 02 Nov 2006 07:04:46 PM UTC
   
 
Category:  None Priority:  3 - Low
Status:  Invalid Privacy:  Public
Assigned to:  None Open/Closed:  Closed

Fri 03 Nov 2006 08:14:26 AM UTC, comment #5: 

Closing patch.

Gopal.V <t3rmin4t0r>
Group administrator
Fri 03 Nov 2006 07:44:30 AM UTC, comment #4: 

OK, thanks. I'll try to learn more from sources...

Roman I Khimov <roman_khimov>
Fri 03 Nov 2006 07:18:01 AM UTC, comment #3: 

The code generation needs to identify the type of stack slots (i.e int, float, etc...) to generate appropriate code for it. This data is obtained during the verification phase.

The coder calls are made from inside the verifier (JIT and CVM), which makes the verifier a really really important bit of code.

Gopal.V <t3rmin4t0r>
Group administrator
Thu 02 Nov 2006 08:38:23 PM UTC, comment #2: 

OK, I've only started playing with Portable.NET, so I don't know engine internal good enough, sorry for that.

But what exact parts of code generation verifier is doing apart from inlining some methods? Is there any real verification at all and can it be disabled?

I'm trying to port Portable.NET to a very resource-constrained device, so I need to shave every possible bit off of it...

Roman I Khimov <roman_khimov>
Thu 02 Nov 2006 08:19:19 PM UTC, comment #1: 

This is not possible because the whole code generation is triggered through the verification process too.
This means: there will be no executable code without verfier.

Klaus Treichel <ktreichel>
Group administrator
Thu 02 Nov 2006 07:04:46 PM UTC, original submission:  

This patch introduces new configure option for pnet, "--without-verifier". It allows one to build pnet engine without verificator, that might be useful for very stricted environments. If I uderstand ECMA-335 correctly, such environment is still standard compliant.

Roman I Khimov <roman_khimov>

 

(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

Attached Files

 

Depends on the following items: None found

Items that depend on this one: None found

 

CC list is empty

 

There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.

 

Follow 3 latest changes.

Date Changed by Updated Field Previous Value => Replaced by
2006-11-03 t3rmin4t0r StatusNone Invalid
    Open/ClosedOpen Closed
2006-11-02 roman_khimov Attached File- Added make_verifier_optional.patch, #11143

Back to the top

Powered by Savane 3.13-4b48.
Corresponding source code