[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Failing to GC killed buffers considered harmful
From: |
Pip Cet |
Subject: |
Re: Failing to GC killed buffers considered harmful |
Date: |
Mon, 30 Mar 2020 15:36:00 +0000 |
On Sun, Mar 29, 2020 at 7:28 PM Eli Zaretskii <address@hidden> wrote:
> > From: Pip Cet <address@hidden>
> > Date: Sun, 29 Mar 2020 19:25:08 +0000
> > Cc: Eli Zaretskii <address@hidden>, address@hidden
> >
> > We could make garbage collection predictable in this one case, by not
> > marking the stack and making dump-emacs-portable a noreturn function.
>
> That'd be a mistake, because our long-term goal is to allow re-dumping
> Emacs from a running interactive session.
What would be stored? Is this long-term goal meant to store the stack,
in which case it wouldn't be a very portable dump anymore, or just the
heap, in which case (on GNU) we could simply fork(), call the noreturn
function in the child process, check whether our result file is there
in the parent process, and continue our interactive session from
there...
- Re: Failing to GC killed buffers considered harmful, (continued)
- Re: Failing to GC killed buffers considered harmful, Pip Cet, 2020/03/29
- Re: Failing to GC killed buffers considered harmful, Eli Zaretskii, 2020/03/29
- Re: Failing to GC killed buffers considered harmful, Pip Cet, 2020/03/29
- Re: Failing to GC killed buffers considered harmful, Daniel Colascione, 2020/03/29
- Re: Failing to GC killed buffers considered harmful, Pip Cet, 2020/03/29
- Re: Failing to GC killed buffers considered harmful, Eli Zaretskii, 2020/03/29
- Re: Failing to GC killed buffers considered harmful,
Pip Cet <=
- Re: Failing to GC killed buffers considered harmful, dancol, 2020/03/30
- Re: Failing to GC killed buffers considered harmful, Stefan Monnier, 2020/03/30
Re: Failing to GC killed buffers considered harmful, Stefan Monnier, 2020/03/30
- Re: Failing to GC killed buffers considered harmful, Stefan Monnier, 2020/03/30
- Re: Failing to GC killed buffers considered harmful, Eli Zaretskii, 2020/03/30
- Re: Failing to GC killed buffers considered harmful, Daniel Colascione, 2020/03/30
- Re: Failing to GC killed buffers considered harmful, Stefan Monnier, 2020/03/30
- Re: Failing to GC killed buffers considered harmful, Eli Zaretskii, 2020/03/31
Re: Failing to GC killed buffers considered harmful, Eli Zaretskii, 2020/03/31
Re: Failing to GC killed buffers considered harmful, Stefan Monnier, 2020/03/31