cafe-grader-judge-scripts Commit

cafe-grader-judge-scripts

Commit `r43:b03203ec084a` public

parent | child

Description:

[grader] better test case for timeout, changed where check_mem_usage is called to reduce inefficiency git-svn-id: http://theory.cpe.ku.ac.th/grader/judge/trunk/scripts@167 6386c4cd-e34a-4fa8-8920-d93eb39b512e

Commit status:

[Not Reviewed]

References:

default

Diff options:

| | | |

Comments:

0 Commit comments 0 Inline Comments

Unresolved TODOs:

There are no unresolved TODOs

Add another comment

r43:b03203ec084a - Mon, 07 Apr 2008 17:46:30 - 2 files changed: 25 inserted, 11 deleted

std-script/box.cc ¶ +4 -8

               static void
               boxkeeper(void)
               {
                 int syscall_count = 0;
                 struct sigaction sa;
                 is_ptraced = 1;
                 bzero(&sa, sizeof(sa));
                 sa.sa_handler = signal_int;
                 sigaction(SIGINT, &sa, NULL);
                 start_time = time(NULL);
                 ticks_per_sec = sysconf(_SC_CLK_TCK);
                 if (ticks_per_sec <= 0)
                   die("Invalid ticks_per_sec!");
                 check_memory_usage();
                 sa.sa_handler = signal_alarm;
                 sigaction(SIGALRM, &sa, NULL);
                 //alarm(1);
                 struct itimerval val;
                 val.it_interval.tv_sec = 0;
                 val.it_interval.tv_usec = 50000;
                 val.it_value.tv_sec = 0;
                 val.it_value.tv_usec = 50000;
                 setitimer(ITIMER_REAL,&val,NULL);
                 /*
                   --- add alarm handler no matter what..
                 if (timeout)
                   {
                     sa.sa_handler = signal_alarm;
                     sigaction(SIGALRM, &sa, NULL);
                     alarm(1);
                   }
                 */
                 for(;;)
                   {
                     struct rusage rus;
                     int stat;
                     pid_t p;
                     if (timer_tick)
               	{
               	  check_timeout();
+            + 	  check_memory_usage();
               	  timer_tick = 0;
               	}
                     p = wait4(box_pid, &stat, WUNTRACED, &rus);
-            -       if(!WIFEXITED(stat)) {
-            - 	//	printf("CHECKING\n");
-            - 	check_memory_usage();
-            -       }
                     if (p < 0)
               	{
               	  if (errno == EINTR)
               	    continue;
               	  die("wait4: %m");
               	}
                     if (p != box_pid)
               	die("wait4: unknown pid %d exited!", p);
                     if (WIFEXITED(stat))
               	{
               	  struct timeval total;
               	  int wall;
               	  wall = time(NULL) - start_time;
               	  timeradd(&rus.ru_utime, &rus.ru_stime, &total);
               	  box_pid = 0;
               	  if (WEXITSTATUS(stat))
-            - 	    fprintf(stderr,"Exited with error status %d.", WEXITSTATUS(stat));
+            + 	    fprintf(stderr,"Exited with error status %d.\n", WEXITSTATUS(stat));
               	  else if ((use_wall_clock ? wall : total.tv_sec) > timeout)
-            - 	    fprintf(stderr,"Time limit exceeded.");
+            + 	    fprintf(stderr,"Time limit exceeded.\n");
               	  else
               	    // report OK and statistics
               	    fprintf(stderr,"OK\n");
               	  fprintf(stderr,"%dr%.4lfu%.4lfs%dm\n",
               		  wall,
               		  (double) rus.ru_utime.tv_sec +
               		  ((double) rus.ru_utime.tv_usec/1000000.0),
               		  (double) rus.ru_stime.tv_sec +
               		  ((double) rus.ru_stime.tv_usec/1000000.0),
               		  max_mem_used);
               /*
               	  (%.4lf sec real (%d), %d sec wall, %d syscalls, %d kb)\n",
               		  (double) total.tv_sec + ((double)total.tv_usec / 1000000.0),
               		  (int) total.tv_usec,
               		  wall,
               		  syscall_count,
               		  max_mem_used);
               */
               	  exit(0);
               	}
                     if (WIFSIGNALED(stat))
               	{
               	  box_pid = 0;
-            - 	  fprintf(stderr,"Caught fatal signal %d.", WTERMSIG(stat));
+            + 	  fprintf(stderr,"Caught fatal signal %d.\n", WTERMSIG(stat));
               	  struct timeval total;
               	  int wall;
               	  wall = time(NULL) - start_time;
               	  timeradd(&rus.ru_utime, &rus.ru_stime, &total);
               	  fprintf(stderr,"%dr%.4lfu%.4lfs%dm\n",
               		  wall,
               		  (double) rus.ru_utime.tv_sec +
               		  ((double) rus.ru_utime.tv_usec/1000000.0),
               		  (double) rus.ru_stime.tv_sec +
               		  ((double) rus.ru_stime.tv_usec/1000000.0),
               		  max_mem_used);
               	  exit(0);
               	}
                     if (WIFSTOPPED(stat))
               	{
               	  int sig = WSTOPSIG(stat);
               	  if (sig == SIGTRAP)
               	    {
               	      struct user u;
               	      static int stop_count = -1;
               	      if (ptrace(PTRACE_GETREGS, box_pid, NULL, &u) < 0)
               		die("ptrace(PTRACE_GETREGS): %m");
               	      stop_count++;
               	      if (!stop_count)			/* Traceme request */
               		log(">> Traceme request caught\n");
               	      else if (stop_count & 1)		/* Syscall entry */
               		{
               		  log(">> Syscall %3ld (%08lx,%08lx,%08lx) ", u.regs.orig_eax, u.regs.ebx, u.regs.ecx, u.regs.edx);
               		  syscall_count++;
               		  if (!valid_syscall(&u))
               		    {
               		      /*
               		       * Unfortunately, PTRACE_KILL kills _after_ the syscall completes,
               		       * so we have to change it to something harmless (e.g., an undefined
               		       * syscall) and make the program continue.
               		       */
               		      unsigned int sys = u.regs.orig_eax;
               		      u.regs.orig_eax = 0xffffffff;
               		      if (ptrace(PTRACE_SETREGS, box_pid, NULL, &u) < 0)
               			die("ptrace(PTRACE_SETREGS): %m");
               		      die("Forbidden syscall %d.", sys);
               		    }
               		}
               	      else					/* Syscall return */
               		log("= %ld\n", u.regs.eax);
               	      ptrace(PTRACE_SYSCALL, box_pid, 0, 0);
               	    }

test/data/test2_1-5sec.c ¶ +21 -3

               #include <stdio.h>
               #include <stdlib.h>
               #include <unistd.h>
+            + #include <sys/time.h>
+            + #include <time.h>
+            + #include <sys/resource.h>
               int main()
               {
                 int a,b;
                 int c=0;
                 scanf("%d %d",&a,&b);
                 printf("%d\n",a+b);
-            -   sleep(1);
+            +   struct rusage ru;
-            -   c = 0;
+            +   while(1) {
-            -   while(c<1000000000) {
+            +     c++;
+            +     b+=c;
+            +     while(c<1000000000) {
+            +       c++;
+            +       b+=c;
+            +     }
+            +     getrusage(RUSAGE_SELF,&ru);
+            +     if((ru.ru_utime.tv_sec + ru.ru_stime.tv_sec)>=1)
+            +       break;
+            +   }
+            +   printf("%d\n",b);
+            +   c=0;
+            +   while(c<100000000) {
                   c++;
                   b+=c;
                 }
+            +   if(b==10)
+            +     printf("hello\n");
+            +
                 exit(0);
               }

Write
Preview

You need to be logged in to leave comments. Login now

	Site-wide shortcuts
/	Use quick search box
g h	Goto home page
g g	Goto my private gists page
g G	Goto my public gists page
n r	New repository page
n g	New gist page

	Repositories
g s	Goto summary page
g c	Goto changelog page
g f	Goto files page
g F	Goto files page with file search activated
g p	Goto pull requests page
g o	Goto repository settings
g O	Goto repository permissions settings

Sign in to your account

Author

r43:b03203ec084a - Mon, 07 Apr 2008 17:46:30 - 2 files changed: 25 inserted, 11 deleted

Sign in to your account

Commit r43:b03203ec084a public

Author

r43:b03203ec084a - Mon, 07 Apr 2008 17:46:30 - 2 files changed: 25 inserted, 11 deleted

Commit `r43:b03203ec084a` public