From: Xavier Leroy <xavier@Theory.Stanford.EDU>
To: roziere@logique.jussieu.fr (Paul Roziere)
Cc: caml-list@margaux, coret@logique.jussieu.fr
Subject: Re: version PC caml_light 0.5 386
Date: Wed, 26 May 1993 15:34:56 -0700 (PDT) [thread overview]
Message-ID: <9305262234.AA00958@Tamuz.Stanford.EDU> (raw)
In-Reply-To: <9305251750.AA15065@frege.logique.jussieu.fr> from "Paul Roziere" at May 25, 93 07:50:11 pm
> caml light ne tourne pas sous DESKVIEW
> et sort, quand on le lance, le message suivant
>
> exception 120 at eip = $...
>
> caml light tourne sans probleme hors de DESKVIEW
> sur cette machine.
>
> Nous soupconnons que le probleme vient de l'adaptateur graphique.
> Qu'en pensez vous ?
Je n'ai aucune idee precise sur ce qui peut bien se passer, mais
j'imagine que si c'etait un probleme lie a l'ecran graphique, ca
planterait au moment ou l'on fait open_graph(), mais pas des le
lancement de Caml Light.
Je soupconne plutot un probleme de gestion memoire: tournat sous
Desqview, Caml Light 386 utilise le protocole de gestion memoire DPMI
pour passer en mode 32 bits et s'allouer de la memoire. Puisque ca
marche sur d'autres machines sous Desqview, Desqview doit fournir un
gestionnaire memoire DPMI convenable, mais il se peut qu'il ne soit
pas prevu (ou pas bien configure) pour votre portable. Mon experience
avec les gestionnaires memoire est qu'il y a souvent un paquet
d'options pour contourner les bizarreries de divers types de cartes
meres PC. Peut-etre est-ce explique dans la doc de Desqview.
Aussi, peut-etre faut-il utiliser un gestionnaire memoire plus
puissant (au hasard: QEMM, fait par la meme boite que Desqview) en
conjonction avec Desqview.
Quoi qu'il en soit, le probleme n'est vraisemblablement pas dans Caml
Light.
C'est ca, les joies du PC...
- Xavier Leroy
next parent reply other threads:[~1993-05-27 7:45 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <9305251750.AA15065@frege.logique.jussieu.fr>
1993-05-26 22:34 ` Xavier Leroy [this message]
1993-05-26 22:46 ` Xavier Leroy
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=9305262234.AA00958@Tamuz.Stanford.EDU \
--to=xavier@theory.stanford.edu \
--cc=caml-list@margaux \
--cc=coret@logique.jussieu.fr \
--cc=roziere@logique.jussieu.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox