From: Mark Shinwell <Mark.Shinwell@cl.cam.ac.uk>
To: Christian Lindig <lindig@cs.uni-sb.de>
Cc: Caml List <caml-list@inria.fr>
Subject: Re: [Caml-list] how to enlarge header of blocks?
Date: Fri, 26 Aug 2005 12:34:00 +0100 [thread overview]
Message-ID: <20050826113400.GB5470@three-tuns.net> (raw)
In-Reply-To: <34f22df101c14e15560de909ace48d3a@cs.uni-sb.de>
On Fri, Aug 26, 2005 at 10:10:04AM +0200, Christian Lindig wrote:
> For tracking additional information about heap blocks I'd like to store
> an additional word in each block. Has anybody experience with changing
> the compiler and run-time system accordingly?
I've had reason to consider such things before in the context of Fresh
O'Caml, but thankfully have so far managed to avoid having to do this:
it is probably quite a serious undertaking, although I imagine it mainly
reduces to adjusting mlvalues.h.
What information do you wish to store? Rather than adjusting the block
headers, it might be possible to simply tack it onto the end as extra
fields, provided those fields obey the GC structure constraints. I've
wondered about such schemes to enable me to determine at runtime which
fields of a record were marked mutable in the source code, something
which is not possible at the moment.
Mark
next prev parent reply other threads:[~2005-08-26 11:34 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-08-26 8:10 Christian Lindig
2005-08-26 11:34 ` Mark Shinwell [this message]
2005-08-27 11:17 ` [Caml-list] " Christian Lindig
2005-08-30 11:16 ` Mark Shinwell
2005-09-01 8:07 ` Christian Lindig
2005-09-01 11:53 ` Mark Shinwell
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=20050826113400.GB5470@three-tuns.net \
--to=mark.shinwell@cl.cam.ac.uk \
--cc=caml-list@inria.fr \
--cc=lindig@cs.uni-sb.de \
/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;
as well as URLs for NNTP newsgroup(s).