Re: threads and kill-buffer

[martin rudalics]

>> Suppose thread T has buffer B as its current buffer, and then some other
>> thread evaluates (kill-buffer B).  What should happen in thread T?
>
> (assuming other thread is P) T should continue editing,

... with B not current?

> but P marks B
> as no longer available to set as current (so B can't be used as current
> in another thread); when T switches from B to another buffer,

... and what if this buffer was meanwhile revived by another thread?

> B is really
> killed.

Unless we come up with a robust set of invariants to handle this and
similar scenarios, this war is lost.

martin