summaryrefslogtreecommitdiffstats
path: root/substvars
blob: ed755d519379c55ba18274b902858731bde81556 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
Common-Description:
 This is a library for handling page faults in user mode.  A page fault occurs
 when a program tries to access to a region of memory that is currently not
 available.  Catching and handling a page fault is a useful technique for
 implementing:
 .
   - pageable virtual memory,
   - memory-mapped access to persistent databases,
   - generational garbage collectors,
   - stack overflow handlers,
   - distributed shared memory,
   - ...