草庐IT

c++ - 多线程应用程序中的访问冲突,C++

coder 2024-06-04 原文

我不太擅长多线程编程,所以我想寻求一些帮助/建议。

在我的应用程序中,我有两个线程试图访问一个共享对象。
可以考虑尝试从另一个对象中调用函数的两个任务。为清楚起见,我将展示程序的某些部分,这些部分可能不是很相关,但希望可以帮助解决我的问题。

请看下面的示例代码:

//DataLinkLayer.h 
class DataLinkLayer: public iDataLinkLayer {

public:
DataLinkLayer(void);
~DataLinkLayer(void);
};

其中 iDataLinkLayer 是一个接口(interface)(没有任何实现的抽象类),包含纯虚函数和一个指向 DataLinkLayer 对象(dataLinkLayer)的引用(指针)声明。
// DataLinkLayer.cpp
#include "DataLinkLayer.h"

DataLinkLayer::DataLinkLayer(void) {

/* In reality task constructors takes bunch of other parameters  
 but they are not relevant (I believe) at this stage. */
dll_task_1* task1 = new dll_task_1(this); 
dll_task_2* task2 = new dll_task_2(this); 

/* Start multithreading */
task1->start(); // task1 extends thread class
task2->start(); // task2 also extends thread class
}

/* sample stub functions for testing */
void DataLinkLayer::from_task_1() {
printf("Test data Task 1");
}

void DataLinkLayer::from_task_2() {
printf("Test data Task 2");
}

任务 1 的实现如下。 dataLinLayer 接口(interface) (iDataLinkLayer) 指针被传递给类构造函数,以便能够从 dataLinkLayer 实例中访问必要的函数。
//data_task_1.cpp
#include "iDataLinkLayer.h"  // interface to DataLinkLayer
#include "data_task_1.h"

dll_task_1::dll_task_1(iDataLinkLayer* pDataLinkLayer) {
this->dataLinkLayer = pDataLinkLayer; // dataLinkLayer declared in dll_task_1.h
}

// Run method - executes the thread
void dll_task_1::run() {
// program reaches this point and prints the stuff
this->datalinkLayer->from_task_1();
}
// more stuff following - not relevant to the problem
...

任务 2 看起来类似:
//data_task_2.cpp
#include "iDataLinkLayer.h"  // interface to DataLinkLayer
#include "data_task_2.h"

dll_task_2::dll_task_2(iDataLinkLayer* pDataLinkLayer){
this->dataLinkLayer = pDataLinkLayer; // dataLinkLayer declared in dll_task_2.h
}

// // Run method - executes the thread
void dll_task_2::run() {
// ERROR: 'Access violation reading location 0xcdcdcdd9' is signalled at this point
this->datalinkLayer->from_task_2();
}
// more stuff following - not relevant to the problem
...

因此,据我所知,我从两个不同的线程(任务)访问共享指针,这是不允许的。
坦率地说,我认为我仍然可以访问该对象,但结果可能出乎意料。

当 dll_task_2 尝试使用指向 DataLinkLayer 的指针调用该函数时,似乎出现了严重错误。 dll_task_2 的优先级较低,因此它在之后启动。我不明白为什么我仍然无法至少访问该对象...
我可以使用互斥锁来锁定变量,但我认为这样做的主要原因是为了保护变量/对象。

我正在使用 Microsoft Visual C++ 2010 Express。
我对多线程了解不多,所以也许您可以为这个问题提出更好的解决方案并解释问题的原因。

最佳答案

访问冲突的地址是一个非常小的正偏移量 0xcdcdcdcd

Wikipedia说:

CDCDCDCD Used by Microsoft's C++ debugging runtime library to mark uninitialised heap memory



Here is the relevant MSDN page .

The corresponding value after free is 0xdddddddd ,所以很可能是初始化不完整,而不是释放后使用。

编辑:James 询问优化如何弄乱虚函数调用。基本上,这是因为当前标准化的 C++ 内存模型不保证线程。 C++ 标准定义在构造函数中进行的虚拟调用将使用当前正在运行的构造函数的声明类型,而不是对象的最终动态类型。所以这意味着,从C++顺序执行内存模型的角度来看,必须在构造函数开始运行之前设置虚调用机制(实际上就是一个v-table指针)(我相信具体点是在基子对象构造之后在 ctor-initializer-list 和成员子对象构造之前)。

现在,在线程场景中,可能发生两件事使可观察行为不同:

首先,编译器可以自由地执行任何优化,在 C++ 顺序执行模型中,就像遵循规则一样。例如,如果编译器可以证明在构造函数内部没有进行虚拟调用,它可以等待并在构造函数主体的末尾而不是开头设置 v-table 指针。如果构造函数没有给出 this指针,因为构造函数的调用者还没有收到它的指针拷贝,那么构造函数调用的任何函数都不能回调(虚拟或静态)正在构造的对象。但是构造函数确实放弃了 this指针。

我们必须仔细观察。如果给出 this 指针的函数对编译器可见(即包含在当前编译单元中),则编译器可以将其行为包含在分析中。在这个问题中我们没有给出那个函数(class task 的构造函数和成员函数),但似乎唯一发生的事情是所述指针存储在一个子对象中,该子对象也无法从构造函数外部访问.

“犯规!”,你哭了,“我将那个 task 子对象的地址传递给了一个库 CreateThread 函数,因此它是可达的,通过它,主对象是可达的。”啊,但是你没有理解“严格别名规则”的奥秘。该库函数不接受 task * 类型的参数,现在是吗?并且是一个类型可能是 intptr_t 的参数,但绝对不是 task *也不是 char * ,为了 as-if 优化的目的,允许编译器假设它不指向 task对象(即使它显然是)。如果它不指向 task对象,也是我们唯一的地方 this存储的指针在 task 中成员子对象,则它不能用于对 this 进行虚拟调用,因此编译器可以合理地延迟设置虚拟调用机制。

但这还不是全部。即使编译器确实按计划设置了虚拟调用机制,CPU 内存模型也只保证更改对当前 CPU 内核可见。写入可能会以完全不同的顺序对其他 CPU 内核可见。现在,库创建线程函数应该引入一个内存屏障来限制 CPU 写入重新排序,但事实上 Koz 的回答引入了一个临界区(其中肯定包括一个内存屏障)改变了行为表明可能没有内存屏障存在于原始代码。

并且,CPU写重排序不仅可以延迟v-table指针,还可以延迟this指针到task的存储。子对象。

我希望你喜欢这个关于“多线程编程很难”洞穴的一个小角落的导览游。

关于c++ - 多线程应用程序中的访问冲突,C++,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/4430388/

有关c++ - 多线程应用程序中的访问冲突,C++的更多相关文章

  1. ruby - 如何从 ruby​​ 中的字符串运行任意对象方法? - 2

    总的来说,我对ruby​​还比较陌生,我正在为我正在创建的对象编写一些rspec测试用例。许多测试用例都非常基础,我只是想确保正确填充和返回值。我想知道是否有办法使用循环结构来执行此操作。不必为我要测试的每个方法都设置一个assertEquals。例如:describeitem,"TestingtheItem"doit"willhaveanullvaluetostart"doitem=Item.new#HereIcoulddotheitem.name.shouldbe_nil#thenIcoulddoitem.category.shouldbe_nilendend但我想要一些方法来使用

  2. ruby - 其他文件中的 Rake 任务 - 2

    我试图在一个项目中使用rake,如果我把所有东西都放到Rakefile中,它会很大并且很难读取/找到东西,所以我试着将每个命名空间放在lib/rake中它自己的文件中,我添加了这个到我的rake文件的顶部:Dir['#{File.dirname(__FILE__)}/lib/rake/*.rake'].map{|f|requiref}它加载文件没问题,但没有任务。我现在只有一个.rake文件作为测试,名为“servers.rake”,它看起来像这样:namespace:serverdotask:testdoputs"test"endend所以当我运行rakeserver:testid时

  3. ruby-on-rails - Ruby net/ldap 模块中的内存泄漏 - 2

    作为我的Rails应用程序的一部分,我编写了一个小导入程序,它从我们的LDAP系统中吸取数据并将其塞入一个用户表中。不幸的是,与LDAP相关的代码在遍历我们的32K用户时泄漏了大量内存,我一直无法弄清楚如何解决这个问题。这个问题似乎在某种程度上与LDAP库有关,因为当我删除对LDAP内容的调用时,内存使用情况会很好地稳定下来。此外,不断增加的对象是Net::BER::BerIdentifiedString和Net::BER::BerIdentifiedArray,它们都是LDAP库的一部分。当我运行导入时,内存使用量最终达到超过1GB的峰值。如果问题存在,我需要找到一些方法来更正我的代

  4. ruby - 在 Ruby 程序执行时阻止 Windows 7 PC 进入休眠状态 - 2

    我需要在客户计算机上运行Ruby应用程序。通常需要几天才能完成(复制大备份文件)。问题是如果启用sleep,它会中断应用程序。否则,计算机将持续运行数周,直到我下次访问为止。有什么方法可以防止执行期间休眠并让Windows在执行后休眠吗?欢迎任何疯狂的想法;-) 最佳答案 Here建议使用SetThreadExecutionStateWinAPI函数,使应用程序能够通知系统它正在使用中,从而防止系统在应用程序运行时进入休眠状态或关闭显示。像这样的东西:require'Win32API'ES_AWAYMODE_REQUIRED=0x0

  5. ruby-on-rails - Rails 3 中的多个路由文件 - 2

    Rails2.3可以选择随时使用RouteSet#add_configuration_file添加更多路由。是否可以在Rails3项目中做同样的事情? 最佳答案 在config/application.rb中:config.paths.config.routes在Rails3.2(也可能是Rails3.1)中,使用:config.paths["config/routes"] 关于ruby-on-rails-Rails3中的多个路由文件,我们在StackOverflow上找到一个类似的问题

  6. ruby - 将差异补丁应用于字符串/文件 - 2

    对于具有离线功能的智能手机应用程序,我正在为Xml文件创建单向文本同步。我希望我的服务器将增量/差异(例如GNU差异补丁)发送到目标设备。这是计划:Time=0Server:hasversion_1ofXmlfile(~800kiB)Client:hasversion_1ofXmlfile(~800kiB)Time=1Server:hasversion_1andversion_2ofXmlfile(each~800kiB)computesdeltaoftheseversions(=patch)(~10kiB)sendspatchtoClient(~10kiBtransferred)Cl

  7. ruby - 如何指定 Rack 处理程序 - 2

    Rackup通过Rack的默认处理程序成功运行任何Rack应用程序。例如:classRackAppdefcall(environment)['200',{'Content-Type'=>'text/html'},["Helloworld"]]endendrunRackApp.new但是当最后一行更改为使用Rack的内置CGI处理程序时,rackup给出“NoMethodErrorat/undefinedmethod`call'fornil:NilClass”:Rack::Handler::CGI.runRackApp.newRack的其他内置处理程序也提出了同样的反对意见。例如Rack

  8. ruby-on-rails - Rails - 一个 View 中的多个模型 - 2

    我需要从一个View访问多个模型。以前,我的links_controller仅用于提供以不同方式排序的链接资源。现在我想包括一个部分(我假设)显示按分数排序的顶级用户(@users=User.all.sort_by(&:score))我知道我可以将此代码插入每个链接操作并从View访问它,但这似乎不是“ruby方式”,我将需要在不久的将来访问更多模型。这可能会变得很脏,是否有针对这种情况的任何技术?注意事项:我认为我的应用程序正朝着单一格式和动态页面内容的方向发展,本质上是一个典型的网络应用程序。我知道before_filter但考虑到我希望应用程序进入的方向,这似乎很麻烦。最终从任何

  9. ruby - 在 Ruby 中编写命令行实用程序 - 2

    我想用ruby​​编写一个小的命令行实用程序并将其作为gem分发。我知道安装后,Guard、Sass和Thor等某些gem可以从命令行自行运行。为了让gem像二进制文件一样可用,我需要在我的gemspec中指定什么。 最佳答案 Gem::Specification.newdo|s|...s.executable='name_of_executable'...endhttp://docs.rubygems.org/read/chapter/20 关于ruby-在Ruby中编写命令行实用程序

  10. ruby-on-rails - Rails 3.2.1 中 ActionMailer 中的未定义方法 'default_content_type=' - 2

    我在我的项目中添加了一个系统来重置用户密码并通过电子邮件将密码发送给他,以防他忘记密码。昨天它运行良好(当我实现它时)。当我今天尝试启动服务器时,出现以下错误。=>BootingWEBrick=>Rails3.2.1applicationstartingindevelopmentonhttp://0.0.0.0:3000=>Callwith-dtodetach=>Ctrl-CtoshutdownserverExiting/Users/vinayshenoy/.rvm/gems/ruby-1.9.3-p0/gems/actionmailer-3.2.1/lib/action_mailer

随机推荐