cafe-grader-judge-scripts Commit

cafe-grader-judge-scripts

Commit `r263:7950cf0bb006` public

parent | child

Description:

Merge pull request #14 from nattee/master upgrade to current working snapshot

Commit status:

[Not Reviewed]

References:

merge default

Diff options:

| | | |

Comments:

0 Commit comments 0 Inline Comments

Unresolved TODOs:

There are no unresolved TODOs

Add another comment

r263:7950cf0bb006 - Sat, 17 Jun 2017 06:22:31 - 12 files changed: 420 inserted, 12 deleted

check_similar created 755 ¶ +93

@@ -0,0 +1,93
	1	+ #!/usr/bin/env ruby
	2	+
	3	+ def config
	4	+ Grader::Configuration.get_instance
	5	+ end
	6	+
	7	+ def display_manual
	8	+ puts <<USAGE
	9	+ Check similarity between submission
	10	+ using: check_similar sub1 sub2
	11	+ -- or --
	12	+ check_similar problem_name
	13	+ sub1 and sub2 are submission IDs to be checked
	14	+ problem_name will check all submissions of the problem wit problem short name is 'problem_name'
	15	+
	16	+ The output are given as
	17	+ sub1.login, sub1.id, sub1.point, sub2.login, sub2.id, sub2.point, similarity
	18	+
	19	+ USAGE
	20	+ end
	21	+
	22	+ def process_options_and_stop_file
	23	+
	24	+ # Process 'help' option
	25	+ if (ARGV.length == 0) or ((ARGV.length==1) and (/help/.match(ARGV[0])))
	26	+ display_manual
	27	+ exit(0)
	28	+ end
	29	+
	30	+ #default options
	31	+ options = {
	32	+ :dry_run => false,
	33	+ }
	34	+
	35	+
	36	+ if ARGV.length == 2
	37	+ options[:sub1] = ARGV[0].to_i
	38	+ options[:sub2] = ARGV[1].to_i
	39	+ elsif ARGV.length == 1
	40	+ options[:problem] = ARGV[0]
	41	+ end
	42	+
	43	+
	44	+ return options
	45	+ end
	46	+
	47	+ def compare(sub1,sub2,full = sub1.problem.full_score)
	48	+ dis = @jarow.getDistance(sub1.source, sub2.source)
	49	+ puts [sub1.user.login,"##{sub1.id}",(sub1.points * 100.0 / full).to_i,
	50	+ sub2.user.login,"##{sub2.id}",(sub2.points * 100.0 / full).to_i,
	51	+ "#{dis * 100}%"].join(',')
	52	+ end
	53	+
	54	+ #########################################
	55	+ # main program
	56	+ #########################################
	57	+
	58	+ options = process_options_and_stop_file
	59	+
	60	+ # load grader environment
	61	+ GRADER_ENV = 'grading'
	62	+ require File.join(File.dirname(__FILE__),'config/environment')
	63	+
	64	+ # boot rails, to be able to use the active record
	65	+ RAILS_ENV = config.rails_env
	66	+ require RAILS_ROOT + '/config/environment'
	67	+
	68	+ # load comparator
	69	+ require 'fuzzystringmatch'
	70	+ @jarow = FuzzyStringMatch::JaroWinkler.create( :native )
	71	+
	72	+ if options[:problem]
	73	+ p = Problem.where(name: options[:problem]).first
	74	+ unless p
	75	+ puts "cannot find problem #{options[:problem]}"
	76	+ exit(0)
	77	+ end
	78	+ subs = Submission.where(problem: p)
	79	+ full_score = p.full_score.to_i
	80	+ subs.each.with_index do \|s1,i\|
	81	+ puts "processing #{i+1} out of #{subs.length}"
	82	+ subs.each do \|s2\|
	83	+ if s1.user != s2.user
	84	+ compare(s1,s2,full_score)
	85	+ end
	86	+ end
	87	+ end
	88	+ else
	89	+ sub1 = Submission.find(options[:sub1])
	90	+ sub2 = Submission.find(options[:sub2])
	91	+ compare(sub1,sub2)
	92	+ end
	93	+

grader-process-check created 755 ¶ +6

@@ -0,0 +1,6
	1	+ #!/bin/bash
	2	+ count=`ps aux \| grep "cafe_grader" \| grep "grader grading queue" \| wc -l`
	3	+ if [ $count -lt 1 ]; then
	4	+ cd /home/dae/cafe_grader/judge
	5	+ /home/dae/.rvm/wrappers/ruby-2.3.0/ruby /home/dae/cafe_grader/judge/scripts/grader grading queue > /home/dae/grading.log &
	6	+ fi

installer/install-opensuse.sh created 644 ¶ +179

@@ -0,0 +1,179
	1	+ #!/bin/sh
	2	+
	3	+ echo "This script will install and configure Cafe grader."
	4	+
	5	+ RUBY_VERSION=2.1.2
	6	+ echo "This will install Ruby $RUBY_VERSION under RVM"
	7	+
	8	+ echo "Installing required apts"
	9	+
	10	+ sudo zypper install \
	11	+ g++ gcc libmysqlclient18 build-essential \
	12	+ git-core openssl libreadline6 libreadline6-devel \
	13	+ zlib1g zlib1g-devel libssl37 libyaml-devel sqlite3-devel \
	14	+ sqlite3 libxml2-devel libxslt-devel autoconf libc6-devel \
	15	+ ncurses-devel automake libtool bison subversion \
	16	+ pkg-config curl nodejs unzip pyflakes java-1_8_0-openjdk \
	17	+ libmysqld-devel mercurial python-setuptools python-devel
	18	+
	19	+
	20	+ echo "Installing Ruby $RUBY_VERSION in RVM"
	21	+
	22	+ rvm install $RUBY_VERSION
	23	+ rvm use $RUBY_VERSION
	24	+
	25	+ echo "Fetching Cafe Grader from Git repositories"
	26	+
	27	+ echo "Fetching web interface"
	28	+
	29	+ mkdir cafe_grader
	30	+ cd cafe_grader
	31	+ #git clone -q git://github.com/jittat/cafe-grader-web.git web
	32	+ hg clone git+ssh://git@github.com/nattee/cafe-grader-web.git web
	33	+
	34	+ echo "Configuring rails app"
	35	+
	36	+ cp web/config/application.rb.SAMPLE web/config/application.rb
	37	+ cp web/config/initializers/cafe_grader_config.rb.SAMPLE web/config/initializers/cafe_grader_config.rb
	38	+
	39	+ #replace UTC in application.rb with the system timezone
	40	+ timezone='UTC'
	41	+ if [ -f '/etc/timezone' ]; then
	42	+ timezone=\"`cat /etc/timezone`\"
	43	+ else
	44	+ if [ -f '/etc/sysconfig/clock' ]; then
	45	+ timezone=`grep -e '^TIMEZONE' /etc/sysconfig/clock \| grep -o -e '\".*\"'`
	46	+ fi
	47	+ fi
	48	+ replace="s!'UTC'!$timezone!g"
	49	+ sed -i $replace web/config/application.rb
	50	+
	51	+ echo "At this point we will need MySQL user and database."
	52	+ echo "Have you created MySQL user and database for Cafe grader? (Y/N) "
	53	+ read ch
	54	+
	55	+ if [ "$ch" = "n" -o "$ch" = "N" ]
	56	+ then
	57	+ echo "Please open another terminal and create the user and database for Cafe grader."
	58	+ echo "Don't forget to grant access to that database for the user."
	59	+ echo "Please have username, password, and database name ready before continue."
	60	+ echo
	61	+ echo "The following are instructions:"
	62	+ echo "1. Run mysql:"
	63	+ echo
	64	+ echo " mysql -u root -p"
	65	+ echo
	66	+ echo " if you have just installed mysql, the root password is the one that you have just entered"
	67	+ echo "2. Create a new database, a new user, and grant access to grader database:"
	68	+ echo
	69	+ echo " create user 'USERNAME'@'localhost' identified by 'PASSWORD';"
	70	+ echo " create database \`DATABASENEME\`;"
	71	+ echo " grant all on \`DATABASENAME\`.* to 'USERNAME'@'localhost';"
	72	+ echo
	73	+ echo " Replace USERNAME, PASSWORD, and DATABASENAME accordingly."
	74	+ echo
	75	+ echo "Hit enter when ready..."
	76	+ read dummy
	77	+ fi
	78	+
	79	+ CAFE_PATH=`pwd`
	80	+
	81	+ cd web
	82	+
	83	+ echo "Please provide grader database:"
	84	+ read database
	85	+
	86	+ echo "Please provide grader username:"
	87	+ read username
	88	+
	89	+ echo "Please provide $username password:"
	90	+ read password
	91	+
	92	+ echo "development:" > config/database.yml
	93	+ echo " adapter: mysql2" >> config/database.yml
	94	+ echo " encoding: utf8" >> config/database.yml
	95	+ echo " reconnect: false" >> config/database.yml
	96	+ echo " database: $database" >> config/database.yml
	97	+ echo " pool: 5" >> config/database.yml
	98	+ echo " username: $username" >> config/database.yml
	99	+ echo " password: $password" >> config/database.yml
	100	+ echo " host: localhost" >> config/database.yml
	101	+ echo " socket: /run/mysql/mysql.sock" >> config/database.yml
	102	+ echo "" >> config/database.yml
	103	+ echo "production:" >> config/database.yml
	104	+ echo " adapter: mysql2" >> config/database.yml
	105	+ echo " encoding: utf8" >> config/database.yml
	106	+ echo " reconnect: false" >> config/database.yml
	107	+ echo " database: $database" >> config/database.yml
	108	+ echo " pool: 5" >> config/database.yml
	109	+ echo " username: $username" >> config/database.yml
	110	+ echo " password: $password" >> config/database.yml
	111	+ echo " host: localhost" >> config/database.yml
	112	+ echo " socket: /run/mysql/mysql.sock" >> config/database.yml
	113	+
	114	+ echo "Object.instance_eval{remove_const :GRADER_ROOT_DIR}" >> config/initializers/cafe_grader_config.rb
	115	+ echo "Object.instance_eval{remove_const :GRADING_RESULT_DIR}" >> config/initializers/cafe_grader_config.rb
	116	+ echo "GRADER_ROOT_DIR = '$CAFE_PATH/judge'" >> config/initializers/cafe_grader_config.rb
	117	+ echo "GRADING_RESULT_DIR = '$CAFE_PATH/judge/result'" >> config/initializers/cafe_grader_config.rb
	118	+
	119	+ echo "Installing required gems"
	120	+ gem install bundler
	121	+ bundle install
	122	+
	123	+ echo "Running rake tasks to initialize database"
	124	+
	125	+ rake db:migrate
	126	+ rake db:seed
	127	+
	128	+ echo "Running rake tasks to precompile the assets"
	129	+
	130	+ rake assets:precompile
	131	+
	132	+ echo "Intalling web interface complete..."
	133	+ echo
	134	+ echo "Fetching grader"
	135	+
	136	+ cd ..
	137	+
	138	+ mkdir judge
	139	+ cd judge
	140	+ #git clone -q git://github.com/jittat/cafe-grader-judge-scripts.git scripts
	141	+ hg clone git+ssh://git@github.com/nattee/cafe-grader-judge-scripts.git scripts
	142	+ mkdir raw
	143	+ mkdir ev-exam
	144	+ mkdir ev
	145	+ mkdir result
	146	+ mkdir log
	147	+
	148	+ echo "Configuring grader"
	149	+
	150	+ cp scripts/config/env_exam.rb.SAMPLE scripts/config/env_exam.rb
	151	+ cp scripts/config/env_grading.rb.SAMPLE scripts/config/env_grading.rb
	152	+
	153	+ # create new environment.rb file
	154	+ echo "RAILS_ROOT = '$CAFE_PATH/web'" > scripts/config/environment.rb
	155	+ echo "GRADER_ROOT = '$CAFE_PATH/judge/scripts'" >> scripts/config/environment.rb
	156	+ echo "require File.join(File.dirname(__FILE__),'../lib/boot')" >> scripts/config/environment.rb
	157	+ echo "require File.dirname(__FILE__) + \"/env_#{GRADER_ENV}.rb\"" >> scripts/config/environment.rb
	158	+
	159	+ # compiling box
	160	+ MACHINE_TYPE=`uname -m`
	161	+ if [ ${MACHINE_TYPE} == 'x86_64' ]; then
	162	+ gcc -std=c99 -o scripts/std-script/box scripts/std-script/box64-new.c
	163	+ else
	164	+ g++ -o scripts/std-script/box scripts/std-script/box.cc
	165	+ fi
	166	+
	167	+
	168	+ cd ..
	169	+
	170	+ echo "Now you are ready to run cafe grader...."
	171	+ echo
	172	+ echo "Try:"
	173	+ echo
	174	+ echo " cd web"
	175	+ echo " rails s"
	176	+ echo
	177	+ echo "and access web at http://localhost:3000/"
	178	+ echo "The root username is 'root', its password is 'ioionrails'."
	179	+

load_testcase created 755 ¶ +85

@@ -0,0 +1,85
	1	+ #!/usr/bin/env ruby
	2	+
	3	+ def config
	4	+ Grader::Configuration.get_instance
	5	+ end
	6	+
	7	+ def display_manual
	8	+ puts <<USAGE
	9	+ load_testcases
	10	+ using: load_testcases [problem_name ...]
	11	+ problem_name are list of "short name" of the problems
	12	+
	13	+ options:
	14	+ --dry-run do nothing, just simulate the run
	15	+ --all import all problem. This might take several minutes
	16	+
	17	+ USAGE
	18	+ end
	19	+
	20	+ def process_options_and_stop_file
	21	+
	22	+ # Process 'help' option
	23	+ if (ARGV.length == 0) or ((ARGV.length==1) and (/help/.match(ARGV[0])))
	24	+ display_manual
	25	+ exit(0)
	26	+ end
	27	+
	28	+ #default options
	29	+ options = {
	30	+ :dry_run => false,
	31	+ }
	32	+
	33	+ options[:dry_run] = (ARGV.delete('--dry') != nil)
	34	+ options[:all] = (ARGV.delete('--all') != nil)
	35	+
	36	+ return options
	37	+ end
	38	+
	39	+ def process_problem(prob,dry_run = false)
	40	+ prob.testcases.destroy_all
	41	+ testcases_root = File.expand_path(GRADER_ROOT+"/../ev/#{prob.name}/test_cases/")
	42	+ num = 1
	43	+ puts "Processing problem #{prob.name}"
	44	+ loop do
	45	+ file_root = testcases_root + "/#{num}/"
	46	+ puts " checking file #{file_root}"
	47	+ break unless File.exists? file_root
	48	+ input = File.read(file_root + "/input-#{num}.txt")
	49	+ answer = File.read(file_root + "/answer-#{num}.txt")
	50	+ puts " got test case ##{num} of size #{input.size} and #{answer.size}"
	51	+
	52	+ #THIS IS JUST A PLACE HOLDER
	53	+ group = num #this is wrong!!! fix it!!
	54	+ score = 10
	55	+ #BEWARE
	56	+
	57	+ prob.testcases.create(input: input,sol: answer, num: num, score:score,group: group) unless dry_run
	58	+ num += 1
	59	+ end
	60	+ end
	61	+
	62	+ #########################################
	63	+ # main program
	64	+ #########################################
	65	+
	66	+ options = process_options_and_stop_file
	67	+
	68	+ # load grader environment
	69	+ GRADER_ENV = 'grading'
	70	+ require File.join(File.dirname(__FILE__),'config/environment')
	71	+
	72	+ # boot rails, to be able to use the active record
	73	+ RAILS_ENV = config.rails_env
	74	+ require RAILS_ROOT + '/config/environment'
	75	+
	76	+ if options[:all]
	77	+ Problem.all.each { \|prob\| process_problem(prob,options[:dry_run]) }
	78	+ else
	79	+ ARGV.each do \|name\|
	80	+ prob = Problem.find_by(name: name)
	81	+ process_problem(prob,options[:dry_run]) if prob
	82	+ puts "Cannot find the problem #{name}" unless prob
	83	+ end
	84	+ end
	85	+

import_problem ¶ +6

                 create_dir_if_not_exists("#{problem_dir}/test_cases")
                 puts "copying testcases"
                 tr_num = 0
                 num_testcases = 0
                 testrun_info.each do |testrun|
                   tr_num += 1
                   puts "testrun: #{tr_num}"
                   testrun.each do |testcase_info|
                     testcase_num, testcase_fname = testcase_info
                     puts "copy #{testcase_fname} to #{testcase_num}"
                     create_dir_if_not_exists("#{problem_dir}/test_cases/#{testcase_num}")
                     copy_testcase("#{testcase_dir}",testcase_fname,"#{problem_dir}/test_cases/#{testcase_num}",testcase_num)
                     num_testcases += 1
                   end
                 end
+            +   #also include any .txt files
+            +   Dir.glob("#{testcase_dir}/*.txt") do |file|
+            +     puts "copy data file #{file}"
+            +     FileUtils.cp(file,"#{problem_dir}")
+            +   end
+            +
                 # generating all_tests.cfg
                 puts "generating testcase config file"
                 template = File.open(SCRIPT_DIR + "/templates/all_tests.cfg.erb").read
                 all_test_cfg = ERB.new(template)
                 cfg_file = File.open("#{problem_dir}/test_cases/all_tests.cfg","w")
                 cfg_file.puts all_test_cfg.result binding
                 cfg_file.close
                 # copy check script
                 if res = /^wrapper:(.*)$/.match(check_script)
                   # wrapper script
                   check_script_fname = res[1]
                   script_name = File.basename(check_script_fname)
                   check_wrapper_template = File.open(SCRIPT_DIR + "/templates/check_wrapper").read
                   check_wrapper = ERB.new(check_wrapper_template)
                   check_file = File.open("#{problem_dir}/script/check","w")
                   check_file.puts check_wrapper.result binding
                   check_file.close
                   File.chmod(0755,"#{problem_dir}/script/check")

installer/install.sh ¶ +3 -2

               #!/bin/sh
               echo "This script will install and configure Cafe grader."
               RUBY_VERSION=2.1.2
               echo "This will install Ruby $RUBY_VERSION under RVM"
               echo "Installing required apts"
               sudo apt-get update
               sudo apt-get install mysql-server mysql-client \
-            -   g++ gcc apache2 libmysqlclient15-dev build-essential \
+            +   g++ gcc apache2 libmysqlclient20 build-essential \
                 git-core openssl libreadline6 libreadline6-dev \
                 zlib1g zlib1g-dev libssl-dev libyaml-dev libsqlite3-dev \
                 sqlite3 libxml2-dev libxslt-dev autoconf libc6-dev \
                 ncurses-dev automake libtool bison subversion \
-            -   pkg-config curl nodejs unzip pyflakes ruby default-jdk
+            +   pkg-config curl nodejs unzip pyflakes ruby default-jdk \
+            +   libmysqld-dev mercurial python-setuptools python-dev python3-numpy
               echo "Installing RVM"
               curl -k -L https://get.rvm.io | bash -s stable
               source ~/.rvm/scripts/rvm
               echo "Installing Ruby $RUBY_VERSION in RVM"
               rvm install $RUBY_VERSION
               rvm use $RUBY_VERSION
               echo "Fetching Cafe Grader from Git repositories"
               echo "Fetching web interface"
               mkdir cafe_grader
               cd cafe_grader
               git clone -q git://github.com/jittat/cafe-grader-web.git web
               echo "Configuring rails app"
               cp web/config/application.rb.SAMPLE web/config/application.rb
               cp web/config/initializers/cafe_grader_config.rb.SAMPLE web/config/initializers/cafe_grader_config.rb
               #replace UTC in application.rb with the system timezone

rename_problem ¶ +2 -2

               #!/usr/bin/env ruby
               ENVIRONMENT_DIRS = ['ev', 'ev-exam']
               def config
                 Grader::Configuration.get_instance
               end
               def rename_problem(old_problem_name, new_problem_name)
-            -   if valid_problem_name(new_problem_name)
+            +   unless valid_problem_name(new_problem_name)
                   puts "Bad new problem name: #{new_problem_name}"
                   return
                 end
                 problem = Problem.find_by_name(old_problem_name)
                 if problem==nil
                   puts "Problem #{old_problem_name} does not exist."
                   return
                 end
                 puts "Problem: #{old_problem_name} -> #{new_problem_name}"
                 ENVIRONMENT_DIRS.each do |dir|
                   problem_dir = File.join(GRADER_ROOT,'..',dir,old_problem_name)
                   new_problem_dir = File.join(GRADER_ROOT,'..',dir,new_problem_name)
                   if FileTest.exists? problem_dir
                     puts "Moving #{problem_dir} to #{new_problem_dir}."
                     File.rename(problem_dir, new_problem_dir)
                     tr_problem_dir = File.join(GRADER_ROOT,'..',dir,
                                                'test_request',old_problem_name)
                     new_tr_problem_dir = File.join(GRADER_ROOT,'..',dir,
                                                    'test_request',new_problem_name)
                 problem.name = new_problem_name
                 problem.save
               end
               def usage
                 puts <<USAGE
               Usage:
                 rename_problem [old_name] [new_name]
               or
                 rename_problem -f [filename]
               When using with -f, that file should contain, for each line, the old
               problem name and its new name.
               This script should be called at the judge root dir where dirs 'ev' and
               'ev-exam' are.
               USAGE
               end
               def valid_problem_name(name)
                 if name.length==0:
                     return false
                 else
-            -     return !(/^[a-zA-Z0-9_\-]+$/ === name)
+            +     return (/^[a-zA-Z0-9_\-]+$/ === name)
                 end
               end
               if (ARGV.length!=2)
                 usage
                 exit(0)
               end
               if ARGV[0]=='-f' and !FileTest.exists?(ARGV[1])
                 puts "File #{ARGV[1]} does not exist."
                 usage
                 exit(0)
               end
               # load grader environment
               GRADER_ENV = 'grading'
               require File.join(File.dirname(__FILE__),'config/environment')
               # boot rails, to be able to rename the problem
               RAILS_ENV = config.rails_env
               require RAILS_ROOT + '/config/environment'
               if ARGV[0]!='-f'
                 old_problem_name = ARGV[0]

std-script/box64-new.c ¶ +12

               /* 290 */ [ __NR_eventfd2 ] = "eventfd2",
               /* 291 */ [ __NR_epoll_create1 ] = "epoll_create1",
               /* 292 */ [ __NR_dup3 ] = "dup3",
               /* 293 */ [ __NR_pipe2 ] = "pipe2",
               /* 294 */ [ __NR_inotify_init1 ] = "inotify_init1",
               /* 295 */ [ __NR_preadv ] = "preadv",
               /* 296 */ [ __NR_pwritev ] = "pwritev",
               /* 297 */ [ __NR_rt_tgsigqueueinfo ] = "rt_tgsigqueueinfo",
               /* 298 */ [ __NR_perf_event_open ] = "perf_event_open",
               /* 299 */ [ __NR_recvmmsg ] = "recvmmsg",
               /* 300 */ [ __NR_fanotify_init ] = "fanotify_init",
               /* 301 */ [ __NR_fanotify_mark ] = "fanotify_mark",
               /* 302 */ [ __NR_prlimit64 ] = "prlimit64",
               /* 303 */ [ __NR_name_to_handle_at ] = "name_to_handle_at",
               /* 304 */ [ __NR_open_by_handle_at ] = "open_by_handle_at",
               /* 305 */ [ __NR_clock_adjtime ] = "clock_adjtime",
               /* 306 */ [ __NR_syncfs ] = "syncfs",
               /* 307 */ [ __NR_sendmmsg ] = "sendmmsg",
               /* 308 */ [ __NR_setns ] = "setns",
               /* 309 */ [ __NR_getcpu ] = "getcpu",
               /* 310 */ [ __NR_process_vm_readv ] = "process_vm_readv",
               /* 311 */ [ __NR_process_vm_writev ] = "process_vm_writev",
               /* 312 */ [ __NR_kcmp ] = "kcmp",
               /* 313 */ [ __NR_finit_module ] = "finit_module",
+            + /* 314 */ [ __NR_sched_setattr ] = "sched_setattr",
+            + /* 315 */ [ __NR_sched_getattr ] = "sched_getattr",
+            + /* 316 */ [ __NR_renameat2 ] = "renameat2",
+            + /* 317 */ [ __NR_seccomp ] = "seccomp",
+            + /* 318 */ [ __NR_getrandom ] = "getrandom",
+            + /* 319 */ [ __NR_memfd_create ] = "memfd_create",
+            + /* 320 */ [ __NR_kexec_file_load ] = "kexec_file_load",
+            + /* 321 */ [ __NR_bpf ] = "bpf",
+            + /* 322 */ [ __NR_execveat ] = "execveat",
+            + /* 323 */ [ __NR_userfaultfd ] = "userfaultfd",
+            + /* 324 */ [ __NR_membarrier ] = "membarrier",
+            + /* 325 */ [ __NR_mlock2 ] = "mlock2",
               };
               #define NUM_SYSCALLS ARRAY_SIZE(syscall_names)
               #define NUM_ACTIONS (NUM_SYSCALLS+64)
               enum action {
                 A_DEFAULT,		// Use the default action
                 A_NO,			// Always forbid
                 A_YES,		// Always permit
                 A_FILENAME,		// Permit if arg1 is a known filename
                 A_ACTION_MASK = 15,
                 A_NO_RETVAL = 32,	// Does not return a value
                 A_SAMPLE_MEM = 64,	// Sample memory usage before the syscall
                 A_LIBERAL = 128,	// Valid only in liberal mode
                 // Must fit in a unsigned char
               };
               static unsigned char syscall_action[NUM_ACTIONS] = {
               #define S(x) [__NR_##x]
                   // Syscalls permitted for specific file names
                   S(open) = A_FILENAME,
                   S(creat) = A_FILENAME,
                   S(unlink) = A_FILENAME,
                   S(access) = A_FILENAME,

std-script/compile ¶ +13 -5

               # Standard Compile Script
               #
               # Supported compilers:
               #   gcc, g++, and fpc.
               #
               ##############################
               def talk(str='')
                 if ENV['TALKATIVE']!=nil
                   puts str
                 end
                 if ENV['GRADER_LOGGING']!=nil
                   log_fname = ENV['GRADER_LOGGING']
                   fp = File.open(log_fname,"a")
                   fp.puts("run: #{Time.new.strftime("%H:%M")} #{str}")
                   fp.close
                 end
               end
               C_COMPILER = "/usr/bin/gcc"
               CPLUSPLUS_COMPILER = "/usr/bin/g++"
               PASCAL_COMPILER = "/usr/bin/fpc"
               JAVA_COMPILER = "/usr/bin/javac"
               RUBY_INTERPRETER = "/usr/bin/ruby"
-            - PYTHON_INTERPRETER = "/usr/bin/python"
+            + PYTHON_INTERPRETER = "/usr/bin/python3"
               PYTHON_CHECKER = "/usr/bin/pyflakes"
               PHP_INTERPRETER = "/usr/bin/php"
+            + HASKELL_COMPILER = "/usr/bin/ghc"
               C_OPTIONS = "-O2 -s -static -std=c99 -DCONTEST -lm -Wall"
               CPLUSPLUS_OPTIONS = "-O2 -s -std=c++11 -static -DCONTEST -lm -Wall"
               PASCAL_OPTIONS = "-O1 -XS -dCONTEST"
               JAVA_OPTIONS = ""
               PYTHON_OPTIONS = ""
               PHP_OPTIONS = "-l"
+            + HASKELL_OPTIONS = ""
               # Check for the correct number of arguments. Otherwise, print usage.
               if ARGV.length == 0 or ARGV.length > 4
                 puts "Usage: compile <language> [<source-file>] [<output-file>] [<message-file>]"
                 puts
                 puts "<source-file>  is defaulted to \"source\"."
                 puts "<output-file>  is defaulted to \"a.out\"."
                 puts "<message-file> is defaulted to \"compiler_message\"."
                 puts
                 exit(127)
               end
               PARAMS = {
                 :source_file => [1,'source'],
                 :output_file => [2,'a.out'],
                 :message_file => [3,'compiler_message']
               }
               params = {}
               params[:prog_lang] = ARGV[0]
               PARAMS.each_key do |param_name|
                 index, default = PARAMS[param_name]
                 if ARGV.length > index
                   params[param_name] = ARGV[index]
                 end
                 #system("cp #{params[:source_file]} #{classname}.java")
                 command = "#{JAVA_COMPILER} -encoding utf8 #{classname}.java"
                 system(command, err: params[:message_file])
                 if File.exists?(classname + ".class")
                   File.open(params[:output_file],"w") {|file| file.write("#{classname}")}
                 end
                 if classname == 'DUMMY'
                   File.open(params[:message_file],"w") {|file| file.write("Cannot find any public class in the source code\n")}
                 end
               when "ruby"
                 command = "#{RUBY_INTERPRETER} -c #{params[:source_file]}"
                 if system(command, err: params[:message_file])
                   File.open(params[:output_file],"w") do |out_file|
                     out_file.puts "#!#{RUBY_INTERPRETER}"
                     File.open(params[:source_file],"r").each do |line|
                       out_file.print line
                     end
                   end
                   File.chmod(0755, params[:output_file])
                 end
               when "python"
-            -   command = "#{PYTHON_CHECKER} #{params[:source_file]}"
+            +   #command = "#{PYTHON_CHECKER} #{params[:source_file]}"
-            -   if system(command, out: params[:message_file])
+            +   #if system(command, out: params[:message_file])
                   #compile to python bytecode
-            -     command = "#{PYTHON_INTERPRETER} -m py_compile #{params[:source_file]}"
+            +     command = "#{PYTHON_INTERPRETER} -c \"import py_compile; py_compile.compile('#{params[:source_file]}','#{params[:source_file]}c');\""
                   puts "compile: #{command}"
-            -     system(command)
+            +     system(command, err: params[:message_file])
+            +     if FileTest.exists?("#{params[:source_file]}c")
                     puts "pwd: " + Dir.pwd
                     Dir.new('.').each {|file| puts file}
                     File.open(params[:output_file],"w") do |out_file|
                       out_file.puts "#!#{PYTHON_INTERPRETER} #{params[:source_file]}c"
                     end
                     File.chmod(0755, params[:output_file])
                     FileUtils.cp("#{params[:source_file]}c",params[:output_file])
                   end
+            +   #end
               when "php"
                 command = "#{PHP_INTERPRETER} #{PHP_OPTIONS} #{params[:source_file]}"
                 if system(command, err: params[:message_file])
                   File.open(params[:output_file],"w") do |out_file|
                     out_file.puts "#!#{PHP_INTERPRETER}"
                     File.open(params[:source_file],"r").each do |line|
                       out_file.print line
                     end
                   end
                   File.chmod(0755, params[:output_file])
                 end
+            + when "haskell"
+            +   command = "#{HASKELL_COMPILER} #{params[:source_file]} -o #{params[:output_file]} #{HASKELL_OPTIONS}"
+            +   system(command, err: params[:message_file])
+            +
               else
                 talk("ERROR: Invalid language specified!")
                 open(params[:message_file],"w") do |f|
                   f.puts "ERROR: Invalid language specified!"
                 end
                 exit(127)
               end
               # Report success or failure.
               if FileTest.exists? params[:output_file]
                 talk "Compilation was successful!"
               else
                 talk "ERROR: Something was wrong during the compilation!"
               end

std-script/judge ¶ +7 -1

                   log msg
                   raise msg
                 end
               end
               def clear_and_create_empty_dir(dir)
                 FileUtils.rm_rf(dir, :secure => true)
                 call_and_log("Cannot make directory #{dir}.") { FileUtils.mkdir(dir) }
               end
               # ARGV[0] --- language
               # ARGV[1] --- program source file
               # ARGV[2] --- test result directory
               # ARGV[3] --- sandbox directory
               if ARGV.length < 2 || ARGV.length > 4
                 puts "Usage: judge <language> <program-source> [<test-result-directory>] [<sandbox-directory>]"
                 puts "  <sandbox-directory> is defaulted to ./sandbox"
                 puts "  <test-result-directory> is defaulted to ./test-result"
                 puts "WARNING: The judge script will forcefully create the (implicitly and explicitly) specified directories and remove anything inside it."
                 exit(127)
               end
               language = ARGV[0]
-            - if language != "c" && language != "c++" && language != "pas" && language != "java" && language != "ruby" && language != "python" && language != "php"
+            + if language != "c" && language != "c++" && language != "pas" && language != "java" && language != "ruby" && language != "python" && language != "php" && language != "haskell"
                 log "You specified a language that is not supported: #{language}."
                 exit(127)
               end
               source_file = ARGV[1]
               ENV['SOURCE_NAME'] = source_file
               if File.exist?(source_file) == false
                 log "The source file does not exist."
                 exit(127)
               end
               log "Making test result and sandbox directories..."
               current_dir = FileUtils.pwd
               current_dir.strip!
               if ARGV.length >= 3
                 test_result_dir = ARGV[2]
               else
                 test_result_dir = "#{current_dir}/test-result"
               end
               log "Test result directory: #{test_result_dir}"
               clear_and_create_empty_dir(test_result_dir)
               require "#{problem_home}/script/test_dsl.rb"
               load "#{problem_home}/test_cases/all_tests.cfg"
               problem = Problem.get_instance
               if problem.well_formed? == false
                 log "The problem specification is not well formed."
                 exit(127)
               end
               # Doing the testing.
               (1..(problem.num_tests)).each do |test_num|
                 $stdout.print "[#{test_num}]"
                 $stdout.flush
                 log "Test number: #{test_num}"
                 call_and_log("Cannot copy the compiled program into #{sandbox_dir}") {
                   FileUtils.cp("#{test_result_dir}/a.out", sandbox_dir, :preserve => true)
                   if language == "java" then Dir["#{test_result_dir}/*.class"].each { |file| FileUtils.cp(file,sandbox_dir)} end
                   if language == "python" then Dir["#{test_result_dir}/*.pyc"].each { |file| FileUtils.cp(file,sandbox_dir)} end
                 }
+            +   #additionally copy any extra .txt file
+            +   data_files = Dir[problem_home + '/*.txt']
+            +   data_files.each do |file|
+            +     FileUtils.cp(file,sandbox_dir)
+            +   end
+            +
                 begin
                   execute("#{problem_home}/script/run #{language} #{test_num} ", "Error occured during execution of the run script")
                 rescue
                   # do nothing
                 end
                 call_and_log("Cannot create directory #{test_result_dir}/#{test_num}") {
                   FileUtils.mkdir "#{test_result_dir}/#{test_num}"
                 }
                 call_and_log("Cannot copy the result file into #{test_result_dir}/#{test_num}") {
                   FileUtils.mv "#{sandbox_dir}/result", "#{test_result_dir}/#{test_num}"
                 }
                 call_and_log("Cannot copy the comment file into #{test_result_dir}/#{test_num}") {
                   FileUtils.mv "#{sandbox_dir}/comment", "#{test_result_dir}/#{test_num}"
                 }
                 call_and_log("Cannot copy the output file into #{test_result_dir}/#{test_num}") {
                   FileUtils.mv "#{sandbox_dir}/output.txt", "#{test_result_dir}/#{test_num}"
                 }
                 call_and_log("Cannot clear #{sandbox_dir}") {
                   FileUtils.rm_rf(Dir.glob("#{sandbox_dir}/*"), :secure => true)
                 }
               end
               $stdout.print "[done]\n"

std-script/run ¶ +5 -2

               time_limit = problem.get_time_limit test_num
               mem_limit = problem.get_mem_limit(test_num) * 1024
               # Copy the input file.
               #`cp #{problem_home}/test_cases/#{test_num}/#{input_file_name} .`
               # check if box is there, if not, compile it!
               if !File.exists?("#{problem_home}/script/box")
                 log "WARNING: Compiling box: to increase efficiency, it should be compile manually"
                 compile_box("#{problem_home}/script/box.cc",
                             "#{problem_home}/script/box")
               end
               # Hide PROBLEM_HOME
               ENV['PROBLEM_HOME'] = nil
               ENV['SOURCE_NAME'] = nil
               # Run the program.
               #run_command = "/usr/bin/time -f \"#{time_output_format}\" 2>run_result #{problem_home}/script/box_new -a 2 -f -t #{time_limit} -m #{mem_limit} -i #{input_file_name} -o output.txt #{program_name}"
               #
               JAVA_OPTION = "-s set_robust_list -s futex -s clone -s getppid -s clone -s wait4 -p /usr/bin/ -p ./"
               RUBY_OPTION   = "-p /usr/lib64/ -p /usr/local/lib64/ -p /usr/local/lib/ -p /lib64/ -p /dev/urandom -p #{sandbox_dir}/#{program_name} -p #{sandbox_dir}/ -s set_robust_list -s sched_getaffinity -s clock_gettime -s sigaltstack -s pipe2 -s clone -s futex -s openat -s pipe"
-            - PYTHON_OPTION = "-p /usr/lib64/ -p /usr/local/lib64/ -p /usr/local/lib/ -p /usr/bin/ -p /lib64/ -p #{sandbox_dir}/#{program_name} -p ./#{program_name} -p #{sandbox_dir}/#{source_name} -s set_robust_list -s openat -s recvmsg -s connect -s socket -s sendto -s futex -E PYTHONNOUSERSITE=yes"
+            + PYTHON_OPTION = "-p /usr/lib64/ -p /usr/local/lib64/ -p /usr/local/lib/ -p /usr/bin/ -p /lib64/ -p /dev/urandom -p /usr/ -p #{sandbox_dir}/#{program_name} -p ./#{program_name} -p #{sandbox_dir}/#{source_name} -p /proc/sys/crypto/fips_enabled -p /proc/self/status -p /proc/mounts -p /var/lib/dpkg/status -s statfs -s set_robust_list -s openat -s sysinfo -s recvmsg -s connect -s socket -s sendto -s futex -s sigaltstack -s getrandom -E PYTHONNOUSERSITE=yes"
               PHP_OPTION = "-p /usr/lib64/ -p/lib64/ -p /usr/bin/ -p #{sandbox_dir}/#{program_name} -p ./#{program_name} -p /usr/share/ -s setfsuid -s setfsgid -s openat -s set_robust_list -s futex -s clone -s socket -s connect"
+            + HASKELL_OPTION = "-s set_robust_list -s clock_gettime -s sysinfo -s timer_create -s timer_settime -s futex -s timer_delete"
               case language
                 when "java"
                   # for java, extract the classname
                   # wne have to add additional systemcall and we don't check the mem limit (dunno how to fix...)
                   classname = 'DUMMY'
                   File.open(program_name,"r").each do |line|
                     classname = line
                   end
                   #for java, we cannot really check the memory limit...
                   run_command = "#{problem_home}/script/box -a 3 -f -T -t #{time_limit} #{JAVA_OPTION} -i #{input_file_name} -o output.txt /usr/bin/java -A -Xmx#{mem_limit}k -A #{classname} "
                 when "ruby"
                   run_command = "#{problem_home}/script/box -a 2 -f -T -t #{time_limit*=2} -m #{mem_limit} #{RUBY_OPTION} -i #{input_file_name} -o output.txt /usr/bin/ruby #{program_name} "
                 when "python"
-            -     run_command = "#{problem_home}/script/box -a 2 -f -T -t #{time_limit*=2} -m #{mem_limit} #{PYTHON_OPTION} -i #{input_file_name} -o output.txt /usr/bin/python #{program_name} "
+            +     run_command = "#{problem_home}/script/box -a 2 -f -T -t #{time_limit*=2} -m #{[128 * 1024,mem_limit].max} #{PYTHON_OPTION} -i #{input_file_name} -o output.txt /usr/bin/python3 #{program_name} "
+            +   when "haskell"
+            +     run_command = "#{problem_home}/script/box -a 2 -f -T -t #{time_limit} -m #{[512 * 1024,mem_limit].max} #{HASKELL_OPTION} -i #{input_file_name} -o output.txt #{program_name} "
                 when "php"
                   run_command = "#{problem_home}/script/box -a 2 -f -T -t #{time_limit*=2} -m #{[128 * 1024,mem_limit].max} #{PHP_OPTION} -i #{input_file_name} -o output.txt /usr/bin/php -A -d -A memory_limit=#{mem_limit}k -A #{program_name} "
                 else # for c++, pascal, we do the normal checking
                   run_command = "#{problem_home}/script/box -a 2 -f -T -t #{time_limit} -m #{mem_limit} -i #{input_file_name} -o output.txt #{program_name} "
               end
               log "Running test #{test_num}..."
               log run_command
               log
               system(run_command,err: 'run_result')
               # Restore PROBLEM_HOME
               ENV['PROBLEM_HOME'] = problem_home
               # Create the result file.
               result_file = File.new("result", "w")
               comment_file = File.new("comment", "w")
               # Check if the program actually produced any output.
               run_result_file = File.new("run_result", "r")
               run_result = run_result_file.readlines
               run_result_file.close

templates/check.float ¶ +9

               output_file_content = output_file.read
               answer_file_content = answer_file.read
               report_correct = lambda {
                 result_file.write "Correct\n"
                 result_file.write problem.get_score(test_num)
                 result_file.write "\n"
                 result_file.close
                 exit(0)
               }
               report_wrong = lambda {
                 result_file.write "Incorrect\n"
                 result_file.write "0\n"
                 result_file.close
                 exit(0)
               }
               ##################
               # Your code here #
               ##################
               ########### THIS IS FOR CHECKING FLOAT with EPSILON error ##########
+            +
+            + def is_float?(fl)
+            +   !!Float(fl) rescue false
+            + end
+            +
               EPSILON = 0.000001
               out_items = output_file_content.split
               ans_items = answer_file_content.split
               if out_items.length != ans_items.length
                 report_wrong.call
               else
                 out_items.length.times do |i|
+            +     if is_float?(out_items[i]) && is_float?(ans_items[i])
                     out_value = out_items[i].to_f
                     ans_value = ans_items[i].to_f
                     if (out_value - ans_value).abs > EPSILON * [out_value.abs,ans_value.abs].max
                       report_wrong.call
                     end
+            +     else
+            +       report_wrong.call if out_items[i] != ans_items[i]
+            +     end
                 end
                 report_correct.call
               end

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

r263:7950cf0bb006 - Sat, 17 Jun 2017 06:22:31 - 12 files changed: 420 inserted, 12 deleted

Sign in to your account

Commit r263:7950cf0bb006 public

Author

r263:7950cf0bb006 - Sat, 17 Jun 2017 06:22:31 - 12 files changed: 420 inserted, 12 deleted

Commit `r263:7950cf0bb006` public