Re: On-the-fly compilation from VM code to machine code

hbaker@netcom.com (Henry G. Baker) writes:


>>[re compiling on the fly to RISC code]
>>The problem with this is that you can't optimize RISC code "on the fly".
> ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
>>The efficiency of the code generated would be little better than what you
>>could do with an interpreter.


>On the contrary, compilation 'on-the-fly' offers optimizations not
>possible with static compilation. [...]
>Craig Chambers at the U. of Washington has been
>doing this for quite some time with SELF, and this tradition goes back at
>least to Peter Deutsch's Smalltalk compilers.


SELF's use of dynamic context has much increased since Craig's thesis;
the current system extensively uses dynamic type information to
optimize code. See e.g.


%0 Conference Proceedings
%A Hoelzle, Urs
%A Ungar, David
%D 1994
%T Optimizing Dynamically-Dispatched Calls with Run-Time Type Feedback
%B PLDI'94
%C Orlando, FL
%P 326-336
%8 June 1994


(http://self.stanford.edu has all the Self papers / theses.)


-Urs


----------------------------------------------------------------------------
Urs Hoelzle urs@cs.stanford.EDU
Computer Systems Laboratory, CIS 57, Stanford University, Stanford, CA 94305
--

Return to the comp.compilers page.
Search the comp.compilers archives again.