ミューテックスミューテックス行きます

ミューテックスの源でgo1.12.5を見てください:

//著作権2009囲碁著者。全著作権所有。
//このソースコードの使用はBSDスタイルによって支配されている
LICENSEファイルに記載されています//ライセンス。

//パッケージの同期は、相互などの基本的な同期プリミティブを提供
//排他ロックを。一度とWaitGroupタイプ以外は、ほとんどが意図されている
//低レベルのライブラリルーチンで使用するために。より高いレベルの同期がある
//チャネルと通信を介して行わより良いです。
// 
このパッケージで定義されたタイプを含む//値がコピーされるべきではありません。
パッケージ同期

インポート(
	「内部/レース」
	「同期/アトミック」
	「安全でない」

ランタイムが提供FUNCスロー(文字列)//

//ミューテックスは、相互排他ロックがあります。
//ミューテックスのゼロ値は、ロック解除mutexがあります。
// 
// Aミューテックスは、最初の使用後にコピーしてはいけません。
型ミューテックス構造体{ 
	INT32状態
	のSEMA UINT32 
} 

// Aロッカーはロックおよびロック解除することができるオブジェクトを表します。
型ロッカーインタフェース{ 
	ロック()
	ロック解除()
} 

CONST(
	mutexLocked = 1 <<イオタ//ミューテックスがロックされている
	mutexWoken 
	mutexStarving 
	mutexWaiterShift =イオタ

	//ミューテックス公平。
	// 
	//ミューテックスは、操作の2つのモードにすることができる:正常および飢餓。
	//通常モードのウェイターではFIFO順でキューイングされていますが、ウェイクアップウェイター
	//ミューテックスを所有し、以上の新しい到着ゴルーチンと競合しません
	//所有。新しい到着ゴルーチンは、優位性を持っている-彼らはしている
	ので目が覚め、すでにCPU上で実行されている//およびそれらの多くがあることができ
	//ウェイターが失うのは良いチャンスを持っています。このような場合には、前面にキューイングされる
	待ち行列の//。ウェイター以上1msのためにミューテックスを取得できなかった場合は、
	//それは飢餓モードにミューテックスを切り替えます。
	// 
	//ミューテックスの飢餓モード所有権の直接からハンドオフされる
	キューの先頭にウェイターに//ロック解除ゴルーチン。
	//新しい到着ゴルーチンは、それが表示された場合でも、ミューテックスを取得しようとしないでください
	//ロックを解除すると、スピンしようとしないでください。代わりに、彼らは自分たちのをキュー
	待ち行列の尾//。
	// 
	//ウェイターがミューテックスの所有権を受信して、見ている場合は、そのいずれか
	//(1)には、キュー内の最後のウェイターであり、又は(2)それは、1ms未満を待って
	、それはバック通常動作モードにミューテックスを切り替える//。
	// 
	ゴルーチンが取得できるよう//通常モードでは、かなり良いパフォーマンスを持っている
	ブロックされたウェイターがあっても、行にミューテックスを数回//。
	//飢餓モードは、尾の待ち時間の病理学的なケースを防止することが重要です。
	starvationThresholdNs = 1E6 

//ロックロックのメートル。
ロックがすでに使用されている場合は、//、呼び出しゴルーチン
ミューテックスまで//ブロックが可能です。
FUNC(m個*ミューテックス)ロック(){
	//ファストパス:ロック解除されたmutexをつかみます。
	atomic.CompareAndSwapInt32場合(&m.state、0、mutexLocked){  
		もしrace.Enabled { 
			race.Acquire(unsafe.Pointer(M))
		} 
		リターン
	} 

	のvar waitStartTime int64型
	飢え:= falseを
	目が覚め:= falseを
	ITER:= 0 
	歳:= m.state 
	{用
		//飢餓モードでスピンしないが、所有権は、ウェイターに渡される
		//私たちはとにかくmutexを獲得することができません。
		もし古い&(mutexLocked | mutexStarving)== mutexLocked && runtime_canSpin(ITER)は{ 
			//アクティブな紡糸が理にかなっています。
			//ロック解除通知するmutexWokenフラグを設定するようにしてください
			他のブロックされたゴルーチンを覚ますしないように//を。
			!は&&古い&mutexWoken == 0 &&古い>> mutexWaiterShiftを目覚めた場合は!
				atomic.CompareAndSwapInt32(&m.state、古い、古い| mutexWoken){ 
				目覚めた=真の 
			} 
			runtime_doSpin()
			ITER ++ 
			古い= m.state
			引き続き
		} 
		新しい:古い= 
		//ミューテックスは、新しい到着ゴルーチンがキューイングしなければいけません飢えを取得しようとしないでください。
		もし古い&mutexStarving == 0 { 
			新しい| = mutexLocked 
		} 
		古い&あれば!(mutexLocked | mutexStarving)= 0 { 
			新しい+ = 1 << mutexWaiterShift 
		} 
		//現在のゴルーチンが飢餓モードにミューテックスを切り替えます。
		//しかし、mutexが現在ロック解除された場合、スイッチは致しません。
		//ロック解除は飢えミューテックスではないでしょうウェイター、持っていることを期待し
		、//この場合には真であることを。
		!飢え&&古い&mutexLocked場合= 0 { 
			新しい| = mutexStarving 
		目覚めた場合{ 
			//ゴルーチンが眠りから目覚めてきました、
		} 
			飢え=飢え|| runtime_nanotime() - waitStartTime> starvationThresholdNs
			//私たちはどちらの場合にはフラグをリセットする必要があります。
			もし新しい&mutexWoken == 0 { 
				投( "同期:一貫性のないミューテックス状態")
			} 
			新しい&^ = mutexWoken 
		} 
		もしatomic.CompareAndSwapInt32(&m.state、古い、新しい){ 
			もし古い&(mutexLocked | mutexStarving)== 0 { 
				ブレーク/ / CASでミューテックスをロック
			} 
			我々はすでにキューの先頭に、前にキューを待っていた場合は、//。
			queueLifo:= waitStartTime!= 0 
			であればwaitStartTime == 0 { 
				waitStartTime = runtime_nanotime()
			} 
			runtime_SemacquireMutex(&m.sema、queueLifo)
			古い= m.state 
			古い&mutexStarving場合= 0 {!
				このゴルーチンを起こさとミューテックスが飢餓モードになった場合は、//、
				//所有権は、私たちに渡したが、ミューテックスは多少であるた
				//矛盾した状態:mutexLockedが設定されておらず、我々はまだされている
				//ウェイターとして計上しました。それを修正してください。
				古い&IF(mutexLocked | mutexWoken)= 0 ||!古い>> mutexWaiterShift == 0 { 
					投( "同期:一貫性のないミューテックス状態")
				} 
				デルタ:= INT32(mutexLocked - 1 << mutexWaiterShift) もし飢え|| 古い>> mutexWaiterShift == 1 { 
					//終了飢餓モード。
					//クリティカルここでそれをやると時間を待って検討します。 
					飢餓モードに//。
					デルタ- = mutexStarving
					//飢餓モードは2つのゴルーチンことを、とても非効率的です
					彼らは、ミューテックス切り替えると//は無限にロックステップに行くことができます 
	race.Enabled {もし
				} 
				atomic.AddInt32(&m.state、デルタ)
				ブレーク
			} 
			= trueを目覚め
			ITER = 0 
		} {他
			古い= m.state 
		} 
	} 

	race.Enabled {場合
		race.Acquire(unsafe.Pointer(M))
	} 
} 

//ロック解除メートルのロックを解除します。
mはロックを解除するために、エントリにロックされていない場合は、//これは、実行時エラーです。
// 
// Aは、ミューテックスは、特定のゴルーチンに関連付けられていないロック。
// 1つのゴルーチンがミューテックスをロックしてからすることが許される
//ロックを解除するために別のゴルーチンを手配します。
FUNC(m個*ミューテックス)ロック解除(){ 
		_ = m.state 
		race.Release(unsafe.Pointer(M))
	}
 
	//ファストパス:ロックビットをドロップ。
	新しい:= atomic.AddInt32(&m.state、-mutexLocked)
	IF(新しい+ mutexLocked)&mutexLocked == 0 { 
		投( "同期:ロック解除ミューテックスのロック解除")
	} 
	ニューmutexStarving == 0 {もし
		古い:=新しい
		{用
			/ /そこにはウェイターがないかゴルーチンが既にいる場合
			//起こされたり、誰も目を覚ますする必要がロックを手にされませんでした。
			//飢餓モード所有権の直接開錠からハンドオフされる
			次ウェイターにゴルーチンを//。私たちは、このチェーンの一部ではない
			、我々は上記のミューテックスをアンロックするとき、我々はmutexStarvingを観察していなかったので、//。
			//だから、道を降ります。
			古い>> mutexWaiterShift == 0 ||場合 古い&!(mutexLocked | mutexWoken | mutexStarving)= 0 { 
				リターン
			} 
			誰かをウェイクする権利をつかむ//。
			新=(古い- 1 << mutexWaiterShift)| mutexWoken 
			場合atomic.CompareAndSwapInt32(&m.state、新しい、古い){ 
				(m.sema、偽&)runtime_Semrelease 
				リターン
			} 
			古い= m.state 
		} 
	}他{ 
		//飢えモード:次のウェイターへのハンドオフミューテックスの所有権。
		//注:mutexLockedが設定されていない、ウェイターがウェイクアップした後、それを設定します。
		//しかし、ミューテックスはまだmutexStarvingが設定されている場合、ロックされたと考えられている
		//ので、新しい来ゴルーチンがそれを獲得しません。
		runtime_Semrelease(&m.sema、真)
	} 
}
mutex.go

ミューテックス構造

ミューテックスは、{のstruct型
	国家のInt32 //状態のミューテックス
	セマフォを待っている//セマフォコルーチンブロックのSEMA UINT32、コルーチンロックを解除することにより解放するウェイクアップがセマフォセマフォコルーチンを待ちます。
}

良いショーマップミューテックスのメモリレイアウトを見つけるために、時間の情報を確認します。

  • ロックされた:0は1人の代表がロックされている、ロックされていない表し、ミューテックスがロックされているかどうかを示します。
  • 目覚め:、コルーチンが目覚めてきたがかどうかを示し目覚めすべきコルーチン0、目覚めする既存のコルーチンを表し、ロックされています。
  • 飢えは:1ミリ秒以上をブロックしている飢餓の状態を表す、0空腹ではないために、ミューテックスは、飢餓状態であることを示しています。
  • ウェイター:この値は、セマフォを解放するかどうかを判断する場合にはコルーチンがロックを解除するとき、ロックを待ってブロックされた数のコルーチンを示します。

コルーチンは、実際には、右のグラブロック割り当て間のロックをつかむロックされたフィールドのセットを与えるために、それはロック成功をつかむ示しています。セマフォMutex.semaを待ってブロック未満をつかみ、コルーチンは、一度ターンコルーチンに起こされるのを待って、ロックを保持してロックを解除します。

(この著者の素敵によって書かれ、元のリンクは、私はテキストを入れて、最後の〜)

(時には非常にトランスは、最後に自分のブログを作成する必要はありません、そしてインターネットポーターほとんどの時間は、1日、私は〜純粋なオリジナル技術ブログを書くことができます)

2つの動作モード

:mutexは2つの動作モードがある行く通常モード飢餓モードを

通常モードでは、スタンバイ状態コルーチン(ウェイター)がFIFO順でキューに入れられました。Aは共同ドライブがミューテックスを所有していないために、それはミューテックスの競争のための新たなコルーチン利点として付属していません(レディ)睡眠(睡眠)が目覚めました。新しい到着のコルーチンは、CPU上で実行されているされている可能性があり、まだ可能性の数が多すぎ。待ち時間は以上1ミリ秒を遮断するキューミューテックスで待機するように目覚めた場合は、通常モードでは飢餓モードに切り替わります。

飢餓モードでは、ミューテックスのロック解除の所有権は、直接キューの最も前に待機するコルーチンから転送されました。新しい到着のコルーチンがさえない逆に、ミューテックスを戦うために、競争上の優位性を持って、彼らはラインで待っているキューの最後に移動します。

ミューテックスの所有権を待つ人が目覚めたと(1)それが最後のキューで待機している人、または(2)それは1msのを待っていないであることが判明した場合、それは通常モードに飢餓モードに切り替わります。

コルーチンミューテックスを遮断するためにそこに待っている場合でもので、非常に優れた性能を有する通常モードは、連続して複数回取得することができます。

飢餓モードはコルーチンの到着処理の遅延を防ぐことができます(ただし、はるかに新しいコルーチンの後ろでもよい)、はっきり、それは設定のような飢餓ビジー状態に飢餓モードコルーチンを防ぐためです。

どちらの方法

ミューテックスは、ロックを解除するために、2つの方法、すなわち、ロック()ロックとロック解除()を提供します。

ロック

上記のミューテックスは、ウェイクアップロック値が0になった後、障害物にコルーチン、例えば、最も簡単なのに障害物がロックが保持されているとき、それはウェイター++意志、1にセットロックロックすることはありませんが、メモリのレイアウト図に行きます。

アンロック

ミューテックスは、依然として、例えばメモリレイアウト図上に移行され、他のブロッキング待機コルーチンロック(すなわちウェイターは0され)、その後であればロックがセマフォを解放する必要はないようにゼロに設定されていません。ロックを解除した場合、0の後にロックするために、1つの以上のブロッキングコルーチン(すなわち、ウェイターが> 0)、あなたはコルーチンをブロックセマフォウェイクアップを離し、設定する必要があります。

スピン

基本コンセプト

私たちは、ロックされたときにブロックされる可能性があり、この時は、すぐにブロックされたコルーチンを入力しますが、0にロックされたかどうかを検出していきますない、プロセスがスピン(スピン)プロセスであり、上記と述べました。ソース()とruntime_doSpinからruntime_canSpinミューテックスソースコードは()は、2つの方法は、それらが回転し(即ち、スピン状態かどうか)とスピンを実行しているかどうかを決定するために使用することができます。

それはすべての条件を満たしている必要がありスピン:

  • 十分に小さな数、通常4、即ち、最大4倍コルーチン各スピンスピン。
  • この時点では他のコルーチンのロックを解除することができませんので、CPUのコア数が1より大きい場合、またはスピンは意味がありません。
  • プロセス番号コルーチンスケジューリング機構()は、このようなGOMAXPROCSを使用するなど、1よりも大きい回転を開始しませんプロセッサ1を設定します。
  • コルーチンスケジューリングメカニズムは、それ以外の場合はコルーチンスケジューリングを遅らせます、キューが空で実行する必要があります。

限制自旋次数很好理解,关于CPU核数,一开始我不理解为什么要限制这个,不妨来设想一下协程自旋的场景,假设一个协程主动释放了锁并释放了信号量,我们的协程在对处理器的竞争中惨败,因此进入短暂自旋,以期寻找其他门路,即看看其他处理器是不是正有协程准备解锁,试想,假如只有1核,刚刚在和我们的竞争中获取取得锁控制权的协程,怎么可能在短期内释放锁,因此只能直接进入阻塞。

至于什么是GOMAXPROCS呢?就是逻辑CPU数量,它可以被设置为如下几种数值:

  • <1:不修改任何数值。
  • =1:单核心执行。
  • >1:多核并发执行

一般情况下,可以使用runtime.NumCPU查询CPU数量,并使用runtime.GOMAXPROCS()进行设置,如:runtime.GOMAXPROCS(runtime.NumCPU),将逻辑CPU数量设置为物理CPU数量。

现在想想,对Process进行限制,是不是显而易见的事。

至于可运行队列为什么必须为空,我的理解,就是当前只能有这一条就绪线程,也就是说同时只能有一条自旋。

自旋的好处

可以更充分的利用CPU。

自旋的坏处

如果协程通过自旋获得锁,那么之前被阻塞的协程将无法获得锁,如果加锁的协程特别多,每次都通过自旋获得锁,那么之前被阻塞的协程将很难获得锁,从而进入饥饿状态。因此,在1.8版本以后,饥饿状态(即Starving为1)下不允许自旋。

补充

自旋和模式切换是有区别的,自旋发生在阻塞之前,模式切换发生在阻塞之后。

整个互斥过程是围绕着Mutex量进行的,即争夺对Mutex内存的修改权,Mutex可以看作是处理器的钥匙,争夺到Mutex的协程可以被处理。

Woken的作用:

Woken用于加锁和解锁过程的通信,譬如,同一时刻,有两个协程,一个在加锁,一个在解锁,在加锁的协程可能在自旋,此时把Woken置为1,通知解锁协程不必释放信号量了。也就是说Woken标志着当前有就绪状态的进程,不用解锁协程去通知。

参考链接

https://my.oschina.net/renhc/blog/2876211

另外还有一篇详解mutex源码的博客:

https://blog.csdn.net/qq_31967569/article/details/80987352

おすすめ

転載: www.cnblogs.com/StrayLesley/p/10943889.html