Skip to content

Commit f37c47d

Browse files
author
Andrew Leung
committed
rewording page fault entries. virtual memory -> disk
1 parent 27efeae commit f37c47d

File tree

2 files changed

+12
-8
lines changed

2 files changed

+12
-8
lines changed

source/faq/storage.txt

Lines changed: 8 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -41,22 +41,22 @@ MongoDB uses memory mapped files for managing and interacting with all
4141
data. MongoDB memory maps data files to memory as it accesses
4242
documents. Data that isn't accessed is *not* mapped to memory.
4343

44+
.. _faq-storage-page-faults:
45+
4446
What are page faults?
4547
---------------------
4648

47-
Page faults will occur if you're attempting to access some part of a
49+
Page faults will occur if you're attempting to access part of a
4850
memory-mapped file that *isn't* in memory.
4951

5052
If there is free memory, then the operating system can find the page
5153
on disk and load it to memory directly. However, if there is no free
5254
memory, the operating system must:
5355

54-
- find a page in memory that is stale or no longer needed,
55-
56-
- if needed, the operating system might need to write this page to
57-
disk before removing it from memory.
56+
- find a page in memory that is stale or no longer needed, and write
57+
the page to disk.
5858

59-
- read the page from disk and load it into memory.
59+
- read the requested page from disk and load it into memory.
6060

6161
This process, particularly on an active system can take a long time,
6262
particularly in comparison to reading a page that is already in
@@ -69,7 +69,8 @@ What is the difference between soft and hard page faults?
6969
data that isn't currently in active memory. A "hard" page fault
7070
refers to situations when MongoDB must access a disk to access the
7171
data. A "soft" page fault, by contrast, merely moves memory pages from
72-
one list to another, and does not require as much time to complete.
72+
one list to another, such as from an operating system file
73+
cache. In production, MongoDB will rarely encounter soft page faults.
7374

7475
What tools can I use to investigate storage use in MongoDB?
7576
-----------------------------------------------------------

source/reference/glossary.txt

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -802,7 +802,10 @@ Glossary
802802
page fault
803803
The event that occurs when a process requests stored data
804804
(i.e. a page) from memory that the operating system has moved to
805-
virtual memory.
805+
disk.
806+
807+
.. seealso:: :ref:`Storage FAQ: What are page faults?
808+
<faq-storage-page-faults>`
806809

807810
working set
808811
The collection of data that MongoDB uses regularly. This data

0 commit comments

Comments
 (0)