English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
[Caml-list] ocamlopt, and generated ASM
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2005-07-27 (01:04)
From: Stephane Glondu <Stephane.Glondu@c...>
Subject: Re: [Caml-list] ocamlopt, and generated ASM
BTW, I am assuming you are working on i386 architecture.

Stephane Glondu wrote:
> Jonathan Roewen wrote:
>>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
>>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?
> Where are these hlt exactly? In the asm file generated from the .ml
> file? In the startup code? In the runtime library? The string "hlt"
> doesn't seem to appear in ocaml (at least in version 3.08.3) source
> code, so it seems very weird (even though possible) that this
> instruction is generated by the compiler... Moreover, you usually need
> to be in privilege level 0 (in kernel mode) to execute that
> instruction, and there are not many ocamlopt-generated programmes run
> in kernel mode... Maybe it is at a place which is not expected to be
> reached in "normal" programme execution (such as after a call to
> exit()). Are you sure this hlt comes from the ocamlopt generated code?
>>Perhaps ocaml 3.08.2 has some interesting bugs I'm not aware of?
> Actually, I'm working with version 3.08.3. But still, I would be
> interested if you found out the problem.