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: 86 inserted, 17 deleted

std-script/box-win/execute.cpp ¶ +57 -6

                      (strstr(buffer,"cmd.exe")==buffer)) {
                     NTVDMcrashed_found = true;
                     printf("Title: %s\n",buffer);
                   }
                 }
                 return TRUE;
               }
               bool check_ntvdm_dialog()
               {
                 NTVDMcrashed_found = false;
                 FARPROC EnumProcInstance = MakeProcInstance((FARPROC)EnumWindowsProc,
               					      AfxGetInstanceHandle());
                 EnumWindows((WNDENUMPROC)EnumProcInstance, (LPARAM)0);
                 FreeProcInstance(EnumProcInstance);
                 return NTVDMcrashed_found;
               }
               DWORD get_process_id(char *pname)
               {
                 HANDLE hProcessSnap;
                 HANDLE hProcess;
                 PROCESSENTRY32 pe32;
                 DWORD dwPriorityClass;
                 DWORD pid=0;
                 hProcessSnap = CreateToolhelp32Snapshot( TH32CS_SNAPPROCESS, 0 );
                 if( hProcessSnap == INVALID_HANDLE_VALUE ) {
                   return 0;
                 }
                 pe32.dwSize = sizeof( PROCESSENTRY32 );
                 if( !Process32First( hProcessSnap, &pe32 ) ) {
                   CloseHandle( hProcessSnap );
                   return 0;
                 }
                 do {
                   if(strcasecmp(pe32.szExeFile ,pname)==0)
                     pid = pe32.th32ProcessID;
                 } while( Process32Next( hProcessSnap, &pe32 ) );
                 CloseHandle( hProcessSnap );
                 return pid;
               }
               DWORD get_ntvdm_pid()
               {
                 return get_process_id("ntvdm.exe");
               }
               void kill_error_report()
               {
                 DWORD pid;
                 do {
                   if((pid = get_process_id("dwwin.exe"))!=0) {
                     fprintf(stderr," -- with error report (pid: %ld)\n",pid);
                     HANDLE hProcess = OpenProcess( PROCESS_ALL_ACCESS, FALSE, pid);
                     if(hProcess!=NULL) {
               	TerminateProcess(hProcess, 0);
               	Sleep(500);
               	while(get_process_id("dwwin.exe")==pid) {
               	  fprintf(stderr,"wait for dwwin.exe to die...\n");
               	  Sleep(500);
               	}
                     } else
               	fprintf(stderr,"do not have permission (%d)\n",
               		GetLastError());
                   }
                 } while(get_process_id("dwwin.exe")!=0);
               }
               void wait_dialog()
               {
                 kill_error_report();
                 if(check_ntvdm_dialog()) {
                   fprintf(stderr,"Some dialog opens; please MANUALLY kill it.");
                   fflush(stderr);
                   do {
                     Sleep(1000);
                   } while(check_ntvdm_dialog());
                   fprintf(stderr,"... done\n");
                 }
               }
               void setstartupinfo(STARTUPINFO *si, char *inname, char *outname)
               {
                 SECURITY_ATTRIBUTES sa;
                 ZeroMemory(&sa, sizeof(sa));
                 sa.nLength = sizeof(SECURITY_ATTRIBUTES);
                 sa.lpSecurityDescriptor = NULL;
                 sa.bInheritHandle = TRUE;
                 si->dwFlags = STARTF_USESTDHANDLES;
                 if((inname!=0) && (strcmp(inname,"-")!=0)) {
                   si->hStdInput = CreateFile(inname,
               			       FILE_READ_DATA,
               			       FILE_SHARE_READ,
               			       &sa,
               			       OPEN_EXISTING,
               			       FILE_ATTRIBUTE_NORMAL,
               			       NULL);
                 } else
                   si->hStdInput = NULL;
                 if((outname!=0) && (strcmp(outname,"-")!=0)) {
                   si->hStdOutput = CreateFile(outname,
               				FILE_WRITE_DATA,
               				FILE_SHARE_READ,
               				&sa,
               				CREATE_ALWAYS,
               				FILE_ATTRIBUTE_NORMAL,
               				NULL);
                 } else
                   si->hStdOutput = NULL;
                 si->hStdError = NULL;
               }
               // taken from http://msdn.microsoft.com/en-us/library/ms682050(VS.85).aspx
               void PrintMemoryInfo(DWORD processID)
               {
                 HANDLE hProcess;
                 PROCESS_MEMORY_COUNTERS pmc;
                 // Print the process identifier.
                 printf("\nProcess ID: %u\n", processID);
                 // Print information about the memory usage of the process.
                 hProcess = OpenProcess(PROCESS_QUERY_INFORMATION |
               			 PROCESS_VM_READ,
               			 FALSE,processID);
                 if(hProcess == NULL)
                   return;
                 if(GetProcessMemoryInfo(hProcess, &pmc, sizeof(pmc))) {
                   printf("\tPageFaultCount: %d\n",pmc.PageFaultCount);
                   printf("\tPeakWorkingSetSize: %d\n",
               	   pmc.PeakWorkingSetSize);
                   printf("\tWorkingSetSize: %d\n",pmc.WorkingSetSize);
                   printf("\tQuotaPeakPagedPoolUsage: %d\n",
               	   pmc.QuotaPeakPagedPoolUsage);
                   printf("\tQuotaPagedPoolUsage: %d\n",
               	   pmc.QuotaPagedPoolUsage);
                   printf("\tQuotaPeakNonPagedPoolUsage: %d\n",
               	   pmc.QuotaPeakNonPagedPoolUsage);
                   printf("\tQuotaNonPagedPoolUsage: %d\n",
               	   pmc.QuotaNonPagedPoolUsage);
                   printf("\tPagefileUsage: %d\n",pmc.PagefileUsage);
                   printf("\tPeakPagefileUsage: %d\n",
               	   pmc.PeakPagefileUsage);
                 }
                 CloseHandle( hProcess );
               }
               int check_memory_usage(DWORD pid, int max_mem, int *actual_usage) {
                 // modified from http://msdn.microsoft.com/en-us/library/ms682050(VS.85).aspx
                 //PrintMemoryInfo(pid);
                 HANDLE hProcess;
                 PROCESS_MEMORY_COUNTERS pmc;
                 if((max_mem==0) || (pid==0))
                   return 1;
                 if(pid == get_ntvdm_pid()) {
                   fprintf(stderr,"ntvdm: ignored\n");
                   return 1;
                 }
                 hProcess = OpenProcess(PROCESS_QUERY_INFORMATION |
               			 PROCESS_VM_READ,
               			 FALSE, pid);
                 if(hProcess == NULL)
                   return 1;
                 int max_mem_usage = 0;
                 if(GetProcessMemoryInfo(hProcess, &pmc, sizeof(pmc))) {
                   max_mem_usage = pmc.PeakWorkingSetSize;
                   if(pmc.PeakPagefileUsage > max_mem_usage)
                     max_mem_usage = pmc.PeakPagefileUsage;
                 }
                 CloseHandle(hProcess);
                 if(actual_usage != NULL)
                   (*actual_usage) = max_mem_usage;
                 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;
                 PROCESS_INFORMATION pi;
                 int ifsuccess = EXE_RESULT_OK;
                 ZeroMemory(&si, sizeof(si));
                 si.cb = sizeof(si);
                 ZeroMemory(&pi, sizeof(pi));
                 setstartupinfo(&si, inname, outname);
                 if(!CreateProcess( NULL,  // No module name (use command line).
               		     TEXT(exname), // Command line.
               		     NULL,  // Process handle not inheritable.
               		     NULL,  // Thread handle not inheritable.
               		     TRUE,  // Set handle inheritance to FALSE.
 ,     // No creation flags.
               		     NULL,  // Use parent's environment block.
               		     NULL,  // Use parent's starting directory.
               		     &si,   // Pointer to STARTUPINFO structure.
               		     &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);
                 if(!check_memory_usage(pi.dwProcessId,max_mem,&actual_memory_usage)) {
                   // using too much memory
                   fprintf(stderr,"Memory limit exceeded.\n");
                   //PrintMemoryInfo(pi.dwProcessId);
                   ifsuccess = EXE_RESULT_MEMORY;
                 }
                 if((ifsuccess == EXE_RESULT_MEMORY) ||
                    (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)
                     fprintf(stderr,"Time limit exceeded.\n");
                   if(hProcess != NULL) {
                     fprintf(stderr,"killing pid: %ld\n",pi.dwProcessId);
                     TerminateProcess(hProcess, 0);
                     wait_dialog();
                   } else {
                     DWORD dwNtvdmId = get_ntvdm_pid();
                     fprintf(stderr,"killing (ntvdm) pid: %ld\n",dwNtvdmId);
                     if(dwNtvdmId!=0) {
               	hProcess = OpenProcess(PROCESS_ALL_ACCESS, FALSE, dwNtvdmId);
               	TerminateProcess(hProcess, 0);
                     } else {
                       fprintf(stderr,"killing process error\n");
                     }
                     if(get_ntvdm_pid()!=0) {
               	fprintf(stderr,"killing error, ntvdm.exe still remains;");
               	fprintf(stderr,"please MANUALLY kill it.");
               	fflush(stderr);
               	do {
               	  Sleep(1000);
               	} while(get_ntvdm_pid()!=0);
               	fprintf(stderr,"... done\n");
               	wait_dialog();
                     }
                   }
                   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)
                   CloseHandle(si.hStdOutput);
                 if(ifsuccess==EXE_RESULT_OK)
                   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_time_usage, (double)0,
               	      (actual_memory_usage + 1023)/1024);
                 return ifsuccess;
               }

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

               /*
                 This sandbox module is from [Fossil
                 grader](http://code.google.com/p/fossil-grader/).
                 The code is a modification from an unknown source on the internet.
               */
               #ifndef EXECUTE_H_INCLUDED
               #define EXECUTE_H_INCLUDED
               #define EXE_RESULT_OK       0
               #define EXE_RESULT_TIMEOUT  1
               #define EXE_RESULT_MEMORY   2
+            + #define EXE_RESULT_ERROR    3
               #ifdef __cplusplus
               extern "C" {
               #endif
               int execute(char *exname, char *inname, char *outname, double t, int max_mem=0);
               #ifdef __cplusplus
               }
               #endif
               #endif

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

               #include <stdio.h>
               #include <stdlib.h>
               int main()
               {
                 int a,b;
                 int r;
                 char *huge_array;
                 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
                   printf("%d\n",a+b);
                 return 0;
               }

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()
               {
                 int a,b;
                 int c=0;
                 int r;
                 r = scanf("%d %d",&a,&b);
                 printf("%d\n",a+b);
-            -   struct rusage ru;
                 while(1) {
                   c++;
                   b+=c;
                   while(c<100000) {
                     c++;
                     b+=c;
                   }
-            -     getrusage(RUSAGE_SELF,&ru);
+            +     if(get_running_time() > 0.5)
-            -     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)
                     break;
                 }
                 printf("%d\n",b);
                 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

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

Sign in to your account

Commit r114:e28e189186ff public

Author

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

Commit `r114:e28e189186ff` public