Re: Do we really need virtual machines?

Tony Finch <dot@dotat.at>
9 Oct 2004 22:31:32 -0400

          From comp.compilers

Related articles
[3 earlier articles]
Re: Do we really need virtual machines? Juergen.Kahrs@vr-web.de (=?ISO-8859-1?Q?J=FCrgen_Kahrs?=) (2004-10-02)
Re: Do we really need virtual machines? basile-news@starynkevitch.net (Basile Starynkevitch \[news\]) (2004-10-04)
Re: Do we really need virtual machines? joanpujol@gmail.com (Joan Pujol) (2004-10-04)
Re: Do we really need virtual machines? samiam@moorecad.com (Scott Moore) (2004-10-04)
Re: Do we really need virtual machines? slimick@venango.upb.pitt.edu (John Slimick) (2004-10-04)
Re: Do we really need virtual machines? nmm1@cus.cam.ac.uk (2004-10-09)
Re: Do we really need virtual machines? dot@dotat.at (Tony Finch) (2004-10-09)
Re: Do we really need virtual machines? Nicola.Musatti@ObjectWay.it (2004-10-09)
Re: Do we really need virtual machines? danwang74@gmail.com (Daniel C. Wang) (2004-10-09)
Re: Do we really need virtual machines? gah@ugcs.caltech.edu (glen herrmannsfeldt) (2004-10-09)
Re: Do we really need virtual machines? david.boyle@ed.tadpole.com (2004-10-12)
Re: Do we really need virtual machines? anton@mips.complang.tuwien.ac.at (2004-10-17)
Re: Do we really need virtual machines? Colin_Paul_Gloster@ACM.org (Paul Colin Gloster) (2004-10-21)
[4 later articles]
| List of all articles for this month |

From: Tony Finch <dot@dotat.at>
Newsgroups: comp.compilers
Date: 9 Oct 2004 22:31:32 -0400
Organization: dotat labs
References: 04-10-013 04-10-026
Keywords: VM
Posted-Date: 09 Oct 2004 22:31:32 EDT

Dobes Vandermeer <dobes@dobesland.com> wrote:
>Nicola Musatti <Nicola.Musatti@ObjectWay.it> wrote:
>
>> After all, isn't gcc the most ported virtual machine of all?
>
>I think it's not a virtual machine; when the program is running, gcc
>is no longer running.


All languages require some kind of run time support. They also require
standard cross-module calling conventions. To some extent you can view
the combination of the run-time library and the stylized machine code
emitted by the compiler as a virtual machine. This view is made
explicit by a large proportion of functional programming language
compilers, where the technique is to compile the language to an
abstract virtual machine which can be compiled to efficient machine
code.


It's also worth considering the partial evaluation view of compilers,
where the run-time system is the residual part of the interpreter that
is left after it has been partially evaluated with respect to a
program.


Tony.
--
f.a.n.finch <dot@dotat.at> http://dotat.at/
LUNDY FASTNET IRISH SEA SHANNON: WEST OR SOUTHWEST 6 OR 7, OCCASIOANLLY GALE 8
AT FIRST IN LUNDY AND IRISH SEA, AND PERHAPS AGAIN LATER. RAIN OR SHOWERS.
MODERATE OR GOOD.


Post a followup to this message

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