From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 89E13D179 for ; Wed, 27 Jul 2005 00:41:51 +0200 (CEST) Received: from rproxy.gmail.com (rproxy.gmail.com [64.233.170.202]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j6QMfodj029322 for ; Wed, 27 Jul 2005 00:41:51 +0200 Received: by rproxy.gmail.com with SMTP id a36so67526rnf for ; Tue, 26 Jul 2005 15:41:46 -0700 (PDT) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:reply-to:to:subject:mime-version:content-type:content-transfer-encoding:content-disposition; b=UsZVnvx9ejU+iNd1D5RedTk+ywoCFff9VWycLGapdIZEUBbPUZZsACyYQT+jQRPk0P91HvY0ALMHh3Dn52FJxDBb9Tuy3hmaspTU0tkh/ERr2zZO6BWxMQ1ra4z4jBYzHxeWGfmksSS1xToD8nteACs9JJs/lzsHthg6aVQebW4= Received: by 10.38.209.70 with SMTP id h70mr136303rng; Tue, 26 Jul 2005 15:41:46 -0700 (PDT) Received: by 10.38.209.44 with HTTP; Tue, 26 Jul 2005 15:41:46 -0700 (PDT) Message-ID: Date: Wed, 27 Jul 2005 10:41:46 +1200 From: Jonathan Roewen Reply-To: Jonathan Roewen To: caml-list@yquem.inria.fr Subject: [Caml-list] ocamlopt, and generated ASM Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Content-Disposition: inline X-Miltered: at nez-perce with ID 42E6BC2E.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 ocamlopt:01 grepping:01 ocaml:01 ocamlopt:01 ocaml:01 hlt:98 interrupts:98 hlt:98 asm:02 bugs:03 perhaps:03 generated:05 generated:05 i'm:08 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=RCVD_BY_IP autolearn=disabled version=3.0.3 Hi, I'm having some esoteric problems with my operating system project, and it randomly halting (i.e.: the hlt instruction issued with interrupts off). I've tried grepping the ocaml sources, but to no avail. Could someone who has some in-depth knowledge of the code gneretor for ocamlopt explain where these hlt instructions come from, and more importantly, where abouts they are generated? Perhaps ocaml 3.08.2 has some interesting bugs I'm not aware of? Jonathan