NJUST Open Judge 判题核心(Linux平台)

ChangeLog

1. modify the core.cpp in order to display the time and memory when MLE and TLE happen
2. modify the core.h to set the upper limit of OLE from 100MB to 8MB
3. modify the core.h to set both JAVA_TIME_FACTOR and JAVA_MEM_FACTOR from 3 to 2

综述

此判题核心程序通过构建一个沙盒，运行用户提交的代码， 利用ptrace跟踪，限制用户代码的行为和资源消耗。

core.h文件中是一些常量和全局变量的定义

core.cpp是主程序文件

logger.h是一个简易的日志程序

rf_table.h是一个限制系统调用的表

判题核心通过传入命令行参数获知输入，结果输出到文件， 所以不具有线程安全性。

参数

-c 源代码路径

-t 时间限制，可选，默认1000 MS

-m 内存限制，可选，默认65535 KB

-s 表示是否是special judge

-S special judge程序的语言，1是C，2是C++，3是Java

-d 表示运行的文件夹

示例：

sudo ./Core -c ./test/test.c -t 1000 -m 65535 -s -S 2 -d ./test/

上面表明，用户提交的代码是./test/test.c，时限1000 ms，内存限制65535 KB， 需要SpecialJudge，SpecialJudge程序的语言是C++，运行的文件夹在./test/下。

程序编译

g++ core.cpp -o Core -O2

约定

构建的沙盒在./test/文件夹下

其中c语言程序是xxx.c，C++ 程序是xxx.cpp，Java程序是Main.java

标准输入文件是in.in，标准输出文件是out.out，程序运行返回的结果是result.txt文件

SpecialJudge

SpecialJudge程序是一个已经编译好的程序，名字叫SpecialJudge。运行结束后请自行清理./test/文件夹下的各种文件

SpecialJudge 程序编写标准与ljudge兼容

SpecialJudge 程序的标准流（stdin）是题目的输入数据，同时Special程序还可以打开以下几个文件

• "input"：输入数据（也可直接由stdin读入）
• "output"：输出数据
• "user_output" (或者argv[1]): 用户程序给出的输出
• "user_code" : 用户的程序代码

SpecialJudge 程序需要使用 exitcode 返回评测结果，0 代表 Accepted， 1 代表Wrong Answer， 2 代表Presentation Error

下面是一个SpecialJudge 程序的样例，检测T个Case中用户输入的两个数是的是否等于标准输出

#include <iostream>
#include <fstream>
using namespace std;
const int res_ac = 0;
const int res_wa = 1;
const int res_pe = 2;
int T;
int main()
{
	ifstream input("input", ios::in);
	ifstream output("output", ios::in);
	ifstream user_output("user_output", ios::in);
	ifstream user_code("user_code", ios::in);
	int user_ans = 0;
	bool flag = true;
	input >> T;
	while (T--)
	{
		int a, b, c;
		user_output >> a >> b;
		output >> c;
		flag &= (a + b == c);
	}
	if (flag) return res_ac;
	else return res_wa;
}

result.txt

返回结果格式：

第一行：结果，Compile Error等

第二行：运行时间，不带单位，默认毫秒

第三行：内存消耗，不带单位，默认KB

接下来所有行：额外信息，一般情况下为空，当Compile Error时，编译错误信息存在这里