Linux マルチスレッドにおけるフォークとミューテックス ロック プロセスの例

Linux マルチスレッドにおけるフォークとミューテックス ロック プロセスの例

質問:

このような問題があります。マルチスレッド プログラムで子プロセスを作成し、子線程子進程グローバル変数のロックを取得させ、出力子スレッドがロックを取得してロックを解除し、子プロセスがロックを取得してロックを解除します。

1. 最初の試み

コード:

#include <stdio.h>
#include <unistd.h>
#include <pthread.h>
#include <stdlib.h>
#include <sys/wait.h>

pthread_mutex_t ミューテックス;

void* 関数(void* 引数)
{
	pthread_mutex_lock(&mutex);	
	printf("fun get lock\n");
	睡眠(3);

	pthread_mutex_unlock(&mutex);
	printf("fun unlock\n");
}
int メイン()
{
	pthread_mutex_init(&mutex, NULL);
	pthread_t ID;
	pthread_create(&id, NULL, fun, NULL);
	
	睡眠(1);
	pid_t pid = fork();
	(pid == -1)の場合
	{
		perror("フォークエラー");
		-1 を返します。
	} 

	pid == 0 の場合
	{
		pthread_mutex_lock(&mutex);	
		printf("子がロックを取得\n");
		睡眠(3);
		
		pthread_mutex_unlock(&mutex);
		printf("子のロック解除\n");
		終了(0);
	}
	
	待機(NULL);

	pthread_mutex_destroy(&mutex);
	printf("メイン終了\n");
	0を返します。
}

推測結果:

考えを整理しましょう:

グローバルロックを作成して初期化する
メインスレッドはロックを取得するために子スレッドを作成します。メインスレッドは 1 秒間スリープし、子スレッドがロックを取得してロックします。
子スレッドは3秒間スリープし、unlock funを出力し、子スレッドは終了します。
メインスレッドがフォークを開始し、子プロセスがロックを取得し、子ロックを出力する
子プロセスのロック解除出力 子のロック解除
親プロセスのメインスレッドは子プロセスが終了するのを待ち、最後にロックを破棄してmain overを出力する。
それで…正しいコードにすぐにアクセスしましょう! ! !

2. 合理的な分析

残念ながら、答えは間違っています。 ! !

我們先來康康運行結果:正常輸出了子線程的內容,但是。。。。卡住了?沒錯阻塞了。。

ここに画像の説明を挿入

再度分析します:

ブロック? ?ロックを取得するときに子プロセスがブロックされる可能性がありますか?または、親プロセスが子プロセスを待ってブロックされていますか?
つまり、両方の場所がブロックされ、子プロセスはロックを取得するときにブロックされ、親プロセスがブロックされます。
検証してください! !

ここに画像の説明を挿入

したがって、プログラムは 2 か所でブロックされます。子プロセスはロックを取得するときにブロックされ、その結果、親プロセスがブロックされます。

3. 問題解決

實際上,我們子線程在獲取這把鎖并加鎖后睡眠3秒,主線程睡眠1秒,在主線程1秒睡眠結束后,開始執行fork,此時的子線程還未解鎖正處于睡眠狀態,fork過程中,會直接復制父進程的所有資源(**包括這把鎖、鎖的狀態**),沒錯

就是有兩把鎖。此時子線程進行了加鎖的狀態,所以子線程復制的鎖也是加鎖狀態。所以子線程會正常退出,而子進程會因為拿到加鎖的鎖而阻塞,父進程wait因為子進程阻塞而阻塞;

(1) pthread_join()の使用

フォークする前に pthread_join() を使用します。子スレッドが終了する前にメインスレッドはブロックされ、子スレッドが終了するのを待ってからフォークします。このとき、子プロセスが取得したロックは解除されます。

コード:

#include <stdio.h>
#include <unistd.h>
#include <pthread.h>
#include <stdlib.h>
#include <sys/wait.h>

pthread_mutex_t ミューテックス;

void* 関数(void* 引数)
{
	pthread_mutex_lock(&mutex);	
	printf("fun get lock\n");
	睡眠(3);

	pthread_mutex_unlock(&mutex);
	printf("fun unlock\n");
}
int メイン()
{
	pthread_mutex_init(&mutex, NULL);
	pthread_t ID;
	pthread_create(&id, NULL, fun, NULL);
	pthread_join(id, NULL);
	
	睡眠(1);

	pid_t pid = fork();
	(pid == -1)の場合
	{
		perror("フォークエラー");
		-1 を返します。
	} 

	pid == 0 の場合
	{
		pthread_mutex_lock(&mutex);	
		printf("子がロックを取得\n");
		睡眠(3);

		pthread_mutex_unlock(&mutex);
		printf("子のロック解除\n");
		終了(0);
	}
	
	待機(NULL);

	pthread_mutex_destroy(&mutex);
	printf("メイン終了\n");
	0を返します。
}

結果:

ここに画像の説明を挿入

(2)phread_atfork()を使ってフォーク前の判定を登録する

ヘッダーファイル: pthread.h

int pthread_atfork(void (*prepare)(void), void (*parent)(void), void (*child)(void));

prepare: この関数はforkが実行される前に呼び出されます

親: 親プロセスはフォークが実行された後にこの関数を呼び出します

child: forkが実行された後、子プロセスはこの関数を呼び出します

戻り値: 成功した場合は 0、失敗した場合はエラーコード

コード:

#include <stdio.h>
#include <unistd.h>
#include <pthread.h>
#include <stdlib.h>
#include <sys/wait.h>

pthread_mutex_t ミューテックス;

void prepare_fun(void)
{
	pthread_mutex_lock(&mutex);
}

void 親関数(void)
{
	pthread_mutex_unlock(&mutex);
}

void 子関数()
{
	pthread_mutex_unlock(&mutex);
}

void* 関数(void* 引数)
{
	pthread_mutex_lock(&mutex);	
	printf("fun get lock\n");
	睡眠(3);

	pthread_mutex_unlock(&mutex);
	printf("fun unlock\n");
}

int メイン()
{
	
	pthread_mutex_init(&mutex, NULL);
	pthread_t ID;
	pthread_atfork(準備関数、親関数、子関数);
	pthread_create(&id, NULL, fun, NULL);
	
	睡眠(1);

	pid_t pid = fork();
	(pid == -1)の場合
	{
		perror("フォークエラー");
		-1 を返します。
	} 

	pid == 0 の場合
	{
		pthread_mutex_lock(&mutex);	
		printf("子がロックを取得\n");
		睡眠(3);

		pthread_mutex_unlock(&mutex);
		printf("子のロック解除\n");
		終了(0);
	}
	
	待機(NULL);

	pthread_mutex_destroy(&mutex);
	printf("メイン終了\n");
	0を返します。
}

結果:

ここに画像の説明を挿入

Linux マルチスレッドのフォークとミューテックス プロセスの例に関するこの記事はこれで終わりです。Linux マルチスレッドのフォークとミューテックスに関する関連コンテンツについては、123WORDPRESS.COM の以前の記事を検索するか、次の関連記事を引き続き参照してください。今後とも 123WORDPRESS.COM をよろしくお願いいたします。

以下もご興味があるかもしれません:
  • Pythonのガベージコレクションの仕組みの詳しい説明
  • Python言語開発ガベージコレクションメカニズム原理チュートリアル
  • Python ガベージコレクション機構の原理分析
  • Python のガベージコレクションはどのように実装されていますか?
  • Linux でのマルチスレッドにおけるフォークの紹介
  • Python ガベージコレクションと Linux フォーク

<<:  CSS 線形グラデーション凹型長方形遷移効果の実装

>>:  JavaScript で動的な QML オブジェクトを作成する方法

推薦する

HTML におけるベースタグの使用に関する詳細な説明

requireJS には、baseURL というプロパティがあります。baseURL を設定すること...

ファイアウォールの iptables 戦略を使用して Linux サーバー上のポートを転送する方法

2つの異なるサーバー間の転送ポート転送を有効にするまず、デフォルトでは無効になっている IP 転送機...

すべてのホストがmysqlにアクセスできるようにする方法

1. MySQLデータベースのユーザーテーブルのレコードのHostフィールド値を%に変更します。奇妙...

Linux サーバーに Java Web プロジェクトをデプロイするための完全なチュートリアル

この記事は主にインターネット上の他のチュートリアルを参考にしています。実際に操作した上でのまとめです...

mysqlはコンマに基づいてデータ行を複数の行に分割します

目次分離効果コマンドラインの説明関与する機能分離効果-- 別居前1,2,3,4 -- 別居後1 2 ...

Dockerのインストール、イメージの作成、NodeJSプログラムの読み込みと実行の詳細なプロセス

システム環境: Windows 7 1. DockerをインストールするDocker公式サイトからd...

Dockerコンテナデータボリュームの原理と使用法の分析

コンテナデータボリュームとはデータがコンテナ内にある場合、コンテナを削除するとデータは失われます。例...

tomcat デプロイメント プロジェクトの実装と IDEA との統合

目次Tomcat でプロジェクトを展開する 3 つの方法プロジェクトをwebappsディレクトリに直...

Docker でタイムゾーンの問題に対処する方法

背景ここ 2 日間 Docker を使用していたところ、コンテナの起動後に date -R の出力タ...

Vue スキャフォールディング学習プロジェクト作成方法

1. 足場とは何ですか? 1. Vue CLI Vue CLI は、Vue.js をベースにした迅速...

Vue+ElementUI はページング関数を実装します - mysql データ

目次1. 問題2. 解決策2.1 ページングコンポーネント2.2 データベースデータを取得する関数:...

Linux のパスワードを紛失した場合にリセットする方法

1. スタートアップメニューでは、カーソルを最初の行に移動します - eを押します 2. UTF-8...

mysqlはタイムゾーン関連の問題を解決します

序文: MySQL を使用すると、時間の表示が正しくない、タイムゾーンが GMT+8 ゾーンにない、...

JavaScriptのURLオブジェクトとは何かについて話しましょう

目次概要ハッシュプロパティホストプロパティホスト名属性Href属性起源のプロパティユーザー名とパスワ...

Nuxt.jsプロジェクトのDockerデプロイメントの実装

Docker 公式ドキュメント: https://docs.docker.com/ Docker は...