我在这里遇到了一个严重的问题。我有两个不同的任务（如一个进程）在我的 PLC X20 表单 B&R 上运行，访问一个单例对象“VarList”。其目的是允许通过指针进行进程间通信。
任务 A 正在使用静态 getInstance() 方法创建包含 std::map 的对象。如果将该对象分配给全局 PLC 变量以允许从每个任务访问该特定对象，则该指针会出现。该任务还检查每个任务周期是否将变量插入到该映射中。在这种情况下，它会尝试再次删除该插入的节点，仅出于测试目的。
任务 B 通过 getInstance 方法获取对象的指针，并将 bool* 插入到映射中。
之后任务 A 尝试再次删除它，但它因访问冲突而崩溃。我可以访问节点及其值。我可以改变那个值。但是擦除在不同任务中创建的节点会导致崩溃，我想知道为什么！
PLC 是单线程的，因此不应有对内存的并发访问。
这是锁定问题吗？或者这是一个逻辑问题？STL 问题？空指针问题？或者可能又是plc供应商的std库的具体实现问题？任何与访问冲突相关的帮助表示赞赏！
以下是提到的对象的代码片段，我删除了与问题无关的所有内容，只是为了获得提示。抱歉，它很可能无法编译：
编译器：gcc 4.1.2
任务一：
#include <VarListe.hpp>
VarListe::Ptr VLInstanz;
void _INIT VLErzeugerInit(void)
{
VLInstanz = VarListe::getInstance("VLErzeuger");
}
void _CYCLIC VLErzeugerCyclic(void)
{
VLInstanz->checkNewVars(); // Access Violation here
}
任务 B：
#include <VarListe.hpp>
VarListe::Ptr vals;
bool setPtr = true;
void _INIT VarListeTestInit(void)
{
}
// btn_VarTest is a Boolean plc Variable for a button on the Visu
void _CYCLIC VarListeTestCyclic(void)
{
try
{
if(btn_VarTest &&setPtr)
{
vals = VarListe::getInstance("VarListe1");
vals->setVar("btn_VarTest",&btn_VarTest);
//vals->checkNewVars(); // Works perfect if used here. Thats not the point
setPtr = false;
}
catch (...)
{
}
}
变量列表.hpp
#include <map>
#include <deque>
#include <string>
#include <boost/shared_ptr.hpp>
using namespace std;
class VarListe
{
public:
typedef bool* BoolPtr;
typedef boost::shared_ptr<VarListe> Ptr;
static Ptr getInstance(string owner);
static Ptr _alwaysUseGetInstance;
static char owners[200];
void checkNewVars();
private:
typedef map<string, BoolPtr > BoolPtrMap;
typedef deque<BoolPtrMap::iterator> BoolVarQueue;
BoolVarQueue _boolVarQueue;
BoolPtrMap _boolListe;
public:
void setVar(string key, bool* value);
};
变量列表.cpp
#include <VarListe.hpp>
VarListe::Ptr VarListe::_alwaysUseGetInstance; // Singleton static Variable; used olny by the object creator
char VarListe::owners[200]; // just to test which task creats the object
#include <../../Temp/Includes/globalvar.h> // For the global PLC variable 'GlobalVarListe'
// This static Method runs perfectly, no need to check here
VarListe::Ptr VarListe::getInstance(string owner)
{
if(GlobalVarListe == 1337)
{
strcpy(VarListe::owners, "");
owner += "(Builder)";
if (!VarListe::_alwaysUseGetInstance)
VarListe::_alwaysUseGetInstance = VarListe::Ptr(new VarListe);
GlobalVarListe = (UDINT) &VarListe::_alwaysUseGetInstance;
VarListe::_alwaysUseGetInstance->setVar("VarListOwners",VarListe::owners);
}
VarListe::Ptr tempVL = *( (VarListe::Ptr*) GlobalVarListe);
VarListe::CharPtrPair locOwners;
if(tempVL->assertVar("VarListOwners",locOwners))
{
string temp = string(locOwners.first);
temp = temp + owner + " + ";
strcpy(locOwners.first, temp.c_str());
}
return tempVL;
}
// This Method is used in Task B
void VarListe::setVar(string key, bool* value)
{
pair<BoolPtrMap::iterator, bool > eingetragen;
eingetragen = _boolListe.insert(pair<string, BoolPtr>(key, value ));
if(eingetragen.second == false)
{
}
else
_boolVarQueue.push_back(eingetragen.first);
}
// This method is in Task A
void VarListe::checkNewVars()
{
if(!_boolVarQueue.empty())
{
string key = _boolVarQueue.front()->first; //OK,
BoolPtr bp = _boolVarQueue.front()->second; //OK
_boolVarQueue.front()->second = 0; //OK
_boolListe[key] = bp; //OK
BoolPtrMap::iterator fund = _boolListe.find(key); // OK
if (fund != this->_boolListe.end()) // OK
{
_boolListe.erase(key); //Access Violation: Code 9101 only if used by Task A
_boolListe.erase(_boolVarQueue.front()); //Access Violation: Code 9101
_boolListe.erase(fund); //Access Violation: Code 9101
}
_boolVarQueue.pop_front(); //OK
_boolListe[key] = bp; //OK
}
}