Синопсис
THR #include <pthread.h>
int pthread_setcancelstate(int state, int *oldstate);
int pthread_setcanceltype(int type, int *oldtype);
void pthread_testcancel(void);
Описание
Функция pthread_setcancelstate() о д новре м енно устанавливает состояние от м ены вызываю щ его потока равны м значению, за д анно м у пара м етро м state, и возвра щ ает значение предыдущего состояния от м ены в пере м енной, а д ресуе м ой пара м етро м oldstate. Допусти м ы м и значения м и д ля пара м етра state являются PTHREAD_CANCEL_ENABLE и PTHREAD_CANCEL_DISABLE.
Функция pthread_setcanceltype () о д новре м енно устанавливает тип от м ены вызываю щ его потока равны м значению, за д анно м у пара м етро м type, и возвра щ ает значение предыдущего типа от м ены в пере м енной, а д ресуе м ой пара м етро м oldtype. Допусти м ы м и значения м и д ля пара м етра type являются PTHREAD_CANCEL_ DEFERRED и PTHREAD_CANCEL_ASYNCHRONOUS.
Состояние и тип отмены любых создаваемых потоков, включал поток, в которо м впервые вызывается функция main(), устанавливаются равны м и значения м PTHREAD_CANCEL_ENABLE и PTHREAD_CANCEL_DEFERRED соответственно.
Функция pthread_testcancel () пре д назначена д ля соз д ания точки от м ены в вызываю щ е м потоке. Функция pthread_testcancel () не и м еет эффекта, если от м ена потока запре щ ена.
Возвращаемые значения
При успешно м завершении функции pthread_setcancelstate() и pthread_ setcanceltype () возвра щ ают нулевое значение; в противно м случае возвра щ ается ко д ошибки, обозначаю щ ий ее характер.
Ошибки
Функция pthread_setcancelstate () м ожет завершиться неу д ачно, если:
[EINVAL] за д анный пара м етр state не со д ержит ни значения PTHREAD_ CANCEL_ENABLE , низначения PTHREAD_CANCEL_DI SABLE.
Функция pthread_setcanceltype () м ожет завершиться неу д ачно, если:
[EINVAL] за д анный пара м етр type не со д ержит ни значения PTHREAD_ CANCEL_DEFERRED, ни значения PTHREAD_CANCEL_ASYNCHRONOUS.
Эти функции не возвра щ ают ко д ошибки [EINTR].
Примеры
Отсутствуют.
Замечания по использованию
Отсутствуют.
Логическое обоснование
Функции pthread_setcancelstate () и pthread_setcanceltype () позволяют управлять точка м и, в которых поток можно асинхронно отменить. Для того чтобы управление отменой потоков можно было осуществлять в соответствии с модульными принципами, необходимо следовать следующим правилам.
Объект можно рассматривать как обобщение некоторой процедуры. Вернее, он представляет собой множество процедур и глобальных переменных, организованных в виде одного модуля, вызываемого клиентами, не известными для этого объекта, причем одни объекты могут зависеть от других.
Во-первых, на входе в объект возможность отмены должна быть запрещена (никогда явно не разрешена). На выходе из объекта состояние отмены должно быть всегда восстановлено до значения, которое оно имело на входе в этот объект.
Это следует из принципа модульности: если клиент объекта (или клиент объекта, использующего данный объект) запретил возможность отмены, это означает, что клиент не желает проведения очистительно-восстановительных операций в случае, если поток будет отменен во время выполнения некоторой важной последовательности действий. Если объект вызывается в таком состоянии и предоставляет возможность отмены, а запрос на отмену задерживается для этого потока, то такой поток отменяется вопреки желанию клиента (т.е. вопреки запрету на отмену).
Во-вторых, на входе в объект тип отмены можно установить явным образом (равным либо «отложенному», либо «асинхронному» значению). Но, как и для состояния отмены, на выходе из объекта тип отмены должен быть всегда восстановлен до значения, которое он имел на входе в этот объект.