From: Eijiro Sumii <eijiro_sumii@anet.ne.jp>
To: caml-list@inria.fr
Cc: sumii@saul.cis.upenn.edu
Subject: Re: [Caml-list] how to "disable" GC?
Date: Sun, 13 Mar 2005 12:41:38 -0500 (EST) [thread overview]
Message-ID: <20050313.124138.68542239.eijiro_sumii@anet.ne.jp> (raw)
In-Reply-To: <42346798.mailQ91UPBRN@kwel.net>
From: "Kurt Welgehausen" <kwel@kwel.net>
> > Are floting-point numbers heap-allocated in ocamlopt on sparc?
>
> Yes, I believe FP values are boxed on all platforms. You could
> try keeping your values in an array, and see if that makes any
> difference.
>
> Also, see <http://caml.inria.fr/archives/200501/msg00125.html>
> and related messages.
I see - so it seems to me that FP numbers are heap-allocated at least
when they are passed or returned as function arguments or results (to
support polymorphism, I suppose). This explains well the behaviors of
ocamlopt (and its GC) that I've been experiencing. Thanks for the
information!
Eijiro
next prev parent reply other threads:[~2005-03-13 17:41 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-03-13 3:57 Eijiro Sumii
2005-03-13 12:52 ` [Caml-list] " Thomas Fischbacher
2005-03-13 14:52 ` Eijiro Sumii
2005-03-13 16:17 ` Kurt Welgehausen
2005-03-13 17:41 ` Eijiro Sumii [this message]
2005-03-13 23:12 ` Damien Doligez
2005-03-14 15:17 ` Ken Rose
2005-03-15 19:39 ` Damien Doligez
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=20050313.124138.68542239.eijiro_sumii@anet.ne.jp \
--to=eijiro_sumii@anet.ne.jp \
--cc=caml-list@inria.fr \
--cc=sumii@saul.cis.upenn.edu \
/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