Docker (如果是 Windows 下的 Docker，必须选择 Hyper-V + Linux Container)
如果卷 /mnt/data 挂载在 Windows 目录下，Docker 无法进行文件权限控制，可能导致错误的用户程序有权读取该目录的任意文件
如果卷 /mnt/data 挂载在 Windows 目录下，可能存在文件描述符泄露
Known Issues in KVM / OpenVZ
OpenVZ 架构虚拟化无法运行这一内核
不是所有的 KVM 都可以运行，我们需要完整的嵌套虚拟化权限。如果在测试的时候提示 while attach: No Such Process 等，大概率是因为你的虚拟化实现缺少 SYS_PTRACE 权限。
如果允许用户自定义编译器和编译指令，请务必小心，编译器仅在部分监视的情况下运行
将 judgecore/default.json.sample，复制到 judgecore/default.json，按需修改其中的值
(Linux) 打开 build.sh，修改 MOUNTFOLDER 为本地一个已存在的目录，MOUNTPOINT 与 $base 一致即可，一般不需修改
(Windows) 打开 build.bat，修改 MOUNTFOLDER 为本地一个已存在的目录
运行对应的 build.sh 或 build.bat
项目在 testcase 中提供了测试样例，只需要运行当前目录的 ./test.sh 或 test.bat 即可。
如果只需更新内核或配置文件，运行 ./update.sh 或者 ./update.bat
如果需要更新 Docker，docker rm -f judgecore 后重新构建
执行 docker exec judgecore ./judgecore <配置文件.json>（从文件读取配置） 或 docker exec -ti judgecore ./judgecore stdin （从 stdin 读取配置）即可。支持多个 json、stdin、默认配置文件自动合并，参数在后的配置覆盖参数在前的配置，覆盖默认配置。评测的结果在 $output 的 result.json。
执行 docker exec judgecore ./compiler <配置文件.json> 编译 special judge 程序 （说明见下）。
一个可接受的 默认配置文件 （位于 ./judgecore/conf/default.json，参考 ）
一个可接受的 语言配置文件 （位于 ./judgecore/conf/lang_spec.json，参考 ）
至少一个运行时配置文件
以 $ 开头的字符串会被自动以配置文件中，先 ":path" 再 ":" 位置的相应值代替
如果不存在，保留原样并向 stderr 输出警告
如果期待路径而配置项是数组，则自动以 '/' 拼接为路径
如果内层是数组，则直接拼接，递归直到满足期待类型
$ 不会被替换，例如 ["$", "pid"] 只会被拼接为 "$pid"，但下次被引用时则会被再次替换如果期待字符串而配置是数组，则直接拼接
如果期待数组而配置是字符串，则转换为数组第一项
如果期待数组而配置是嵌套数组，则递归拼接
{
"pid" : 1001 ,
"variant" : {
"compiler" : [ "$pid" , "hello" ] , // 期待字符串
"cargs" : [ "$pid" , "hello" ] , // 期待数组
"eargs" : [ [ "$pid" , "hello" ] , "hi" ] // 期待数组
} ,
"path" : {
"code" : [ "$pid" , "hi" ] , // 期待路径
"exec" : "$code" // 期待路径
}
}
code 期待路径，这一部分会被替换为 "1001/hi" （用 / 拼接）
compiler 期待字符串，这一部分会替换为 "1001hello" （直接拼接）
cargs 期待数组，因此这一部分会被替换为 ["1001", "hello"] （外层数组保持不变）
eargs 期待数组，因此这一部分会被替换为 ["1001hello", "hi"] （嵌套数组拼接）
[
{
// 语言 ID
"id" : 0 ,
// 语言名
"name" : "c++" ,
// 代码扩展名
"ext" : "cpp" ,
// 编译器可执行文件，false(bool) 则强制跳过编译阶段
"compiler" : "g++" ,
// 编译器参数，期待数组 (argc[1] - argc[n])、字符串 (argc[1])
// 此处额外可用 $customArgs，规则详见 default.json 中的规则
"cargs" : [ "-DONLINE_JUDGE" , "-pthread" , "-O2" , "-static" , "-std=c++14" , "-fno-asm" , "-Wall" , "-Wextra" , "-o" , "$exec" , "$code" ] ,
// 预编译脚本，期待字符串，sh 格式（如果存在，设置 $script，需手动执行）
// 此处额外可用 $customArgs，规则详见 default.json 中的规则
"cscript" : [ ] ,
// 可执行文件，期待字符串（直接执行），数组（拼接为 sh 格式的脚本），null（默认为 $exec）
"executable" : "$exec" ,
// 运行时参数，期待数组 (argc[1] - argc[n])、字符串 (argc[1])
// 此处额外可用 $case，$customArgs
"eargs" : [ ]
} , {
"id" : 1 ,
"name" : "javascript" ,
"ext" : "js" ,
"compiler" : false ,
"cargs" : null ,
"cscript" : null ,
"executable" : "/usr/bin/v8/d8" ,
"eargs" : "$code" ,
// 语言资源限制额外设置，即：
// 对应项名，直接替换 config 中的对应值
// 对应项名+，额外增加 config 中的对应值
// 对应项名*，额外倍乘 config 中的对应值
"patch" : {
// 2 倍限制内存
"max_memory*" : 2 ,
// 额外 1 秒执行时间
"max_time+" : 1000 ,
// 最多 2 线程
"max_thread" : 2
}
}
] {
// 输出很多调试信息（真的很多）
"debug" : false ,
// 任意一些字段，可被类似 $pid 的方式引用，如不引用可任意删除，如引用其他字段可自行添加
// 引用未定义的字段将会依样保留，并向 stderr 输出对应信息
"pid" : 9001 ,
"sid" : null ,
"filename" : [ "main." , "$lang_ext" ] ,
// 该项于运行时设置，代表正在测试的是第 i 组数据
// 该项只能在 eargs 中被引用！
"case" : [ "$" , "case" ] ,
// 语言名或语言 ID
"lang" : "c" ,
// 下面三项运行时根据 lang_spec 自动设置
"lang_id" : null ,
"lang_name" : null ,
"lang_ext" : null ,
// [可选] 编译器额外配置
// 当 lang_spec 中对应项为 null 时，取此处配置
// 当 lang_spec 中对应项为 false 时，跳过该项且此处不可设置
// 否则，此处不可设置
// 但，对于 cargs 和 cscript 和 eargs：
// 当 lang_spec 中存在 1 个 $customArgs 时，将该配置对应的<期待类型>插入至这一位置
// 当 lang_spec 中存在 n 个 $customArgs 时，将该配置*数组*对应第 i 个<期待类型>插入至这一位置
// 如果此处对应项不存在，则直接将 $customArgs 移除
// 例如，lang_spec 的 cargs 为 ["$customArgs", "-o", "$exec", "$code", "$customArgs"]
// 此处 cargs 为 [["-O2"], ["-Wall", "-Wextra"]] 时，拼接完毕为
// ["-O2", "-o", "<exec>", "<code>", "-Wall", "-Wextra"]
// 例如，lang_spec 的 cscript 为 ["$customArgs", ", ", "$customArgs"]
// 此处的 cscript 为 ["Hello", "$pid"]，则拼接完毕为
// "Hello, 9001"
// 如果此处不是数组或它的第 i 项不是<期待类型>，则对应 $customArgs 将被直接移除
"variant" : {
// 字符串。
"compiler" : "gcc" ,
// 数组
"cargs" : [ "-DONLINE_JUDGE" , "-lpthread" , "-O2" , "-static" , "-std=c11" , "-fno-asm" , "-Wall" , "-Wextra" , "-o" , "$exec" , "$code" ] ,
// 数组
"cscript" : [ ] ,
// 字符串
"executable" : "$exec" ,
// 数组，额外设置 $case 为当前测试为第 i 组数据
"eargs" : [ ]
} ,
"max_time" : 1000 , // 数字，毫秒
"max_real_time" : 2000 , // 数字，毫秒
"max_time_total" : 30000 , // 数字，毫秒
"max_memory" : 65530 , // 数字，千字节
"max_output" : 10000000 , // 数字，字节
"max_thread" : 4 , // 数字，核心/线程/进程数
"continue_on" : [ "accepted" , "presentation error" ] , // 枚举数组或布尔
"test_case_count" : 1 , // 数字，自动取 $stdin 中的 1~c 的 .in 文件作为标准输入，0 不测
"spj_mode" : "no" , // 枚举，可能的值为 "no", "inline"（从 json 读入，输出到 json），"compare" 自定义比较程序， "interactive" 自定义交互评测程序
// 期待 object，内部均期待路径
"path" : {
"base" : "/mnt/data" ,
"code" : [ "$base" , "code" , "$pid" , "$sid" , "$filename" ] ,
"log" : [ "$temp" ] ,
"output" : [ "$base" , "result" , "$pid" , "$sid" ] ,
"stdin" : [ "$base" , "case" , "$pid" ] ,
"stdout" : [ "$stdin" ] ,
"temp" : [ "/tmp" , [ "judge-" , "$pid" , "-" , "$sid" ] ] ,
"exec" : [ "$temp" , "main" ] ,
"spj" : [ "$base" , "judge" , "$pid" ]
} ,
// 在编译 spj 过程中，:path 下只有 $base 和 $spj 可以被引用
// 引用其他值可能无法正确编译
"spj" : {
"code" : [ "$spj" , "." , "$lang_ext" ] ,
"target" : "$spj"
} ,
// [可选, 数组] 这里可以提供每组数据的文件输入
// 文件名中不能含有 /，这些文件会置于用户程序工作目录且对用户程序只读。
// 如果 spj 模式是 inline，此处也可额外提供标准输入
"inline" : [ {
"stdin" : "1 2\n" ,
"fs" : {
"hello.txt" : "Hello world!\n"
}
} ] ,
// :compiler 和 :sys 只是为了从内核中移除一些魔法数字
// 与其他配置不同，如果它们不存在，则取此处的值，不会失败也没有警告
// 所有数值取值范围为 0 ~ LONG_MAX
"compiler" : {
// 最长编译时间 ms，防止 #include </dev/urandom>
"max_time" : 12000 ,
// 最长编译真实时间 ms
"max_real_time" : 20000 ,
// 最大编译内存 kB，防止 struct x(x(x(x(x
"max_memory" : 204800 ,
// 最大输出 bytes，防止编译炸弹
"max_output" : 52428800
} ,
"sys" : {
// true 也统计系统调用用时，false 只统计用户代码时间
"time_system_time" : false ,
// 结果 json 中出现在 compiler 字段的最多字节数
// 防止 struct x(x(x(x(x 生成巨大编译错误文件
"max_compiler_size" : 5000 ,
// 结果 json 中出现在 extra 字段的最多字节数
"max_extra_size" : 10240 ,
// 用户程序所能写入的文件数目，0 不可写文件
"max_fs_write_count" : 20 ,
// 模式为 inline 时，结果 json 中 fs 数组的最大长度
"max_inline_fs_count" : 20 ,
// 模式为 inline 时，结果 json 中 fs 每项的最多字节数
"max_inline_fs_size" : 1000 ,
// 模式为 inline 时，结果 json 中 stdout 的最多字节数
"max_inline_stdout_size" : 1000
}
} // 正常程序
{
"compiler" : "" , // 编译信息
"detail" : [ // 对每一个测试样例的输出
{
"exitcode" : 0 ,
"memory" : 1848 ,
"result" : "accepted" ,
"status" : 0 , // enum RESULT {AC = 0, PE, WA, CE, RE, ME, TE, OLE, SLE, SW};
"time" : 0 ,
// 当 spj 为 inline 时特有字段
"inline" : {
// 用户程序的标准输出
"stdout" : "3\n" ,
// 用户写文件时的特有字段
"fs" : {
"hi.txt" : "Hello world!"
}
} ,
// 当 spj 为 compare/interactive 时，为特殊评测程序所写的日志
// 否则可能为内核输出的备注信息
"extra" : "ok" ,
}
] ,
"extra" : null , // 可能存在的 RE 详情
"memory" : 1848 ,
"result" : "accepted" ,
"status" : 0 ,
"time" : 0
}
// 数组越界
{
"compiler" : "" ,
"detail" : [
{
"exitcode" : 0 ,
"memory" : 1848 ,
"result" : "runtime error" ,
"signal" : 11 , // 运行错误特有的字段
"signal_str" : "Segmentation fault" , // 运行错误特有的字段
"status" : 4 ,
"time" : 0 ,
"extra" : null ,
}
] ,
"extra" : null ,
"memory" : 1848 ,
"result" : "runtime error" ,
"status" : 4 ,
"time" : 0
}
// 非法系统调用
{
"compiler" : "" ,
"detail" : [
{
"exitcode" : 0 ,
"memory" : 1756 ,
"result" : "syscall not allowed" ,
"signal" : 31 ,
"signal_str" : "Bad system call" ,
"status" : 8 ,
"time" : 0 ,
"extra" : null ,
}
] ,
"extra" : null ,
"memory" : 1756 ,
"result" : "syscall not allowed" ,
"status" : 8 ,
"time" : 0
}
spj 编译逻辑与用户程序的编译逻辑相同，但没有基础资源限制！
路径只使用 spj 中的 code 和 target
只会设置 :path:spj 和 :path:base，因此不能引用其他的路径值
但自定义字段不受影响，可随意引用，如默认配置文件引用了 $spj 和 $pid
编译的结果输出在 STDOUT，如果编译成功，返回值为 0，否则返回值为 1
{
"debug" : true ,
"lang" : "c++" ,
// :spj 可引用自定义值
"pid" : 9003 ,
// 可选，覆盖默认设置 :spj:code
"code" : null ,
// 可选，覆盖默认设置 :spj:target
"target" : null
} {
"compiler" : "" ,
"success" : true ,
"target" : "/mnt/data/judge/9003"
} 如果是 compare，将在用户程序执行结束后运行，参数为
< = /dev/null
argv[1] = 输入，该组数据的 stdin
argv[2] = 输入，该组数据的 stdout
argv[3] = 输入，用户程序输出的 execout
argv[4] = 输入，如果用户程序写了文件，存放用户程序写入的文件的文件夹
> = 输出，写入结果 json 的 detail[i]:extra
如果是 interactive，将稍早于用户程序运行，参数为
< = 用户程序的 stdout
argv[1] = 输入，该组数据的 stdin
argv[2] = 输入，该组数据的 stdout
argv[3] = 输出，写入结果 json 的 detail[i]:extra
argv[4] = 输入，如果用户程序写了文件，存放用户程序写入的文件的文件夹
> = 用户程序的 stdin
返回值表示对用户程序的评测结果， 0 = AC, 1 = PE, 2 = WA, 其他 = SW