为何C# lock需用引用类型对象？lock对对象有何作用？

问题1：lock是否支持任意引用类型？用List<int>替代object作为锁对象有何影响？ #

• lock确实可以使用任意引用类型，因为它依赖的是CLR为引用对象分配的同步机制，而非对象的具体类型或内容。
• 用new List<int>()替代new object()从功能上能正常完成锁的获取与释放，但存在严重风险：
  • 如果该List<int>对象在业务逻辑中被重新赋值（比如myList = new List<int>()），不同线程会基于不同的锁对象执行lock操作，完全失去线程同步的作用，引发线程安全问题。
  • 官方推荐用new object()作为锁对象，因为它是无业务含义的纯锁载体，不会被意外修改，内存开销也最小。

问题2：lock操作对目标对象有何影响？底层Monitor的具体操作、处理器动作与内存变化是什么？ #

• lock操作不会修改目标对象的二进制值或指针，它利用的是CLR为每个引用对象头部的同步块索引（sync block index）：
  • 每个.NET引用对象的内存布局头部，都有一个4字节的sync block index字段，指向堆中同步块数组的对应条目。同步块中存储锁持有者线程ID、等待队列等元数据，和对象本身的实例数据完全分离。
• Monitor类的具体操作流程：
  1. Monitor.Enter：先检查对象是否已分配同步块，未分配则从同步块数组中申请一个并关联到对象的sync block index；然后通过CPU的CAS（Compare-And-Swap）原子指令尝试标记同步块为"已持有"状态。
  2. 如果CAS成功，当前线程立即获取锁，继续执行；如果失败，当前线程会被加入同步块的等待队列，操作系统挂起该线程（让出CPU时间片），直到锁被释放后被唤醒。
  3. Monitor.Exit：将同步块的锁状态重置，唤醒等待队列中的一个线程，使其重新尝试获取锁。
• 内存与处理器层面：
  • 内存变化仅发生在同步块区域，修改的是锁状态、等待队列等元数据，对象本身的实例内存完全不受影响。
  • 处理器主要执行CAS原子指令实现无锁竞争的快速获取，竞争时则触发操作系统的线程调度（挂起/唤醒），涉及内核态与用户态的切换。

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