I had a discussion with Richard about this a few years ago. Richard was no longer convinced of the solution. at the time I agreed with his reasoning. the comment should be changed.
- erik
On Jul 24, 2017 9:03 AM, Giacomo Tesio <giac...@tesio.it> wrote:
In /sys/src/9/port/proc.c a comment state:I'd like to know a bit more about Miller's solution as I'd like to simplify postnote.
/*
* Expects that only one process can call wakeup for any given Rendez.
* We hold both locks to ensure that r->p and p->r remain consistent.
* Richard Miller has a better solution that doesn't require both to
* be held simultaneously, but I'm a paranoid - presotto.
*/
(see https://github.com/0intro/plan9/blob/master/sys/src/9/port/proc.c#L882-L887)Any hint or source code?Giacomo
