QNX/UNIX: Анатомия параллелизма

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

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

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

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

Каждый вызов

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

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

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

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

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

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

В отличие от

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

Но и этих мер безопасности недостаточно на все случаи жизни, поэтому механизм потоков предусматривает еще один уровень (механизм) страховки.

Стек процедур завершения

Для поддержания корректности состояния объектов процесса каждый поток может помещать (добавлять) в стек процедур завершения (thread's cancellation-cleanup stack) функции, которые при завершении (

или ) или отмене (по ) выполняются в порядке, обратном помещению. Для манипуляции со стеком процедур завершения предоставляются вызовы (оба вызова реализуются макроопределениями, но это не суть важно [24]):

где

— адрес функции завершения, помещаемой в стек; — указатель блока данных, который будет передан routine при ее вызове.

Функции завершения (начиная с вершины стека) вызываются со своими блоками данных в случаях, когда:

• поток завершается, выполняя

;

• активизируется действие отмены потока, ранее запрошенное по вызову

;

• выполняется второй (комплементарный к

) вызов с ненулевым значением аргумента:

Этот вызов выталкивает из стека последнюю помещенную туда

функцию завершения и, если значение ненулевое, выполняет ее.