我在一个pthreads中设置超时时遇到问题。我在这里简化了我的代码，并将问题隔离为我在线程中运行的CNF算法。
int main(){
pthread_t t1;
pthread_t t2;
pthread_t t3; //Running multiple threads, the others work fine and do not require a timeout.
pthread_create(&t1, nullptr, thread1, &args);
pthread_join(t1, nullptr);
std::cout << "Thread should exit and print thisn"; //This line never prints since from what I've figured to be a lack of cancellation points in the actual function running in the thread.
return 0;
}
void* to(void* args) {
int timeout{120};
int count{0};
while(count < timeout){
sleep(1);
count++;
}
std::cout << "Killing main thread" << std::endl;
pthread_cancel(*(pthread_t *)args);
}
void *thread1 (void *arguments){
//Create the timeout thread within the CNF thread to wait 2 minutes and then exit this whole thread
pthread_t time;
pthread_t cnf = pthread_self();
pthread_create(&time, nullptr, &timeout, &cnf);
//This part runs and prints that the thread has started
std::cout << "CNF runningn";
auto *args = (struct thread_args *) arguments;
int start = args->vertices;
int end = 1;
while (start >= end) {
//This is where the issue lies
cover = find_vertex_cover(args->vertices, start, args->edges_a, args->edges_b);
start--;
}
pthread_cancel(time); //If the algorithm executes in the required time then the timeout is not needed and that thread is cancelled.
std::cout << "CNF ENDn";
return nullptr;
}
我试着注释掉find_vertex_cover函数并添加一个infinite loop，这样我就可以创建一个timeout并以这种方式结束线程。该函数实际上正以其应有的方式工作。在我运行它的条件下运行它应该需要很长时间，因此我需要暂停。
//This was a test thread function that I used to validate that implementing the timeout using `pthread_cancel()` this way works. The thread will exit once the timeout is reached.
void *thread1 (void *args) {
pthread_t x1;
pthread_t x2 = pthread_self();
pthread_create(&x1, nullptr, to, &x2);
/*
for (int i = 0;i<100; i++){
sleep(1);
std::cout << i << std::endl;
}
*/
}
使用这个函数，我能够验证我的超时线程方法是否有效。问题是，当我实际运行CNF算法时(在后台使用Minisat(，一旦find_vertex_cover运行，就没有办法结束线程。在我实现的情况下，算法预计会失败，这就是为什么要实现超时的原因。
我已经读过关于使用pthread_cancel()的文章，虽然这不是一个好方法，但它是我实现超时的唯一方法。
如能在这个问题上提供任何帮助，我们将不胜感激。
我读过关于使用pthread_cancel((的文章，虽然这不是一个很好的方法[..]
没错。应避免CCD_ 7。它特别是不适合在C++中使用，因为它与异常处理不兼容。您应该使用std::thread，对于线程终止，您可以使用条件变量或原子变量来终止设置时的"无限循环"。
除此之外，通过pthread_cancel的取消取决于两件事：1(取消状态2(取消类型。
默认取消状态为启用。但默认的取消类型是递延，这意味着取消请求将只在下一个取消点传递。我怀疑find_vertex_cover中有任何取消点。因此，您可以通过以下调用将取消类型设置为asynchronous：
pthread_setcanceltype(PTHREAD_CANCEL_ASYNCHRONOUS, NULL);
从您希望能够立即取消的线程。
但是，我再次建议根本不要采用pthread_cancel方法，而是重写"取消"逻辑，使其不涉及pthread_cancel。