Python 文件锁有什么用？多进程同时写文件如何避免数据错乱？
简化版
文件锁用于协调多个进程或程序对同一文件的并发访问，避免同时写入导致内容交错、覆盖或破坏。Python 标准库没有跨平台统一文件锁 API，Unix 常用 fcntl，Windows 常用 msvcrt，工程上也常用第三方库 filelock。
详细版
多个进程同时写同一个文件时，即使用追加模式，也可能出现记录交错、部分写入、顺序不可控等问题。文件锁的思路是写入前先获得锁，写完再释放锁，让临界区串行执行。
from filelock import FileLock
lock = FileLock("data.txt.lock")
with lock:
with open("data.txt", "a", encoding="utf-8") as f:
f.write("one line\n")文件锁通常是协作式的：所有参与者都必须遵守同一套加锁约定。它适合小规模本机并发写；复杂分布式场景应考虑数据库、消息队列或分布式锁。
完整版教学
一、为什么并发写文件会出问题
文件是共享资源。两个进程同时打开并写入同一个文件时，操作系统不会自动理解你的业务记录边界。一个进程写到一半，另一个进程也写入，文件内容可能交错。
期望:
A: hello
B: world
可能:
hewo llorld即使现实中小块追加常常看似正常，也不应把它当业务保证。日志、账单、状态文件这类数据需要明确并发策略。
二、文件锁保护的是什么
文件锁保护的是一段临界区，而不只是某个 write 调用。你应该把“读取旧内容、计算新内容、写回文件”整段操作包在锁里。
acquire lock
read file
compute
write file
release lock如果只锁写入，不锁读取，仍可能两个进程读到同一个旧值，分别计算后覆盖对方结果。
三、协作式锁是什么意思
很多文件锁是 advisory lock，也就是协作式锁。它不会阻止一个完全不加锁的程序直接写文件。只有所有参与者都按约定先拿锁，锁才有效。
进程 A: 遵守锁
进程 B: 遵守锁
进程 C: 不理锁直接写 -> 仍可能破坏文件锁不是文件的“绝对防护罩”，而是一套所有写入者都要遵守的交通规则。
四、跨平台为什么麻烦
Unix 和 Windows 的文件锁机制不同。Unix 下常见 fcntl.flock，Windows 下常见 msvcrt.locking。标准库没有一个非常好用的跨平台高级封装，所以项目里常用 filelock、portalocker 等库。
| 平台 | 常见方式 |
|---|---|
| Unix/Linux | fcntl |
| Windows | msvcrt |
| 跨平台工程 | filelock / portalocker |
如果项目要跨平台，最好用成熟库，不要自己拼各种系统调用。
五、文件锁和原子写入的关系
原子写入解决“写一半崩溃导致文件损坏”的问题，常用临时文件 + os.replace()。文件锁解决“多个进程同时修改”的问题。两者可以配合。
lock
read old
write temp
fsync temp
os.replace(temp, target)
unlock只做原子 replace，不加锁，两个进程仍可能基于旧内容各写一份，最后谁 replace 晚谁覆盖前者。
六、什么时候不用文件锁
如果并发写入频繁、数据很重要、需要查询和事务，文件不是好存储。应该用数据库、队列、日志系统或对象存储的条件写能力。
| 场景 | 建议 |
|---|---|
| 本机少量配置更新 | 文件锁 + 原子写 |
| 多进程追加小日志 | 日志系统或带锁写 |
| 高并发订单状态 | 数据库事务 |
| 多机器共享状态 | 数据库/Redis/分布式锁 |
文件锁适合小而明确的本机同步，不适合扛复杂一致性。
七、常见误区与追问
- 误区：追加模式一定线程/进程安全。 追加只能降低部分覆盖风险，记录边界和顺序仍要考虑。
- 误区：文件锁能阻止所有程序写文件。 协作式锁要求所有参与者遵守。
- 误区：原子写入可以替代文件锁。 原子写防半写，文件锁防并发修改，关注点不同。
- 追问：跨平台文件锁怎么做？ 用
filelock、portalocker等成熟库更稳。 - 追问：锁文件和目标文件要一样吗？ 可以使用单独
.lock文件，关键是所有进程约定一致。 - 追问：进程崩溃锁会释放吗？ 系统级锁通常随进程释放，锁文件本身可能残留。
- 追问：分布式多机器写共享文件怎么办？ 本地文件锁不够，应使用数据库、分布式锁或存储系统能力。
八、加强记忆
文件锁记成“保护文件操作临界区”。并发写不是只锁一行 write，而是锁住读改写全过程；原子写防崩溃半写，文件锁防并发覆盖。跨平台用成熟库，本机小规模可以用，复杂一致性别硬靠文件。