From cfce4c387251c07cfda8a9a42399651d7a671247 Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Tue, 27 Feb 2024 13:45:31 +0100 Subject: [PATCH] builds.py: let mq lock be reclaimed after 30min A typical job takes about 5-10 min. If the lock has been held for 30 min in a single job, we assume something has gone wrong and the lock should be released so other jobs (or humans needing the machine) can proceed. Signed-off-by: Gerwin Klein --- seL4-platforms/builds.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/seL4-platforms/builds.py b/seL4-platforms/builds.py index 97e8164e..b98fcf0b 100644 --- a/seL4-platforms/builds.py +++ b/seL4-platforms/builds.py @@ -451,8 +451,8 @@ def mq_run(success_str: str, def mq_lock(machine: str) -> List[str]: - """Get lock for a machine.""" - return ['time', 'mq.sh', 'sem', '-wait', machine, '-k', job_key()] + """Get lock for a machine. Allow lock to be reclaimed after 30min.""" + return ['time', 'mq.sh', 'sem', '-wait', machine, '-k', job_key(), '-T', '1200'] def mq_release(machine: str) -> List[str]: