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

综述

此判题核心程序通过构建一个沙盒，运行用户提交的代码， 利用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时，编译错误信息存在这里