redolog(未完工)
摘要:redolog 硬盘,内存,是三角关系,两者确定第三者,所以要二次写
阅读全文
cap理论
摘要:分区容忍性:分区是说集群的一批机器和另一批机器之间,因为网络原因互相之间不能通信。 在这个时候,如果保证可用性,那么分区之间的数据一致性不能依靠通信来保持了。 如果等到可以通信,可以保证一致性的时候,才可以再次提供服务,就不能保证可用性
阅读全文
volatile 和 缓存一致性协议 mesi的关系
摘要:在Java中,volatile是个很高层面的规范,保证了指令不会被重排序+对volatile变量的写使得当前cpu缓存中的所有变量写回到主存中,从而保证了内存可见性。 具体的实现是靠JVM和cpu(还有操作系统?)合作实现的,不管cpu有没有mesi协议,用了volatile,JVM都会保证可见性,
阅读全文