スレッドプログラミングにおいて，スレッド間同期のためのオブジェクトの一。
あるオブジェクトに排他制御をかけておけば，そのオブジェクトを保有するスレッドのみが特定の処理に取り掛かれる，という仕組み。
初めに 本記事は3部構成になっております。 『前編：static とメモリ管理』 static と synchronized から始めるマルチスレッド入門 〜前編〜 - よしたろうブログ 『中編：マルチスレッドの基本的な用語と概念』 static と synchronized から始めるマルチスレッド入門 〜前編〜 - よしたろうブログ 『後編：synchronized の使い方と注意点』 static と synchronized から始めるマルチスレッド入門 〜後編〜 - よしたろうブログ 本記事では実務の中で使用している静的解析ツール(SonarLint)に指摘された警告の修正を入り口に…
豆腐半丁を調理しようとパックから出し、包丁で半分に切る。片方は明日食べるので容器に入れようとまな板から包丁に乗せて持ち上げる。右手に持った包丁の上でバランスをとりながら容器に水を入れようとし、左手で水栓バーを操作した時に右手の注意が失われ包丁から豆腐が滑り落ちる。 反省点：豆腐を切る前から水を張った容器をまな板付近に準備しておくべきだった。また、調理や作業において『クリティカルセクション』を意識的に手順に反映する。ja.wikipedia.org追記、Chat GPTに話を聞いてもらう。
RTOSを用いたシステムにおいて，優先度逆転の原因となるものはどれか。 優先度の高いタスクAが優先度の低いタスクBの実行に必要なリソースを占有しているが，タスクBはタスクAに必要なリソースを占有していない。 優先度の低いタスクBが優先度の高いタスクAの実行に必要なリソースを占有しているが，タスクAはタスクBに必要なリソースを占有していない。 優先度の低いタスクBと優先度の高いタスクAが，互いに他タスクが必要なリソースを占有し合いデッドロックとなっている。 優先度の低いタスクBのクリティカルセクション実行中は，他の処理に対して割込み禁止の排他制御を行う。 解答・解説 (adsbygoogle =…
構造化プログラミングに関係する科学者たちの出身国 はじめに この記事では、Wikipediaを使って、構造化プログラミングの関係者たちの出身国を調べた。Wikipediaの記事が出典不明だった場合、国名の後ろに?（疑問符）を付けておく また、敬称は略す。国家名は略称を用いる 出身国一覧 エドガー・ウィベ・ダイクストラ (出身国：オランダ） 「メッセージ」を1965年に提唱*1。翌年、NATO国際会議において「Cooperating Sequential Processes」と題する報告書でメッセージを解説*2。68年にトップダウン方式とボトムアップ方式の『階層』を提唱 *3 その後、60年代後…
文書の一覧 JTC1/SC22/WG21 - Papers 2022 mailing2023-02 SG22のWG14からのものを除いて、全部で102本あります。 P0290R3 apply() for synchronized_value P0290R4 apply() for synchronized_value P0447R21 Introduction of std::hive to the standard library P0493R4 Atomic maximum/minimum P0792R13 function_ref: a non-owning reference to a…
Red Hat でコンサルタントをしている菅原と申します。 この記事では、意外とあまり説明されていないような気がする Linux システムで発生するハングタスクについて少し説明したいと思います。現場のシステムでもハングタスク検知の設定がされていることが多いと思いますが、ハングタスクとは何なのかを正しくご理解いただくことで、ハングタスク検知を行う目的が明確になること、また、実際の障害事例もご紹介することで、通常あまりハングタスクと関連づけて考えないような設定でもハングタスク発生につながる場合があることを知っていただき、少しでもシステム管理や障害の理解、障害対応などのお役に立てれば幸いです。 なお…
はじめに ダイクストラの「構造化プログラミング」について歴史を年表としてまとめてみた。 技術革新は基礎研究の積み重ねによるものだ。このことをもっと理解してもらいたいという考えが、この年表をつくった私の動機である。(初版2023/02/02) 注意事項として、 年表の正確さは保証できない 年表に関する質問は一切受け付けない 事実を裏付ける当事者のヒアリング調査はやっていない 内容が後日修正されることがある 引用は自由、ただし、それで発生する問題について責任は持たない 年表 (1957年～1978年) 1957年、ジャクソンが「待ち行列ネットワーク（待ち行列*1網、queueing network…
ja.wikipedia.org lock-freeについて最近学び始めた。lock-freeとはwikiから参照すると Lock-freeとWait-freeアルゴリズムとは、共有データにロックをかけてアクセスを防ぐアルゴリズムとは違い、複数のスレッドが同時並行的に、ある対象データを壊すことなしに読み書きすることを可能にするアルゴリズムである。Lock-free とはスレッドがロックしないことを意味しており、全てのステップにおいてシステムが必ず進行する。これはLock-free ではミューテックスやセマフォといった、排他制御のためのプリミティブを使ってはならないことを意味する。なぜならロック…
随時更新予定です。 疑似レジスタ $ip 命令ポインタレジスタ。x86: eip x64: rip。. も現在の命令ポインタの値に評価される $ra 現在の関数からのリターンアドレス $retreg 関数戻り値。x86: eax x64: rax $csp 現在のスタックポインタ。x86: esp x64: rsp $proc カレントプロセス。ユーザーモードデバッガでは PEB のアドレス。カーネルモードデバッガではカレントプロセスの EPROCESS 構造体のアドレス $thread カレントスレッド。ユーザーモードデバッガでは TEB のアドレス。カーネルモードデバッガではカレントスレッ…
波に乗る楽しさって？ 波に乗る楽しさは色々ありますよね。大波でのダウンザライン、波のパワーを感じながらのボトムターン、際どいセクションでのリッピング、どれも自然の力を感じることができますね。 湘南LOGBOOKがロングボードを始めたその昔、ケビンコネリーに憧れシングルフィンのクラシックボードを乗っていました。その後ハワイアンスタイル全盛の時代になりボンガパーキングを知り興味はハイパフォーマンスロングボードへシフト。数年前にシェーパーの友人が「クラシックロングボード を作るよ～」ということで再び乗るようになったのですが、あらためて気づいたのがクラシックロングボード の楽しさ。ハイパフォーマンスロ…
並行プログラミング入門を読んだ 並行プログラミング入門 ―Rust、C、アセンブリによる実装からのアプローチ作者:高野 祐輝オライリージャパンAmazon 日本人が書いたということで読みやすかった。 1章 並行性と並列性 並行性と並列性の定義や、並列性の種類（タスク並列性・データ並列性・インストラクションレベル並列性）などについて、CPUレベルで行われいてる並列実行についてや、並列処理の複雑さの存在についてなど、サクサク飲み込める感じで説明してくれていた。 並列処理がどのように実行されているかが、より具体的にイメージできるようになった。 2章 プログラミングの基本 アセンブリ言語とC言語とRu…
概要 サンプル Taskfile.yml Mutexでクリティカルセクションを作っているサンプル 参考情報 概要 少し前に以下のメモをアップしました。 devlights.hatenablog.com 上記ではスライスでしたが、マップも同様です。 こちらはスライスとは違って、ちょっとでも非同期アクセスすると即落ちるのであまり問題になることは無いと思います。 マップに関しては 公式のFAQ でも言及されています。 https://go.dev/doc/faq#atomic_maps 以下、一応メモです。 サンプル // マップ操作 はスレッドセーフでは無いというのを示すサンプルです。 // 本サ…
ja.wikipedia.org
