Merge branch 'master' into master

This commit is contained in:
Andrej
2025-11-04 16:35:02 -08:00
committed by GitHub
11 changed files with 45 additions and 36 deletions
+3 -1
View File
@@ -71,8 +71,10 @@ def download_file_with_lock(url, filename, postprocess_fn=None):
return file_path
with FileLock(lock_path):
# Only a single rank can acquire this lock
# All other ranks block until it is released
# Recheck after acquiring lock (another process may have downloaded it)
# Recheck after acquiring lock
if os.path.exists(file_path):
return file_path