Description:
adjust time limit, double for ruby,python,php
Commit status:
[Not Reviewed]
References:
Diff options:
Comments:
0 Commit comments
0 Inline Comments
Unresolved TODOs:
There are no unresolved TODOs
r166:bea407bc1073 - - 1 file changed: 3 inserted, 3 deleted
@@ -13,177 +13,177 | |||||
|
13 | fp.close |
|
13 | fp.close |
|
14 | end |
|
14 | end |
|
15 | end |
|
15 | end |
|
16 |
|
16 | ||
|
17 | def extract_time(t) |
|
17 | def extract_time(t) |
|
18 | # puts "TIME: #{t}" |
|
18 | # puts "TIME: #{t}" |
|
19 | if (result=/^(.*)r(.*)u(.*)s/.match(t)) |
|
19 | if (result=/^(.*)r(.*)u(.*)s/.match(t)) |
|
20 | {:real => result[1], :user => result[2], :sys => result[3]} |
|
20 | {:real => result[1], :user => result[2], :sys => result[3]} |
|
21 | else |
|
21 | else |
|
22 | #{:real => 0, :user => 0, :sys => 0} |
|
22 | #{:real => 0, :user => 0, :sys => 0} |
|
23 | #puts "ERROR READING RUNNING TIME: #{t}" |
|
23 | #puts "ERROR READING RUNNING TIME: #{t}" |
|
24 | raise "Error reading running time: #{t}" |
|
24 | raise "Error reading running time: #{t}" |
|
25 | end |
|
25 | end |
|
26 | end |
|
26 | end |
|
27 |
|
27 | ||
|
28 | def compile_box(source,bin) |
|
28 | def compile_box(source,bin) |
|
29 | system("g++ #{source} -o #{bin}") |
|
29 | system("g++ #{source} -o #{bin}") |
|
30 | end |
|
30 | end |
|
31 |
|
31 | ||
|
32 | if ARGV.length < 2 || ARGV.length > 3 |
|
32 | if ARGV.length < 2 || ARGV.length > 3 |
|
33 | puts "Usage: run <language> <test-num> [<program-name>]" |
|
33 | puts "Usage: run <language> <test-num> [<program-name>]" |
|
34 | exit(127) |
|
34 | exit(127) |
|
35 | end |
|
35 | end |
|
36 |
|
36 | ||
|
37 | language = ARGV[0] |
|
37 | language = ARGV[0] |
|
38 | test_num = ARGV[1].to_i |
|
38 | test_num = ARGV[1].to_i |
|
39 | if ARGV.length > 2 |
|
39 | if ARGV.length > 2 |
|
40 | program_name = ARGV[2] |
|
40 | program_name = ARGV[2] |
|
41 | else |
|
41 | else |
|
42 | program_name = "a.out" |
|
42 | program_name = "a.out" |
|
43 | end |
|
43 | end |
|
44 |
|
44 | ||
|
45 | problem_home = ENV['PROBLEM_HOME'] |
|
45 | problem_home = ENV['PROBLEM_HOME'] |
|
46 | source_name = ENV['SOURCE_NAME'] |
|
46 | source_name = ENV['SOURCE_NAME'] |
|
47 | require "#{problem_home}/script/test_dsl.rb" |
|
47 | require "#{problem_home}/script/test_dsl.rb" |
|
48 | load "#{problem_home}/test_cases/all_tests.cfg" |
|
48 | load "#{problem_home}/test_cases/all_tests.cfg" |
|
49 | problem = Problem.get_instance |
|
49 | problem = Problem.get_instance |
|
50 |
|
50 | ||
|
51 | sandbox_dir = Dir.getwd |
|
51 | sandbox_dir = Dir.getwd |
|
52 |
|
52 | ||
|
53 | if problem.well_formed? == false |
|
53 | if problem.well_formed? == false |
|
54 | log "The problem specification is not well formed." |
|
54 | log "The problem specification is not well formed." |
|
55 | exit(127) |
|
55 | exit(127) |
|
56 | end |
|
56 | end |
|
57 |
|
57 | ||
|
58 | # Check if the test number is okay. |
|
58 | # Check if the test number is okay. |
|
59 | if test_num <= 0 || test_num > problem.num_tests |
|
59 | if test_num <= 0 || test_num > problem.num_tests |
|
60 | log "You have specified a wrong test number." |
|
60 | log "You have specified a wrong test number." |
|
61 | exit(127) |
|
61 | exit(127) |
|
62 | end |
|
62 | end |
|
63 |
|
63 | ||
|
64 | ##################################### |
|
64 | ##################################### |
|
65 | # Set the relavant file names here. # |
|
65 | # Set the relavant file names here. # |
|
66 | ##################################### |
|
66 | ##################################### |
|
67 |
|
67 | ||
|
68 | input_file_name = "#{problem_home}/test_cases/#{test_num}/input-#{test_num}.txt" |
|
68 | input_file_name = "#{problem_home}/test_cases/#{test_num}/input-#{test_num}.txt" |
|
69 |
|
69 | ||
|
70 | ##################################### |
|
70 | ##################################### |
|
71 |
|
71 | ||
|
72 | time_limit = problem.get_time_limit test_num |
|
72 | time_limit = problem.get_time_limit test_num |
|
73 | mem_limit = problem.get_mem_limit(test_num) * 1024 |
|
73 | mem_limit = problem.get_mem_limit(test_num) * 1024 |
|
74 |
|
74 | ||
|
75 | # Copy the input file. |
|
75 | # Copy the input file. |
|
76 | #`cp #{problem_home}/test_cases/#{test_num}/#{input_file_name} .` |
|
76 | #`cp #{problem_home}/test_cases/#{test_num}/#{input_file_name} .` |
|
77 |
|
77 | ||
|
78 | # check if box is there, if not, compile it! |
|
78 | # check if box is there, if not, compile it! |
|
79 | if !File.exists?("#{problem_home}/script/box") |
|
79 | if !File.exists?("#{problem_home}/script/box") |
|
80 | log "WARNING: Compiling box: to increase efficiency, it should be compile manually" |
|
80 | log "WARNING: Compiling box: to increase efficiency, it should be compile manually" |
|
81 | compile_box("#{problem_home}/script/box.cc", |
|
81 | compile_box("#{problem_home}/script/box.cc", |
|
82 | "#{problem_home}/script/box") |
|
82 | "#{problem_home}/script/box") |
|
83 | end |
|
83 | end |
|
84 |
|
84 | ||
|
85 | # Hide PROBLEM_HOME |
|
85 | # Hide PROBLEM_HOME |
|
86 | ENV['PROBLEM_HOME'] = nil |
|
86 | ENV['PROBLEM_HOME'] = nil |
|
87 | ENV['SOURCE_NAME'] = nil |
|
87 | ENV['SOURCE_NAME'] = nil |
|
88 |
|
88 | ||
|
89 | # Run the program. |
|
89 | # Run the program. |
|
90 | #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}" |
|
90 | #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}" |
|
91 | # |
|
91 | # |
|
92 |
|
92 | ||
|
93 | JAVA_OPTION = "-s set_robust_list -s futex -s clone -s getppid -s clone -s wait4 -p /usr/bin/ -p ./" |
|
93 | JAVA_OPTION = "-s set_robust_list -s futex -s clone -s getppid -s clone -s wait4 -p /usr/bin/ -p ./" |
|
94 | RUBY_OPTION = "-p /usr/lib64/ -p /lib64/ -p /dev/urandom -p #{sandbox_dir}/#{program_name} -s set_robust_list -s sched_getaffinity -s clock_gettime -s sigaltstack -s pipe2 -s clone -s futex -s openat" |
|
94 | RUBY_OPTION = "-p /usr/lib64/ -p /lib64/ -p /dev/urandom -p #{sandbox_dir}/#{program_name} -s set_robust_list -s sched_getaffinity -s clock_gettime -s sigaltstack -s pipe2 -s clone -s futex -s openat" |
|
95 | PYTHON_OPTION = "-p /usr/lib64/ -p /lib64/ -p /usr/bin/ -p /usr/local/lib64/ -p /usr/local/lib/ -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 -E PYTHONNOUSERSITE=yes" |
|
95 | PYTHON_OPTION = "-p /usr/lib64/ -p /lib64/ -p /usr/bin/ -p /usr/local/lib64/ -p /usr/local/lib/ -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 -E PYTHONNOUSERSITE=yes" |
|
96 | 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 " |
|
96 | 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 " |
|
97 |
|
97 | ||
|
98 | case language |
|
98 | case language |
|
99 | when "java" |
|
99 | when "java" |
|
100 | # for java, extract the classname |
|
100 | # for java, extract the classname |
|
101 | # wne have to add additional systemcall and we don't check the mem limit (dunno how to fix...) |
|
101 | # wne have to add additional systemcall and we don't check the mem limit (dunno how to fix...) |
|
102 | classname = 'DUMMY' |
|
102 | classname = 'DUMMY' |
|
103 | File.open(program_name,"r").each do |line| |
|
103 | File.open(program_name,"r").each do |line| |
|
104 | classname = line |
|
104 | classname = line |
|
105 | end |
|
105 | end |
|
106 | #for java, we cannot really check the memory limit... |
|
106 | #for java, we cannot really check the memory limit... |
|
107 | 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 #{classname} 2>run_result" |
|
107 | 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 #{classname} 2>run_result" |
|
108 | when "ruby" |
|
108 | when "ruby" |
|
109 | - run_command = "#{problem_home}/script/box -a 2 -f -T -t #{time_limit} -m #{mem_limit} #{RUBY_OPTION} -i #{input_file_name} -o output.txt /usr/bin/ruby #{program_name} 2>run_result" |
|
109 | + 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} 2>run_result" |
|
110 | when "python" |
|
110 | when "python" |
|
111 | - run_command = "#{problem_home}/script/box -a 2 -f -T -t #{time_limit} -m #{mem_limit} #{PYTHON_OPTION} -i #{input_file_name} -o output.txt /usr/bin/python #{program_name} 2>run_result" |
|
111 | + 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} 2>run_result" |
|
112 | when "php" |
|
112 | when "php" |
|
113 | - run_command = "#{problem_home}/script/box -a 2 -f -T -t #{time_limit} #{PHP_OPTION} -i #{input_file_name} -o output.txt /usr/bin/php #{program_name} 2>run_result" |
|
113 | + run_command = "#{problem_home}/script/box -a 2 -f -T -t #{time_limit*2} #{PHP_OPTION} -i #{input_file_name} -o output.txt /usr/bin/php #{program_name} 2>run_result" |
|
114 | else # for c++, pascal, we do the normal checking |
|
114 | else # for c++, pascal, we do the normal checking |
|
115 | 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} 2>run_result" |
|
115 | 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} 2>run_result" |
|
116 | end |
|
116 | end |
|
117 |
|
117 | ||
|
118 |
|
118 | ||
|
119 | log "Running test #{test_num}..." |
|
119 | log "Running test #{test_num}..." |
|
120 | log run_command |
|
120 | log run_command |
|
121 | log |
|
121 | log |
|
122 | system(run_command) |
|
122 | system(run_command) |
|
123 |
|
123 | ||
|
124 | # Restore PROBLEM_HOME |
|
124 | # Restore PROBLEM_HOME |
|
125 | ENV['PROBLEM_HOME'] = problem_home |
|
125 | ENV['PROBLEM_HOME'] = problem_home |
|
126 |
|
126 | ||
|
127 | # Create the result file. |
|
127 | # Create the result file. |
|
128 | result_file = File.new("result", "w") |
|
128 | result_file = File.new("result", "w") |
|
129 | comment_file = File.new("comment", "w") |
|
129 | comment_file = File.new("comment", "w") |
|
130 |
|
130 | ||
|
131 | # Check if the program actually produced any output. |
|
131 | # Check if the program actually produced any output. |
|
132 | run_result_file = File.new("run_result", "r") |
|
132 | run_result_file = File.new("run_result", "r") |
|
133 | run_result = run_result_file.readlines |
|
133 | run_result = run_result_file.readlines |
|
134 | run_result_file.close |
|
134 | run_result_file.close |
|
135 |
|
135 | ||
|
136 | run_stat = run_result[run_result.length-1] |
|
136 | run_stat = run_result[run_result.length-1] |
|
137 | running_time = extract_time(run_stat) |
|
137 | running_time = extract_time(run_stat) |
|
138 |
|
138 | ||
|
139 | report = lambda{ |status, points, comment| |
|
139 | report = lambda{ |status, points, comment| |
|
140 | result_file.write status.strip |
|
140 | result_file.write status.strip |
|
141 | result_file.write "\n" |
|
141 | result_file.write "\n" |
|
142 | result_file.write points.to_s.strip |
|
142 | result_file.write points.to_s.strip |
|
143 | result_file.write "\n" |
|
143 | result_file.write "\n" |
|
144 | result_file.write run_stat.strip |
|
144 | result_file.write run_stat.strip |
|
145 | result_file.write "\n" |
|
145 | result_file.write "\n" |
|
146 | result_file.close |
|
146 | result_file.close |
|
147 | FileUtils.rm "run_result" |
|
147 | FileUtils.rm "run_result" |
|
148 | # `rm output.txt` --- keep the output |
|
148 | # `rm output.txt` --- keep the output |
|
149 |
|
149 | ||
|
150 | comment_file.write comment |
|
150 | comment_file.write comment |
|
151 |
|
151 | ||
|
152 | # added for debuggin --- jittat |
|
152 | # added for debuggin --- jittat |
|
153 | comment_file.write "--run-result--\n" |
|
153 | comment_file.write "--run-result--\n" |
|
154 | run_result.each do |l| |
|
154 | run_result.each do |l| |
|
155 | comment_file.write l |
|
155 | comment_file.write l |
|
156 | end |
|
156 | end |
|
157 |
|
157 | ||
|
158 | comment_file.close |
|
158 | comment_file.close |
|
159 |
|
159 | ||
|
160 | log "Done!" |
|
160 | log "Done!" |
|
161 | exit(0) |
|
161 | exit(0) |
|
162 | } |
|
162 | } |
|
163 |
|
163 | ||
|
164 |
|
164 | ||
|
165 | if run_result[0][0,2] != "OK" |
|
165 | if run_result[0][0,2] != "OK" |
|
166 | log "There was a runtime error." |
|
166 | log "There was a runtime error." |
|
167 | report.call(run_result[0], 0, "No comment.\n") |
|
167 | report.call(run_result[0], 0, "No comment.\n") |
|
168 | end |
|
168 | end |
|
169 |
|
169 | ||
|
170 | if running_time[:user].to_f > time_limit |
|
170 | if running_time[:user].to_f > time_limit |
|
171 | log "Time limit exceeded." |
|
171 | log "Time limit exceeded." |
|
172 | report.call("Time limit exceeded", 0, "No comment.\n") |
|
172 | report.call("Time limit exceeded", 0, "No comment.\n") |
|
173 | end |
|
173 | end |
|
174 |
|
174 | ||
|
175 | # Run 'check' to evaluate the output. |
|
175 | # Run 'check' to evaluate the output. |
|
176 | #puts "There was no runtime error. Proceed to checking the output." |
|
176 | #puts "There was no runtime error. Proceed to checking the output." |
|
177 | check_command = "#{problem_home}/script/check #{language} #{test_num}" |
|
177 | check_command = "#{problem_home}/script/check #{language} #{test_num}" |
|
178 | log "Checking the output..." |
|
178 | log "Checking the output..." |
|
179 | log check_command |
|
179 | log check_command |
|
180 | if not system(check_command) |
|
180 | if not system(check_command) |
|
181 | log "Problem with check script" |
|
181 | log "Problem with check script" |
|
182 | report.call("Incorrect",0,"Check script error.\n") |
|
182 | report.call("Incorrect",0,"Check script error.\n") |
|
183 | exit(127) |
|
183 | exit(127) |
|
184 | end |
|
184 | end |
|
185 |
|
185 | ||
|
186 | check_file = File.new("check_result", "r") |
|
186 | check_file = File.new("check_result", "r") |
|
187 | check_file_lines = check_file.readlines |
|
187 | check_file_lines = check_file.readlines |
|
188 |
|
188 | ||
|
189 | report.call(check_file_lines[0], check_file_lines[1], "No comment.\n") |
|
189 | report.call(check_file_lines[0], check_file_lines[1], "No comment.\n") |
You need to be logged in to leave comments.
Login now