Go os.OpenFile 如何避免并发重复创建：O_CREATE 与 O_EXCL 的原子边界

多个 Go 进程第一次启动时都要生成同一个标记文件，最容易踩的坑是把 os.O_CREATE 当成了“只创建一次”。它只表示文件不存在时允许创建；要把“检查不存在”和“创建”绑定成一次原子操作，还需要配合 os.O_EXCL。这样第二个进程会得到可判断的已存在错误，而不是悄悄打开同一个文件。

一次性创建文件时，使用 os.O_CREATE|os.O_EXCL，并把 os.IsExist(err) 当作“别人已经完成创建”的正常分支处理。

只写 O_CREATE，为什么仍可能打开同一个文件

假设服务启动时要写入 ./run/ready.marker。如果两个进程几乎同时执行 os.OpenFile，单独使用 O_CREATE 并不会告诉第二个调用“这个路径刚刚已经被别人占用”。当文件已经存在时，它仍可以把文件打开，后续的 Write 甚至可能覆盖或追加到同一份内容，结果取决于你给出的其他标志。

package main

import (
    "fmt"
    "os"
)

func openMarker(path string) (*os.File, error) {
    return os.OpenFile(path, os.O_CREATE|os.O_WRONLY|os.O_TRUNC, 0o600)
}

func main() {
    f, err := openMarker("./run/ready.marker")
    if err != nil {
        fmt.Println("open marker:", err)
        return
    }
    defer f.Close()
    _, _ = f.WriteString("ready\n")
}

这里的调用链是 openMarker → os.OpenFile → O_CREATE。它解决的是“没有文件时允许创建”，没有形成“已存在就拒绝”的结果分支。尤其是 O_TRUNC 会在打开已有普通文件时清空内容，不适合表达一次性初始化。

O_CREATE 与 O_EXCL 如何把首次创建变成原子判断

将标志改成 os.O_CREATE|os.O_EXCL|os.O_WRONLY 后，操作系统会把“路径不存在”和“创建路径”作为一次请求处理。目标已经存在时，os.OpenFile 返回错误；当前进程真正拿到文件句柄时，才代表它赢得了首次创建。

func createMarker(path string) error {
    f, err := os.OpenFile(path, os.O_CREATE|os.O_EXCL|os.O_WRONLY, 0o600)
    if err != nil {
        if os.IsExist(err) {
            return fmt.Errorf("marker already created: %w", err)
        }
        return fmt.Errorf("create marker: %w", err)
    }
    defer f.Close()

    if _, err := f.WriteString("ready\n"); err != nil {
        return fmt.Errorf("write marker: %w", err)
    }
    return nil
}

这个版本的关键不是“用了一个更严格的锁”，而是得到了一条清晰的状态路径：os.OpenFile 成功后写入并返回 创建成功；若 os.IsExist(err) 为真，则进入 已存在；其他错误则保留为目录不存在、权限不足或设备异常等故障。业务层可以让已存在分支直接跳过初始化，也可以读取现有标记再继续。

权限、目录和写入失败不能混在一起

0o600 只描述新建文件的权限，并不会自动创建 run 目录；目录不存在时，调用仍会失败。创建成功也不等于标记内容已经写完，因此写入错误要单独返回。若这个文件用于跨进程协调，建议让消费者只在写入完整且关闭成功后再读取，避免把“已经创建”误认为“初始化全部完成”。

还要注意文件系统语义：O_EXCL 保护的是同一个文件系统路径上的创建竞争，不会替你解决 NFS 环境、跨主机共享目录或业务级租约失效问题。需要跨机器选主时，应使用有明确租约和续期语义的协调服务，别把标记文件包装成分布式锁。

用一个最小并发检查确认结果

可以让多个 goroutine 竞争同一路径，并统计只有一个成功者。测试前先确保父目录存在，并在每次测试结束后删除标记文件；不要把具体运行次数当成性能结论，测试只用来确认错误分支符合预期。

var success atomic.Int32
var existed atomic.Int32

for i := 0; i 

实际测试中应等待 goroutine 完成再读取计数，并确保 createMarker 返回的“已存在”错误保留了可被 errors.Is 或 os.IsExist 识别的底层错误。预期是一个 创建成功，其余竞争者进入 已存在，而不是多个调用都拿到成功句柄。

相关问题

O_EXCL 可以代替文件锁吗？

不能。它只覆盖创建瞬间的独占判断，不能提供持有期间的互斥、租约、续期或异常恢复。它适合一次性标记、首次初始化和幂等入口的抢占。

已经存在时应该报错退出吗？

取决于业务。初始化任务通常把 os.IsExist(err) 当作“已完成”或“由其他进程完成”；若每次都必须由当前进程创建，则应把它记录为冲突并退出。

什么时候用 O_TRUNC？

只有在明确要把已有文件截断后重写时才使用。它和一次性创建目标相冲突，标记文件场景通常不应与 O_EXCL 一起使用。

小结

os.O_CREATE 是创建许可，os.O_EXCL 才是已存在即失败的独占条件。把两者组合起来，再按成功、os.IsExist 和其他错误分支处理，就能把并发首次创建变成一个可验证的状态机；但它的边界仍停留在路径创建，不应冒充完整的跨主机协调机制。