1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
|
.\" Copyright (C) 1996-1999 Free Software Foundation, Inc.
.\"
.\" Permission is granted to make and distribute verbatim copies of
.\" this manual provided the copyright notice and this permission notice are
.\" preserved on all copies.
.\"
.\" Permission is granted to copy and distribute modified versions of
.\" this manual under the conditions for verbatim copying, provided that
.\" the entire resulting derived work is distributed under the terms of a
.\" permission notice identical to this one.
.\"
.\" Permission is granted to copy and distribute translations of this
.\" manual into another language, under the above conditions for modified
.\" versions, except that this permission notice may be stated in a
.\" translation approved by the Foundation.
.\"
.\" Copyright (C) 1996 Xavier Leroy.
.\"
.\" Japanese Version Copyright (C) 2002-2003 Suzuki Takashi
.\" all rights reserved.
.\" Translated Fri Jan 3 23:23:30 JST 2003
.\" by Suzuki Takashi.
.\"
.\"WORD: semaphore セマフォ
.\"WORD: atomically 一息で
.\"WORD: semaphore object セマフォオブジェクト
.\"WORD: atomic compare-and-swap 不可分の比較交換命令
.\"WORD: atomic operation 不可分命令
.\"WORD: wait on the semaphore セマフォの獲得待ち
.\"
.\"
.TH SEMAPHORES 3 LinuxThreads
.SH "名前"
sem_init, sem_wait, sem_trywait, sem_post, sem_getvalue, sem_destroy \- セマフォの操作
.SH "書式"
.B #include <semaphore.h>
.BI "int sem_init(sem_t *" sem ", int " pshared ", unsigned int " value ");"
.BI "int sem_wait(sem_t * " sem ");"
.BI "int sem_trywait(sem_t * " sem ");"
.BI "int sem_post(sem_t * " sem ");"
.BI "int sem_getvalue(sem_t * " sem ", int * " sval ");"
.BI "int sem_destroy(sem_t * " sem ");"
.SH "説明"
このマニュアルページは POSIX 1003.1b のセマフォについて記述しており、
.BR "ipc" (5)
や
.BR "semctl" (2)
、
.BR "semop" (2)
に記述されている SystemV セマフォと混同してはならない。
セマフォはスレッド間で共有される資源を管理するためのカウンタである。
セマフォに関する基本的な操作は次の 2 つである:
カウンタを一息で 1 だけ増加させることと、
カウンタが 0 でなくなるまで待ったあと一息で 1 だけ減少させることである。
.B "sem_init"
は
.I "sem"
で指定されるセマフォオブジェクトを初期化する。
セマフォに結び付けられるカウントは
.I "value"
に初期化される。
引数
.I "pshared"
はセマフォが現在のプロセスだけで有効 (
.I "pshared"
が 0) か複数のプロセスで共有される (
.I "pshared"
が非 0) かを指定する。LinuxThreads は現在のところ
プロセス間共有セマフォはサポートしていない。
そのため、
.I "pshared"
が 0 でない場合は、
.B "sem_init"
は常にエラー
.B "ENOSYS"
を返す。
.B "sem_wait"
は、
.I "sem"
で指定されるセマフォのカウントが非 0 になるまで
呼び出しスレッドの実行を停止する。
そしてセマフォカウントを一息で 1 だけ減少させる。
.B "sem_trywait"
はブロックをともなわない
.B "sem_wait"
である。
.I "sem"
で指定されるセマフォのカウントが非 0 の場合には
一息でカウントが 1 だけ減少されて
.B "sem_trywait"
は直ちに 0 を返す。
セマフォカウントが 0 の場合には
.B "sem_trywait"
は直ちにエラー
.B "EAGAIN"
を返す。
.B "sem_post"
は
.I "sem"
で指定されるセマフォのカウントを一息で 1 だけ増加させる。
この関数は決してブロックすることはなく、
非同期シグナルハンドラの中でも安全に使用することができる。
.B "sem_getvalue"
は
.I "sval"
で指し示される領域に
セマフォ
.I "sem"
の現在のカウントを格納する。
.B "sem_destroy"
はセマフォオブジェクトを破壊し、
セマフォオブジェクトが保持していた資源を解放する。
.B "sem_destroy"
が呼び出されるときにそのセマフォを獲得待ちしている
スレッドがあってはならない。
LinuxThreads の実装では、
セマフォオブジェクトは何も資源を保持しないため、
.B "sem_destroy"
はそのスレッドを獲得待ちしているスレッドがないことを
チェックする以外に何もしない。
.SH "取り消し"
.B "sem_wait"
は取り消しポイントである。
.SH "非同期シグナルの安全性"
不可分の比較交換命令 (compare-and-swap) をサポートしている
CPU (Intel 486 や Pentium およびその後継、
Alpha 、 PowerPC 、 MIPS II 、 Motorola 68k) では、
関数
.B "sem_post"
は非同期シグナルに対して安全であり、
そのためシグナルハンドラから呼び出すことが可能である。
.B "sem_post"
は、非同期シグナルに対して安全な、
POSIX スレッドで提供される唯一のスレッド同期関数である。
Intel 386 と Sparc においては、
現時点の LinuxThreads の実装では
.B "sem_post"
は非同期シグナルに対して安全でない。
これは必要な不可分命令が存在しないからである。
.SH "返り値"
関数
.B "sem_wait"
および
.B "sem_getvalue"
は常に 0 を返す。
他のセマフォ関数はすべて、
成功すると 0 を返し、
エラーならば -1 を返してエラーコードを
.B "errno"
に格納する。
.SH "エラー"
関数
.B "sem_init"
はエラーの場合に次のようなエラーコードを
.B "errno"
に格納する。
.RS
.TP
.B "EINVAL"
.I "value"
がカウンタの最大値
.B "SEM_VALUE_MAX"
を超えている。
.TP
.B "ENOSYS"
.I "pshared"
が 0 でない。
.RE
関数
.B "sem_trywait"
はエラーの場合に次のようなエラーコードを
.B "errno"
に格納する。
.RS
.TP
.B "EAGAIN"
現時点のセマフォカウントが 0 である。
.RE
関数
.B "sem_post"
はエラーの場合に次のようなエラーコードを
.B "errno"
に格納する。
.RS
.TP
.B "ERANGE"
カウンタを増加すると、セマフォの値が
.B "SEM_VALUE_MAX"
を超えてしまう
(この場合、セマフォカウントは変更されない) 。
.RE
関数
.B "sem_destroy"
はエラーの場合に次のようなエラーコードを
.B "errno"
に格納する:
.RS
.TP
.B "EBUSY"
指定したセマフォの獲得待ちでブロックされているスレッドがある。
.RE
.SH "著者"
Xavier Leroy <Xavier.Leroy@inria.fr>
.SH "関連事項"
.BR "pthread_mutex_init" (3),
.BR "pthread_cond_init" (3),
.BR "pthread_cancel" (3),
.BR "ipc" (5).
|
