Need to protect against cancellation type PTHREAD_CANCEL_ASYNCHRONOUS.

runtimeverification / rv-predict

Code for improved rv-predict and installer

BSD 3-Clause "New" or "Revised" License

2 stars 3 forks source link

Need to protect against cancellation type PTHREAD_CANCEL_ASYNCHRONOUS. #1019

Open gnuoyd opened 5 years ago

gnuoyd commented 5 years ago

This is probably trickier than protecting against PTHREAD_CANCEL_DEFERRED, but I haven't given it much thought, yet. Maybe we don't protect, we just install a routine with pthread_cleanup_push() that prints and error message and aborts if an _ASYNCHRONOUS thread is cancelled?