排他制御

そもそも楽観ロックって何？ってことです。 コンピューターシステムを構築していると、排他制御が必要になります。排他制御とは、共有資源（データやファイル）に対して複数のアクセスが見込まれる場合に、同時アクセスにより不整合が発生することを防ぐため、ある処理が共有資源（データやファイル）を使っている時は他の処理からはアクセスできないように制御することを言います。オレ更新してる間待ってて。終わったら更新していいから、それまでオレ専有ね！みたいにしたりするのは、悲観ロックと言います。 楽観ロックとは、めったなことでは他者との同時更新は起きないであろう、という楽観的な前提の排他制御です。データそのものに対し…

Node.jsはシングルスレッドで動作するため、スレッドセーフや排他制御については考慮しなくてよいと思っていました。イベントループによって実行される処理は1つだけであり、途中で他のスレッドなどから割り込まれることはないからです。 しかし、実際にはI/O待ちやsetTImeout関数のようなタイマーを使った処理や非同期処理により、処理がイベントループが複数にまたがる場合、あいだで別の処理がおこなわれる可能性があります。 （イベントループについてはこの記事が参考になるかもしれないです：描いて理解するイベントループ - Qiita） なので、処理ごとに数を増やすカウンターやシングルトンパターンでのイ…

ファイルオープン試験で使えるかな？ 本アプリは排他制御でファイルをオープンするツールです。本ツールでファイルをオープンし、テスト対象のソフトでファイルオープン処理が想定した結果になるか確認する。 （リンク）

はじめに セマフォ セマフォ管理データ構造 セマフォ取得とセマフォ解放 食事をする哲学者 実装してみる 動かしてみよう 最後に おまけ 執筆者 : 高橋 浩和 ※ 「RISC-V OSを作ろう」連載記事一覧はこちら ※ 「RISC-V OS」のコードはgithubにて公開しています。 はじめに 今回はタスクを協調動作させるための仕組みとして、セマフォによる同期機構を実現します。 セマフォ 今回はバイナリセマフォを実装します*1。 排他制御したい資源*2に対応したセマフォを定義します。 セマフォを取得したタスクのみ、そのセマフォに対応付けられた資源を操作可能という決まりを導入します。 これにより…

こんにちは。エンジニアのrs_shoです。 投稿は4回目になります。今回は排他制御についてお話ししようと思います。 はじめに 排他制御の種類 楽観ロック(楽観的排他制御) 悲観ロック(悲観的排他制御) それぞれの特徴 Javaにおける排他制御 Semaphore CountDownLatch synchronizedメソッド データベースのLOCK おわりに 参考資料

これは Sansan Advent Calendar 2020 の17日目の記事です。 adventar.org アドベントカレンダーとか機会がないとブログとかめったに書かないので、一応例年書いてるし今年も何か書こうかなと思ってた頃に同僚から誘われて The Art of Multiprocessor Programming を読み始めたので、それに関連した記事です。 食事する哲学者問題 この本各章毎に Exercise がついており第1章の最初の Exercise に以下のような問題がついておりました。 以下の状況を想像してほしい。 5人の哲学者がいて彼らは思索を巡らすのと食事をする事だけで…

こんにちは。talosです。WebアプリからDBを更新するとき、2人以上のユーザーが同時に更新すると、データに不整合が起こります。この現象を防ぐ手法としてよく使われるのが楽観的排他制御です。この手法では、参照したときのバージョンや更新日時が更新時に変更されていないかを確認し、変更されていた場合は更新できないようにします。この手法を実装していきたいと思います。 環境 ソースコード 解説 実行 おわりに 環境 言語：Java8 フレームワーク：JSF DB：MySQL O/Rマッピングツール：MyBatis ソースコード ソースコードはGitHubに置いてあります。github.com 解説 まず…