1

いくつかの外部 C ライブラリを使用する C++ プログラムに取り組んでいます。私が知る限り、それは問題の原因ではなく、問題は私の C++ コードにあります。プログラムは、テスト データセットではエラーも何もなく正常に実行されますが、ほぼ完全なデータセット全体を処理した後、segfault が発生します。GDB を実行すると、次の segfault が発生します。

(gdb) run -speciesMain=allMis1 -speciesOther=anoCar2 -speciesMain=allMis1 -speciesOther=anoCar2 /hive/data/genomes/allMis1/bed/lastz.anoCar2/mafRBestNet/*.maf.gz
プログラムの開始: /cluster/home/jstjohn/bin/mafPairwiseSyntenyDecay -speciesMain=allMis1 -speciesOther=anoCar2 -speciesMain=allMis1 -speciesOther=anoCar2 /hive/data/genome
s/allMis1/bed/lastz.anoCar2/mafRBestNet/*.maf.gz
子プロセス 3718 から fork 後にデタッチします。

プログラム受信信号 SIGSEGV、セグメンテーション違反。
/usr/lib64/libstdc++.so.6 からの __gnu_cxx::__exchange_and_add(int volatile*, int) () の 0x0000003009cb7672
(gdb) アップ
#1 std::basic_string 内の 0x0000003009c9db59、std::allocator >::~basic_string() () from /usr/lib64/libstdc++.so.6
(gdb) アップ
#2 PairAlnInfo::~PairAlnInfo の 0x00000000004051e7 (this=0x7fffffffcd70, __in_chrg=) mafPairwiseSyntenyDecay.cpp:37
(gdb) アップ
#3 メインの 0x0000000000404eb0 (argc=2, argv=0x7fffffffcf78) mafPairwiseSyntenyDecay.cpp:260

私の PairAlnInfo クラスの二重解放で何かが起こっているようです。奇妙なことに、デストラクタを定義しておらず、何も割り当てていませんnew。Linux マシンで g++44 と g++4.1.2 の両方でこれを試しましたが、同じ結果が得られました。

さらに奇妙なことに、私の Linux ボックス (より多くの利用可能な RAM とすべてがあり、RAM がこのプログラムの問題ではありませんが、それは強力なシステムです) で、プログラムがループに到達して印刷する前に、上記のようにセグ フォールトが発生します。出力。g ++またはclang ++のいずれかを使用する私のはるかに小さいMacBook Airでは、プログラムはまだセグメンテーション違反を起こしますが、結果が出力された後return(0)、メイン関数の最終出力の直前までそれは行われません。Mac のデフォルトの g++4.2 でコンパイルした後、同じファイルで実行している私の Mac で GDB トレースがどのように見えるかを次に示します。

(より多くの結果)...
98000 27527 162181 0.83027
99000 27457 161467 0.829953
100000 27411 160794 0.829527

プログラムは信号 EXC_BAD_ACCESS を受信しました。メモリにアクセスできませんでした。
理由: アドレスの KERN_INVALID_ADDRESS: 0x00004a2c00106077
std::string::_Rep::_M_dispose () の 0x00007fff9365a6e5
(gdb) アップ
#1 std::basic_string、std::allocator 内の 0x00007fff9365a740 >::~basic_string ()
(gdb) アップ
#2 メインの 0x0000000100003938 (argc=1261, argv=0x851d5fbff533) mafPairwiseSyntenyDecay.cpp:301
(gdb)

私の投稿時刻に気がつかなかった場合のために言っておきますが、今は午前 2 時 30 分頃です... 私はこの問題に約 10 時間取り組んできました。これを見て、私を助けてくれてありがとう!私の状況を再現するためのコードといくつかの手順は次のとおりです。

依存関係を含む全体をダウンロードしてインストールすることに興味がある場合は、KentLib リポジトリをmakeベース ディレクトリにダウンロードし、そこに移動しexamples/mafPairwiseSyntenyDecayて実行makeします。私が議論しているバグの原因となる例 (かなり大きい) は、ここで入手できる gzip ファイルです: 100Mb ファイルで、プログラムがクラッシュします。次に、これらの引数を指定してプログラムを実行します-speciesMain=allMis1 -speciesOther=anoCar2 anoCar2.allMis1.rbest.maf.gz

/**
 * mafPairwiseSyntenyDecay
 *  Author: John St. John
 *  Date: 4/26/2012
 *  
 *  calculates the mean synteny decay in different range bins
 *
 *
 */

//Kent source C imports
extern "C" {

#include "common.h"
#include "options.h"
#include "maf.h"

}

#include <map>
#include <string>
#include <set>
#include <vector>
#include <sstream>
#include <iostream>

//#define NDEBUG
#include <assert.h>

using namespace std;


/*
Global variables
 */

class PairAlnInfo {
public:
  string oname;
  int sstart;
  int send;
  int ostart;
  int oend;
  char strand;
  PairAlnInfo(string _oname,
      int _sstart, int _send,
      int _ostart, int _oend,
      char _strand):
        oname(_oname),
        sstart(_sstart),
        send(_send),
        ostart(_ostart),
        oend(_oend),
        strand(_strand){}
  PairAlnInfo():
    oname("DUMMY"),
    sstart(-1),
    send(-1),
    ostart(-1),
    oend(-1),
    strand(-1){}

};

vector<string> &split(const string &s, char delim, vector<string> &elems) {
  stringstream ss(s);
  string item;
  while(getline(ss, item, delim)) {
    elems.push_back(item);
  }
  return(elems);
}


vector<string> split(const string &s, char delim) {
  vector<string> elems;
  return(split(s, delim, elems));
}

#define DEF_MIN_LEN (200)
#define DEF_MIN_SCORE (200)

typedef map<int,PairAlnInfo> PairAlnInfoByPos;
typedef map<string, PairAlnInfoByPos > ChromToPairAlnInfoByPos;
ChromToPairAlnInfoByPos pairAlnInfoByPosByChrom;


void usage()
/* Explain usage and exit. */
{
  errAbort(
      (char*)"mafPairwiseSyntenyDecay -- Calculates pairwise syntenic decay from maf alignment containing at least the two specified species.\n"
      "usage:\n"
      "\tmafPairwiseSyntenyDecay [options] [*required options] file1.maf[.gz] ... \n"
      "Options:\n"
      "\t-help\tPrints this message.\n"
      "\t-minScore=NUM\tMinimum MAF alignment score to consider (default 200)\n"
      "\t-minAlnLen=NUM\tMinimum MAF alignment block length to consider (default 200)\n"
      "\t-speciesMain=NAME\t*Name of the main species (exactly as it appears before the '.') in the maf file (REQUIRED)\n"
      "\t-speciesOther=NAME\t*Name of the other species (exactly as it appears before the '.') in the maf file (REQUIRED)\n"
  );
}//end usage()


static struct optionSpec options[] = {
    /* Structure holding command line options */
    {(char*)"help",OPTION_STRING},
    {(char*)"minScore",OPTION_INT},
    {(char*)"minAlnLen",OPTION_INT},
    {(char*)"speciesMain",OPTION_STRING},
    {(char*)"speciesOther",OPTION_STRING},
    {NULL, 0}
}; //end options()

/**
 * Main function, takes filenames for paired qseq reads
 * and outputs three files.
 */
int iterateOverAlignmentBlocksAndStorePairInfo(char *fileName, const int minScore, const int minAlnLen, const string speciesMain, const string speciesOther){
  struct mafFile * mFile = mafOpen(fileName);
  struct mafAli * mAli;

  //loop over alignment blocks
  while((mAli = mafNext(mFile)) != NULL){
    struct mafComp *first = mAli->components;
    int seqlen = mAli->textSize;
    //First find and store set of duplicates in this block
    set<string> seen;
    set<string> dups;
    if(mAli->score < minScore || seqlen < minAlnLen){
      //free here and pre-maturely end
      mafAliFree(&mAli);
      continue;
    }

    for(struct mafComp *item = first; item != NULL; item = item->next){
      string tmp(item->src);
      string tname = split(tmp,'.')[0];
      if(seen.count(tname)){
        //seen this item
        dups.insert(tname);
      }else{
        seen.insert(tname);
      }
    }
    for(struct mafComp *item1 = first; item1->next != NULL; item1 = item1->next){
      //stop one before the end
      string tmp1(item1->src);
      vector<string> nameSplit1(split(tmp1,'.'));
      string name1(nameSplit1[0]);
      if(dups.count(name1) || (name1 != speciesMain && name1 != speciesOther)){
        continue;
      }

      for(struct mafComp *item2 = item1->next; item2 != NULL; item2 = item2->next){
        string tmp2(item2->src);
        vector<string> nameSplit2(split(tmp2,'.'));
        string name2 = nameSplit2[0];
        if(dups.count(name2) || (name2 != speciesMain && name2 != speciesOther)){
          continue;
        }

        string chr1(nameSplit1[1]);
        string chr2(nameSplit2[1]);
        char strand;
        if(item1->strand == item2->strand)
          strand = '+';
        else
          strand = '-';

        int start1,end1,start2,end2;

        if(item1->strand == '+'){
          start1 = item1->start;
          end1 = start1 + item1->size;
        }else{
          end1 = item1->start;
          start1 = end1 - item1->size;
        }

        if(item2->strand == '+'){
          start2 = item2->start;
          end2 = start2+ item2->size;
        }else{
          end2 = item2->start;
          start2 = end2 - item2->size;
        }

        if(name1 == speciesMain){
          PairAlnInfo aln(chr2,start1,end1,start2,end2,strand);
          pairAlnInfoByPosByChrom[chr1][start1] = aln;
        }else{
          PairAlnInfo aln(chr1,start2,end2,start1,end1,strand);
          pairAlnInfoByPosByChrom[chr2][start2] = aln;
        }

      } //end loop over item2
    } //end loop over item1
    mafAliFree(&mAli);
  }//end loop over alignment blocks

  mafFileFree(&mFile);
  return(0);
}


int main(int argc, char *argv[])
/* Process command line. */
{
  optionInit(&argc, argv, options);
  if(optionExists((char*)"help") || argc <= 1){
    usage();
  }
  int minAlnScore = optionInt((char*)"minScore",DEF_MIN_SCORE);
  int minAlnLen = optionInt((char*)"minAlnLen",DEF_MIN_LEN);

  string speciesMain(optionVal((char*)"speciesMain",NULL));
  string speciesOther(optionVal((char*)"speciesOther",NULL));

  if(speciesMain.empty() || speciesOther.empty())
    usage();

  //load the relevant alignment info from the maf(s)
  for(int i = 1; i<argc; i++){
    iterateOverAlignmentBlocksAndStorePairInfo(argv[i], minAlnScore, minAlnLen, speciesMain, speciesOther);
  }

  const int blockSize = 1000;
  const int blockCount = 100;

  int totalWindows[blockCount] = {0};
  int containBreak[blockCount] = {0};

  //we want the fraction of windows of each size that contain a break
  //


  for(ChromToPairAlnInfoByPos::iterator mainChromItter = pairAlnInfoByPosByChrom.begin();
      mainChromItter != pairAlnInfoByPosByChrom.end();
      mainChromItter++){
    //process the alignments shared by this chromosome
    //note that map stores them sorted by begin position
    vector<int> keys;
    for(PairAlnInfoByPos::iterator posIter = mainChromItter->second.begin();
        posIter != mainChromItter->second.end();
        posIter++){
      keys.push_back(posIter->first);
    }

    for(int i = 0; i < keys.size(); i++){
      //first check for trivial window (ie our block)
      PairAlnInfo pi1 = mainChromItter->second[keys[i]];
      assert(pi1.send > pi1.sstart);
      assert(pi1.sstart == keys[i]);
      int numBucketsThisWindow = (pi1.send - pi1.sstart) / blockSize;
      for(int k = 0; k < numBucketsThisWindow && k < blockCount; k++)
        totalWindows[k]++;


      for(int j = i+1; j < keys.size(); j++){

        PairAlnInfo pi2 = mainChromItter->second[keys[j]];

        assert(pi2.sstart == keys[j]);
        assert(pi2.send > pi2.sstart);
        assert(pi2.sstart > pi1.sstart);

        if(pi2.oname == pi1.oname){
          int moreToInc = (pi2.send - pi1.sstart) / blockSize;
          for(int k = numBucketsThisWindow; k < moreToInc && k < blockCount; k++)
            totalWindows[k]++;
          numBucketsThisWindow = moreToInc; //so we don't double count
        }else{

          int numDiscontigBuckets = (pi2.send - pi1.sstart) / blockSize;
          for(int k = numBucketsThisWindow; k < numDiscontigBuckets && k < blockSize; k++){
            containBreak[k]++;
            totalWindows[k]++;
          }
          numBucketsThisWindow = numDiscontigBuckets;
        }
        if((keys[j] - keys[i]) >= (blockSize * blockCount)){
          //i = j;
          break;
        }
      }
    }
  }



  cout << "#WindowSize\tNumContainBreak\tNumTotal\t1-(NumContainBreak/NumTotal)" << endl;
  for(int i = 0; i < blockCount; i++){
    cout << (i+1)*blockSize << '\t';
    cout << containBreak[i] << '\t';
    cout << totalWindows[i] << '\t';
    cout << (totalWindows[i] > 0? 1.0 - (double(containBreak[i])/double(totalWindows[i])): 0) << endl;
  }


  return(0);
} //end main()
4

2 に答える 2

5

valgrind の下でプログラムを実行してみてください。これにより、メモリが失われた可能性がある、または実際に失われた、初期化されていないなどのレポートが得られます。

于 2012-04-28T09:30:33.837 に答える
3

あなたの問題は、実際に表示されているエラーの前に、プログラムのある時点でメモリ破損が発生したことが原因である可能性があります。

投稿したコードの潜在的な問題の 1 つは、ループです。

 for(int k = numBucketsThisWindow; k<numDiscontigBuckets && k < blockSize; k++){

と配列の両方のオーバーフローの可能性につながるblockSize正しいの代わりに使用します。これにより、スタック上の他のものと一緒に文字列と文字列が上書きされ、表示されているエラーが発生する可能性があります。blockCounttotalWindows[]containBreak[]speciesMainspeciesOther

于 2012-04-28T14:01:54.940 に答える