0

我想知道是否可以将“原子访问”（C++11 特性）用于从注入到另一个进程的 DLL 中的多线程访问。

例如，我们有这个程序：

struct SSomeStructure
{
    int value_a;
    int value_b;
};

int main()
{
    SSomeStructure some_variable;
    while(!GetAsyncKeyState('Q'))//loop while Q is not pressed
    {
        std::cout << some_variable.value_a << some_variable.value_b;
        some_variable.value_a = GetTickCount();
        some_variable.value_b = -some_variable.value_a;
        std::cout << some_variable.value_a << some_variable.value_b;
    }
}

并且该程序是封闭源代码的，但我已经反汇编了“SSomeStructure”结构：

struct SSomeStructure
{
    int value_a;
    int value_b;
};

现在我正在编写一个将被注入到进程中的 DLL，但是除了 std::out 之外没有什么可以挂接的，所以，没有挂接而是创建另一个线程，为了安全地访问/修改这些变量，他们需要是原子的，对吧？

所以我想在我的（伪代码）DLL中创建它：

#include <atomic>
#include <thread>

//disasembled structure, but added syd::atomic
struct SSomeStructure
{
    std::atomic<int> value_a;
    std::atomic<int> value_b;
};

//start thread when dll loads etc...

void SomeThread()
{
    SSomeStructure * some_variable = ObtainAddressOfSomeVariableFromHostProcess();
    while(true)
    {
        some_variable->value_a = 1337;//is this now an atomic operation which is thread-safe?
    }
}

运行它自己的线程的“hack”dll中的std :: atomic是否可以安全地多线程访问主机进程中的全局变量？（因为 DLL 在宿主进程中以原子方式访问值？）

4

1 回答 1

2

形式上，这个程序表现出未定义的行为；您正在通过指向另一种不相关类型的指针访问一种类型的对象。

它在实践中也行不通。探戈需要两个：对于两个线程来观察标量对象的一致状态，两个线程都必须使用原子指令来访问和修改它。这样想：您可以在增加计数器之前获取锁，但如果另一个线程在没有先获取相同锁的情况下增加所述计数器，则对您没有任何好处。

在极限情况下，主机进程可能已将 的值加载some_variable->value_a到寄存器中，并且根本没有观察到您的任何修改。

于 2013-09-28T14:36:01.277 回答