#include <linux/unistd.h>

/* This program implements the Pulse daemon, which periodically performs
 * deadlock detection. -- tongli */
_syscall0(void, detect_deadlock);

int main(int argc, char *argv[])
{
   int interval;
   if (argc != 2) {
      printf("Usage: pulse <periodic_check_interval in mins>\n");
      exit(0);
   }

   interval = atoi(argv[1]);

   printf("Pulse with check interval %d mins\n", interval);

   while (1) {
      sleep(interval * 60);
      detect_deadlock();
   }

   return 0;
}