Support more than 100 workers

ioi · Jun 25, 2021 · b88fb86 · b88fb86
1 parent 24dd787
commit b88fb86
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/cms/grading/Sandbox.py b/cms/grading/Sandbox.py
@@ -865,8 +865,14 @@ def __init__(self, file_cacher, name=None, temp_dir=None):
         # sequentially, with a wrap-around.
         # FIXME This is the only use of FileCacher.service, and it's an
         # improper use! Avoid it!
+
+        # IOI 2021 Hack for more than 100 workers:
+        # shard 0 = 10 - 19
+        # shard 98 = 990 - 999
+        # shard 99 = shard 0
+
         if file_cacher is not None and file_cacher.service is not None:
-            box_id = ((file_cacher.service.shard + 1) * 10
+            box_id = (((file_cacher.service.shard % 99) + 1) * 10
                       + (IsolateSandbox.next_id % 10)) % 1000
         else:
             box_id = IsolateSandbox.next_id % 10