Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: Frederic Perriot <fperriot@gmail.com>
To: Stijn Devriendt <Stijn.Devriendt@wdc.com>
Cc: "Perry E. Metzger" <perry@piermont.com>,
	Chet Murthy <murthy.chet@gmail.com>,
	 caml-list <caml-list@inria.fr>
Subject: Re: [Caml-list] a bad value detector
Date: Sat, 12 May 2018 12:54:04 +0200	[thread overview]
Message-ID: <CAFY7FBMpxzcMP2Kjnqo9JMLhxMxz49CLtuPu+fMfH29RiSQU3Q@mail.gmail.com> (raw)
In-Reply-To: <DM6PR04MB39321EAF27839CF4825EA3F3F69F0@DM6PR04MB3932.namprd04.prod.outlook.com>

On Fri, May 11, 2018 at 7:54 AM, Stijn Devriendt
<Stijn.Devriendt@wdc.com> wrote:

> A scheme with 2 minor heaps that alternate could give those allocations the
> time they need to become stale, avoiding cluttering the major heap with all
> expected beneficial side-effects.

Hello Stijn,

I believe there's already work in this direction, you may be interested in:

https://blog.janestreet.com/building-a-lower-latency-gc/

  reply	other threads:[~2018-05-12 10:54 UTC|newest]

Thread overview: 6+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2018-05-02 16:19 Frederic Perriot
2018-05-04 20:48 ` Perry E. Metzger
2018-05-09  8:39   ` Frederic Perriot
2018-05-11  5:54     ` Stijn Devriendt
2018-05-12 10:54       ` Frederic Perriot [this message]
2018-05-05  3:26 ` Chet Murthy

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=CAFY7FBMpxzcMP2Kjnqo9JMLhxMxz49CLtuPu+fMfH29RiSQU3Q@mail.gmail.com \
    --to=fperriot@gmail.com \
    --cc=Stijn.Devriendt@wdc.com \
    --cc=caml-list@inria.fr \
    --cc=murthy.chet@gmail.com \
    --cc=perry@piermont.com \
    /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