我正在为 Linux 上的 (pthread) 多线程 C++ 程序进行调试。

当线程数较小时，如 1、2、3，效果很好。

当线程数增加时，我收到 SIGSEGV(段错误，UNIX 信号 11)。

但是，当我将线程数增加到 4 以上时，错误有时会出现有时会消失。

我用了valgrind，我得到了

==29655== 进程以信号 11 (SIGSEGV) 的默认操作终止

==29655== 访问不在地址 0xFFFFFFFFFFFFFFFF8 的映射区域内

==29655== 在 0x3AEB69CA3E:std::string::assign(std::string const&)(在/usr/lib64/libstdc++.so.6.0.8 中)

==29655== by 0x42A93C: bufferType::getSenderID(std::string&) const (boundedBuffer.hpp:29)

看来我的代码试图读取未分配的内存。 但是，我在函数 getSenderID() 中找不到任何错误。它只返回一串bufferType类的成员数据。它已经被初始化。

我使用 GDB 和 DDD (GDB GUI) 找到了错误，它也指向那里，但错误有时会消失，所以在 GDB 中，我无法用断点捕获它。

此外，我还打印出valgrind指向的函数的值，但没有帮助，因为多个线程打印出的结果顺序不同，而且它们相互交错。每次我运行代码时，打印输出都是不同的。

bufferType在一个map中，map可能有多个entry。每个条目可以由一个线程写入并同时由另一个线程读取。我已经使用 pthread read/write lock 来锁定 pthread_rwlock_t。现在，没有 SIGSEGV 但程序在某个点停止而没有进展。我认为这是一个僵局。但是，一个映射条目在一个时间点只能由一个线程写入，为什么仍然会死锁？

能否请您推荐一些捕获错误的方法，以便无论我使用多少线程运行代码，我都能找到它。

谢谢

boundedBuffer.hpp的代码如下:

 class bufferType
 {
 private:

    string senderID;// who write the buffer

    string recvID; // who should read the buffer

    string arcID; // which arc is updated

    double price; // write node's price 

    double arcValue; // this arc flow value 

    bool   updateFlag ;

    double arcCost;


    int  arcFlowUpBound; 

    //boost::mutex  senderIDMutex; 

    //pthread_mutex_t  senderIDMutex; 

    pthread_rwlock_t       senderIDrwlock;

    pthread_rwlock_t    setUpdateFlaglock;

  public: 
   //typedef boost::mutex::scoped_lock lock;  // synchronous read / write 

   bufferType(){}

   void   getPrice(double& myPrice ) const {myPrice = price;}

   void   getArcValue(double& myArcValue ) const {myArcValue = arcValue;}

   void   setPrice(double& myPrice){price = myPrice;}

   void   setArcValue(double& myValue ){arcValue = myValue;}

   void   readBuffer(double& myPrice, double& myArcValue );

   void   writeBuffer(double& myPrice, double& myArcValue );

   void   getSenderID(string& myID) 

   {
       //boost::mutex::scoped_lock lock(senderIDMutex);
      //pthread_rwlock_rdlock(&senderIDrwlock); 
      cout << "senderID is " << senderID << endl ; 
      myID = senderID;
      //pthread_rwlock_unlock(&senderIDrwlock);
   }
//void   setSenderID(string& myID){ senderID = myID ;}

    void   setSenderID(string& myID)

    { 
        pthread_rwlock_wrlock(&senderIDrwlock); 

            senderID = myID ;

            pthread_rwlock_unlock(&senderIDrwlock);
    }

    void   getRecvID(string& myID) const {myID = recvID;}

    void   setRecvID(string& myID){ recvID = myID ;}

    void   getArcID(string& myID) const {myID  = arcID ;}

    void   setArcID(string& myID){arcID = myID ;}

    void   getUpdateFlag(bool& myFlag)
    {
            myFlag = updateFlag ; 

        if (updateFlag)

           updateFlag  = false; 
    }

//void   setUpdateFlag(bool myFlag){ updateFlag = myFlag ;}

    void   setUpdateFlag(bool myFlag)
    { 
        pthread_rwlock_wrlock(&setUpdateFlaglock);

        updateFlag = myFlag ;

         pthread_rwlock_unlock(&setUpdateFlaglock);

    }

   void   getArcCost(double& myc) const {myc = arcCost; }

   void   setArcCost(double& myc){ arcCost = myc ;}

   void   setArcFlowUpBound(int& myu){ arcFlowUpBound = myu ;}

   int    getArcFlowUpBound(){ return arcFlowUpBound ;}

   //double getLastPrice() const {return price; }

   } ;

从代码中可以看出，我尝试使用读/写锁来保证不变性。 map 中的每个条目都有一个像上面这样的缓冲区。现在，我遇到了僵局。

最佳答案

Access not within mapped region at address 0xFFFFFFFFFFFFFFF8

at 0x3AEB69CA3E: std::string::assign(std::string const&)

这通常意味着您要分配给 NULL 的 string*，然后递减。示例:

#include <string>

int main()
{
  std::string *s = NULL;

  --s;
  s->assign("abc");
}

g++ -g t.cc && valgrind -q ./a.out

...
==20980== Process terminating with default action of signal 11 (SIGSEGV): dumping core
==20980==  Access not within mapped region at address 0xFFFFFFFFFFFFFFF8
==20980==    at 0x4EDCBE6: std::string::assign(char const*, unsigned long)
==20980==    by 0x400659: main (/tmp/t.cc:8)

...

那么请向我们展示 boundedBuffer.hpp 中的代码(带有行号)，然后思考该代码如何以指向 的字符串指针结束-8.

Would you please recommend some methods to capture the bug so that I can find it no matter how many threads I use to run the code.

在考虑多线程程序时，您必须考虑不变量。您应该提出断言以确认您的不变量确实成立。您应该思考它们可能如何被违反，以及哪些违反会导致您观察到的事后状态。

关于c++ - 如何在 Linux 上的 C++ (pthread) 多线程程序中查找(段错误)错误？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/9051057/