]> mj.ucw.cz Git - moe.git/log
moe.git
12 years agoMakefile: Be quiet by default
Martin Mares [Mon, 24 Sep 2012 13:16:49 +0000 (15:16 +0200)]
Makefile: Be quiet by default

12 years agoPreparing for release 2.0
Martin Mares [Mon, 24 Sep 2012 13:12:27 +0000 (15:12 +0200)]
Preparing for release 2.0

12 years agoDoc: mo-eval.css is long gone
Martin Mares [Mon, 24 Sep 2012 13:11:46 +0000 (15:11 +0200)]
Doc: mo-eval.css is long gone

12 years agoMaint: Release machinery updated from the most recent pciutils
Martin Mares [Mon, 24 Sep 2012 13:05:18 +0000 (15:05 +0200)]
Maint: Release machinery updated from the most recent pciutils

12 years agoFinish rename of MO-Eval to Moe
Martin Mares [Mon, 24 Sep 2012 12:42:12 +0000 (14:42 +0200)]
Finish rename of MO-Eval to Moe

12 years agoMerge branch 'container'
Martin Mares [Mon, 24 Sep 2012 11:30:43 +0000 (13:30 +0200)]
Merge branch 'container'

12 years agoBox: Re-open /proc/$PID/mem on exec
Martin Mares [Sun, 29 Jul 2012 21:53:56 +0000 (23:53 +0200)]
Box: Re-open /proc/$PID/mem on exec

This is necessary on recent kernels, because the fd is associated
with a mm_struct, which changes upon exec().

12 years agoIsolate: Added support for setting disk quotas
Martin Mares [Sun, 22 Apr 2012 21:10:47 +0000 (23:10 +0200)]
Isolate: Added support for setting disk quotas

12 years agoDoc: Fixed URL of the Git repository
Martin Mares [Sun, 22 Apr 2012 17:16:39 +0000 (19:16 +0200)]
Doc: Fixed URL of the Git repository

12 years agoIsolate: More documentation
Martin Mares [Sun, 22 Apr 2012 16:56:49 +0000 (18:56 +0200)]
Isolate: More documentation

12 years agoBits of infrastructure for building documentation with AsciiDoc
Martin Mares [Sat, 21 Apr 2012 21:03:13 +0000 (23:03 +0200)]
Bits of infrastructure for building documentation with AsciiDoc

I had to hack around the doc rules in the UCW build system.
This needs cleanup one day.

12 years agoIsolate: Let "--cleanup" remove the whole box directory
Martin Mares [Sat, 21 Apr 2012 20:59:52 +0000 (22:59 +0200)]
Isolate: Let "--cleanup" remove the whole box directory

12 years agoIsolate: Fix up some bugs
Martin Mares [Sat, 21 Apr 2012 20:50:01 +0000 (22:50 +0200)]
Isolate: Fix up some bugs

12 years agoIsolate: Support for multiple sandboxes
Martin Mares [Sat, 21 Apr 2012 20:24:54 +0000 (22:24 +0200)]
Isolate: Support for multiple sandboxes

12 years agoIsolate: First attempts at documentation
Martin Mares [Sat, 21 Apr 2012 18:12:20 +0000 (20:12 +0200)]
Isolate: First attempts at documentation

12 years agoIsolate: Fix processing of mount options
Martin Mares [Sat, 21 Apr 2012 15:10:06 +0000 (17:10 +0200)]
Isolate: Fix processing of mount options

12 years agoIsolate: Directory rules can have flags
Martin Mares [Sat, 21 Apr 2012 14:46:00 +0000 (16:46 +0200)]
Isolate: Directory rules can have flags

12 years agoIsolate: Fix creation of directories
Martin Mares [Sat, 21 Apr 2012 14:02:08 +0000 (16:02 +0200)]
Isolate: Fix creation of directories

12 years agoIsolate: Updating TODO
Martin Mares [Sat, 21 Apr 2012 13:52:59 +0000 (15:52 +0200)]
Isolate: Updating TODO

12 years agoIsolate: Introduce directory rules
Martin Mares [Sat, 21 Apr 2012 13:51:13 +0000 (15:51 +0200)]
Isolate: Introduce directory rules

12 years agoIsolate: Polished help text
Martin Mares [Sat, 21 Apr 2012 10:57:21 +0000 (12:57 +0200)]
Isolate: Polished help text

12 years agoIsolate: Put /lib64 to the box
Martin Mares [Sat, 21 Apr 2012 10:53:07 +0000 (12:53 +0200)]
Isolate: Put /lib64 to the box

12 years agoIsolate: Fix bug in time measurement without --cg
Martin Mares [Sat, 21 Apr 2012 10:48:11 +0000 (12:48 +0200)]
Isolate: Fix bug in time measurement without --cg

12 years agoIsolate: TODO
Martin Mares [Sun, 1 Apr 2012 13:26:25 +0000 (15:26 +0200)]
Isolate: TODO

12 years agoIsolate: Initial comment
Martin Mares [Sun, 1 Apr 2012 13:26:03 +0000 (15:26 +0200)]
Isolate: Initial comment

12 years agoIsolate: --version
Martin Mares [Sun, 1 Apr 2012 13:23:16 +0000 (15:23 +0200)]
Isolate: --version

12 years agoIsolate: Cleanups, configuration and TODO
Martin Mares [Sun, 1 Apr 2012 13:20:52 +0000 (15:20 +0200)]
Isolate: Cleanups, configuration and TODO

12 years agoSubmit: More gnutls fixes
Martin Mares [Sun, 1 Apr 2012 13:20:31 +0000 (15:20 +0200)]
Submit: More gnutls fixes

12 years agoConfigure: Newer versions of gnutls use pkg-config
Martin Mares [Sun, 1 Apr 2012 13:17:44 +0000 (15:17 +0200)]
Configure: Newer versions of gnutls use pkg-config

12 years agoIsolate: Box setup split to several functions
Martin Mares [Sun, 1 Apr 2012 13:06:46 +0000 (15:06 +0200)]
Isolate: Box setup split to several functions

12 years agoIsolate: Report internal errors from inside the box
Martin Mares [Sun, 1 Apr 2012 12:57:25 +0000 (14:57 +0200)]
Isolate: Report internal errors from inside the box

12 years agoIsolate: Control groups and multi-process mode
Martin Mares [Sun, 1 Apr 2012 12:34:01 +0000 (14:34 +0200)]
Isolate: Control groups and multi-process mode

12 years agomo-score: Since STDOUT may be a pipe, we need to close it
Martin Mares [Fri, 30 Mar 2012 18:50:27 +0000 (20:50 +0200)]
mo-score: Since STDOUT may be a pipe, we need to close it

12 years agomo-backup: Do not forget to back up submit server
Martin Mares [Fri, 30 Mar 2012 18:50:09 +0000 (20:50 +0200)]
mo-backup: Do not forget to back up submit server

12 years agomo-grab-remote: use rsync --delete
Martin Mares [Fri, 30 Mar 2012 18:49:36 +0000 (20:49 +0200)]
mo-grab-remote: use rsync --delete

Otherwise, when a contestants submits another solution of the
same task in a different language, eval is confused.

12 years agoIsolate: First working version
Martin Mares [Tue, 27 Mar 2012 21:17:24 +0000 (23:17 +0200)]
Isolate: First working version

12 years agoIsolate: First experiments
Martin Mares [Mon, 26 Mar 2012 21:44:14 +0000 (23:44 +0200)]
Isolate: First experiments

12 years agoIsolate: Some bits shamelessly stolen from box.c
Martin Mares [Mon, 26 Mar 2012 17:27:36 +0000 (19:27 +0200)]
Isolate: Some bits shamelessly stolen from box.c

13 years agoBox: Allow /proc/self/maps
Martin Mares [Tue, 26 Jul 2011 07:10:23 +0000 (09:10 +0200)]
Box: Allow /proc/self/maps

14 years agoBox: Allow the arch_prctl syscall on amd64
Martin Mares [Sat, 17 Jul 2010 23:52:00 +0000 (01:52 +0200)]
Box: Allow the arch_prctl syscall on amd64

It is needed by new versions of glibc.

14 years agoDoc: Changed installation target
Martin Mares [Thu, 15 Jul 2010 21:47:17 +0000 (23:47 +0200)]
Doc: Changed installation target

14 years agoDoc: Rewritten the project home page
Martin Mares [Thu, 15 Jul 2010 21:45:56 +0000 (23:45 +0200)]
Doc: Rewritten the project home page

14 years agoBox: Let 32-/64-bit mode be configurable
Martin Mares [Mon, 5 Jul 2010 15:18:11 +0000 (17:18 +0200)]
Box: Let 32-/64-bit mode be configurable

14 years agoBox: Let the 32-bit version refuse to run on 64-bit kernels
Martin Mares [Mon, 5 Jul 2010 15:11:34 +0000 (17:11 +0200)]
Box: Let the 32-bit version refuse to run on 64-bit kernels

14 years agoBox: Support systems with 64-bit kernel and 32-bit user space
Martin Mares [Mon, 5 Jul 2010 15:00:25 +0000 (17:00 +0200)]
Box: Support systems with 64-bit kernel and 32-bit user space

14 years agoBox: Use read_user_mem() where possible
Martin Mares [Sun, 20 Jun 2010 15:51:54 +0000 (17:51 +0200)]
Box: Use read_user_mem() where possible

14 years agoBox: Carefully check that 64-bit syscalls are what they seem to be
Martin Mares [Sun, 20 Jun 2010 15:46:12 +0000 (17:46 +0200)]
Box: Carefully check that 64-bit syscalls are what they seem to be

Having 5 different ways how to do a syscall on amd64 Linux is
a real fun :)

14 years agoBox: Generalize decoding of syscall arguments and implement amd64 version
Martin Mares [Sun, 20 Jun 2010 14:50:48 +0000 (16:50 +0200)]
Box: Generalize decoding of syscall arguments and implement amd64 version

14 years agoBox: Filter out madvise1, which is an alias for madvise with the same ID
Martin Mares [Sun, 20 Jun 2010 14:39:55 +0000 (16:39 +0200)]
Box: Filter out madvise1, which is an alias for madvise with the same ID

14 years agoBox: Introduce 64-bit mode and mask out syscalls which are not available there
Martin Mares [Sun, 20 Jun 2010 14:05:04 +0000 (16:05 +0200)]
Box: Introduce 64-bit mode and mask out syscalls which are not available there

14 years agoBox: Added a toy program testing various kinds of syscalls
Martin Mares [Sun, 20 Jun 2010 00:14:18 +0000 (02:14 +0200)]
Box: Added a toy program testing various kinds of syscalls

14 years agomop: Added utilities for calibration of time limits
Martin Mares [Sat, 27 Mar 2010 20:22:25 +0000 (21:22 +0100)]
mop: Added utilities for calibration of time limits

14 years agomop: mo-score-mop knows how to group test cases
Martin Mares [Sat, 27 Mar 2010 20:18:43 +0000 (21:18 +0100)]
mop: mo-score-mop knows how to group test cases

14 years agomop: mo-score-mop reads everything from the cwd
Martin Mares [Sat, 27 Mar 2010 20:18:32 +0000 (21:18 +0100)]
mop: mo-score-mop reads everything from the cwd

14 years agomop: mo-score uses at least a single space in every column
Martin Mares [Sat, 27 Mar 2010 20:16:36 +0000 (21:16 +0100)]
mop: mo-score uses at least a single space in every column

(otherwise the `column' utility does not count the particular
column)

14 years agomop: mo-score knows how to abbreviate single-word status lines
Martin Mares [Sat, 27 Mar 2010 20:16:11 +0000 (21:16 +0100)]
mop: mo-score knows how to abbreviate single-word status lines

14 years agomop: mo-score has gained a --table option for nice textual tables
Martin Mares [Sat, 27 Mar 2010 20:15:42 +0000 (21:15 +0100)]
mop: mo-score has gained a --table option for nice textual tables

14 years agomop: mo-grab-remote works over the network
Martin Mares [Sat, 27 Mar 2010 20:14:26 +0000 (21:14 +0100)]
mop: mo-grab-remote works over the network

14 years agoEval: Use try-ln where possible
Martin Mares [Fri, 26 Mar 2010 12:21:43 +0000 (13:21 +0100)]
Eval: Use try-ln where possible

14 years agoMO: Fixed compile <source>
Martin Mares [Thu, 25 Mar 2010 18:48:50 +0000 (19:48 +0100)]
MO: Fixed compile <source>

14 years agoMO: Use `cp -aL', so that links are dereferenced properly
Martin Mares [Thu, 25 Mar 2010 10:17:12 +0000 (11:17 +0100)]
MO: Use `cp -aL', so that links are dereferenced properly

14 years agoSubmitd: Increased default # of submits to 100 to match MO-P
Martin Mares [Thu, 25 Mar 2010 09:44:47 +0000 (10:44 +0100)]
Submitd: Increased default # of submits to 100 to match MO-P

14 years agoMO: Limit character set of created passwords
Martin Mares [Thu, 25 Mar 2010 09:22:12 +0000 (10:22 +0100)]
MO: Limit character set of created passwords

14 years agoDocument TEXT_x_COMMENT.
Martin Mares [Sun, 22 Nov 2009 12:12:20 +0000 (13:12 +0100)]
Document TEXT_x_COMMENT.

15 years agoFixed a typo in upload location
Martin Mares [Mon, 10 Aug 2009 09:54:58 +0000 (11:54 +0200)]
Fixed a typo in upload location

15 years agoUpdated at least the most outdated parts of the docs
Martin Mares [Mon, 10 Aug 2009 09:47:14 +0000 (11:47 +0200)]
Updated at least the most outdated parts of the docs

15 years agoEval: Added STACK_LIMIT.
Martin Mares [Fri, 31 Jul 2009 18:57:06 +0000 (20:57 +0200)]
Eval: Added STACK_LIMIT.

15 years agoBox: Do not report all errors as "during startup" if syscalls are not filtered.
Martin Mares [Fri, 31 Jul 2009 18:56:01 +0000 (20:56 +0200)]
Box: Do not report all errors as "during startup" if syscalls are not filtered.

15 years agoBox: Added an option for controlling the stack size limit.
Martin Mares [Fri, 31 Jul 2009 18:50:35 +0000 (20:50 +0200)]
Box: Added an option for controlling the stack size limit.

Beware, the default has been changed to `unlimited' instead of inheriting
the limit from the parent process.

15 years agoHopefully fixed the occasional "UGH" error.
Martin Mares [Wed, 29 Apr 2009 10:22:01 +0000 (12:22 +0200)]
Hopefully fixed the occasional "UGH" error.

When the machine creaks under high load, SIGALRM can arrive during the
final wait4() in box_exit(), causing it to return EINTR. Restart waiting
in such cases.

15 years agoInclude <linux/ptrace.h>, because <sys/ptrace.h> tends to be incomplete
Martin Mares [Wed, 29 Apr 2009 10:19:15 +0000 (12:19 +0200)]
Include <linux/ptrace.h>, because <sys/ptrace.h> tends to be incomplete

15 years agoAdded a description of the meta-files
Martin Mares [Sun, 5 Apr 2009 17:01:20 +0000 (19:01 +0200)]
Added a description of the meta-files

15 years agoBox: Record in the meta-file whether the process has been killed
Martin Mares [Sun, 5 Apr 2009 16:51:40 +0000 (18:51 +0200)]
Box: Record in the meta-file whether the process has been killed

If it was, the time/memory statictics are known to be incomplete.

15 years agoBox: Implemented the `-x' (extra timeout) option
Martin Mares [Sun, 5 Apr 2009 16:48:17 +0000 (18:48 +0200)]
Box: Implemented the `-x' (extra timeout) option

15 years agoSyscall handling reform
Martin Mares [Sun, 5 Apr 2009 16:35:07 +0000 (18:35 +0200)]
Syscall handling reform

The previous code did not work with syscalls that do not return a value -- e.g.,
sysreturn(). In such cases, the kernel reports the exit from the syscall with
orig_eax == -1, which cannot be easily distinguished from a breakpoint.

I have rewritten the syscall checker to use the PTRACE_O_TRACESYSGOOD switch,
which causes the kernel to report syscalls in a slightly different way. Also,
the code now tests whether the syscall number on exit matched the one recorded
on entry (purely as a guard against possible silly bugs in synchronization
of syscall enter/exit reports with the kernel) and it also avoids suppresses
the meaningless return value of the sysreturn-like syscalls.

15 years agoBox: Use SIGSTOP to notify the parent that the child is ready to be traced
Martin Mares [Sat, 28 Mar 2009 16:21:53 +0000 (17:21 +0100)]
Box: Use SIGSTOP to notify the parent that the child is ready to be traced
instead of SIGCHLD. This should be safer.

15 years agoMerge branch 'master' of ssh://git.ucw.cz/home/mj/GIT/eval
Martin Mares [Sat, 28 Mar 2009 16:05:59 +0000 (17:05 +0100)]
Merge branch 'master' of ssh://git.ucw.cz/home/mj/GIT/eval

15 years agoSandbox: call setup_environment() before enabling syscall tracing
Martin Mares [Sat, 28 Mar 2009 16:05:55 +0000 (17:05 +0100)]
Sandbox: call setup_environment() before enabling syscall tracing

15 years agoMOP: New templates for Debian Lenny
Martin Mares [Sat, 28 Mar 2009 13:49:58 +0000 (14:49 +0100)]
MOP: New templates for Debian Lenny

15 years agoMOP: Updated the score table heading.
Martin Mares [Sat, 28 Mar 2009 13:22:38 +0000 (14:22 +0100)]
MOP: Updated the score table heading.

15 years agoAdded Milan's FPC patch (abort on runtime error)
Martin Mares [Sat, 28 Mar 2009 13:20:40 +0000 (14:20 +0100)]
Added Milan's FPC patch (abort on runtime error)

15 years agomo-score-mop: implemented merging of test case groups
Martin Mares [Sat, 28 Mar 2009 13:15:25 +0000 (14:15 +0100)]
mo-score-mop: implemented merging of test case groups

15 years agoInstall libraries with the submitter.
Martin Mares [Sat, 28 Mar 2009 13:10:40 +0000 (14:10 +0100)]
Install libraries with the submitter.

15 years agoMerge branch 'layout' layout
Martin Mares [Sat, 28 Mar 2009 13:08:14 +0000 (14:08 +0100)]
Merge branch 'layout'

15 years agoFixed typesetting of logins.
Martin Mares [Thu, 26 Mar 2009 12:59:05 +0000 (13:59 +0100)]
Fixed typesetting of logins.

15 years agoAdjusted configuration of tempfiles to new libucw.
Martin Mares [Wed, 18 Mar 2009 13:56:19 +0000 (14:56 +0100)]
Adjusted configuration of tempfiles to new libucw.

15 years agoUpdated libucw config from upstream.
Martin Mares [Wed, 18 Mar 2009 13:50:22 +0000 (14:50 +0100)]
Updated libucw config from upstream.

15 years agoNeed to switch directory when reading configuration.
Martin Mares [Wed, 18 Mar 2009 13:42:13 +0000 (14:42 +0100)]
Need to switch directory when reading configuration.

The reason is that cf/mop needs to include cf/eval, but it cannot
use absolute paths, because the config file is read both before and
after installation to $MO_ROOT/.

15 years agoDereference links when installing.
Martin Mares [Wed, 18 Mar 2009 13:42:05 +0000 (14:42 +0100)]
Dereference links when installing.

15 years agoFixed a couple of very confusing bugs in the Makefiles.
Martin Mares [Wed, 18 Mar 2009 13:41:51 +0000 (14:41 +0100)]
Fixed a couple of very confusing bugs in the Makefiles.

15 years agoMore updates of MO-P admin scripts.
Martin Mares [Wed, 18 Mar 2009 13:28:05 +0000 (14:28 +0100)]
More updates of MO-P admin scripts.

15 years agoUpdated MO-P admin scripts to new directory layout.
Martin Mares [Wed, 18 Mar 2009 13:17:28 +0000 (14:17 +0100)]
Updated MO-P admin scripts to new directory layout.

15 years agoSubmit: `make certs' is no longer used.
Martin Mares [Wed, 18 Mar 2009 13:16:38 +0000 (14:16 +0100)]
Submit: `make certs' is no longer used.

However, the certificate templates should be installed to lib/.

15 years agoUpdated create-certs to the new directory layout.
Martin Mares [Wed, 18 Mar 2009 13:16:25 +0000 (14:16 +0100)]
Updated create-certs to the new directory layout.

15 years agoInclude the right libucw config.
Martin Mares [Wed, 18 Mar 2009 13:15:40 +0000 (14:15 +0100)]
Include the right libucw config.

15 years agoUpdated tests after the recent change of judges' messages to stderr.
Martin Mares [Mon, 16 Mar 2009 22:48:39 +0000 (23:48 +0100)]
Updated tests after the recent change of judges' messages to stderr.

15 years agoDisable building of libucw utilities.
Martin Mares [Mon, 16 Mar 2009 22:45:35 +0000 (23:45 +0100)]
Disable building of libucw utilities.

15 years agoAdapted to reflect changes in libucw.
Martin Mares [Mon, 16 Mar 2009 22:43:56 +0000 (23:43 +0100)]
Adapted to reflect changes in libucw.

15 years agoUpdated libucw to current version (Sherlock commit 17f29eb1ab186e9f053299c25f47ce368e...
Martin Mares [Mon, 16 Mar 2009 22:42:52 +0000 (23:42 +0100)]
Updated libucw to current version (Sherlock commit 17f29eb1ab186e9f053299c25f47ce368ee7e1de)

15 years agoDefault Pascal flags no longer enable range and stack checking.
Martin Mares [Sun, 15 Mar 2009 12:31:14 +0000 (13:31 +0100)]
Default Pascal flags no longer enable range and stack checking.