Add +RTS -n<size>: divide the nursery into chunks
authorSimon Marlow <marlowsd@gmail.com>
Fri, 21 Nov 2014 17:05:58 +0000 (17:05 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Tue, 25 Nov 2014 14:37:26 +0000 (14:37 +0000)
commit452eb80f15fce8665df52bc9facebfafb5b6267b
treea34e76ab765b6d1db49b1c05372f8924e52cacf9
parente22bc0dedb9e9da0176ad7ce4a74acbefedc7207
Add +RTS -n<size>: divide the nursery into chunks

See the documentation for details.
docs/users_guide/runtime_control.xml
includes/rts/Flags.h
rts/RtsFlags.c
rts/Schedule.c
rts/sm/GC.c
rts/sm/Sanity.c
rts/sm/Storage.c
rts/sm/Storage.h