Commit f2419006 authored by sof's avatar sof
Browse files

[project @ 1999-09-16 08:33:54 by sof]

Disable timer ticks on 'pure' Win32 platforms unless really needed
(for profiling) -- no reason to enable it elsewhere as the Win32 bits
doesn't currently support thread{Delay,Wait{Read,Write}}#
parent 39d37a2c
/* -----------------------------------------------------------------------------
* $Id: Itimer.c,v 1.5 1999/08/25 16:11:48 simonmar Exp $
* $Id: Itimer.c,v 1.6 1999/09/16 08:33:54 sof Exp $
* (c) The GHC Team, 1995-1999
......@@ -96,10 +96,16 @@ TIMECALLBACK *vtalrm_cback;
initialize_virtual_timer(nat ms)
/* VTALRM is currently not supported by cygwin32,
so we use the Timer support provided by the
MultiMedia API that is part of Win32. The
parameters to timeSetEvent may require some tweaking.
/* On Win32 setups that don't have support for
setitimer(), we use the MultiMedia API's timer
As the delivery of ticks isn't free, we only
enable it if we really needed, i.e., when profiling.
(the RTS now also needs timer ticks to implement
threadDelay in non-profiling mode, but the pure
Win32 port doesn't support that.....yet.)
unsigned int delay,vtalrm_id;
......@@ -113,6 +119,7 @@ initialize_virtual_timer(nat ms)
# endif
return 0;
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment