• sof's avatar
    [project @ 2002-02-15 07:37:55 by sof] · 619cd23c
    sof authored
    Distinguish between the scheduling of a new thread from within
    the RTS (e.g., via forkIO, running finalizers etc) and scheduling
    of a thread that's created via the RtsAPI -- the latter
    now uses scheduleExtThread(), the rest scheduleThread().
    Why the distinction? Because the former will in threaded builds create
    a worker OS thread, while the latter won't. (There's an added
    wrinkle -- main() will also use scheduleThread()).
SchedAPI.h 2.21 KB