Melissa Jost has uploaded this change for review. ( https://gem5-review.googlesource.com/c/public/gem5/+/71858?usp=email )

Change subject: resources: Catch ConnectionResourceError in downloading resources
......................................................................

resources: Catch ConnectionResourceError in downloading resources

This handles an error we see within GitHub Actions that
occassionally occurs when downloading resources.  We retry in the
same way we do when handling HTTPErrors.

Change-Id: I4dce5d607ccc41ad53b51e39082c486e644d815c
---
M src/python/gem5/resources/downloader.py
1 file changed, 16 insertions(+), 0 deletions(-)



diff --git a/src/python/gem5/resources/downloader.py b/src/python/gem5/resources/downloader.py
index bb5ca84..d606f34 100644
--- a/src/python/gem5/resources/downloader.py
+++ b/src/python/gem5/resources/downloader.py
@@ -139,6 +139,22 @@
                 time.sleep((2**attempt) + random.uniform(0, 1))
             else:
                 raise e
+        except ConnectionResetError as e:
+ # This catches the ConnectionResetError we see occassionally see + # when accessing resources on GitHub Actions. It retries using a
+            # Truncated Exponential backoff algorithm, truncating after
+            # "max_attempts". If any other is retrieved we raise the error.
+            if e.errno == 104:
+                attempt += 1
+                if attempt >= max_attempts:
+                    raise Exception(
+ f"After {attempt} attempts, the resource json could "
+                        "not be retrieved. OS Error Code retrieved: "
+                        f"{e.errno}"
+                    )
+                time.sleep((2**attempt) + random.uniform(0, 1))
+            else:
+                raise e
         except ValueError as e:
             raise Exception(
                 "Environment variable GEM5_USE_PROXY is set to "

--
To view, visit https://gem5-review.googlesource.com/c/public/gem5/+/71858?usp=email To unsubscribe, or for help writing mail filters, visit https://gem5-review.googlesource.com/settings?usp=email

Gerrit-MessageType: newchange
Gerrit-Project: public/gem5
Gerrit-Branch: develop
Gerrit-Change-Id: I4dce5d607ccc41ad53b51e39082c486e644d815c
Gerrit-Change-Number: 71858
Gerrit-PatchSet: 1
Gerrit-Owner: Melissa Jost <melissakj...@gmail.com>
_______________________________________________
gem5-dev mailing list -- gem5-dev@gem5.org
To unsubscribe send an email to gem5-dev-le...@gem5.org

Reply via email to