[RUNTIME] Filter out paths that don't exist in json group cache (#2511)

There's no guarantee that `/tmp/triton/*/*.json` existing means
that the corresponding `/tmp/triton/*/*.cubin` file also exists because the tmp directory doesn't guarantee file stability.
This commit is contained in:
Horace He
2023-10-18 13:44:34 -07:00
committed by GitHub
parent a980ec50f1
commit a4f373938c

View File

@@ -93,9 +93,8 @@ class FileCacheManager(CacheManager):
result = {}
for c in child_paths:
p = self._make_path(c)
if not os.path.exists(p):
raise Exception(f"Group file {p} does not exist from group {grp_filename} ")
result[c] = p
if os.path.exists(p):
result[c] = p
return result
# Note a group of pushed files as being part of a group