Messages in this thread | | | Date | Wed, 11 Jul 2018 18:28:04 +0200 | From | Andrea Parri <> | Subject | Re: [PATCH v2] tools/memory-model: Add extra ordering for locks and remove it for ordinary release/acquire |
| |
> It might be simple to model, but I worry this weakens our locking > implementations to a point where they will not be understood by the average > kernel developer. As I've said before, I would prefer "full" RCsc locking, > but that's not the case with architectures we currently support today, so > the next best thing is this "everything apart from W->R in the > inter-thread case" ordering, which isn't going to crop up unless you're > doing weird stuff anyway afaict.
The "average kernel developer" thinks TSO or about, right? ;-)
Andrea
> > Will
| |