Re: [PATCH] Document Linux's memory barriers [try #2]

Paul Mackerras
2006-03-09T07:41:11Z

Jesse Barnes writes:

> Hm, a static checker should be able to find this stuff, shouldn't it?

Good idea. I wonder if sparse could be extended to do it.

Alternatively, it wouldn't be hard to check dynamically. Just have a
per-cpu count of outstanding MMIO stores. Zero it in spin_lock and
mmiowb, increment it in write*, and grizzle if spin_unlock finds it
non-zero. Should be very little overhead.

Paul.