c++ - 如何在 C/C++ 中从运行时卸载内存偏移量计算？

coder 2024-02-05 原文

我正在实现一个简单的 VM，目前我正在使用运行时算法来计算各个程序对象地址作为基指针的偏移量。

我今天问了几个关于这个主题的问题，但我似乎无处可去。

我从第一个问题中学到了一些东西 - Object and struct member access and address offset calculation - 我了解到现代处理器具有虚拟寻址功能，无需任何额外的算术周期即可计算内存偏移量。

从问题二 - Are address offsets resolved during compile time in C/C++? - 我了解到手动进行偏移时无法保证会发生这种情况。

现在应该很清楚，我想要实现的是利用硬件的虚拟内存寻址功能并从运行时卸载这些功能。

我正在使用 GCC，至于平台 - 我正在 Windows 中的 x86 上进行开发，但由于它是一个虚拟机，我希望它能在 GCC 支持的所有平台上高效运行。

欢迎提供有关该主题的任何信息，我们将不胜感激。

提前致谢!

编辑:关于我的程序代码生成的一些概述——在设计阶段，程序被构建为树状层次结构，然后递归地序列化到一个连续的内存块中，同时索引对象并计算它们从开始处的偏移量程序内存块。

编辑 2:这是虚拟机的一些伪代码:

switch *instruction
   case 1: call_fn1(*(instruction+1)); instruction += (1+sizeof(parameter1)); break;
   case 2: call_fn2(*(instruction+1), *(instruction+1+sizeof(parameter1));
           instruction += (1+sizeof(parameter1)+sizeof(parameter2); break;
   case 3: instruction += *(instruction+1); break;

情况 1 是一个接受一个参数的函数，该参数紧跟在指令之后，因此它作为指令的 1 个字节的偏移量传递。指令指针递增1+第一个参数的大小以找到下一条指令。

情况 2 是一个带有两个参数的函数，与之前相同，第一个参数作为 1 字节偏移量传递，第二个参数作为 1 字节偏移量加上第一个参数的大小传递。然后指令指针增加指令的大小加上两个参数的大小。

Case 3 是一个 goto 语句，指令指针增加了一个紧跟在 goto 指令之后的偏移量。

编辑 3:据我了解，操作系统将为每个进程提供其自己专用的虚拟内存寻址空间。如果是这样，这是否意味着第一个地址总是......好吧，零，所以内存块第一个字节的偏移量实际上就是这个元素的地址？如果内存地址专用于每个进程，并且我知道我的程序内存块的偏移量以及每个程序对象距内存块第一个字节的偏移量，那么对象地址是否在编译时解析？

问题是这些偏移量在 C 代码编译期间不可用，它们在“编译”阶段和转换为字节码时已知。这是否意味着没有办法为“免费”进行对象内存地址计算？

例如，这在 Java 中是如何完成的，其中只有虚拟机被编译为机器代码，这是否意味着对象地址的计算会因为运行时算法而导致性能下降？

最佳答案

这里试图阐明链接的问题和答案如何适用于这种情况。

第一个问题的答案混合了两个不同的东西，第一个是 X86 指令中的寻址模式，第二个是虚拟地址到物理地址的映射。第一个是由编译器完成的，第二个是(通常)由操作系统设置的。在您的情况下，您应该只担心第一个。

X86 汇编中的指令在如何访问内存地址方面具有很大的灵 active 。读取或写入内存的指令具有根据以下公式计算的地址:

segment + base + index * size + offset

地址的段部分几乎总是默认的 DS 段，通常可以忽略。 base 部分由通用寄存器之一或堆栈指针给出。 index 部分由通用寄存器之一给出，大小为 1、2、4 或 8。最后，偏移量是嵌入在指令中的常量值。这些组件中的每一个都是可选的，但显然至少必须给出一个。

这种寻址能力是在没有明确算术指令的情况下谈论计算地址时通常的意思。其中一位评论者提到了一条特殊指令:LEA，它执行地址计算，但不是读取或写入内存，而是将计算出的地址存储在寄存器中。

对于问题中包含的代码，编译器很可能会使用这些寻址模式来避免显式算术指令。

例如，instruction 变量的当前值可以保存在 ESI 寄存器中。此外，sizeof(parameter1) 和 sizeof(parameter2) 都是编译时常量。在标准的 X86 调用约定中，函数参数以相反的顺序被压入(因此第一个参数位于堆栈的顶部)因此汇编代码可能看起来像

case1: 
  PUSH [ESI+1]
  CALL fn1
  ADD ESP,4 ; drop arguments from stack
  ADD ESI,5
  JMP end_switch
case2: 
  PUSH [ESI+5]
  PUSH [ESI+1]
  CALL fn2
  ADD ESP,8 ; drop arguments from stack
  ADD ESI,9
  JMP end_swtich
case3:
  MOV ESI,[ESI+1]
  JMP end_switch
end_switch:

这是假设两个参数的大小都是 4 个字节。当然，实际代码取决于编译器，只要您要求进行某种程度的优化，编译器就会输出相当高效的代码是合理的。

关于c++ - 如何在 C/C++ 中从运行时卸载内存偏移量计算？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/11494379/

amp 偏移 code instruction c++c offset virtual-memory addressing

有关c++ - 如何在 C/C++ 中从运行时卸载内存偏移量计算？的更多相关文章

ruby - 如何从 ruby 中的字符串运行任意对象方法？ - 2
总的来说，我对ruby还比较陌生，我正在为我正在创建的对象编写一些rspec测试用例。许多测试用例都非常基础，我只是想确保正确填充和返回值。我想知道是否有办法使用循环结构来执行此操作。不必为我要测试的每个方法都设置一个assertEquals。例如:describeitem,"TestingtheItem"doit"willhaveanullvaluetostart"doitem=Item.new#HereIcoulddotheitem.name.shouldbe_nil#thenIcoulddoitem.category.shouldbe_nilendend但我想要一些方法来使用
ruby - 如何在 Ruby 中顺序创建 PI - 2
出于纯粹的兴趣，我很好奇如何按顺序创建PI，而不是在过程结果之后生成数字，而是让数字在过程本身生成时显示。如果是这种情况，那么数字可以自行产生，我可以对以前看到的数字实现垃圾收集，从而创建一个无限系列。结果只是在Pi系列之后每秒生成一个数字。这是我通过互联网筛选的结果:这是流行的计算机友好算法，类机器算法:defarccot(x,unity)xpow=unity/xn=1sign=1sum=0loopdoterm=xpow/nbreakifterm==0sum+=sign*(xpow/n)xpow/=x*xn+=2sign=-signendsumenddefcalc_pi(digits
ruby-on-rails - Ruby net/ldap 模块中的内存泄漏 - 2
作为我的Rails应用程序的一部分，我编写了一个小导入程序，它从我们的LDAP系统中吸取数据并将其塞入一个用户表中。不幸的是，与LDAP相关的代码在遍历我们的32K用户时泄漏了大量内存，我一直无法弄清楚如何解决这个问题。这个问题似乎在某种程度上与LDAP库有关，因为当我删除对LDAP内容的调用时，内存使用情况会很好地稳定下来。此外，不断增加的对象是Net::BER::BerIdentifiedString和Net::BER::BerIdentifiedArray，它们都是LDAP库的一部分。当我运行导入时，内存使用量最终达到超过1GB的峰值。如果问题存在，我需要找到一些方法来更正我的代
ruby - 如何在 buildr 项目中使用 Ruby 代码？ - 2
如何在buildr项目中使用Ruby？我在很多不同的项目中使用过Ruby、JRuby、Java和Clojure。我目前正在使用我的标准Ruby开发一个模拟应用程序，我想尝试使用Clojure后端(我确实喜欢功能代码)以及JRubygui和测试套件。我还可以看到在未来的不同项目中使用Scala作为后端。我想我要为我的项目尝试一下buildr(http://buildr.apache.org/)，但我注意到buildr似乎没有设置为在项目中使用JRuby代码本身!这看起来有点傻，因为该工具旨在统一通用的JVM语言并且是在ruby中构建的。除了将输出的jar包含在一个独特的、仅限ruby
ruby - 什么是填充的 Base64 编码字符串以及如何在 ruby 中生成它们？ - 2
我正在使用的第三方API的文档状态:"[O]urAPIonlyacceptspaddedBase64encodedstrings."什么是“填充的Base64编码字符串”以及如何在Ruby中生成它们。下面的代码是我第一次尝试创建转换为Base64的JSON格式数据。xa=Base64.encode64(a.to_json) 最佳答案他们说的padding其实就是Base64本身的一部分。它是末尾的“=”和“==”。Base64将3个字节的数据包编码为4个编码字符。所以如果你的输入数据有长度n和n%3=1=>"=="末尾用于填充n%
ruby - 如何每月在 Heroku 运行一次 Scheduler 插件？ - 2
在选择我想要运行操作的频率时，唯一的选项是“每天”、“每小时”和“每10分钟”。谢谢!我想为我的Rails3.1应用程序运行调度程序。最佳答案这不是一个优雅的解决方案，但您可以安排它每天运行，并在实际开始工作之前检查日期是否为当月的第一天。关于ruby-如何每月在Heroku运行一次Scheduler插件？，我们在StackOverflow上找到一个类似的问题： https://stackoverflow.com/questions/8692687/
ruby-on-rails - 如何在 ruby 中使用两个参数异步运行 exe？ - 2
exe应该在我打开页面时运行。异步进程需要运行。有什么方法可以在ruby中使用两个参数异步运行exe吗？我已经尝试过ruby命令-system()、exec()但它正在等待过程完成。我需要用参数启动exe，无需等待进程完成是否有任何rubygems会支持我的问题？最佳答案您可以使用Process.spawn和Process.wait2:pid=Process.spawn'your.exe','--option'#Later...pid,status=Process.wait2pid您的程序将作为解释器的子进程执行。除
ruby - 无法运行 Rails 2.x 应用程序 - 2
我尝试运行2.x应用程序。我使用rvm并为此应用程序设置其他版本的ruby:$rvmuseree-1.8.7-head我尝试运行服务器，然后出现很多错误:$script/serverNOTE:Gem.source_indexisdeprecated,useSpecification.Itwillberemovedonorafter2011-11-01.Gem.source_indexcalledfrom/Users/serg/rails_projects_terminal/work_proj/spohelp/config/../vendor/rails/railties/lib/r
ruby-on-rails - 如何优雅地重启 thin + nginx？ - 2
我的瘦服务器配置了nginx，我的ROR应用程序正在它们上运行。在我发布代码更新时运行thinrestart会给我的应用程序带来一些停机时间。我试图弄清楚如何优雅地重启正在运行的Thin实例，但找不到好的解决方案。有没有人能做到这一点？最佳答案 #Restartjustthethinserverdescribedbythatconfigsudothin-C/etc/thin/mysite.ymlrestartNginx将继续运行并代理请求。如果您将Nginx设置为使用多个上游服务器，例如server{listen80;server
ruby - 如何在续集中重新加载表模式？ - 2
鉴于我有以下迁移:Sequel.migrationdoupdoalter_table:usersdoadd_column:is_admin,:default=>falseend#SequelrunsaDESCRIBEtablestatement,whenthemodelisloaded.#Atthispoint,itdoesnotknowthatusershaveais_adminflag.#Soitfails.@user=User.find(:email=>"admin@fancy-startup.example")@user.is_admin=true@user.save!ende

c++ - 如何在 C/C++ 中从运行时卸载内存偏移量计算？

有关c++ - 如何在 C/C++ 中从运行时卸载内存偏移量计算？的更多相关文章

随机推荐