C++ 为什么这个生产者消费者演示会崩溃？；

我试图用c++11编写一个生产者消费者演示，但出现了一个棘手的问题

#include <iostream>
#include <thread>
#include <condition_variable>
#include <windows.h>
using namespace std;
std::condition_variable pcv,ccv;
std::mutex m,m1;
const int N=10;
int buf[N];
int count=0;
void producer(){
    Sleep(100);
    while(true){
        std::unique_lock<std::mutex> pulk(m);
        while(count==N)
            pcv.wait(pulk);
        buf[count++]=1;
        cout<<"produce data on the buff: "<<count<<endl;
        while(count==1)   //if I remove this no problem
            ccv.notify_one();
        pulk.unlock();
    }
}
void consumer(){
    while(true){
        std::unique_lock<std::mutex> culk(m);
        while(count==0)
            ccv.wait(culk);
        buf[--count]=0;
        cout<<"consume data on the buff: "<<count<<endl;
        while(count==N-1)   //if I remove no problem
            pcv.notify_one();
        culk.unlock();
    }
}
int main(int argc,char **argv){
    std::thread  pro(producer);
    std::thread  con(consumer);
    pro.join();
    con.join();
    return 0;

我尝试使用GDB找到这个原因，但没有结果 这是GDB输出

行

while（count==1）//如果我删除这个，没有问题

和

while（count==N-1）//如果我删除了，没有问题

会使同步变得脆弱。你只考虑十个（n）可能的两个状态。< /P>

while(count==1)  //if the buffer empty?
    ccv.notify_one()