タグ付けされた質問 「paging」

ガベージコレクションは、再生可能なメモリを見つけるために、生きているすべてのオブジェクトを訪問する必要があります。（多くの世代がこれを少し遅らせることで） すべてが同じであるため、他のブロックをページインしてからページアウトする前に、すでにRAMにページングされているオブジェクトを最初に訪問することをお勧めします。 もう1つの可能性は、OSがプロセスからラムのページを取り去ろうとするとき、ページアウトする必要なく放棄できるページがあるかどうか、GCが最初に尋ねられることです。GCはほとんどの場合、ページからオブジェクトを移動することで実行されるため、OSがページを必要とする時間制限内にそのページをクリアできます。 それでも、GCが機能する順序を決定するOSページングシステムと統合されているガベージコレクターは思い出せません。

12 memory-management  paging  garbage-collection 

以下は、OSのホーム割り当てを行っているときに出くわした疑いです。しかし、それは単純なコーディングの質問よりも概念ベースのように思われるので、私は宿題タグがこれに適しているとは思いません。 一定量のRAMとスワップメモリ​​を指定して、同時に実行されている複数のプロセスの純粋なデマンドページングスキームで、スワップスペースに対して次の2つのケースで何が起こるか プロセスでページフォールトが発生し、RAMに使用可能な空きフレームがないため、プロセスのカーネルフレームのチャンクのページの1つをスワップに書き出す必要があります（簡単にするため、コピーは考慮していません） -on-write case）。明示的に、スワップスペースのどこにこのフレームが書き込まれ、そのためにどのデータ構造を更新する必要がありますか？ プロセスが特定のページをページインする必要がある場合、それはスワップメモリ​​のどこにあり、その特定のページがスワップに存在するかどうかをどのようにして知るのでしょうか？ ご想像のとおり、純粋な需要管理スキーム中にスワップスペースをどのように管理するか、およびどのデータ構造が不可欠であるかを理解することが困難です。回答のリンクを参照していただければ幸いです（「オペレーティングシステムの概念-Silberschatzによる第8版で検索しましたが、質問に対する明確な回答が見つかりませんでした）。

12 operating-systems  memory-allocation  virtual-memory  paging  memory-management 

スラブ割り当ての仕組みと、通常のページングとは異なる、または優れている理由を理解しようとしています。 私は、この図見つけ、私はそれがより説明があった場合には参考になると信じています。 いくつかの質問： 3KBと7KBのアイテムは何を表していますか？彼らはどういうわけか関連している必要がありますか？なぜそれらはそのようにパッケージ化されているのですか？ キャッシュ列で、キャッシュは灰色のボックスですか、それとも灰色のボックス内の白/青のボックスですか？灰色のボックスはキャッシュのパッケージですか？ スラブは単なる青いボックスですか、それとも「物理的な隣接ページ」全体がスラブですか？ 私は本当にいくつかの助けに感謝します。ありがとう！

10 operating-systems  paging  memory-allocation 

クロックページ置換アルゴリズムをシミュレーションするときに、既にメモリ内にある参照が来ても、時計の針はまだインクリメントしますか？ 次に例を示します。 4スロット、クロックページ置換アルゴリズムを使用 参照リスト：1 2 3 4 1 2 5 1 3 2 4 5 最初のリストは次のようになります。 -> [1][1] [2][1] [3][1] [4][1] insertの次の参照は1、次に2になります。手は1の後、1の後、2の後を指しますか？つまり、5を挿入すると、時計は次のようになります。 -> [5][1] [2][0] [3][0] [4][0] ？

9 algorithms  paging  virtual-memory 

ページングについて学習しています。私の本では、CPUによって生成される論理アドレスは|p|d|（ページ番号、ページオフセット）という形式であり、物理アドレスは|f|d|（フレーム番号、フレームオフセット）という形式であるとしています。また、具体的にはd、オフセットが直接コピーされて、論理アドレスから物理アドレスが生成されることも述べられています。 常識では、オフセットが直接コピーされる場合、ページサイズはフレームサイズと等しくなるはずです（そうでない場合、オフセットは対応しません）。しかし、残念ながら私の本はそれについて何も述べていません。 では、ページサイズは常にフレームサイズと同じですか？

9 memory-management  paging 

私は最近、主に単語のグループを特別なプロパティと照合する正規表現の課題を提案するWebサイトについて友人と話し合いました。彼は||||||||、数|が素数であるような文字列に一致する正規表現を探していました。そのような言語は、通常であれば、補題をポンプの翻訳が素数のためにあるという事実与えますので、私はすぐにそれが今まで動作しません彼に言われた十分な大きさ、それが存在するのk ≤ pがあるようP + N kは、すべての主要ですN ≥ - 1、よく、これは全くケースしにくい（素数の配分、そのような未知の自明とプロパティを破砕、...）pppk≤pk≤pk \leq pp+nkp+nkp + nkn≥−1n≥−1n \geq -1 しかし、誰かが解決策に付属している：一致しない(||+?)\1+ キャプチャグループに一致するように、この表現しようとする（つまりすることができ||、|||、||||などの上の出現箇所）のn ≥ 2回。一致する場合、文字列で表される数はkで割り切れるので、素数ではありません。それ以外の場合です。k≥2k≥2k \geq 2|n≥2n≥2n \geq 2kkk そして、グループ化と後方参照により、正規表現が理論的な意味で...正規表現よりも実際にはるかに表現力豊かになることが明らかになったので、私は愚かに感じました。今では、実際の正規表現を実行するときに私が知らなかったルックアラウンドやその他の演算子も追加されました。 ウィキペディアによると、文脈自由文法によって生成された言語よりもさらに表現力があります。だからここに私の質問があります： 現代の正規表現エンジンを使用して、（文脈自由文法から生成された）代数言語を表現できますか より一般的な説明、または現代の正規表現で説明できる言語の種類の複雑さの少なくとも上限はありますか？ より実用的には、その背後に深刻な理論がありますか、それとも有限オートマトンに基づく実際の正規表現の最初のブロックに実装可能と思われるたびに新しい機能を追加するだけですか？ 「モダンな正規表現」は質問が具体的ではないことを知っていますが、少なくとも後方参照を使用することを意味します。もちろん、この「現代の正規表現」言語に対する特定の制限を想定している部分的な回答者がいる場合は、遠慮なく投稿してください。

9 formal-languages  machine-models  logic  boolean-algebra  xor  cryptography  algorithms  machine-learning  algorithms  paging  virtual-memory  programming-languages  object-oriented  algorithms  search-algorithms  strings  binary-search  formal-grammars  context-free  algorithms  algorithms  correctness-proof  greedy-algorithms  permutations  logic  first-order-logic  logic-programming  algorithms  complexity-theory  computability  programming-languages  complexity-theory  complexity-classes  quantum-computing  reductions  formal-languages  programming-languages  semantics  operational-semantics  small-step-semantics  sets  first-order-logic  computer-networks  communication-protocols