Далее, даже если для потока установлено состояниезавершаемости (также называемое «состоянием отмены»)

(это значение по умолчанию при создании потока), поток может переопределить еще и типотмены, вызвав:

где

и — как и в предыдущем случае, новое и ранее установленное значения типа отмены потока, которые могут принимать значения (асинхронный по отмене поток) либо (синхронный по отмене поток). Значением по умолчанию, устанавливаемым при создании потока, является , хотя предписываемым POSIX умолчанием является _CANCEL_ASYNCHRONOUS.

Обе рассмотренные функции установок [23] параметров отмены при успешном выполнении возвращают значение EOK.

Итак, действия потока на запрос его завершения будут определяться текущей комбинацией двух установленных для него параметров: состоянием и типом отмены.

Теперь о том, чем же отличается отмена асинхронно и синхронно завершаемых потоков. Поток с асинхронным типом отмены (установленный с

) может быть отменен в любой произвольный момент времени, то есть он всегда «свободен» для отмены и отмена производится немедленно. Поток с синхронным типом отмены (установленный с ) может быть остановлен только в тех точках выполнения потока, когда ему «удобно», и соответствующие места в программе называются точками отмены. При поступлении запроса на отмену такого потока (после выполнения извне ) запрос помещается в очередь, а процесс отмены активизируется только после того, как отменяемый поток в ходе своего выполнения достигнет очередной точки отмены. Как определяются (создаются) точки отмены в коде потока? Для этого служит функция:

Каждый вызов

тестирует очередь поступивших запросов на отмену на предмет наличия запросов, и если таковой запрос есть, процесс отмены активизируется. Если в коде отсутствуют вызовы , то в нем практически отсутствуют точки отмены и поток становится неотменяемым (подобно установке его состояния отмены в ). Поэтому при выполнении длительных вычислений функцию следует периодически вызывать в потоковой функции в тех точках, где потенциальная отмена потока не опасна.

Примечание

( Очень важно!) Достаточно много библиотечных функций могут сами устанавливать точки отмены. Более того, такие функции могут косвенно вызываться из других функций в программе и тем самым неявно устанавливать точки отмены. Информацию о таких функциях следует искать в справочной man-странице по функции

pthread_testcancel

. В результате этого эффекта можно получить отмену потока не в той точке, которую вы считаете безопасной и которую явно отмечаете вызовом

pthread_testcancel

, а ранее этой точки — когда будет вызвана одна из таких функций. А это, очевидно, вовсе не то, на что вы рассчитывали!

Если состояние отмены потока, как это описывалось ранее, установлено в

, то никакая расстановка точек отмены не имеет эффекта и поток остается неотменяемым.

Покажем, как могут быть использованы все эти предосторожности в коде функции потока, чтобы сделать код безопасным с позиции возможной асинхронной отмены потока извне:

Наконец, в QNX (но не в POSIX) существует вызов, подобный

, принудительно отменяющий поток независимо от его установок («желания»):

В отличие от

, этот вызов принудительно и немедленно отменяет поток. Кроме того, никакие процедуры завершения и деструкторы собственных данных потока не выполняются. Очевидно, что в результате такого «завершения» состояния объектов процесса будут просто неопределенными, поэтому такой вызов крайне опасен. При таком способе отмены в программный код, ожидающий завершения на , в качестве результата завершения возвращается константа (тип ) (аналогично возвращается константа при выполнении ).