X-Git-Url: http://mj.ucw.cz/gitweb/?a=blobdiff_plain;f=TODO;h=f1d71b139c163ebe4f19bed02f777f52b35d95f7;hb=fdbe00e033228b9dfea601c58b9113144f564233;hp=db242924018222523bbe7130ef33502eae17a515;hpb=2cee257dc401fa6a70208b5d71e4ea742b19c48a;p=eval.git

diff --git a/TODO b/TODO
index db24292..f1d71b1 100644
--- a/TODO
+++ b/TODO
@@ -1,13 +1,8 @@
-New directory layout
-~~~~~~~~~~~~~~~~~~~~
-The scripts in mop/admin/ need debugging
-
 Evaluator
 ~~~~~~~~~
 interactive tasks: solve deadlocks?
 interactive tasks: logging of messages
 terminology: problem -> task ?
-box: memory usage statistics (need to search for VMPeak in /proc/$PID/status, but it disappears too early)
 
 Judges
 ~~~~~~
@@ -25,14 +20,22 @@ New submitter:
 - contest: task status cache
 
 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
+- scores dependent on time (like PL olympiad)
 
 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
+~~~~~~~
+Test: ptrace self
+Test: SIGSTOP
+Test: ping-pong timing attacks
+Test: big static memory
+Examine the use of taskstats for measuring memory
+Switch license to GPL2/GPL3
+Options for specifying real-time scheduling
+Setting of general cgroup attributes, like CPU pinning