[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Gap buffer problem?
From: |
Gerd Möllmann |
Subject: |
Re: Gap buffer problem? |
Date: |
Thu, 12 Dec 2024 11:14:44 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Robert Pluim <rpluim@gmail.com> writes:
>>>>>> On Wed, 11 Dec 2024 20:09:51 +0100, Gerd Möllmann
>>>>>> <gerd.moellmann@gmail.com> said:
>
> Gerd> I may also be misunderstanding, but in principle, I agree with Eli.
>
> Gerd> Say we have processes A and B communicating with each other. Take
> the
> Gerd> code of A and move it to B, possibly with some automatic
> transformations
> Gerd> if A and B have the same source code. Make two threads in the result
> Gerd> process for A and B. Replace inter-process message passing with
> Gerd> inter-thread message passing. Initial message may be "fork"
> transferring
> Gerd> the world of thread A to thread B.
>
> Your first sentence is doing a lot of lifting there :-)
>
> In the two process situation, you automatically have two copies of
> every object, so you donʼt need to ensure that the processes are not
> stepping on each other. In the two thread situation you donʼt have
> that guarantee, unless you have *first* ensured (via locking, or COW,
> etc) that the object states are consistent. Once youʼve done that,
> then you can use messaging to keep things synchronized (or again,
> locking etc)
>
> Robert
Sure, a bit of effort is left to the implementer :-).
- Re: Gap buffer problem?, (continued)
- Re: Gap buffer problem?, Pip Cet, 2024/12/11
- Re: Gap buffer problem?, Eli Zaretskii, 2024/12/11
- Re: Gap buffer problem?, Pip Cet, 2024/12/11
- Re: Gap buffer problem?, Eli Zaretskii, 2024/12/11
- Re: Gap buffer problem?, Dmitry Gutov, 2024/12/11
- Re: Gap buffer problem?, Gerd Möllmann, 2024/12/11
- Re: Gap buffer problem?, Robert Pluim, 2024/12/12
- Re: Gap buffer problem?,
Gerd Möllmann <=
- Re: Gap buffer problem?, Pip Cet, 2024/12/11
- Re: Gap buffer problem?, Gerd Möllmann, 2024/12/11
- Re: Gap buffer problem?, Marcus Harnisch, 2024/12/11
- Re: Gap buffer problem?, Dmitry Gutov, 2024/12/11
- Re: Gap buffer problem?, Gerd Möllmann, 2024/12/11
- Re: Gap buffer problem?, Dmitry Gutov, 2024/12/12
- Re: Gap buffer problem?, Eli Zaretskii, 2024/12/12
- Re: Gap buffer problem?, Gerd Möllmann, 2024/12/12
- Re: Gap buffer problem?, Eli Zaretskii, 2024/12/12
- Re: Gap buffer problem?, Eli Zaretskii, 2024/12/11