スレッドプログラミングにおいて，スレッド間同期のためのオブジェクトの一。
あるオブジェクトに排他制御をかけておけば，そのオブジェクトを保有するスレッドのみが特定の処理に取り掛かれる，という仕組み。
ソース： medium.com 脆弱性：RaceCondition 訳： 競合状態とは何ですか? 競合状態は、複数のスレッドが共有データにアクセスでき、それを同時に変更しようとすると発生して。 スレッド スケジューリング アルゴリズムはいつでもスレッド間を切り替えることができるため、スレッドが共有データへのアクセスを試行する順序はわからず。 したがって、データ変更の結果はスレッド スケジューリング アルゴリズムに依存し。つまり、両方のスレッドがデータにアクセス/変更するために「競合」し。 そのようなシナリオはどこで探せばよいでしょうか? バグハンティングは、Web アプリケーションまたはモバイ…
はじめに こんにちは。サーバーサイドエンジニアの佐野(@Kiyo_Karl2)です。 本記事は、4本の連載記事の2本目となります。 Goの並行処理入門-Goroutine基礎編 Goの並行処理入門-syncパッケージ編 ←今ここ Goの並行処理入門-channel編 Goの並行処理入門-select編 対象読者 Go言語の基礎はわかっているが、Goroutineについてはよく理解していない メモリ、プロセス、スレッド、並行処理、並列処理といったワードについて概要とその違いを理解している 連載記事を通して取り扱わないこと 本連載記事ではGoroutine、sync、channel、select文…
今回は皆さんが大好きな便利ツール「pg2arrow」のお話です。PostgreSQLでポータブルな列指向データ形式 Apache Arrow を読み出すには、Arrow_Fdwを利用する事ができます。 PG-StromではGPU-Direct SQLにも対応していますし、列指向データという事もあって、被参照列しかI/Oが発生しない、同じ列のデータが近傍に固まっているという大量データ処理に適した特性を持ってもいます。また、Apache Arrow形式のファイルを作成するにはPyArrowやPandasなど様々なツールがありますが、我々DB屋としてはPostgreSQLに格納されたトランザクショナ…
こんにちは。 大阪店の森井です。 さて、連日お伝えしております「ロビンキーガル来日記念ショー」 残念ながら関西でのショーは開催されず湘南のみの開催となります。 しかし 関西人のフットワークの軽さは流石です。 この貴重な機会を逃すまいと、湘南まで行かれる方が結構いらっしゃいます。 女性一人で参加します！！という方まで！！ そして私、森井も行きます。 ちょうど休暇が重なり、トリップもかねて千葉湘南方面をぶらぶらしておりますので宜しくお願い致します。 諸々な話を事前にインプットされておりますが、初めてお会いするロビンに楽しみで楽しみで、すでに浮かれております。 そして、男前＆べらぼうにサーフィンが上…
前回、FENCE命令における命令の順序について紹介したが、メモリアクセスにおいてより厳密な定義がある： Acquire アノテーション：ある命令に対してこのアノテーションが付属していると、この命令以降がクリティカルセクションであることを意味し、この命令よりも後ろの命令は、この命令を超えて速く実行を開始することはできないことを意味する(厳密には、速く実行を開始することが観測できてはならない)。 Release アノテーション：ある命令に対してこのアノテーションが付属していると、この命令以前がクリティカルセクションであることを意味し、この命令よりも前の命令は、この命令を超えて遅く実行を開始すること…
RISC-VにおけるRVWMOのメモリモデルについて、仕様書を読み直すことにした。 もうちょっと詳しく、RISC-V仕様書のAppendxx A. RVWMOの節を読み解いていくことにした。 msyksphinz.hatenablog.com RISC-V命令セットアーキテクチャにおける明示的な同期に関する内容であり、特にAcquireとRelease操作、RCsc Annotationの使用、および適切なメモリ順序を確保するための操作のペアリングに関する規則に焦点を当てている。 規則5: Acqurieアノテーション Acquire操作は、クリティカルセクションの開始時に使用される。 これに…
こんにちは、MLBお兄さんこと松村です。 福岡出身の今永昇太投手がシカゴ・カブスと契約しましたね。ぜひ頑張ってほしいと思います。 今回は Azure Cosmos DB for NoSQL のデザインパターン解説記事の第4弾です。 前回は「グローバル分散カウンター (Global distributed counter) パターン」を解説しました。 aadojo.alterbooth.com 今回は「グローバル分散ロック (Global distributed lock) パターン」について解説をします。 このデザインパターンについては、Cosmos DB の GitHub リポジトリやブログ…
こんにちは。アドカレ12/24の記事を簡単にではありますが書かせていただきました。(25日のポストで遅刻ですが) Digital Identity技術勉強会 #iddanceのカレンダー | Advent Calendar 2023 - Qiita はじめに 本日のテーマ：思わず天を仰いでしまうID関連システムトラブル 本日のテーマは、みんな大好き「トラブル」の話です。CIAM(Consumer Identity and Access Management)領域のさまざまなシステムにさまざまな立場で関わり、さまざまなトラブルに遭遇してきた経験を踏まえて、クリスマスの合間の気楽な読み物として記載…
Goの勉強をやり始めたのでメモ。 「プログラミング言語 Go」を読んでる。 競合状態 あるゴルーチン内のイベントxと別のゴルーチン内のイベントyがあり、xとyのどちらのイベントが先に発火するか不明な場合、xとyは並行であると言う。 ある関数が2つ以上のゴルーチンから同期なく呼び出しても正しく動作を続ける場合、その関数は並行的に安全と言う。 ドキュメントで型が並行的に安全であると述べられている場合に限り、並行に変数へアクセスすべきである。 そうでない場合は単一のゴルーチンに閉じ込めるか、相互排他の高度な不変式を維持する必要がある。 パッケージレベルの変数は並行的に安全であることが期待される。 デ…
相互排他ロック。
課題 同時に複数のプロセスが処理をしてはならないクリティカルセクションを用意したい。 シェルスクリプトではどのように排他制御を実現することができるのか。 解決法 mkdir コマンドを利用する。 排他制御と mkdir コマンドには一見して関連がないように思えるかもしれない。 排他制御として利用できるのは mkdir コマンドの「すでに同名のディレクトリ（ファイル）が存在しているとき失敗する」性質である。 最初に、比較として、排他制御を行わないために意図通りに動作しない例を示す。 以下のスクリプトでは、２つのバックグラウンドプロセスを作成し、それらが同一のファイルに対して書き込みを行う。 sl…
はじめに 目次 はじめに 目次 前回までのおさらい 記事の注意点 ダイクストラ・メッセージの構造化原理 ダイクストラが提唱したダイクストラ・メッセージ ダイクストラ・メッセージの構造化原理 手続き型プログラミングから構造化プログラミングへ 数え上げ(enumeration)の推論と連接と選択 不変性の証明に関する例題 ダイクストラの証明 注意点 数学的帰納法と繰り返し 例題 ダイクストラの証明 「連接」と「選択」と「繰り返し」の抽象化 連接と選択と繰り返しの正しさについて 手続き型プログラミングの問題点 手続き型プログラミング クラスプログラミング クラスプログラミングの抽象化 ダイクストラ連…
スレッドの同期機構のひとつ。超絶むずかしい。時期尚早。
こんにちは、今年の6月から入社しました研究開発部のskskです。7月に弊社のエンジニア14名で、Hack The Box 主催の Hack The Box Business CTF 2023に出場していました。今回のCTFは、982チーム、5118人が参加していて、開催期間は2日半と少し長めです。各問題について少し触れると、一番正答が少なかった問題は、CloudのEmitとPwnのSonic Infiltratorで6 solvesでした。2位は、PwnのPAC Breakerで8 solvesです。3位は、PwnのDevice Controlで11 solvesです。4位は、Fullpwnの…
初めに 本記事は3部構成になっております。 『前編：static とメモリ管理』 static と synchronized から始めるマルチスレッド入門 〜前編〜 - よしたろうブログ 『中編：マルチスレッドの基本的な用語と概念』 static と synchronized から始めるマルチスレッド入門 〜前編〜 - よしたろうブログ 『後編：synchronized の使い方と注意点』 static と synchronized から始めるマルチスレッド入門 〜後編〜 - よしたろうブログ 本記事では実務の中で使用している静的解析ツール(SonarLint)に指摘された警告の修正を入り口に…
ja.wikipedia.org
