[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: MPS: User GC customizations
From: |
Eli Zaretskii |
Subject: |
Re: MPS: User GC customizations |
Date: |
Thu, 04 Jul 2024 22:12:56 +0300 |
> From: Gerd Möllmann <gerd.moellmann@gmail.com>
> Cc: pipcet@protonmail.com, yantar92@posteo.net, emacs-devel@gnu.org,
> eller.helmut@gmail.com
> Date: Thu, 04 Jul 2024 21:09:23 +0200
>
> Eli Zaretskii <eliz@gnu.org> writes:
>
> >> From: Gerd Möllmann <gerd.moellmann@gmail.com>
> >> Cc: pipcet@protonmail.com, yantar92@posteo.net, emacs-devel@gnu.org,
> >> eller.helmut@gmail.com
> >> Date: Thu, 04 Jul 2024 20:28:23 +0200
> >>
> >> Eli Zaretskii <eliz@gnu.org> writes:
> >>
> >> > IOW, let me turn the table and ask what does "idleness" have to do
> >> > with this variable?
> >>
> >> Simple. Because this person here, a long time ago, idly put
> >> mps_arena_step where it is, when writing igc_on_idle, and made Emacs call
> >> that when idle.
> >
> > Then it follows that "we" cause the to begin when Emacs is idle, and
> > "we" tell MPS that it is kindly requested not to spend more than
> > igc-step-interval seconds doing GC before it returns, when we trigger
> > GC via mps_arena_step. Right?
>
> We give MPS the chance to to work it wants to, right.
OK, in that case all the preceding discussion and confusion was due to
misunderstanding, because that's what I meant from the beginning.
- Re: MPS: User GC customizations, (continued)
- Re: MPS: User GC customizations, Gerd Möllmann, 2024/07/04
- Re: MPS: User GC customizations, Eli Zaretskii, 2024/07/04
- Re: MPS: User GC customizations, Eli Zaretskii, 2024/07/04
- Re: MPS: User GC customizations, Pip Cet, 2024/07/04
- Re: MPS: User GC customizations, Eli Zaretskii, 2024/07/04
- Re: MPS: User GC customizations, Gerd Möllmann, 2024/07/04
- Re: MPS: User GC customizations, Eli Zaretskii, 2024/07/04
- Re: MPS: User GC customizations, Gerd Möllmann, 2024/07/04
- Re: MPS: User GC customizations, Eli Zaretskii, 2024/07/04
- Re: MPS: User GC customizations, Gerd Möllmann, 2024/07/04
- Re: MPS: User GC customizations,
Eli Zaretskii <=
- Re: MPS: User GC customizations, Pip Cet, 2024/07/04
- Re: MPS: User GC customizations, Gerd Möllmann, 2024/07/04