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",
+            +   report_stat(actual_time_usage,
-            - 	  actual_time_usage,
+            + 	      (actual_memory_usage + 1023)/1024);
-            - 	  actual_time_usage, (double)0,
-            - 	  (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

@@ -1,11 +1,34
1	#include <stdio.h>	1	#include <stdio.h>
2	#include <stdlib.h>	2	#include <stdlib.h>
3	#include <unistd.h>	3	#include <unistd.h>
4	- #include <sys/time.h>
5	#include <time.h>	4	#include <time.h>
6	- #include <~~sys/resource~~.h>	5	+ #include <windows.h>
		6	+
		7	+ // run it for 0.5 s
7		8
8	- // run it for 1.5 s	9	+ double get_running_time()
		10	+ {
		11	+ FILETIME creation_time;
		12	+ FILETIME exit_time;
		13	+ FILETIME kernel_time;
		14	+ FILETIME user_time;
		15	+ GetProcessTimes(GetCurrentProcess(),
		16	+ &creation_time,
		17	+ &exit_time,
		18	+ &kernel_time,
		19	+ &user_time);
		20	+
		21	+ SYSTEMTIME sys_kernel_time;
		22	+ SYSTEMTIME sys_user_time;
		23	+
		24	+ FileTimeToSystemTime(&kernel_time, &sys_kernel_time);
		25	+ FileTimeToSystemTime(&user_time, &sys_user_time);
		26	+
		27	+ double time_used =
		28	+ ((sys_kernel_time.wSecond + sys_kernel_time.wMilliseconds/1000.0) +
		29	+ (sys_user_time.wSecond + sys_user_time.wMilliseconds/1000.0));
		30	+ return time_used;
		31	+ }
9		32
10	int main()	33	int main()
11	{	34	{
@@ -17,8 +40,6
17	r = scanf("%d %d",&a,&b);	40	r = scanf("%d %d",&a,&b);
18	printf("%d\n",a+b);	41	printf("%d\n",a+b);
19		42
20	- struct rusage ru;
21	-
22	while(1) {	43	while(1) {
23	c++;	44	c++;
24	b+=c;	45	b+=c;
@@ -26,11 +47,7
26	c++;	47	c++;
27	b+=c;	48	b+=c;
28	}	49	}
29	- getrusage(RUSAGE_SELF,&ru);	50	+ if(get_running_time() > 0.5)
30	- double rtime = ru.ru_utime.tv_sec + ru.ru_stime.tv_sec;
31	- rtime += (double)ru.ru_utime.tv_usec / 1000000.0;
32	- rtime += (double)ru.ru_stime.tv_usec / 1000000.0;
33	- if(rtime > 0.5)
34	break;	51	break;
35	}	52	}
36	printf("%d\n",b);	53	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