diff options
| author | Tom Lane <tgl@sss.pgh.pa.us> | 2016-10-22 14:04:51 -0400 |
|---|---|---|
| committer | Tom Lane <tgl@sss.pgh.pa.us> | 2016-10-22 14:04:51 -0400 |
| commit | b0051f1d4c9f6db51b4a8b7ba8978548cfbc0918 (patch) | |
| tree | 718fe252b5d77ea0998cb90e92ef1343141ed8d3 /src | |
| parent | 63d8de2c9e8588f458b568d3b08a4d3fa109e0fb (diff) | |
Improve documentation about use of Linux huge pages.
Show how to get the system's huge page size, rather than misleadingly
referring to PAGE_SIZE (which is usually understood to be the regular
page size). Show how to confirm whether huge pages have been allocated.
Minor wordsmithing. Back-patch to 9.4 where this section appeared.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions