From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id OAA19025 for caml-redistribution@pauillac.inria.fr; Thu, 24 Feb 2000 14:47:05 +0100 (MET) Resent-Message-Id: <200002241347.OAA19025@pauillac.inria.fr> Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id TAA16142 for ; Wed, 23 Feb 2000 19:10:11 +0100 (MET) Received: from cs.Technion.AC.IL (csa.cs.technion.ac.il [132.68.32.1]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id TAA25232 for ; Wed, 23 Feb 2000 19:10:10 +0100 (MET) Received: from csd.cs.technion.ac.il (csd.cs.technion.ac.il [132.68.32.8]) by cs.Technion.AC.IL (8.9.0/8.9.0) with ESMTP id UAA28519 for ; Wed, 23 Feb 2000 20:10:17 +0200 (IST) Received: from cs.technion.ac.il (IDENT:adnan@rodrigo.cs.technion.ac.il [132.68.44.77]) by csd.cs.technion.ac.il (8.9.3/8.9.0) with ESMTP id UAA16107 for ; Wed, 23 Feb 2000 20:10:15 +0200 (IST) Sender: adnan@cs.technion.ac.il Message-ID: <38B406B2.65A44EC1@cs.technion.ac.il> Date: Wed, 23 Feb 2000 18:11:30 +0200 From: Adnan Agbaria Organization: Technion - Israel Institute of Technology X-Mailer: Mozilla 4.61 [en] (X11; I; Linux 2.2.12-20 i686) X-Accept-Language: en MIME-Version: 1.0 To: caml-list@inria.fr Subject: OCaml Virtual Machine Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Resent-From: weis@pauillac.inria.fr Resent-Date: Thu, 24 Feb 2000 14:47:05 +0100 Resent-To: caml-redistribution@pauillac.inria.fr Hi, I have a good understanding of the high level abstraction of OCaml. I'd like to know more details about the internal work and manipulation of the OCaml virtual machine, which runs a bytecode applications: thread scheduling, code interpreter and execution, etc. I didn't find in the FAQ or the archive mailing list any low-level details of how OCaml works. Thanks ! -- <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Ph.D. Candidate | Office: Fishbach 432 Computer Science Department | Tel: 972-4-8294303 Technion - Israel Institute of Technology | Fax: 972-4-8221128