データ競合と happens-before 関係 - uchan note
この記事は，マルチスレッドのプログラムでしばしば見る，そして発見が困難であるバグ「データ競合」と，それを見つけるのによく使われる「happens-before 関係」について解説します。 筆者は特に x86-64 アーキテクチャにおけるバグ検出に興味がありますので，一般的な話というよりは x86-64 に寄せた話になります。 想定読者 データ競合バグの発生原理やアトミック変数を使ったバグの防止方法を知りたいと思っているプログラマ データ競合バグを検出する手法，特に happens-before 関係を勉強したいプログラム解析手法の研究者 x86-64 & C++ を例に説明しますが，その他のアーキテクチャや言語にも通じる話もたくさんあります。 記事の概要 データ競合，アトミック変数，逐次一貫性，happens-before 関係などの用語に興味がありますか？ この記事はマルチスレッドで良く
asahi.com：中学校の歴史 １１９２は違うの？鎌倉幕府成立 - 教科ＳＨＯＷ - 小中学校 - 教育
中学校の歴史 １１９２は違うの？鎌倉幕府成立 2008年02月28日 語呂合わせ「１１９２（いいくに）つくろう」で、鎌倉幕府が成立した年号を覚えた人は多いはず。しかし、現在の中学歴史教科書の多くは、鎌倉幕府の成立が、１１９２年ではなく１１８５年に変わっている。語呂合わせなら「１１８５（いいはこ）つくろう鎌倉幕府」ということになる。 東京書籍などによると、９２年は源頼朝が征夷大将軍に就いた年。頼朝は８５年、軍事・行政官「守護」や、税金集めなどをする「地頭」を任命する権利を得、幕府の制度を整えたのだという。 社会編集部副編集長の和田直久さんは「実質的に幕府が成立したのが８５年。９２年は征夷大将軍という『名』を得て名実ともに幕府が完成した年と考えられます」と話す。 この変化を東京書籍の教科書でたどると――、 １９５５年＝１１９２年、頼朝は朝廷から征夷大将軍に任じられ、鎌倉に幕府という政府をおいた
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
