Re: Cache coherency... and locking

From: Manfred Spraul (manfred@colorfullife.com)
Date: Fri Jul 21 2000 - 05:57:21 EST


Keith Owens wrote:
>
>
> Linux requires strong write ordering[*]. That is, write A followed by
> write B will appear in memory in the order of A then B. So if any
> write on processor 1 is committed to memory then all preceding writes
> by processor 1 must already have been committed to memory.
>
Are you sure? Do you know a certain function that relies on strong write
ordering?

Neither ia64 nor the other RISC processors guarantee strong write
ordering.
spinlocks, semaphores, atomic_xy and the bit operations must be (at
least partial) memory barriers, but that's it.

--
	Manfred

- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.rutgers.edu Please read the FAQ at http://www.tux.org/lkml/



This archive was generated by hypermail 2b29 : Sun Jul 23 2000 - 21:00:15 EST