Альтернативы pthread_cancel () в Android NDK?

Я портирую код C ++ среднего размера на Android NDK. К сожалению, реализация pthreads (во всяком случае, в NDK v5) не завершена. В частности, наше приложение использует pthread_cancel () для уничтожения рабочего потока. NDK не реализует pthread_cancel ()! Есть и другие очевидные ответы, когда рабочий поток отвечает нормально. Но в случаях, когда рабочий поток не отвечает (например, бесконечный цикл), как я могу отменить его, не прерывая весь процесс?