Linux のプロセスが Copy on Write で共有しているメモリのサイズを調べる
Linux は fork で子プロセスを作成した場合、親の仮想メモリ空間の内容を子へコピーする必要があります。しかしまともに全空間をコピーしていたのでは fork のコストが高くなってしまいますし、子が親と同じようなプロセスとして動作し続ける場合は、内容の重複したページが多数できてしまい、効率がよくありません。 そこで、Linux の仮想メモリは、メモリ空間を舐めてコピーするのではなく、はじめは親子でメモリ領域を共有しておいて、書き込みがあった時点で、その書き込みのあったページだけを親子で個別に持つという仕組みでこの問題を回避します。Copy-On-Write (CoW) と呼ばれる戦略です。共有メモリページは、親子それぞれの仮想メモリ空間を同一の物理メモリにマッピングすることで実現されます。より詳しくは コピーオンライト - Wikipedia などを参照してください。 この CoW に
CoW 要点まとめ
CoW とは CoW = Copy-On-Write [ CoW - Wikipedia ] プロセスのコピーを作成 (fork) するとき、書き換えることのないメモリページは、両方のプロセス（元のプロセスと生成されたプロセス）で共用し、書き換える可能性のあるメモリページは、新たなメモリページを割り当ててコピーを作成する 鉄則 fork するプロセスを生成する場合、親子間でメモリ共有した方が良い forkする前に確保したメモリ領域は子プロセスとの間で共有される 共有されたメモリ領域に対して書き込みを行うと共有は解除（コピー）される forkした後に確保したメモリ領域は子プロセスごとに確保される（共有されない） どのプロセスでも同じように参照するだけの(書き換えない)データは、fork前に確保して共有した方が全体でのメモリ使用量を小さく保てる。つまり、fork 数を多くしたりできる。そして、
コピーオンライト - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "コピーオンライト" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2021年6月) コピーオンライト (Copy-On-Write) とは、コンピュータプログラミングにおける最適化戦略の一種である。COWまたはCoWと略記することもある。 コンピュータ内部で、ある程度大きなデータをコピー（複製）する必要が生じたとき、愚直な設計では、直ちに新たな空き領域を探して割り当て、データ全体のコピー（ディープコピー）を実行する。ところが、もしコピーしたデータに対する書き換えがなければそのコピーは無駄だったことになる。 そこで、コピーを要求されても
ゲームプレイとモーションの依存について - じじいのプログラミング
ネットの記事や本では、取り上げられることはほとんどなく、新しいことでもないですが、製作が長期に渡ることが多い市販のゲームでは、重要になってくる部分なので、まとめてみました。ゲームのジャンルによって、認識が大きく異なってくる部分でもあるので、いろんな視点からご意見をいただけると非常に嬉しいです。 読者対象：モーションを使って、ゲームを作ったことがあるプログラマ 注：この記事内の用語について ・ゲームプレイ：ゲームスレッドで動く、入力・移動・コリジョン判定・スコア更新といった、ゲーム部分を指します。 ・レンダリングスレッド：ゲームスレッドから結果を受け取り、モデルを描画するために、GPUに描画コマンドを送るスレッドです。 ・モーション計算：モーションデータから骨の位置・回転データを取ってきて、骨の木構造に沿って計算をし、各骨の位置や向きを求める計算の部分です。 ・アニメーション：この記事では、
d.y.d.Я９Я∽
10:14 08/04/29 いろいろ 来月末 東京メトロ沿線ウォーキング のために、じゃなかった、友人の結婚式があるらしいので、ちょっと一瞬日本に戻ります。 いやまあ、メトロウォーキングには行きますが。 りふぁらにれす アニメ、というのが通説らしいですが個人的にはゲーム。 プログラミングと俺（続き） 前回 書き忘れた。中学校の"技術"の授業で LOGO でタートルグラフィックスとかもやりました。 使ってた処理系でどこまでできたのかは全く知らないのですが、まあひたすらお絵描きしてました。 つまりメガデモ製作です(違。いろんな図形を描くときそれに伴って動くタートルをいかに作品内に取り込むか など真剣に考えたりしてました。LOGO っていう言語についてはもう、「てじゅんは」っていうキーワードしか 覚えてないですね。タートルグラフィックスって、適当なコードを適当にパラメタ変えて色々走らせると す
プログラミングの基礎テクニック
はじめに こんにちは、結城浩です。 ここは、月刊誌『C MAGAZINE』で『プログラミングの基礎テクニック』という連載を書いていたときのサポートページです。 この連載では、 問題と解決の間のギャップを埋めるテクニックとして、 基本的なアルゴリズム プログラミング言語のイディオム そのほかの技法 の中から、よく使われるものを選び、具体的なプログラム例と図を使って解説します。 プログラミング言語としてはJavaやCなどを用いています。 文法は理解しているけれど、経験が浅いという人を対象にして解説しますが、 できれば、熟練者にとっても新しい発見があるような内容も盛り込んでいます。 内容 第1回 (2003年12月号) : Buffering ―― まとめ買いのメリット デバイスへのアクセスに時間がかかる場合、 アクセス回数を減らすことによって高速化をはかることができます。 利用者とデバイスの間
HALOBET: Situs Slot Online Gacor dengan Peluang Maxwin Tinggi Resmi Terpercaya
Pemeliharaan Terjadwal: Funky Games pada 08-Jun-2025 dari 00:00:00 sampai 09-Jul-2025 23:59:59. Selama waktu ini, Funky Games permainan tidak akan tersedia. Kami memohon maaf atas ketidaknyamanan yang mungkin ditimbulkan. Pemeliharaan Terjadwal: WBet pada 11-Jun-2025 dari 11:00:00 sampai 15:00:00. Selama waktu ini, WBet permainan tidak akan tersedia. Kami memohon maaf atas ketidaknyamanan yang mun
R言語 - Wikipedia
R言語（アールげんご）はオープンソース・自由ソフトウェアの統計解析向けのプログラミング言語及びその開発実行環境である。ファイル名拡張子は.r, .R, .RData, .rds, .rda。 R言語はニュージーランドのオークランド大学のRoss IhakaとRobert Clifford Gentlemanにより作られた。現在ではR Development Core Team[注 1] によりメンテナンスと拡張がなされている。 R言語のソースコードは主にC言語、FORTRAN、そしてRによって開発された。 なお、R言語の仕様を実装した処理系の呼称名はプロジェクトを支援するフリーソフトウェア財団によれば『GNU R』であるが[3] 、他の実装形態が存在しないために日本語での慣用的呼称に倣って、当記事では、仕様・実装を纏めて適宜にR言語や単にR等と呼ぶ。 R言語は、「ベクトル処理」と呼ばれる実
「バグのないプログラム」と「バグのないプログラムは作れない」と停止性問題について - noopな日々
停止性問題やライスの定理を持ち出して、「バグのないプログラムは存在しない」もしくは「バグのないプログラムを作ることができない」という主張が、数学や論理に長けた人の間でも交わされることがあります。 いやいやそんなことはないよ、という話をするんですが、そうすると決まって、「君は停止性問題を知らないのか？」という初歩的なツッコミが入る確率95％・・・ 停止性問題について 簡単に書くと、停止性判定問題とは任意のプログラム*1が無限ループするかどうかを別のプログラムによって判定可能かどうかという問題。ちなみに、これは判定不能であることが証明されています。*2 Wikipediaの説明は微妙なんですが、こちらの補足がわかりやすいです。 なぜミスリードするのか すでに証明済みの定理を用いて"論理っぽい言葉でつなげる"と、比喩的に似ていればいるほど、あたかもそれが正しいかのように錯覚してしまいます。そして
停止性問題は決定不能→バグのないソフトウェアは作れない？ - sumiiのブログ
「チューリングマシンの停止性問題が決定不能だから、バグのないソフトウェアは作れない」という説を（アカデミックな人からも）よく聞く*1のですが、（結論はともかく）論理が理解できません。「停止性問題が決定不能 → Completeな自動検証器は実装不能 → バグのないソフトウェアは作れない」の２番目の矢印が成り立たないと思うのですが、別の意味？（もちろん、今のCoqやCharityですべての業務プログラムを記述しろ:-)とか言うつもりはありませんが） P.S. bonotakeさんからコメントをいただきましたが他の方のために：「Completeな」（バグがあれば必ずyesと答え、バグがなければ必ずnoと答える）という限定条件もついているので注意が必要です。バグの種類にもよりますが、単にsound（バグがあればyesと答える＝noと答えたらバグはない）とか、「十分に近似」とかであれば、実装可能な
ホワット・ア・ワンダフル・ワールド 型についての論文あれこれいろいろ
以前，抽象データ型とオブジェクト指向の関係 * について知るため，Object-Oriented Programming Versus Abstract Data Types (PDF 21 頁) を読んだりもしたのですが，そもそもプログラミング言語における型や多義性 (ポリモルフィズム) って何なんだろう ? という素朴な疑問がわいてきました． * What is ‘‘Object-Oriented Programming’’? (1991 revised version) (PDF 21 頁) や C++ の設計と進化 も参考になります． というわけで，ヒビルテさんのところで紹介されていた，A short article for the Encyclopedia of Artificial Intelligence: Second Edition ``Logic, Higher-ord
Quantum programming - Wikipedia
This article relies excessively on references to primary sources. Please improve this article by adding secondary or tertiary sources. Find sources: "Quantum programming" – news · newspapers · books · scholar · JSTOR (August 2024) (Learn how and when to remove this message) Quantum programming refers to the process of designing and implementing algorithms that operate on quantum systems, typically
数学初心者のための「型システム入門」入門 - 廻る技術の覗き穴
社内で「TaPLで殴りあう会*1」が開催されるというので、型システム入門(通称TaPL: Types and Programming Languages)を購入したものの、内容が難しくて序盤からまったくと言っていいほど読み進めることができませんでした。 型システム入門 −プログラミング言語と型の理論− 作者: Benjamin C. Pierce,住井英二郎,遠藤侑介,酒井政裕,今井敬吾,黒木裕介,今井宜洋,才川隆文,今井健男出版社/メーカー: オーム社発売日: 2013/03/26メディア: 単行本（ソフトカバー） クリック: 68回この商品を含むブログ (7件) を見る しかし、読めないままにしておくのは悔しいし、内容はとても面白そうなので、やはりちゃんと読めるようになりたい。 そこで基礎的な書籍とWebで情報収集してから再度挑戦したところ、なんとか読み進められるようになりました。 監
プログラミングコンテストの練習法と戦い方まとめ - Sano’s D
Google Code Jam 2010 Round2 感想 - 科学と非科学の迷宮 http://d.hatena.ne.jp/shiumachi/20100608/1276005219 • とりあえず解く • 解説を読んで再チャレンジ • 他の人の解答を書き写す • どういうロジックで動いているのか解析 • もう一度解く • 人に説明する team WAKABAでした練習のまとめ - kohyatohの日記 - TopCoder部 http://topcoder.g.hatena.ne.jp/kohyatoh/20111213/1323703954 実戦と同じ時間感覚で模擬戦を重ねる。 • 地道な練習がやっぱり効率がいい • わからない問題を1日考えるのは、非効率に見えるが良い練習 • 難しめの問題を解いてこそ実力がつく d3sxpにいた頃、意識していたこと - 歩くような速さで ht
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
移動しました
Googleの並列ログ解析向け言語「Sawzall」が公開されたので使ってみた | Preferred Research Blog
暗黒通信団webページは移転しました
http://www.sato.kuis.kyoto-u.ac.jp/~igarashi/CoPL/
Amazon.co.jp: コンピュータプログラミングの概念・技法・モデル (IT Architects' Archiveクラシックモダン・コンピューティング): セイフ・ハリディ (著), ピーター・ヴァン・ロイ (著), Peter Van-Roy (著), Seif Haridi (著), 羽永洋 (翻訳): 本
