以纯二进制的形式在内存中绘制一个对象

转载作者：我是一只小鸟更新时间：2023-07-14 14:35:54

一个对象总是映射一块连续的内存序列（不考虑对象之间的引用关系），如果我们知道了引用类型实例的内存布局，以及变量引用指向的确切的地址，我们不仅可以采用纯“二进制”的方式在内存“绘制”一个指定引用类型的实例，还能直接通过改变二进制内容来更新实例的状态.

1、引用类型实例的内存布局 2、以二进制的形式创建对象 3、字节数组与实例状态的同一性 4、ObjHeader针对哈希被同步状态的缓存。

1、引用类型实例的内存布局

从内存布局的角度来看，一个引用类型的实例由如下图所示的三部分组成：ObjHeader + TypeHandle + Fields。前置的ObjHeader用来缓存哈希值和同步状态（《如何将一个实例的内存二进制内容读出来？》具有对此的详细介绍），TypeHandle部分存储类型对应方法表（Method Table）的地址，方法表可以视为针对类型的描述。也正是这部分内容的存在，运行时可以确定任何一个实例的真实类型，所以我们才说引用类型的实例是自描述（Self Describing）的。Fields用于存储实例每个字段的内容.

对于32位（x86）的机器来说，ObjHeader 和 TypeHandle的长度都是4字节。如果是64位（x64）的机器，用于存储方法表地址的TypeHandle 需要8个字节来存储，但是ObjHeader 依然是4个直接。考虑到内存对齐，需要前置4个字节的Padding。对于一个不为null的应用类型变量来说，它存储的是实例的内存地址。但是这个地址并不是实例所在内存的“首地址（ObjHeader）”，而是TypeHandle部分的地址.

2、以二进制的形式创建对象

既然我们已经知道了引用类型实例的内存布局，也知道了引用指向的确切的地址，我们不仅可以采用纯“二进制”的方式在内存“绘制”一个指定引用类型的实例，还可以修改某个变量的“值”指向它。具体的实现体现在如下所示的Create方法中，该方法根据指定的属性值创建一个Foobar对象。除了用来提供两个属性值的foo、bar参数之外，它还通过输出参数bytes返回整个实例的字节序列.

                          var foobar = Create(1, 2, 
                          
                            out
                          
                           var bytes);
Debug.Assert(foobar.Foo == 1);
Debug.Assert(foobar.Bar == 2);


                          
                            static
                          
                          
                            unsafe
                          
                           Foobar Create(
                          
                            int
                          
                           foo, 
                          
                            int
                          
                           bar, 
                          
                            out
                          
                          
                            byte
                          
                          [] bytes)
{
    Foobar foobar = 
                          
                            null
                          
                          !;
    bytes = 
                          
                            new
                          
                          
                            byte
                          
                          [24];
    BinaryPrimitives.WriteInt64LittleEndian(bytes.AsSpan(8), 
                          
                            typeof
                          
                          (Foobar).TypeHandle.Value.ToInt64());
    BinaryPrimitives.WriteInt32LittleEndian(bytes.AsSpan(16), foo);
    BinaryPrimitives.WriteInt32LittleEndian(bytes.AsSpan(20), bar);
    Unsafe.Write(Unsafe.AsPointer(
                          
                            ref
                          
                           foobar), 
                          
                            new
                          
                           IntPtr(Unsafe.AsPointer(
                          
                            ref
                          
                           bytes[8])));
    
                          
                            return
                          
                           foobar;
}


                          
                            public
                          
                          
                            class
                          
                           Foobar
{
    
                          
                            public
                          
                          
                            int
                          
                           Foo { 
                          
                            get
                          
                          ; 
                          
                            set
                          
                          ; }
    
                          
                            public
                          
                          
                            int
                          
                           Bar { 
                          
                            get
                          
                          ; 
                          
                            set
                          
                          ; }
}

根据上述针对内存布局的介绍，我们知道任何一个Foobar实例在x64机器中都映射位一段连续的24字节内存，所以Create方法创建了一个长度位24的字节数组。我们保持ObjHeader为空，所以我们从第8（zero based）个字节开始写入Foobar类型对应TypeHandle的值（8字节），然后将指定的数据成员的值（int类型占据4个字节）填充到最后8个字节（由于两个字段的类型均为int，所以不需要添加额外的“留白”来确保内存对齐）。自此我们将“凭空”在内存中“绘制”了一个Foobar对象。由于x86机器采用“小端字节序”，所以二进制的写入最终是通过调用BinaryPrimitives的WriteInt32/64LittleEndian方法来完成的.

接下来我们定义一个Foobar类型的变量，并让它指向这个绘制的Foobar对象。我们在上面说过，它指向的不是实例内存的首字节，而是TypleHandle部分。对于我们的例子来说，它指向的就是我们创建的字节数组的第8（zero based）的元素。针对变量内容（目标对象的地址）的改写是通过调用Unsafe的静态方法Write实现的。我们的演示程序调用了Create创建了一个Foo和Bar属性分别为1和2的Foobar对象，并得到它真正映射在内存中的字节序列.

3、字节数组与实例状态的同一性

对于我们定义的Create方法来说，由于通过输出参数返回的字节数字就是返回的Foobar对象在内存中的映射，所以Foobar的状态（Foo和Bar属性）发生改变后，字节数组的内容也会发生改变。这一点可以通过如下的程序来验证.

                          var foobar = Create(1, 1, 
                          
                            out
                          
                           var bytes);
Console.WriteLine(BitConverter.ToString(bytes));

foobar.Foo = 255;
foobar.Bar = 255;
Console.WriteLine(BitConverter.ToString(bytes));

输出结果。

                          00-00-00-00-00-00-00-00-D8-11-30-17-F9-7F-00-00-
                          
                            01-00-00-00-01-00-00-00
                          
                          
00-00-00-00-00-00-00-00-D8-11-30-17-F9-7F-00-00-
                          
                            FF-00-00-00-FF-00-00-00

既然返回的字节数据和Foobar对象具有同一性，我们自然也可以按照如下的方式通过修改字节数组的内容来到达改变实例状态的目的.

                          var foobar = Create(1, 1, 
                            out 
                             var bytes),
                          Debug.Assert(foobar.Foo == 1);
Debug.Assert(foobar.Bar == 1);

BinaryPrimitives.WriteInt32LittleEndian(bytes.AsSpan(16), 255);
BinaryPrimitives.WriteInt32LittleEndian(bytes.AsSpan(20), 255);

Debug.Assert(foobar.Foo == 255);
Debug.Assert(foobar.Bar == 255),

4、ObjHeader针对哈希被同步状态的缓存

我们可以进一步利用这种方式验证实例的ObjHeader针对哈希值和同步状态的缓存。如下面的代码片段所示，我们调用Create创建了一个Foobar对象并将得到的字节数组打印出来。然后我们调用其GetHashCode方法触发哈希值的计算，并再次打印字节数组。接下来我们创建一个新的Foobar对象，分别对它进行加锁和解锁状态打印字节数组.

                          var foobar = Create(1, 2, 
                          
                            out
                          
                           var bytes);
Console.WriteLine($"
                          
                            {BitConverter.ToString(bytes)}[Original]
                          
                          ");
foobar.GetHashCode();
Console.WriteLine($"
                          
                            {BitConverter.ToString(bytes)}[GetHashCode]
                          
                          ");

foobar = Create(1, 2, 
                          
                            out
                          
                           bytes);

                          
                            lock
                          
                           (foobar)
{
    Console.WriteLine($"
                          
                            {BitConverter.ToString(bytes)}[Enter lock]
                          
                          ");
}
Console.WriteLine($"
                          
                            {BitConverter.ToString(bytes)}[Exit lock]
                          
                          ");

从如下所示的输出结果可以看出，在GetHashCode方法调用和被“锁住”之后，承载Foobar对象的ObjHeader字节（4-7字节）都发生了改变，实际上运行时就是利用它来存储计算出的哈希值和同步状态。至于ObjHeader具体的字节布局，我的另一篇文章《如何将一个实例的内存二进制内容读出来？》提供了系统的说明.

                          00-00-00-00-00-00-00-00-90-1C-30-17-F9-7F-00-00-01-00-00-00-02-00-00-00[Original]
00-00-00-00-
                          
                            C7-D5-9F-0D
                          
                          -90-1C-30-17-F9-7F-00-00-01-00-00-00-02-00-00-00[GetHashCode]
00-00-00-00-
                          
                            01-00-00-00
                          
                          -90-1C-30-17-F9-7F-00-00-01-00-00-00-02-00-00-00[Enter 
                          
                             lock 
                          
                          ]
                          

                          00-00-00-00-00-00-00-00-90-1C-30-17-F9-7F-00-00-01-00-00-00-02-00-00-00[Exit 
                          
                             lock 
                          
                          ]

最后此篇关于以纯二进制的形式在内存中绘制一个对象的文章就讲到这里了,如果你想了解更多关于以纯二进制的形式在内存中绘制一个对象的内容请搜索CFSDN的文章或继续浏览相关文章，希望大家以后支持我的博客！。

文章推荐：在行情一般的情况下，就说说23级应届生如何找java工作

文章推荐：【调制解调】ISB独立边带调幅

文章推荐：五分钟了解制造业核心5大系统的联系

文章推荐：怎样优雅地增删查改（六）：按任意字段关键字查询

android - 未处理的异常 : Android. Views.InflateException:二进制 XML 文件行 #1:二进制 XML 文件行 #1:类 fragment 膨胀时出错
我正在尝试将谷歌地图集成到 Xamarin Android。但是，如标题中所写，收到错误。此错误出现在我的 SetContentView (Resource.Layout.Main); 上，如下所示:
Delphi读取非文本文件(二进制)
在 Delphi 中如何以非文本模式打开二进制文件？类似于 C 函数 fopen(filename,"rb") 最佳答案有几个选项。 1。使用文件流 var Stream: TFileStrea
计算段中的一个(二进制)
我现在正在处理一个问题，如下所示: 有两个数字 x1 和 x2 并且 x2 > x1。例如 x1 = 5; x2 = 10; 而且我必须在二进制表示中找到 x1 和 x2 之间的总和。 5 = 10
gcc - 二进制 AND (&) 的无效操作数
我有这个“程序集”文件(仅包含 directives ) // declare protected region as somewhere within the stack .equiv prot_s
Powershell 二进制 grep
有没有办法在powershell中确定指定的文件是否包含指定的字节数组(在任何位置)？就像是: fgrep --binary-files=binary "$data" "$filepath" 当然，
Delphi 二进制/文本文件必要性
我是一名工程师，而不是软件程序员，所以请原谅我的无知。我编写了一个 Delphi(7SE) 程序，用于从连接到两个数字温度计的 USB 端口读取“真实”数据类型。我已经完成了该计划的大部分内容。
c++ - 二进制 + 的无效操作数
我有一些代码，例如: u=(float *)calloc(n, sizeof(float)); for(i=1; i
c++ - 二进制 * 的无效操作数
typedef struct pixel_type { unsigned char r; unsigned char g; unsigned char b;
c++ - 二进制-十进制负位集
如何判断二进制数是否为负数？目前我有下面的代码。它可以很好地转换为二进制文件。转换为十进制时，我需要知道最左边的位是否为 1 以判断它是否为负数，但我似乎无法弄清楚该怎么做。此外，我如何才能让它返
c++ - 二进制 * 运算符未找到
我有一个带有适当重载的 Vect*float 运算符的 vector 类，我正在尝试创建全局/非成员 float*Vect 运算符，如下所示:(注意这是一个经过大量编辑的示例) class Vect
图像的转换--->二进制--->图像使用C
对于使用 C 编程的项目，我们正在尝试将图像转换为二进制数据，反之亦然。我们在网上找到的所有其他解决方案都是用 C++ 或 Java 编写的。这是我们尝试过的方法: 将图像转换为包含二进制数据的文本文
python - (二进制)对列表的元素求和
我需要对列表的元素求和，其中包含所有零或一，如果列表中有 1，则结果为 1，否则为 0。 def binary_search(l, low=0,high=-1): if not l: retu
python - 如何将浮点十进制转换为浮点八进制/二进制？
我到处搜索以找到将 float 转换为八进制或二进制的方法。我知道 float.hex 和 float.fromhex。是否有模块可以对八进制/二进制值执行相同的工作？例如:我有一个 float 1
c - 二进制 "|"的无效操作数
当我阅读有关 list.h 文件中的 hlist 的 FreeBSD 源代码时，我对这个宏感到困惑: #define hlist_for_each_entry_safe(tp, p, n, head,
c - 二进制 % 的操作数无效？
我不知道出了什么问题，也不知道为什么会出现此错误。我四处搜索，但我终究无法弄明白。 void print_arb_base(unsigned int n, unsigned int b) {
algorithm - 十进制转位(二进制)
在任何语言中都可以轻松地将十进制转换为二进制，反之亦然，但我需要一个稍微复杂一点的函数。给定一个十进制数和一个二进制位，我需要知道二进制位是开还是关(真或假)。示例: IsBitTrue(30,1
c - 为什么使用此代码创建的文本文件具有字符集 == 二进制？
在下面的代码中，我创建了两个文件，一个是文本格式，另一个是二进制格式。文件的图标显示相同。但是这两个文件的特征完全相同，包括大小、字符集(==二进制)和流(八位字节)。为什么没有文本文件？因为如果我明
Python 二进制 EOF
我想通读一个二进制文件。谷歌搜索“python binary eof”引导我here . 现在，问题: 为什么容器(SO 答案中的 x)不包含单个(当前)字节而是包含一大堆字节？我做错了什么？如果应
python - 二进制/十六进制浮点输入
为什么只允许以 10 为基数使用小数点？为什么以下会引发语法错误？ 0b1011101.1101 我输入的数字是否有歧义？除了 93.8125 之外，字符串似乎没有其他可能的数字同样的问题也适用于其
c++ - boost::二进制<>
boost 库中有二进制之类的东西吗？例如我想写: binary a; 我很惭愧地承认我曾尝试找到它(Google、Boost)但没有结果。他们提到了一些关于 binary_int<> 的内容，但我既

我是一只小鸟

个人简介

我是一名优秀的程序员,十分优秀！

作者热门文章

滴滴打车优惠券免费领取

全站热门文章

首页

博学

6Ren·AI

商城

以纯二进制的形式在内存中绘制一个对象

1、引用类型实例的内存布局

2、以二进制的形式创建对象

3、字节数组与实例状态的同一性

4、ObjHeader针对哈希被同步状态的缓存

首页

博学

6Ren·AI

商城

以纯二进制的形式在内存中绘制一个对象

﻿1、引用类型实例的内存布局

2、以二进制的形式创建对象

3、字节数组与实例状态的同一性

4、ObjHeader针对哈希被同步状态的缓存

1、引用类型实例的内存布局