X-Git-Url: http://mj.ucw.cz/gitweb/?a=blobdiff_plain;f=TODO;h=6655fd21004447fcf6dd6fb2b8d82c19dad3cf9a;hb=cb57be02c9d15064992acd7ff4f87e9dd1487240;hp=8f207f6347408ebfc500e10f01f18285e3efd69b;hpb=4e02effbbcaaa4c3082d23741e8b4c703b29985b;p=eval.git

diff --git a/TODO b/TODO
index 8f207f6..6655fd2 100644
--- a/TODO
+++ b/TODO
@@ -1,20 +1,15 @@
 New directory layout
 ~~~~~~~~~~~~~~~~~~~~
-mop/ and public/ are broken
+The scripts in mop/admin/ need debugging
 
 Evaluator
 ~~~~~~~~~
-score: better formatting of the score table
 interactive tasks: solve deadlocks?
 interactive tasks: logging of messages
 terminology: problem -> task ?
-writing of verdicts to stdout (include timing and check on interactive tasks, including judge errors)
-box: memory usage statistics (need to search for VMPeak in /proc/$PID/status, but it disappears too early)
-remove scanning of users by UID
 
 Judges
 ~~~~~~
-clean up exit codes
 test cases for judge-shuff
 
 Environment
@@ -30,15 +25,23 @@ New submitter:
 
 Various ideas:
 scores dependent on time (like PL olympiad)
-box: configurable access to timers and /proc/self/{stat,fd}
 box: limit the total amount of data written to files, so that quotas don't have to be set up
 
 TomGav
 ~~~~~~
-
 recursive try-ln for dir input
 clean and well-defined expansion (beware of per-test re-expansion)
-machine-readable log file and/or metadata output from the sandbox
 configurable names of in/out files (independent of $PROBLEM)
 paranoidly check file mode/owner before running the sandbox
 
+Isolate
+~~~~~~~
+Make the list of bind-mounts configurable (some of them even read-only)
+Virtual /dev
+Installation
+Test: ptrace self
+Test: SIGSTOP
+Test: ping-pong timing attacks
+Test: big static memory
+Examine the use of taskstats for measuring memory
+Doc: mount -t cgroup none -o cpuset,cpuacct,memory /sys/fs/cgroup