.Net Core在X86上实现Interlocked.Increment(ref long)的方式

风晓 2023-12-31 10:31:01  54440 赞同 0 反对 0

分类：资源

因为在X86上long会被分割为两个int进行操作, 那么Interlocked.Increment的实现成为了一个问题。在一番搜索后未发现有现成的文章解释这个问题，于是我就动手分析了。这篇是笔记，不会做过多的解释。

首先重现环境是 .Net Core 2.0 Windows (x86) Binaries, 下载可以到 https://www.microsoft.com/net/download/core#/sdk
重现的代码如下

using System;
using System.Threading;

namespace x86program
{
    class Program
    {
        static void Main(string[] args)
        {
            Console.ReadLine();
            Console.WriteLine("Hello World!");
            Console.ReadLine();
            long a = 0x1234567887564321;
            Console.WriteLine(Interlocked.Increment(ref a));
        }
    }
}

需要的工具:
Visual Studio 2017 15.3 RTM
OllyDbg 1.1 (or 2.0)

首先下载了x86版的dotnet后，解压然后在命令行运行

F:\dotnet-sdk-2.0.0-win-x86\x86program>..\dotnet.exe run

运行后使用Visual Studio打开项目然后"附加到进程", 成功后在下图中的地方下断点

然后命令行回车, 可以触发此断点, 我们可以看到 Interlocked.Increment 调用了 0x76A7CA0 处的函数, 传入参数只有一个, 就是指向long变量的指针

之后在Visual Studio中取消附加, 然后使用ollydbg的Attach, 成功后在 0x76A7CA0 下断点

这个函数调用了函数 0x7428BE0, 传入了分割为两个int的long (1), ecx仍然指向原来的long变量

函数 0x7428BE0 是一个JIT桩(Stub), 第一次调用会触发JIT编译, 第二次调用会跳到JIT编译结果

JIT编译后的实现就在 0x3410F40 处，这里的就是 Interlocked.Increment(ref long) 的实现

我们可以看到这个实现使用了x86的CMPXCHG8B指令，如果出现long变量的值被其他线程修改，会检测出来并重试添加

当然，不是所有x86的CPU都支持CMPXCHG8B指令, 但至少可以运行.Net Core的CPU都会支持此指令, 也就是说实现 atomic long 不需要semaphore

http://www.geoffchappell.com/studies/windows/km/cpu/cx8.htm

上面的代码是Debug下编译得到的, Release下同样需要调用一个helper函数, 内部的逻辑是一样的

x64位上的 Interlocked.Increment(ref long) 就很简单了, 可以使用现成的指令 lock xadd

分析到此为止

如果您发现该资源为电子书等存在侵权的资源或对该资源描述不正确等，可点击“私信”按钮向作者进行反馈；如作者无回复可进行平台仲裁，我们会在第一时间进行处理！

评价 0 条

相关资源

如何区分网络号和主机号呢？我们可以使用子网掩码 netmask： 2023-12-29 52309 浏览
子网掩码又叫网络掩码、地址掩码、子网络遮罩，它是一个 32 位地址，子网掩码由 1 和 0 组成，且 1 和 0 分别连续。用于屏蔽 IP 地址的一部分以区别网络标识和主机标识，并说明该 IP地址是在局域网上，还是在广域网上。所以子网掩码只有一个作用，就是将某个 IP 地址划分成网络地址和主机地址两部分：
从零开始的 dbt 入门教程（dbt-core 基础篇）一 2024-01-01 49086 浏览
本篇主要阐述 dbt 一些基本概念，教会你如何配置 dbt 连接远端数据库，并运行你的第一个数据模型，那么本文开始。
广域网（wide area network）简称 WAN 2023-12-29 51932 浏览
一种用来实现不同地区的局域网或城域网的互连，可提供不同地区、城市和国家之间的计算机通信的远程计算机网。
局域网（local area network）简称 LAN，一种覆盖一座或几座大楼、一个校园或者一个厂区等地理区域的小范围的计算机网。其特点如下： 2023-12-29 50360 浏览
覆盖的地理范围较小，只在一个相对独立的局部范围内联，如一座或集中的建筑群内。使用专门铺设的传输介质进行联网，数据传输速率高（10Mb/s～10Gb/s）通信延迟时间短，可靠性较高局域网可以支持多种传输介质那局域网的用户是如何连接到城域网的呢？然后连接到互联网的呢？
网络安全-kali linux network scanning cookbook 2024-08-08 16579 浏览
kalilinuxnetworkscanningcookbook
运行和管理数百个 Kubernetes 集群需要什么？ 2023-12-30 52363 浏览
要点部署一个具备生产就绪所需所有依赖关系的Kubernetes集群需要数天时间。如果不自动化这个过程，管理Kubernetes集群的浮动是非常困难的。在多个集群提供商之间管理Kubernetes集群的浮动更加困难。升级Kubernetes集群需要进行密集测试，以确保更改不会破坏任何功能。这不是像通常建议的那样按下“升级”按钮就够了。管理一个Kubernetes集群很难，管理全球数百个Kubernetes集群又如何呢？数百个Kubernetes集群，包含多个节点、服务、应用程序和负载均衡器。这就是我们在Qovery所做的：管理全球数百个Kubernetes生产集群，帮助16000多名开发者在AWS上部署应用。运行和管理数百个Kubernetes集群需要什么？这就是本文分享的内容。
滚动更新和回滚部署在 Kubernetes 中的工作原理 2023-12-29 51194 浏览
在过去的几年中，Kubernetes 在生产环境中被广泛使用，它通过其声明式 API 提供了大量解决方案，用于编排容器。 Kubernetes 的一个显著特性是其具有弹性的能力，能够执行滚动更新和回滚部署，而能够完成这些滚动更新和回滚，主要是由Deployment来实现的，下面就讲解下Deployment的相关知识
搜狗输入法在/tmp/下产生大量core文件 2023-12-25 48527 浏览
搜狗输入法在/tmp/下产生大量core文件
service networking restart 失败的问题 2023-12-26 53627 浏览
service networking restart 失败的问题
networking服务的网卡配置文件路径？ 2023-12-26 50379 浏览
networking服务的网卡配置文件路径？

.Net Core在X86上实现Interlocked.Increment(ref long)的方式

相关资源

关注我们