Re: Real world switch () with the MPS memory pool system!

From	Kaz Kylheku <046-301-5902@kylheku.com>
Newsgroups	comp.lang.c, comp.lang.misc, comp.lang.lisp, sci.crypt, netscape.public.mozilla.crypto
Subject	Re: Real world switch () with the MPS memory pool system!
Date	2026-10-09 20:45 +0000
Organization	A noiseless patient Spider
Message-ID	<20261009133919.155@kylheku.com> (permalink)
References	<EUBxS.8919$mPXe.2290@fx06.ams4> <20261007182218.446@kylheku.com> <N5cyS.10488$mPXe.6319@fx06.ams4>

Cross-posted to 5 groups.

Show all headers | View raw

On 2026-10-09, Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> wrote:
> On 10/8/2026 9:31 AM, Kaz Kylheku wrote:
> And don't forget that just recently, people found a security bug in
> OpenSSL [again] just because they neglected to include a garbage coll-
> ector in the system.  Maybe they would have been better off, if they'd
> just used MPS from the start?

Many programs that use OpenSSL nowadays are threaded.

Threads + GC + stuff written in C => shit show

You may fix some use-after-free bug, but you introduce 17 others,
the 16th and 17th of which won't be found until 2037 and 2050.

I've pulled out my hair debugging GC problems in a single-threaded Lisp
implementation.

You have to develop all the tooling and approaches for it because
none of the regular memory debugging tools understand your GC objects.

I wanted Valgrind, so I had to integrate it, and it's not perfect.

A newly created GC object is wrongly garbage collected, perhaps just 
before it was properly made reachable. The object is reassigned to
a different purpose, but the original context uses it also. Happy
case: the object has a different type, incompatible with what the
original owner is doing, and so that blows up, and (happy again)
it happens close to where it was created. From there, there are
various shades of unhappy.

-- 
TXR Programming Language: http://nongnu.org/txr
Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal
Mastodon: @Kazinator@mstdn.ca

Thread

Real world switch () with the MPS memory pool system! Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-10-08 08:58 +0800
  Re: Real world switch () with the MPS memory pool system! Kaz Kylheku <046-301-5902@kylheku.com> - 2026-10-08 01:31 +0000
    Re: Real world switch () with the MPS memory pool system! Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-10-10 04:26 +0800
      Re: Real world switch () with the MPS memory pool system! Kaz Kylheku <046-301-5902@kylheku.com> - 2026-10-09 20:45 +0000
        Re: Real world switch () with the MPS memory pool system! Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-10-10 05:02 +0800
          Re: Real world switch () with the MPS memory pool system! Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-10-11 09:28 +0800
      Re: Real world switch () with the MPS memory pool system! tfb <tfb@work.it.out> - 2026-10-10 09:45 +0000
        Re: Real world switch () with the MPS memory pool system! George Neuner <gneuner2@comcast.net> - 2026-10-11 01:13 -0400
          Re: Real world switch () with the MPS memory pool system! Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-10-11 14:45 +0800
          Re: Real world switch () with the MPS memory pool system! tfb <tfb@work.it.out> - 2026-10-11 07:28 +0000
            Re: Real world switch () with the MPS memory pool system! Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-10-11 15:41 +0800
            Re: Real world switch () with the MPS memory pool system! George Neuner <gneuner2@comcast.net> - 2026-10-11 05:29 -0400
  Re: Real world switch () with the MPS memory pool system! Tim Rentsch <tr.17687@z991.linuxsc.com> - 2026-10-08 06:03 -0700
  Re: Real world switch () with the MPS memory pool system! ram@zedat.fu-berlin.de (Stefan Ram) - 2026-10-09 14:30 +0000
    Re: Real world switch () with the MPS memory pool system! Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-10-10 04:41 +0800

csiph-web