From 0b2cdf3ce67d998a83cae18cb77713030ce68797 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 15min 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..267f9e9c 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 15min.""" + return ['time', 'mq.sh', 'sem', '-wait', machine, '-k', job_key(), '-T', '900'] def mq_release(machine: str) -> List[str]: