/* Handle Ctrl+C on windows. */
static BOOL WINAPI handle_break(DWORD event)
{
int id = signal_notifications[SIGINT];
if (id == -1 || (event != CTRL_C_EVENT && event != CTRL_BREAK_EVENT)) return FALSE;
lwt_unix_send_notification(id);
return TRUE;
}
/* Send a notification when a signal is received. */
static void handle_signal(int signum) {
if (signum >= 0 && signum < NSIG) {
intnat id = signal_notifications[signum];
if (id != -1) {
#if defined(LWT_ON_WINDOWS)
/* The signal handler must be reinstalled if we use the signal
function. */
signal(signum, handle_signal);
#endif
lwt_unix_send_notification(id);
}
}
}
/* Execute the given job. */
static void execute_job(lwt_unix_job job)
{
DEBUG("executing the job");
lwt_unix_mutex_lock(&job->mutex);
/* Mark the job as running. */
job->state = LWT_UNIX_JOB_STATE_RUNNING;
/* Set the thread of the job. */
job->thread = lwt_unix_thread_self();
lwt_unix_mutex_unlock(&job->mutex);
/* Execute the job. */
job->worker(job);
DEBUG("job done");
lwt_unix_mutex_lock(&job->mutex);
DEBUG("marking the job has done");
/* Job is done. If the main thread stopped until now, asynchronous
notification is not necessary. */
job->state = LWT_UNIX_JOB_STATE_DONE;
/* Send a notification if the main thread continued its execution
before the job terminated. */
if (job->fast == 0) {
lwt_unix_mutex_unlock(&job->mutex);
DEBUG("notifying the main thread");
lwt_unix_send_notification(job->notification_id);
} else {
lwt_unix_mutex_unlock(&job->mutex);
DEBUG("not notifying the main thread");
}
}
value lwt_unix_send_notification_stub(value id)
{
lwt_unix_send_notification(Long_val(id));
return Val_unit;
}
