세마포어 실행횟수제한..?

jinguman의 이미지

세마포어에 대한 실행 횟수 제한? 그런게 있나요?
세마포어 연산을 16384번째까지 하면, 그 다음부터 연산에러가 뜹니다.

FAIL: semop() 'P' operation

물론, 그전에 프로그램을 중지시키고 다시 실행시키면 그 범위내에서는
괜찮고요.. 세마포어는 Sysv세마포어입니다..
뭔가 시스템제한이 있는것 같기도 한데..
고수분들의 의견을 듣고 싶습니다.

+> 에러를 perror로 찍어보니 Result too large 라고 나오네요.. wait연산을
하다가 났는데, 세마포어값은 분명히 범위내인데.. 왜 이런에러가 뜨는지..;;

+> 대략적 프로그램은 fork를 써서 자식프로세스를 2개생성
하나는 생산자, 하나는 소비자사용..

세마포어는 3개를 사용 - 1개는 바이너리(mutex), 2개는 카운팅

그래서, 카운팅세마포어중 하나(e)는 초기값을 버퍼사이즈로, 하나(f)는 0으로 세팅

그리고, 생산자는
while(1) {
semaphore_waiting(e)
semaphore_waiting(mutex) //-1연산
생산~
semaphore_posting(mutex) //+1연산
semaphore_posting(f)
}

소비자는

while(1) {
semaphore_waiting(f)
semaphore_waiting(mutex) //-1연산
소비~
semaphore_posting(mutex) //+1연산
semaphore_posting(e)
}

입니다~

select99의 이미지

자원을 계속 증가 시켰나요? 그렇다면 당연히 한도가있죠..

jinguman의 이미지

아.. 세마포어는 카운팅세마포어로 에러가 발생할때는 그 값이 9이고,
16384번째라는 것은 원래는 무한으로 돌렸는데, 중간에 멈추길레..
횟수를 한번 세봤더니.. 그정도가 뜨네요..

galien의 이미지

생산자와 소비자의 실행 빈도 차이에 따라 문제가 발생할 수 있을 것으로 보입니다.

jinguman의 이미지

빈도차이라면 어떠한 것을 이야기하시는지;;;;

galien의 이미지

예를 들어:
생산자가 하나의 카운팅 세마포어를 계속 증가시는데 소비자는 가끔씩만 세마포어를 감소시켜서 세마포어의 최대값을 넘어섰다던지...

그런게 가능하지 않을까요?