feat: introduce JobSpec.id property

This is intended to uniquely disambiguate a job. It is exposed as a
property so it can be easily changed throughout all the new async
scheduler and runtime backend internals in a single place if it needs to
change in the future (e.g. if the `full_name` no longer becomes enough
to uniquely disambiguate a job, and a tuple of more information is
needed).

Signed-off-by: Alex Jones <alex.jones@lowrisc.org>

Author: AlexJones0

src/dvsim/job/data.py

@@ -117,6 +117,12 @@ class JobSpec(BaseModel):
     fail_patterns: Sequence[str]
     """regex patterns to match on to determine if the job has failed."""
 
+    @property
+    def id(self) -> str:
+        """Returns a string that uniquely identifies this job."""
+        # The full name disambiguates jobs, so `id` is just an alias here.
+        return self.full_name
+
     @property
     def timeout_secs(self) -> int | None:
         """Returns the timeout applied to the launched job, in seconds."""