golang源码分析：sync.Map

先说结论：sync.Map适用于以下场景

• 读多写少：读read不需要加锁，读写dirty需要加锁。所以读>>写的情况下，基本是无锁的；写场景则需要加锁，还涉及read到dirty的全量同步问题，性能堪忧。。

// 封装的线程安全的map
type Map struct {
	// lock
	mu Mutex

	// 实际是readOnly这个结构
	// 一个只读的数据结构，因为只读，所以不会有读写冲突。
	// readOnly包含了map的一部分数据，用于并发安全的访问。(冗余，内存换性能)
	// 访问这一部分不需要锁。
	read atomic.Value // readOnly

	// dirty数据包含当前的map包含的entries,它包含最新的entries(包括read中未删除的数据,虽有冗余，但是提升dirty字段为read的时候非常快，不用一个一个的复制，而是直接将这个数据结构作为read字段的一部分),有些数据还可能没有移动到read字段中。
	// 对于dirty的操作需要加锁，因为对它的操作可能会有读写竞争。
	// 当dirty为空的时候， 比如初始化或者刚提升完，下一次的写操作会复制read字段中未删除的数据到这个数据中。
	dirty map[interface{}]*entry

	// 当从Map中读取entry的时候，如果read中不包含这个entry,会尝试从dirty中读取，这个时候会将misses加一，
	// 当misses累积到 dirty的长度的时候， 就会将dirty提升为read,避免从dirty中miss太多次。因为操作dirty需要加锁。
	misses int
}


// readOnly is an immutable struct stored atomically in the Map.read field.
type readOnly struct {
	m       map[interface{}]*entry
	// 如果Map.dirty有些数据不在m中，则为true.读取时从Map.read找不到数据的话，要进一步到Map.dirty中查找。
	amended bool 
}


// An entry is a slot in the map corresponding to a particular key.
type entry struct {
	// *interface{}
	p unsafe.Pointer 
}

sync.Map 整体的优化可以描述为以下几点：

• 空间换时间。 通过冗余的两个数据结构(read、dirty), 减少加锁对性能的影响。
• map只保存key和对应的value的指针，这样可以并发的读写map, 实际更新指向value的指针再通过基于CAS的无锁atomic。
• 使用只读数据(read)，避免读写冲突
• 动态调整，miss次数多了之后，将dirty数据提升为read：其实是把dirty指针赋给read，dirty置为nil,且把amended=