HLVM -- the High-Level Virtual Machine

Re:HLVM -- the High-Level Virtual Machine by wheaties on Tuesday February 16, 2010 @03:23PM (#1129743)

I love OCaml, which this virtual machine says it is based upon, but doesn't it have issues with multi-core processors? That is, doesn't it suffer from a limitation due to its garbage collector?

[ Parent | on HN ]

Re:HLVM -- the High-Level Virtual Machine by 45g on Tuesday February 16, 2010 @03:38PM (#1129789)

This VM is based on LLVM and in particular aimed at parallel programming. As its author said: "HLVM is an experiment to see what a next-generation implementation of a language like OCaml might look like, addressing all of OCaml's major shortcomings (interoperability, parallelism and some performance issues)." [http://caml.inria.fr/pub/ml-archives/caml-list/2009/09/a94db...]

[ Parent | on HN ]

Re:HLVM -- the High-Level Virtual Machine by andrewcooke on Tuesday February 16, 2010 @03:28PM (#1129760)

I have no idea, but I've just upvoted you back to 1. If someone knows more / better please post here and explain rather than anonymously downvote, which doesn't explain anything to anyone.

[edit: ah, ok, to expand on what 45g said, ocaml is used to build the tools, but anything that targets the HLVM will end up using LLVM for runtime code generation - so it will either compile to assembly, or use a JIT VM. either way, any limitations in ocaml will only affect the tools, not the final compiled program]

[ Parent | on HN ]

Re:HLVM -- the High-Level Virtual Machine by wheaties on Tuesday February 16, 2010 @03:49PM (#1129818)

Ah, now I see. So this will get around the true multi-threading issues. Thank you both for the clarification. This is truly something to watch.

[ Parent | on HN ]