为什么Go运行时可检测map并发竞争却无法检测slice的竞争？

使用go run .执行如下Go代码会触发致命错误：

fatal error: concurrent map writes

goroutine 103 [running]:
...

测试代码如下：

package main

import (
    "time"
)

func main() {
    m := map[string]int{"a":1}
    s := []int{1}

    for i := 0; i < 1000; i++ {
        go func() {
            m["a"] = i
            s[0] = i
        }()
    }

    time.Sleep(3 * time.Second)
}

两者表现不同的核心原因是Go runtime对两种类型的写操作做了不同的设计：

• Go对map内置了并发写校验逻辑：map的底层是哈希表结构，并发写会直接破坏哈希表的桶结构、扩容迁移状态等核心元数据，严重时会导致整个进程崩溃，属于极高风险的操作。因此Go官方在map的所有写操作（赋值、删除）流程中都植入了并发状态校验：写操作开始前会标记map处于写入中状态，结束后清除标记，如果执行写操作时检测到已有其他协程持有写入标记，就会直接抛出致命错误，提前暴露问题避免更严重的故障。
• Go没有为slice设计内置并发校验：slice的本质是一个包含「底层数组指针、长度、容量」的轻量结构体，对slice元素的赋值操作本质就是对底层数组对应地址的普通内存写入。官方没有在slice的读写逻辑中加入额外的并发校验逻辑，也没有为slice设计专门的并发状态标记位，因此默认运行时不会检测slice的并发读写冲突。这类冲突只会引发静默的数据竞争，最终元素值不确定，但不会触发运行时致命错误。

补充 #

如果需要检测slice的并发竞态问题，可以使用Go自带的数据竞争检测器，执行go run -race .命令即可检出所有未同步的并发内存访问问题，包括slice的竞态。

内容的提问来源于stack exchange，提问作者chenxinlong