cafe-grader-judge-scripts Commit

cafe-grader-judge-scripts

Commit `r114:e28e189186ff` public

parent | child

Description:

reports running time, checks exit status; modified running time test case, memory test case.

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

r114:e28e189186ff - Sun, 25 Apr 2010 09:55:11 - 4 files changed: 88 inserted, 19 deleted

std-script/box-win/execute.cpp ¶ +59 -8

                 return (max_mem_usage <= max_mem);
               }
+            + void report_stat(double time_used, int memory_used)
+            + {
+            +   fprintf(stderr,"%.4lfr%.4lfu%.4lfs%dm\n",
+            + 	  time_used,
+            + 	  time_used, (double)0,
+            + 	  memory_used);
+            + }
+            +
+            + double get_process_time_usage(HANDLE hProcess)
+            + {
+            +   FILETIME creation_time;
+            +   FILETIME exit_time;
+            +   FILETIME kernel_time;
+            +   FILETIME user_time;
+            +   GetProcessTimes(hProcess,
+            + 		  &creation_time,
+            + 		  &exit_time,
+            + 		  &kernel_time,
+            + 		  &user_time);
+            +
+            +   SYSTEMTIME sys_kernel_time;
+            +   SYSTEMTIME sys_user_time;
+            +   FileTimeToSystemTime(&kernel_time, &sys_kernel_time);
+            +   FileTimeToSystemTime(&user_time, &sys_user_time);
+            +
+            +   double time_used =
+            +     ((sys_kernel_time.wSecond + sys_kernel_time.wMilliseconds/1000.0) +
+            +      (sys_user_time.wSecond + sys_user_time.wMilliseconds/1000.0));
+            +   return time_used;
+            + }
+            +
               int execute(char *exname, char *inname, char *outname, double t, int max_mem)
               {
                 STARTUPINFO si;
               		     &pi))  // Pointer to PROCESS_INFORMATION structure.
                   {
                     //printf( "CreateProcess failed (%d).\n", GetLastError() );
+            +       fprintf(stderr, "Process creation error.\n");
+            +       report_stat(0,0);
+            +       return EXE_RESULT_ERROR;
                   }
                 //fprintf(stderr,"Process ID: %ld\n",pi.dwProcessId);
                 //fprintf(stderr,"time limit = %d\n",t);
                 // checking memory usage
                 // wait 0.1 sec before checking mem usage
+            -
+            +
+            +   SetProcessWorkingSetSize(pi.hProcess,
+            + 			   1,
+            + 			   max_mem);
                 int actual_memory_usage = 0;
                 Sleep(INITIAL_WAIT_FOR_MEM_CHECK);
                    (WaitForSingleObject(pi.hProcess,
               			  (int)(t*1000) + 1
               			  - INITIAL_WAIT_FOR_MEM_CHECK)==WAIT_TIMEOUT)) {
-            -     // need to kill...
+            +     // Kill process, because (1) it used too much memory, or (2) time limit
                   HANDLE hProcess = OpenProcess(PROCESS_ALL_ACCESS, FALSE, pi.dwProcessId);
                   if(ifsuccess != EXE_RESULT_MEMORY)
                   if(ifsuccess != EXE_RESULT_MEMORY)
                     ifsuccess = EXE_RESULT_TIMEOUT;
                 }
+            +
+            +   // check memory after terminated
                 if((ifsuccess==EXE_RESULT_OK) &&
                    (!check_memory_usage(pi.dwProcessId,max_mem, &actual_memory_usage))) {
                   // using too much memory
                   ifsuccess = EXE_RESULT_MEMORY;
                 }
+            +
+            +   // check return code
+            +   if(ifsuccess==EXE_RESULT_OK) {
+            +     DWORD exitcode;
+            +     GetExitCodeProcess(pi.hProcess, &exitcode);
+            +     if(exitcode!=0) {
+            +       fprintf(stderr,"Exit status %d.\n", (int)exitcode);
+            +       ifsuccess = EXE_RESULT_ERROR;
+            +     }
+            +   }
+            +
                 wait_dialog();
+            +
                 if(si.hStdInput!=NULL)
                   CloseHandle(si.hStdInput);
                 if(si.hStdOutput!=NULL)
                   fprintf(stderr,"OK\n");
                 else if(ifsuccess==EXE_RESULT_TIMEOUT)
                   fprintf(stderr,"Time limit exceeded.\n");
-            -   else
+            +   else if(ifsuccess==EXE_RESULT_MEMORY)
                   fprintf(stderr,"Memory limit exceeded.\n");
-            -   double actual_time_usage;
+            +   double actual_time_usage = get_process_time_usage(pi.hProcess);
+            +   /*
                 if(ifsuccess==EXE_RESULT_TIMEOUT)
                   actual_time_usage = t+1;
                 else
                   actual_time_usage = t;
+            +   */
-            -   fprintf(stderr,"%.4lfr%.4lfu%.4lfs%dm\n",
-            - 	  actual_time_usage,
-            - 	  actual_time_usage, (double)0,
-            - 	  (actual_memory_usage + 1023)/1024);
+            +   report_stat(actual_time_usage,
+            + 	      (actual_memory_usage + 1023)/1024);
                 return ifsuccess;
               }

std-script/box-win/execute.h ¶ +1

               #define EXE_RESULT_OK       0
               #define EXE_RESULT_TIMEOUT  1
               #define EXE_RESULT_MEMORY   2
+            + #define EXE_RESULT_ERROR    3
               #ifdef __cplusplus
               extern "C" {

test/data/add_too_much_memory_dynamic.c ¶ +1 -1

                 r = scanf("%d %d",&a,&b);
-            -   huge_array = (char *)malloc(5000000);
+            +   huge_array = (char *)malloc(5*1024*1024);
                 if(huge_array==NULL)
                   printf("NO!");
                 else

test/data/test2_05sec.c ¶ +27 -10

               #include <stdio.h>
               #include <stdlib.h>
               #include <unistd.h>
-            - #include <sys/time.h>
               #include <time.h>
-            - #include <sys/resource.h>
+            + #include <windows.h>
+            +
+            + // run it for 0.5 s
-            - // run it for 1.5 s
+            + double get_running_time()
+            + {
+            +   FILETIME creation_time;
+            +   FILETIME exit_time;
+            +   FILETIME kernel_time;
+            +   FILETIME user_time;
+            +   GetProcessTimes(GetCurrentProcess(),
+            + 		  &creation_time,
+            + 		  &exit_time,
+            + 		  &kernel_time,
+            + 		  &user_time);
+            +
+            +   SYSTEMTIME sys_kernel_time;
+            +   SYSTEMTIME sys_user_time;
+            +
+            +   FileTimeToSystemTime(&kernel_time, &sys_kernel_time);
+            +   FileTimeToSystemTime(&user_time, &sys_user_time);
+            +
+            +   double time_used =
+            +     ((sys_kernel_time.wSecond + sys_kernel_time.wMilliseconds/1000.0) +
+            +      (sys_user_time.wSecond + sys_user_time.wMilliseconds/1000.0));
+            +   return time_used;
+            + }
               int main()
               {
                 r = scanf("%d %d",&a,&b);
                 printf("%d\n",a+b);
-            -   struct rusage ru;
+            -
                 while(1) {
                   c++;
                   b+=c;
                     c++;
                     b+=c;
                   }
-            -     getrusage(RUSAGE_SELF,&ru);
-            -     double rtime = ru.ru_utime.tv_sec + ru.ru_stime.tv_sec;
-            -     rtime += (double)ru.ru_utime.tv_usec / 1000000.0;
-            -     rtime += (double)ru.ru_stime.tv_usec / 1000000.0;
-            -     if(rtime > 0.5)
+            +     if(get_running_time() > 0.5)
                     break;
                 }
                 printf("%d\n",b);

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

r114:e28e189186ff - Sun, 25 Apr 2010 09:55:11 - 4 files changed: 88 inserted, 19 deleted

Sign in to your account

Commit r114:e28e189186ff public

Author

r114:e28e189186ff - Sun, 25 Apr 2010 09:55:11 - 4 files changed: 88 inserted, 19 deleted

Commit `r114:e28e189186ff` public