What's SMP?
Symmetric Multiple Processor
Cache coherence
write propagation, write serialization,
I/O operation
对于一个程序的任何执行结果,对每个内存位置,都能构造一个对该位置的操作的假想串行序列,按照假想串行序列的执行结果与实际执行结果一样。
- 其中,由任一进程所发出的操作,在假想串行序列中的次序,与该进程向内存系统实际发射的次序是一样的;
- 每个读操作返回的值,是在假想串行序列中,最近的向那个位置的写操作所写的值。
MESI( Modified-Exclusive-Shared-Invalid)
Cache flush
include/asm-i386/pgtable.h