the kernel of a online-judge system