llvm dev - Feb 2009 - [LLVMdev] OCaml Journal article: Building a Virtual Machine with LLVM

Following on from the success of our previous OCaml Journal articles covering 
LLVM, we have begun a series dedicated to the design and implementation of 
high-level languages using LLVM. In particular, these new articles are more 
pragmatic in nature and go beyond describing working compilers to also 
discuss testing, debugging and the performance of LLVM-based compilers.

The first article in this new series has just been published:

http://ocamlnews.blogspot.com/2009/01/building-virtual-machine-using-llvm.html

This article describes a basic design for a High-Level Virtual Machine (HLVM) 
and walks through a core implementation written in OCaml that can JIT compile 
functions from a simple language (with unit, bool, int, float and array 
types) to optimized native code and execute them.

Future articles in this series will add tail calls, tuples, algebraic 
datatypes, run-time types, reflection, accurate garbage collection, 
dynamically-loaded libraries and FFI to C, first-class functions and many 
more features.

When our HLVM reaches a more advanced stage, with sum types and garbage 
collection, we shall release it as open source software and encourage others 
to build interoperable language implementations upon it, i.e. creating a 
common language run-time.

Many thanks,
-- 
Dr Jon Harrop, Flying Frog Consultancy Ltd.
http://www.ffconsultancy.com/?e

I'd love to read this article, but I can't justify paying to register.  
Will it become a 'freely available' article at any point soon?

Thanks

On Jan 25, 2009, at 7:16 AM, Jon Harrop wrote:
>
> Following on from the success of our previous OCaml Journal articles  
> covering
> LLVM, we have begun a series dedicated to the design and  
> implementation of
> high-level languages using LLVM. In particular, these new articles  
> are more
> pragmatic in nature and go beyond describing working compilers to also
> discuss testing, debugging and the performance of LLVM-based  
> compilers.
>
> The first article in this new series has just been published:
>
>
http://ocamlnews.blogspot.com/2009/01/building-virtual-machine-using-llvm.html
>
> This article describes a basic design for a High-Level Virtual  
> Machine (HLVM)
> and walks through a core implementation written in OCaml that can  
> JIT compile
> functions from a simple language (with unit, bool, int, float and  
> array
> types) to optimized native code and execute them.
>
> Future articles in this series will add tail calls, tuples, algebraic
> datatypes, run-time types, reflection, accurate garbage collection,
> dynamically-loaded libraries and FFI to C, first-class functions and  
> many
> more features.
>
> When our HLVM reaches a more advanced stage, with sum types and  
> garbage
> collection, we shall release it as open source software and  
> encourage others
> to build interoperable language implementations upon it, i.e.  
> creating a
> common language run-time.
>
> Many thanks,
> -- 
> Dr Jon Harrop, Flying Frog Consultancy Ltd.
> http://www.ffconsultancy.com/?e
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev

On Sunday 01 February 2009 20:42:44 Graham Wakefield
wrote:
> I'd love to read this article, but I can't justify paying to
register.
> Will it become a 'freely available' article at any point soon?
No. :-)

-- 
Dr Jon Harrop, Flying Frog Consultancy Ltd.
http://www.ffconsultancy.com/?e