PTHREAD_SETCANCELSTATE

Section: Linux Programmer's Manual (3)
Updated: 2020-06-09
Index JM Home Page

名前

pthread_setcancelstate, pthread_setcanceltype - cancelability state と cancelability type を設定する

書式

#include <pthread.h>

int pthread_setcancelstate(int state, int *oldstate);
int pthread_setcanceltype(int type, int *oldtype);

-pthread でコンパイルしてリンクする。

説明

pthread_setcancelstate() は、呼び出したスレッドの cancelability state に state で指定された値を設定する。変更前のスレッドの cancelability state は oldstate が指すバッファーで返される。 state 引数には以下の値のいずれか一つを指定しなければならない。

PTHREAD_CANCEL_ENABLE: スレッドは取り消し可能 (cancelable) である。これが全ての新しく作成されるスレッドでのデフォルトの cancelability state である。これには最初のスレッドも含まれる。スレッドの cancelability type により、取り消し可能なスレッドが取り消し要求にいつ反応するかが決まる。
PTHREAD_CANCEL_DISABLE: スレッドは取り消しできない。取り消し要求を受信した際は、取り消し可能に設定されるまでその要求はブロックされる。

pthread_setcanceltype() は、呼び出したスレッドの cancelability type に type で指定された値を設定する。変更前のスレッドの cancelability type は oldtype が指すバッファーで返される。 type 引数には以下の値のいずれか一つを指定しなければならない。

PTHREAD_CANCEL_DEFERRED: そのスレッドが次に取り消しポイント (cancellation point) の関数を呼び出すまで取り消し要求が遅延される。これが全ての新しく作成されるスレッドでのデフォルトの cancelability type である。これには最初のスレッドも含まれる。; Even with deferred cancellation, a cancellation point in an asynchronous signal handler may still be acted upon and the effect is as if it was an asynchronous cancellation.
PTHREAD_CANCEL_ASYNCHRONOUS: スレッドはいつでも取り消すことができる (通常はすぐにキャンセルされるが、システムがそのことを保証しているわけではない)。

これらの関数により実行される「設定と取得」操作 (set-and-get operation) は、同じ関数を呼び出したプロセス内の他のスレッドがあっても、アトミックに行われる。

返り値

成功すると、これらの関数は 0 を返す。エラーの場合、0 以外のエラー番号を返す。

エラー

pthread_setcancelstate() は以下のエラーで失敗する場合がある。

EINVAL: state に無効な値が指定された。

pthread_setcanceltype() は以下のエラーで失敗する場合がある。

EINVAL: type に無効な値が指定された。

属性

この節で使用されている用語の説明については、 attributes(7) を参照。

インターフェース	属性	値
pthread_setcancelstate(), pthread_setcanceltype()	Thread safety	MT-Safe
pthread_setcancelstate(), pthread_setcanceltype()	Async-cancel-safety	AC-Safe

準拠

POSIX.1-2001, POSIX.1-2008.

注意

スレッドが取り消された場合に何が起こるかの詳細については pthread_cancel(3) を参照。

取り消し要求により中断されてはならない重要なアクションをスレッドが実行する場合、短い時間だけ cancelability を無効にするのは有用である。長い時間 cancelability を無効にしたり、長い時間停止 (block) される可能性のある操作の前後で cancelability を無効にしたりする際には注意すること。なぜなら、無効にしてしまうと、キャンセル要求に対してスレッドが応答しない状態になってしまうからである。

非同期キャンセル

cancelability type を PTHREAD_CANCEL_ASYNCHRONOUS に設定して役に立つことはめったにない。スレッドはいつでもキャンセルすることができることになるので、スレッドが安全にリソースの確保 (例えば malloc(3) でメモリーを割り当てる) や mutex、セマフォ、ロックなどの獲得を行うことができない。アプリケーションは、スレッドがキャンセルされる際に、これらのリソースがどのような状態にあるかを知る術はないので、リソースの確保が安全ではなくなる。つまり、キャンセルが起こったのが、リソースの確保前なのか、確保中なのか、確保後なのかが分からない。さらに、関数呼び出しの最中にキャンセルが発生すると、いくつかの内部データ構造 (例えば、malloc(3) 関連の関数が管理している未使用ブロックのリンクリスト) が一貫性のない状態のままになってしまう可能性がある。その結果、クリーンアップハンドラーが役に立たないものになってしまう。

非同期で安全にキャンセルできる関数は async-cancel-safe functions と呼ばれる。 POSIX.1-2001 と POSIX.1-2008 で、非同期で安全にキャンセルできるように求められている関数は pthread_cancel(3), pthread_setcancelstate(), pthread_setcanceltype() だけである。一般的には、それ以外のライブラリ関数は、非同期にキャンセルできるスレッドから安全に呼び出すことはできない。

非同期でのキャンセルが有効な数少ない状況としては、純粋に計算だけを行うループに入っているスレッドをキャンセルするといった場面がある。

移植性に関する注意

Linux のスレッド実装では、 pthread_setcancelstate() の oldstate 引数に NULL を指定することを認めている。 NULL が指定された場合、変更前の cancelability state の情報が呼び出し側に返されない。他の多くの実装でも oldstate 引数に NULL を指定することを認めているが、 POSIX.1 ではこの点については規定されていない。したがって、移植性が必要なアプリケーションでは常に oldstate に NULL 以外の値を指定するようにすべきである。 pthread_setcanceltype() の oldtype 引数についても、全く同じことが言える。