kelab/code-runner

一个判题沙箱；可根据判题数据，判定用户程序的运行结果以及获取用户程序运行时间和内存消耗、可隔离程序网络。

code-runner

一个运行用户程序的工具。

根据判题数据，判定用户程序的运行结果以及获取用户程序运行时间和内存消耗。

判题结果会以 JSON 格式输出到标准输出中。

{
  "status": 0,
  "cpu_time_used": 2,
  "cpu_time_used_us": 1870,
  "real_time_used": 15,
  "real_time_used_us": 14849,
  "memory_used": 1516,
  "error_code": 0,
  "signal_code": 0,
  "exit_code": 0
}

文档

查看文档：https://code-runner.kelab.dev

致谢

项目中使用到的开源库链接：

• rxi/log.c

参考、使用、改写了以下项目的部分代码：

• ioi/isolate
• 1510460325/judge-runner
• dojiong/Lo-runner
• QingdaoU/Judger

感谢上述提到的所有仓库以及开发人员。

code-runner's Issues

exit failure when diff error

when user_out_file is not a valid file, the check stage will alert error, but exit code always zero，

2021-02-27 22:38:39 DEBUG src/run.c:187: child process exit normal
2021-02-27 22:38:39 ERROR src/diff.c:31: lseek userout_len failure: Bad file descriptor
2021-02-27 22:38:39 INFO  src/judge.c:78: {
  "status": 8,
  "cpu_time_used": 3,
  "cpu_time_used_us": 3368,
  "real_time_used": 6,
  "real_time_used_us": 5840,
  "memory_used": 14628,
  "signal": 0,
  "exit_code": 0
}

Makefile 增加 DEBUG 选项

-g

当没有 设置输入输出的时候 结果应该为 PENDING

kill child process when exceed real_time_limit

• add real_time_limit

完善共享库的使用方法

libjudge.so 如何使用

from ctypes import *

handle = cdll.LoadLibrary("./libjudge.so")
func = handle.main

func.restype = c_int
func.argtypes = c_int, POINTER(c_char_p)
# b"./test", b"1000", b"2048", b"1.in", b"1.out", b"1.tmp.out", b"1.log"
args = (c_char_p * 10)(
    b"judge",
    b"judge",
    b"./main",
    b"1000",
    b"2048",
    b"./tests/1/1.in",
    b"./tests/1/1.out",
    b"1.tmp.out",
    b"-l",
    b"1.log",
)
tmp = func(len(args), args)
print(tmp)

实现安全检查

1. lorun trace
   https://github.com/dojiong/Lo-runner/#trace
2. judger seccomp
   https://github.com/QingdaoU/Judger

获取真实执行时间和CPU执行时间

parse cli arguments

add config memory_limit_check_only

see: QingdaoU/Judger#43

记录 s_time + utime

ref: https://www.jianshu.com/p/de712c2c6c2a