new RTS flag: -V to modify the resolution of the RTS timer
authorIan Lynagh <igloo@earth.li>
Tue, 5 Sep 2006 14:15:45 +0000 (14:15 +0000)
committerIan Lynagh <igloo@earth.li>
Tue, 5 Sep 2006 14:15:45 +0000 (14:15 +0000)
commit93db1991b5cacf8357493a2e17fbbfb485f3205b
tree4a9ebcc89dfbf9a106d42ec63b764cc7d0abdce2
parentc18587da71e16b581c293baee8d4af119b108da7
new RTS flag: -V to modify the resolution of the RTS timer
Fixed version of an old patch by Simon Marlow. His description read:
 Also, now an arbitrarily short context switch interval may now be
 specified, as we increase the RTS ticker's resolution to match the
 requested context switch interval.  This also applies to +RTS -i (heap
 profiling) and +RTS -I (the idle GC timer).  +RTS -V is actually only
 required for increasing the resolution of the profile timer.
15 files changed:
docs/users_guide/runtime_control.xml
docs/users_guide/using.xml
includes/Cmm.h
includes/RtsFlags.h
includes/mkDerivedConstants.c
rts/PrimOps.cmm
rts/Profiling.c
rts/Proftimer.c
rts/RtsFlags.c
rts/RtsStartup.c
rts/Schedule.c
rts/Timer.c
rts/Timer.h
rts/posix/Itimer.c
rts/posix/Select.c