Allow for different timelimits per problem type

Currently interactive problems need more time due to the pipeline
handling. Other problemtypes shouldn't have such requirements but if
someone has a slower interactor or compare script for some types this
can be helpful.

So we both do this to not have `interactive` as special case and to
provide people with the option due to unforseen setups.

Author: vmcj

etc/db-config.yaml

@@ -101,8 +101,10 @@
             regex: /^[1-9]\d*$/
             error_message: A positive number is required.
         -   name: timelimit_overshoot
-            type: string
-            default_value: 1s|10%
+            type: array_keyval
+            default_value:
+              default: "1s|10%"
+              interactive: "2s+20%"
             public: false
             description: Time that submissions are kept running beyond timelimit before being killed. Specify as `Xs` for X seconds, `Y%` as percentage, or a combination of both separated by one of `+|&` for the sum, maximum, or minimum of both.
             regex: /^\d+[s%]([+|&]\d+[s%])?$/

judge/judgedaemon.main.php

@@ -1359,9 +1359,6 @@ function judge(array $judgeTask): bool
         return false;
     }
 
-    // TODO: How do we plan to handle these?
-    $overshoot = djconfig_get_value('timelimit_overshoot');
-
     // Check whether we have received an exit signal (but not a graceful exit signal).
     if (function_exists('pcntl_signal_dispatch')) {
         pcntl_signal_dispatch();
@@ -1417,9 +1414,7 @@ function judge(array $judgeTask): bool
         }
     }
 
-    $hardtimelimit = $run_config['time_limit']
-        +  overshoot_time($run_config['time_limit'], $overshoot)
-        + $run_config['overshoot'];
+    $hardtimelimit = $run_config['time_limit'] + $run_config['overshoot'];
     if ($combined_run_compare) {
         // This accounts for wall time spent in the validator. We may likely
         // want to make this configurable in the future. The current factor is

webapp/composer.json

@@ -131,7 +131,8 @@
 			"App\\": "src/"
 		},
 		"files": [
-			"resources/functions.php"
+			"resources/functions.php",
+			"../lib/lib.misc.php"
 		]
 	},
 	"autoload-dev": {

webapp/src/Entity/Problem.php

@@ -112,14 +112,21 @@ class Problem extends BaseApiEntity implements
      * @var array<int, string>
      */
     #[Serializer\Exclude]
-    private array $typesToString = [
+    private static array $typesToString = [
         self::TYPE_PASS_FAIL => 'pass-fail',
         self::TYPE_SCORING => 'scoring',
         self::TYPE_MULTI_PASS => 'multi-pass',
         self::TYPE_INTERACTIVE => 'interactive',
         self::TYPE_SUBMIT_ANSWER => 'submit-answer',
     ];
 
+    /**
+     * @return list<int, string>
+     */
+    {
+        return self::$typesToString;
+    }
+
     #[ORM\Column(options: ['comment' => 'Bitmask of problem types, default is pass-fail.'])]
     #[Serializer\Exclude]
     private int $types = self::TYPE_PASS_FAIL;
@@ -302,7 +309,7 @@ public function getSpecialCompareArgs(): ?string
     public function setTypesAsString(array $types): Problem
     {
         /** @var array<string, int> $stringToTypes */
-        $stringToTypes = array_flip($this->typesToString);
+        $stringToTypes = array_flip(self::$typesToString);
         $typeConstants = [];
         foreach ($types as $type) {
             if (!isset($stringToTypes[$type])) {
@@ -320,10 +327,10 @@ public function getTypesAsString(): string
         $typeConstants = $this->getTypes();
         $typeStrings = [];
         foreach ($typeConstants as $type) {
-            if (!isset($this->typesToString[$type])) {
+            if (!isset(self::$typesToString[$type])) {
                 throw new Exception("Unknown problem type: '$type'");
             }
-            $typeStrings[] = $this->typesToString[$type];
+            $typeStrings[] = self::$typesToString[$type];
         }
         return implode(', ', $typeStrings);
     }
@@ -334,7 +341,7 @@ public function getTypesAsString(): string
     public function getTypes(): array
     {
         $ret = [];
-        foreach (array_keys($this->typesToString) as $type) {
+        foreach (array_keys(self::$typesToString) as $type) {
             if ($this->types & $type) {
                 $ret[] = $type;
             }

webapp/src/Service/ConfigurationService.php

@@ -7,6 +7,7 @@
 use App\Entity\Configuration;
 use App\Entity\Executable;
 use App\Entity\Judging;
+use App\Entity\Problem;
 use App\Utils\Utils;
 use BackedEnum;
 use Doctrine\ORM\EntityManagerInterface;
@@ -215,7 +216,13 @@ public function saveChanges(
             }
 
             if (isset($spec->regex)) {
-                if (preg_match($spec->regex, (string)$val) === 0) {
+                if ($spec->type === 'array_keyval') {
+                    foreach($val as $val2) {
+                        if (preg_match($spec->regex, (string)$val2) === 0) {
+                            $errors[$specName] = $spec->errorMessage ?? 'This is not a valid value';
+                        }
+                    }
+                } elseif (preg_match($spec->regex, (string)$val) === 0) {
                     $errors[$specName] = $spec->errorMessage ?? 'This is not a valid value';
                 }
             }
@@ -380,6 +387,12 @@ public function addOptions(ConfigurationSpecification $item): ConfigurationSpeci
                 if ($item->name === 'results_remap') {
                     $item->valueOptions = $item->keyOptions;
                 }
+                break;
+            case 'timelimit_overshoot':
+                $problemTypes = array_merge(['default'], Problem::getPossibleProblemTypes());
+                foreach (array_values($problemTypes) as $type) {
+                    $item->keyOptions[$type] = $type;
+                }
         }
 
         if ($item->type === 'enum') {

webapp/src/Service/DOMJudgeService.php

@@ -1419,26 +1419,37 @@ public function loadTeam(string $teamId, Contest $contest): Team
         return $team;
     }
 
-    public function getRunConfig(ContestProblem $problem, Submission $submission, int $overshoot = 0): string
+    public function getRunConfig(ContestProblem $contestProblem, Submission $submission, int $overshoot_extra = 0): string
     {
-        $memoryLimit = $problem->getProblem()->getMemlimit();
-        $outputLimit = $problem->getProblem()->getOutputlimit();
+        $problem = $contestProblem->getProblem();
+        $memoryLimit = $problem->getMemlimit();
+        $outputLimit = $problem->getOutputlimit();
+        $overshootPerType = $this->config->get('timelimit_overshoot');
+        $overshoot = overshoot_time($problem->getTimeLimit(), $overshootPerType['default'] ?? "0s");
+        foreach ($problem->getTypes() as $problemTypeID) {
+            $problemType = $problem::getPossibleProblemTypes()[$problemTypeID];
+            $problemTypeOvershoot = $overshootPerType[$problemType] ?? false;
+            if (!$problemTypeOvershoot) {
+                continue;
+            }
+            $overshoot = max($overshoot, overshoot_time($problem->getTimelimit(), $problemTypeOvershoot));
+        }
         if (empty($memoryLimit)) {
             $memoryLimit = $this->config->get('memory_limit');
         }
         if (empty($outputLimit)) {
             $outputLimit = $this->config->get('output_limit');
         }
-        $runExecutable = $this->getImmutableRunExecutable($problem);
+        $runExecutable = $this->getImmutableRunExecutable($contestProblem);
 
         return Utils::jsonEncode(
             [
-                'time_limit' => $problem->getProblem()->getTimelimit() * $submission->getLanguage()->getTimeFactor(),
+                'time_limit' => $problem->getTimelimit() * $submission->getLanguage()->getTimeFactor(),
                 'memory_limit' => $memoryLimit,
                 'output_limit' => $outputLimit,
                 'process_limit' => $this->config->get('process_limit'),
                 'entry_point' => $submission->getEntryPoint(),
-                'pass_limit' => $problem->getProblem()->getMultipassLimit(),
+                'pass_limit' => $problem->getMultipassLimit(),
                 'hash' => $runExecutable->getHash(),
                 'overshoot' => $overshoot,
             ]