.\" .\" Copyright (c) 1995 David Hovemeyer .\" .\" All rights reserved. .\" .\" Redistribution and use in source and binary forms, with or without .\" modification, are permitted provided that the following conditions .\" are met: .\" 1. Redistributions of source code must retain the above copyright .\" notice, this list of conditions and the following disclaimer. .\" 2. Redistributions in binary form must reproduce the above copyright .\" notice, this list of conditions and the following disclaimer in the .\" documentation and/or other materials provided with the distribution. .\" .\" THIS SOFTWARE IS PROVIDED BY THE DEVELOPERS ``AS IS'' AND ANY EXPRESS OR .\" IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES .\" OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. .\" IN NO EVENT SHALL THE DEVELOPERS BE LIABLE FOR ANY DIRECT, INDIRECT, .\" INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT .\" NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, .\" DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY .\" THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT .\" (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF .\" THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. .\" .\" %FreeBSD: src/lib/libc/sys/semop. 2, v 1.7. 2.6 2001/12/14 18:34:01 ru Exp % .\" .\" WORD: atomic 불가분인 [POSIX] .\" WORD: adjust on exit 종료시 조정 .\" $FreeBSD: doc/ja_JP.eucJP/man/man2/semop. 2, v 1.8 2001/12/23 00:03:42 horikawa Exp $ .Dd September 22, 1995 .Dt SEMOP 2 .Os .Sh 명칭 .Nm semop .Nd semaphore 집합에 대한 불가분인 조작의 배열 .Sh 프로그램 라이브러리 .Lb libc .Sh 서식 .In sys/types.h .In sys/ipc.h .In sys/sem.h .Ft int .Fn semop "int semid" "struct sembuf array[]" "unsigned nops" .Sh 해설 .Fn semop (은)는, .Fa semid 하지만 가리키는 semaphore 집합에 대해서, .Fa array 하지만 가리키는 조작의 배열을 불가분에 실행합니다. .Fa array 의 길이는 .Fa nops 그리고 가리킵니다. 각 조작은 .Fa "struct sembuf" 안에 encode 되고 있어 .Fa "struct sembuf" (은)는 다음과 같이 정의됩니다. .Bd -literal .\" .\" From .\" struct sembuf { u_short sem_num; /* semaphore 번호 */ short sem_op; /* semaphore 조작 */ short sem_flg; /* 조작 플래그 */ }; .Ed .Pp .Fa array 안의 각 요소에 관계되어, .Fa sem_op (와)과 .Fa sem_flg (은)는, 집합내의 semaphore 번호 .Fa sem_num 에 대해서 실행되는 조작을 결정합니다. 지정한 조작의 동작을 변경하기 위해서, SEM_UNDO (와)과 IPC_NOWAIT 의 값의 논리합 ( .Em OR )(을)를 취해 .Fa sem_flg 멤버에 넣는 것이 가능합니다. .Pp 실행되는 조작은 다음과 같이 .Fa sem_op 의 값에 의존합니다. .\" .\" This section is based on the description of semop() in .\" Stevens, _Advanced Programming in the UNIX Environment_. .\" .Bl -bullet .It .Fa sem_op 하지만 정의 경우, semaphore의 값을 .Fa sem_op 의 값만 증가시킵니다. SEM_UNDO (을)를 지정했을 경우, semaphore의 종료시 조정치를 .Fa sem_op 의 값만 감소시킵니다. .Fa sem_op 에 대한 정의 값은, 일반적으로, semaphore에 연결시킬 수 있었던 자원을 릴리스 하는 프로세스에 대응합니다. .It .Fa sem_op 하지만 부의 경우의 동작은, semaphore의 현재의 값에 의존합니다. .Bl -bullet .It semaphore의 현재의 값이 .Fa sem_op 의 절대치와 동일한가 그것보다 큰 경우, semaphore의 값을 .Fa sem_op 의 절대치만 감소시킵니다. SEM_UNDO 하지만 지정되어 있는 경우, semaphore의 종료시 조정치를 .Fa sem_op 의 절대치만 증가시킵니다. .It semaphore의 현재가가 .Fa sem_op 의 값미만의 경우, 다음의 어떤 것인가가 발생합니다. .\" XXX a *second* sublist? .Bl -bullet .It IPC_NOWAIT (을)를 지정했을 경우, .Fn semop (은)는 반환값 .Er EAGAIN 그리고 즉시 복귀합니다. .It .Fn semctl 의 IPC_RMID 옵션을 이용해, 다른 프로세스가 semaphore를 삭제해 버렸을 경우, .Fn semop (은)는 반환값 .Er EINVAL 그리고 즉시 복귀합니다. .It 그 이외의 경우, semaphore의 값이 .Fa sem_op 의 절대치에 동일한가 그것보다 커질 때까지, 호출원프로세스는 휴면 상태가 됩니다. 이 조건이 실로 될 때, semaphore의 값을 .Fa sem_op 의 절대치만 감소시켜, semaphore의 종료시 조정치를 .Fa sem_op 의 절대치만 증가시킵니다. .El .Pp .Fa sem_op 하지만 부의 값일 때는, 일반적으로, 자원이 이용 가능하게 되는 것을 프로세스가 기다리고 있는 것에 됩니다. .El .Pp .It .Fa sem_op 하지만 0 의 경우, 프로세스는 semaphore의 값이 0 이 되는 것을 기다립니다. 이미 0 의 경우는, .Fn semop 의 호출로부터 즉시 복귀합니다. 그렇지 않은 경우, 호출원프로세스는, semaphore의 값이 0 이 될 때까지 휴면 상태가 됩니다. .El .Pp 프로세스가 사용하고 있는 semaphore 마다, 커널은, 먼저 말한 것처럼 「종료시 조정」치를 보관 유지합니다. 자발적이든 비자발적으로든, 프로세스가 종료할 경우에는, 각 semaphore에 대한 종료시 조정치가 semaphore의 값에 추가됩니다. 이것을, 프로세스가 예기 하지 않고 종료해 버리는 경우에 자원을 반드시 해방하는 것을 프로텍션하는데 사용 가능합니다. .Sh 반환값 .Rv -std semop .Sh 에러 .Fn semop (은)는 다음의 경우에 실패합니다. .Bl -tag -width Er .It Bq Er EINVAL .Fa semid 에 대응하는 semaphore 집합이 없습니다. .It Bq Er EACCES 조작과 semaphore 집합의 모드의 사이에 불일치가 있기 (위해)때문에, 퍼미션이 거부되었습니다. .It Bq Er EAGAIN semaphore의 값이 .Fa sem_op 미만으로, 한편 IPC_NOWAIT 하지만 지정되었습니다. .It Bq Er E2BIG 너무나 많은 조작이 지정되었습니다. .It Bq Er EFBIG .\" .\" I'd have thought this would be EINVAL, but the source says .\" EFBIG. .\" .Fa sem_num 하지만 집합에 대한 유효한 semaphore의 범위내에 없었습니다. .El .Sh 관련 항목 .Xr semctl 2 , .Xr semget 2