diff options
Diffstat (limited to 'substvars')
| -rw-r--r-- | substvars | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/substvars b/substvars new file mode 100644 index 0000000..ed755d5 --- /dev/null +++ b/substvars @@ -0,0 +1,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, + - ... |