sem_openの第4引数について

Question

sem_openの第4引数についてmanには
The value argument specifies the initial value for the new semaphore.
と記載がありますが、valueがどのような意味をもつvalueなのかをご教示ください。

以下のようにsem_openの第4引数を2とした場合、sem_postを2回実施している状態で初期化すると思い以下のようなプログラムを書いて実行してみたのですが、sem_waitのところで止まってしまいます。2回分のsem_postがあるので、sem_waitでとまらない想定でした。

#include <semaphore.h>
#include <inttypes.h>
#include <stdio.h>
#include <unistd.h>
#include <fcntl.h>

// gcc -pthread -g semaphore_test.c

sem_t		*sem;

int		main(void)
{
	sem = sem_open("sem", O_CREAT, 0600, 2);
	//sem_post(sem);
	//sem_post(sem);
	sem_wait(sem);
	sem_wait(sem);
	sem_close(sem);
	sem_unlink("sem");
	return (0);
}

よろしくお願いいたします。

Answer 1

あなたの提示された状態だとすると、（sem_postは2か所ともコメントアウト状態）
最初のセマフォの値は２
2回目のsem_waitが終わった状態で、セマフォの値は０になります。
従って、sem_waitで止まることはないと思いますが。
こちらでは、止まらずに、最後まで実行されました。
基本的な流れは同じですが、こちらで、多少手を加えています。
centos7.5
gccバージョン
スレッドモデル: posix
バージョン 4.8.5 20150623 (Red Hat 4.8.5-28) (GCC)
で確認しました。

#include <semaphore.h>
#include <inttypes.h>
#include <stdio.h>
#include <unistd.h>
#include <fcntl.h>
#include <errno.h>
// gcc -pthread -g semaphore_test.c

sem_t        *sem;

int        main(void)
{
    int val;
    int ret;
    sem = sem_open("sem", O_CREAT, 0600, 2);
    if (sem == SEM_FAILED){
        printf("sem_open fail errno=%d\n",errno);
        return 10;
    }
    //sem_post(sem);
    //sem_post(sem);
    ret = sem_getvalue(sem,&val);
    if (ret !=0){
        printf("sem_getvalue fail errno=%d\n",errno);
        return 10;
    }
    printf("sem value=%d\n",val);
    printf("test1\n");
    sem_wait(sem);
    printf("test2\n");
    sem_wait(sem);
    printf("test3\n");
    ret = sem_getvalue(sem,&val);
    if (ret !=0){
        printf("sem_getvalue fail errno=%d\n",errno);
        return 10;
    }
    printf("sem value=%d\n",val);
    sem_close(sem);
    printf("test4\n");
    sem_unlink("sem");
    printf("test5\n");
    return (0);
}

実行結果
sem value=2
test1
test2
test3
sem value=0
test4
test5

Comments

[ap2c9w]

回答ありがとうございます!
結論から書くと、/dev/shm/sem.semを削除し、再度実行ファイルを実行することで所望の結果が得られました。

頂いた回答でプログラムソースには問題がないことが分かりましたので別の問題があると思い、/dev/shm/を確認したところ、sem.semがありましたので、これが悪さをしていると思い削除いたしました。
ソースの最初に
sem_unlink("sem");
を追加することで、この問題を防げると思いましたので、そのようにするつもりです。

Answer 2

Ubuntu Manpage: sem_open - 名前付きセマフォを初期化し、オープンする

セマフォの初期値だそうです