diff options
| author | Vladislav Vaintroub <wlad@mariadb.com> | 2022-12-14 13:34:11 +0100 |
|---|---|---|
| committer | Vladislav Vaintroub <wlad@mariadb.com> | 2022-12-14 13:34:11 +0100 |
| commit | c1fd082e9c7369f4511eb5a52e58cb15489caa74 (patch) | |
| tree | d46316167fff4abd99cab40071f5b92039765cf2 /debian | |
| parent | 0aca3012a13fb6dcd438d47a5b9d67369dc59535 (diff) | |
| download | mariadb-git-c1fd082e9c7369f4511eb5a52e58cb15489caa74.tar.gz | |
MDEV-25341 post-fix. Don't use DiscardVirtualMemory on Windows.
This turns out to be a too expensive call to use for every freed page,
especially under global buffer pool mutex protection.
Also, the usefulness of proactive shrinking of the buffer pool on Windows
this is seems questionable - there is no OOM killer, and the OS will
shrink working sets itself.
Diffstat (limited to 'debian')
0 files changed, 0 insertions, 0 deletions