On Tue, Sep 14, 2021 at 9:34 AM Tao Zhou <tao.zhou@xxxxxxxxx> wrote: [...] > > +- worker to worker context switch: > > + ``W1:RUNNING+W2:IDLE => W1:IDLE+W2:RUNNING``: > > + > > + - in the userspace, in the context of W1 running: > > + > > + - ``W2:IDLE => W2:RUNNING|LOCKED`` (mark W2 as running) > > + - ``W1:RUNNING => W1:IDLE|LOCKED`` (mark self as idle) > > + - ``W2.next_tid := W1.next_tid; S.next_tid := W2.next_tid`` > ^^^^^^^^ > W2.next_tid is a server. S.next_tid should be a worker; say: > > S.next_tid := W2.tid You are definitely right here. I'll fix the doc in the next patchset.
