git: kernel - Implement sbrk(), change low-address mmap hinting
Matthew Dillon
dillon at crater.dragonflybsd.org
Sun Feb 17 17:48:28 PST 2019
commit 4b5665564ef37dc939a3a9ffbafaab9894c18885
Author: Matthew Dillon <dillon at apollo.backplane.com>
Date: Sat Feb 16 16:41:25 2019 -0800
kernel - Implement sbrk(), change low-address mmap hinting
* Change mmap()'s internal lower address bound from dmax (32GB)
to RLIMIT_DATA's current value. This allows the rlimit to be
e.g. reduced and for hinted mmap()s to then map space below
the 4GB mark. The default data rlimit is 32GB.
This change is needed to support several languages, at least
lua and probably another one or two, who use mmap hinting
under the assumption that it can map space below the 4GB
address mark. The data limit must be lowered with a limit command
too, which can be scripted or patched for such programs.
* Implement the sbrk() system call. This system call was already
present but just returned EOPNOTSUPP and libc previously had its
own shim for sbrk() which used the ancient break() system call.
(Note that the prior implementation did not ENOSYS or signal).
sbrk() in the kernel is thread-safe for positive increments and
is also byte-granular (the old libc sbrk() was only page-granular).
sbrk() in the kernel does not implement negative increments and
will return EOPNOTSUPP if asked to. Negative increments were
historically designed to be able to 'free' memory allocated with
sbrk(), but it is not possible to implement the case in a modern
VM system due to the mmap changes above.
(1) Because the new mmap hinting changes make it possible for
normal mmap()s to have mapped space prior to the RLIMIT_DATA resource
limit being increased, causing intermingling of sbrk() and user mmap()d
regions. (2) because negative increments are not even remotely
thread-safe.
* Note the previous commit refactored libc to use the kernel sbrk()
and fall-back to its previous emulation code on failure, so libc
supports both new and old kernels.
* Remove the brk() shim from libc. brk() is not implemented by the
kernel. Symbol removed. Requires testing against ports so we may
have to add it back in but basically there is no way to implement
brk() properly with the mmap() hinting fix
* Adjust manual pages.
Summary of changes:
include/unistd.h | 2 +-
lib/libc/sys/brk.2 | 50 +++++++++++++++----
sys/kern/imgact_aout.c | 4 +-
sys/kern/imgact_elf.c | 8 ++--
sys/kern/imgact_gzip.c | 8 ++--
sys/kern/init_main.c | 2 +-
sys/kern/kern_checkpoint.c | 4 +-
sys/kern/kern_clock.c | 6 +--
sys/kern/kern_exec.c | 5 +-
sys/kern/kern_fork.c | 16 +++----
sys/kern/kern_kinfo.c | 6 +--
sys/kern/syscalls.master | 4 +-
sys/libkern/arc4random.c | 29 +++++++----
sys/sys/ckpt.h | 4 +-
sys/sys/libkern.h | 1 +
sys/sys/param.h | 5 +-
sys/vm/vm_map.c | 38 ++++++++++-----
sys/vm/vm_map.h | 6 +--
sys/vm/vm_mmap.c | 10 ----
sys/vm/vm_unix.c | 117 +++++++++++++++++++++++++++++++++++++++++++--
20 files changed, 244 insertions(+), 81 deletions(-)
http://gitweb.dragonflybsd.org/dragonfly.git/commitdiff/4b5665564ef37dc939a3a9ffbafaab9894c18885
--
DragonFly BSD source repository
More information about the Commits
mailing list