Someone at Intel can correct me, but I believe they use a modified MESI cache
coherency protocol. Note that this coherency does not guarantee indivisible
read-modify-write operations unless atomic opcodes are used. (xchg or lock
<opcode>)
> 2. Does the SMP kernel handle the cache coherence
> problem
See Alan's and others' postings. The kernel relies on the hardware to keep
its act straight, then takes care of MMU coherency.
> 3. What should I do if both of them don't handle cache
> coherence.
See 1 and 2. Consider using futexes or some other mutex mechanism appropriate
to user or kernel code.
> Thanks.
>
> Frank Samuel
-- James Cleverdon IBM xSeries Linux Solutions {jamesclv(Unix, preferred), cleverdj(Notes)} at us dot ibm dot com- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/