Vector3赋值操作是否具备原子性/线程安全性？

示例代码 #

using ConsoleApp1;
using System.Diagnostics;
using System.Numerics;

Console.WriteLine("Hello, World!");

Vector3 v1;

int n = 1000000000;

var t1 = new System.Threading.Thread(new ThreadStart(() =>
{
    for (int i = 0; i < n; ++i)
    {
        v1 = new Vector3(1.0F, 1.0F, 1.0F);
    }
}));

var t2 = new System.Threading.Thread(new ThreadStart(() =>
{
    for (int i = 0; i < n; ++i)
    {
        v1 = new Vector3(2.0F, 2.0F, 2.0F);
    }
}));

var t3 = new System.Threading.Thread(new ThreadStart(() =>
{
    for (int i = 0; i < n; ++i)
    {
        v1 = new Vector3(3.0F, 3.0F, 3.0F);
    }
}));

t1.Start();
t2.Start();
t3.Start();

t1.Join();
t2.Join();
t3.Join();

问题解答 #

核心结论 #

多线程对Vector3变量的赋值不会出现分量混合的情况，但这是依赖硬件和JIT实现的行为，而非.NET官方规范强制保证的原子性。

原因分析 #

1. 内存布局与硬件特性
   Vector3是连续内存存储的结构体，三个float字段（各4字节）总占12字节。在主流x86/x64平台上，只要该结构体的内存地址满足对齐要求（CLR默认会自动处理值类型的内存对齐），CPU对连续对齐内存块的读写操作是原子性的——内存总线会一次性完成整块数据的传输，不会被其他线程的读写操作打断，因此不会出现部分字段写入完成、部分未完成的中间状态。

2. JIT编译优化
   .NET的JIT编译器在处理Vector3赋值时，会生成直接复制整个结构体内存的指令，而非逐个字段赋值。这进一步避免了单个字段赋值后、其他字段未赋值的中间状态被其他线程观测到。

关于你的猜想 #

你的猜想方向是正确的：现代CPU对对齐的连续内存块的写入操作是原子性的，其他线程无法在写入过程中插入对该内存区域的读写，因此不会出现分量混合的情况。

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