👩🏼 ✌🏻 🚮 Linuxでのセマフォの紹介 🤵🏼 🕹️ 👩🏿‍🤝‍👩🏾

記事の翻訳は、コース「AdministratorLinux.Basic」の開始前夜に作成されました。

セマフォは、競合するプロセスとスレッドがリソースを共有できるようにするメカニズムであり、レース、デッドロック（デッドロック）、スレッドの誤動作など、さまざまな同期の問題を解決するのに役立ちます。

これらの問題を解決するために、カーネルはミューテックス、セマフォ、シグナル、バリアなどのツールを提供します。

セマフォには次の3つのタイプがあります。

バイナリセマフォ
セマフォを数える
セマフォセット

IPCステータスの表示

以下のコマンドを使用して、プロセス間通信（IPC）機能の現在の状態に関する情報を取得できます。

# ipcs
------ Shared Memory Segments --------
key shmid owner perms bytes nattch status
0x00000000 65536 root 600 393216 2 dest
0x00000000 98305 root 600 393216 2 dest
0x00000000 131074 root 600 393216 2 dest
0x00000000 163843 root 600 393216 2 dest
0x00000000 196612 root 600 393216 2 dest
0x00000000 229381 root 600 393216 2 dest
0x00000000 262150 root 600 393216 2 dest
0x00000000 294919 root 600 393216 2 dest
0x00000000 327688 root 600 393216 2 dest
------ Semaphore Arrays --------

key semid owner perms nsems

------ Message Queues --------
key msqid owner perms used-bytes messages

アクティブなセマフォアレイ

アクティブなセマフォアレイに関する情報を表示します。

# ipcs -s
------ Semaphore Arrays --------
key semid owner perms nsems

共有メモリセグメント

共有メモリのアクティブなセグメントに関する情報を表示します。

# ipcs -m
------ Shared Memory Segments --------
key shmid owner perms bytes nattch status
0x00000000 65536 root 600 393216 2 dest
0x00000000 98305 root 600 393216 2 dest

制限

このコマンドipcs -lは、共有メモリ、セマフォ、およびメッセージの制限を表示します。

# ipcs -l
------ Shared Memory Limits --------
max number of segments = 4096
max seg size (kbytes) = 4194303
max total shared memory (kbytes) = 1073741824
min seg size (bytes) = 1

------ Semaphore Limits --------
max number of arrays = 128
max semaphores per array = 250
max semaphores system wide = 32000
max ops per semop call = 32
semaphore max value = 32767

------ Messages: Limits --------
max queues system wide = 16
max size of message (bytes) = 65536
default max size of queue (bytes) = 65536

共有メモリ

以下のコマンドは、共有メモリを表示します。

# ipcs -m
------ Shared Memory Segments --------
key shmid owner perms bytes nattch status
0x00000000 65536 root 600 393216 2 dest
0x00000000 98305 root 600 393216 2 dest
0x00000000 131074 root 600 393216 2 dest
0x00000000 163843 root 600 393216 2 dest
0x00000000 196612 root 600 393216 2 dest
0x00000000 229381 root 600 393216 2 dest
0x00000000 262150 root 600 393216 2 dest
0x00000000 294919 root 600 393216 2 dest
0x00000000 327688 root 600 393216 2 dest

リソースクリエーター

このコマンドは、リソースの所有者と作成者のユーザーとグループを表示します。

# ipcs -m -c

------ Shared Memory Segment Creators/Owners --------
shmid perms cuid cgid uid gid
65536 600 root root root root
98305 600 root root root root
131074 600 root root root root
163843 600 root root root root
196612 600 root root root root
229381 600 root root root root
262150 600 root root root root
294919 600 root root root root
327688 600 root root root root

IPCツールの使用

以下の例では、パラメーター-uはすべてのIPCツールの使用の要約を表示します。

# ipcs -u

------ Shared Memory Status --------
segments allocated 9
pages allocated 864
pages resident 477
pages swapped 0
Swap performance: 0 attempts 0 successes

------ Semaphore Status --------
used arrays = 0
allocated semaphores = 0

------ Messages: Status --------
allocated queues = 0
used headers = 0
used space = 0 bytes

サービスが停止した場合、セマフォと共有メモリセグメントも削除する必要があります。それらが削除されていない場合は、ipcrmコマンドを使用して、IPCオブジェクトの識別子を渡してこれを行うことができます。

# ipcs -a
# ipcrm -s < sem id>

を使用してセマフォ制限を変更することもできますsysctl。

# /sbin/sysctl -w kernel.sem=250

Linuxでのセマフォの紹介