sem_post（）が有効なセマフォで失敗する

Question

私はセマフォを持つキューを持っています。特定の時点で、sem_post()へのすべての呼び出しは、セマフォ自体が有効であるにもかかわらず、常に「無効な引数」エラーを返します。

セマフォは削除されないC++オブジェクトのプライベートメンバーで、gdbで検査することもできます。私は、の前にsem_post()を追加しました。値はOKとなり、その後はsem_post()で失敗します。何が間違っていますか？

CThreadQueue::CThreadQueue(int MaxSize) : 
    _MaxSize(MaxSize) 
{ 
    sem_init(&_TaskCount, 0, 0) 

    pthread_mutex_init(&_Mutex, 0); 
    pthread_create(&_Thread, NULL, CThreadQueue::StartThread, this); 
} 


CThreadQueue::~CThreadQueue() 
{ 
    pthread_kill(_Thread, SIGKILL); 
    sem_destroy(&_TaskCount); 
} 


int CThreadQueue::AddTask(CThreadTask Task) 
{ 
    pthread_mutex_lock(&_Mutex); 
    _Queue.push_back(TempTask); 
    sem_post(&_TaskCount) 
    pthread_mutex_unlock(&_Mutex); 

    return 0; 
} 

void *CThreadQueue::StartThread(void *Obj) 
{ 
    ((CThreadQueue*)Obj)->RunThread(); 
    return NULL; 
} 

//runs in a separate thread 
void CThreadQueue::RunThread() 
{ 
    CThreadQueue::CTask Task; 

    while(1) { 
     sem_wait(&_TaskCount); 
     pthread_mutex_lock(&_Mutex); 

     Task = _Queue.front(); 
     _Queue.pop_front(); 

     pthread_mutex_unlock(&_Mutex); 

     if (Task.Callee != NULL) 
      Task.Callee->CallBackFunc(NULL, Task.CallParam); 
    } 
} 

Answer 1

何が間違っていますか？任意の数のもの。セマフォを破棄したり、セマフォを格納するために使用したメモリやポインタを上書きしたりする可能性があります。もう一つの可能​​性は、sem_post（）を何度も呼び出すことで、カウンタがオーバーフローすることです。コードサンプルが役に立ちます。

Answer 2

私たちは同じ問題を抱えていましたが、何が起こっているのかを考え出した後、セマフォーがバイト配列が1に変更された構造体内で定義されていたためプラグマパック（1）指令）。

LinuxでのPOSIXセマフォの実装では、futexのシステムコールが使用されます。 futexのマニュアルページによると、 "操作が定義されていないか、ページの位置合わせにエラーがある"ときにEINVALが返されます。

この場合、プラグマのpack（1）ディレクティブを削除するか、セマフォを構造体の最初の要素として定義して問題を解決しました。