Add unique IDs to TaskInfo

The LP code generates variable IDs based on task identity.
It's convenient to keep track of this explicitly.

1 files changed, 8 insertions, 4 deletions

diff --git a/native/include/sharedres_types.h b/native/include/sharedres_types.h
index fe190c6..898434c 100644
--- a/native/include/sharedres_types.h
+++ b/native/include/sharedres_types.h
@@ -63,18 +63,20 @@ private:
         unsigned long period;
         unsigned long response;
         unsigned int  cluster;
-
+        unsigned int  id;
         Requests requests;
 
 public:
         TaskInfo(unsigned long _period,
                  unsigned long _response,
                  unsigned int _cluster,
-                 unsigned int _priority)
+                 unsigned int _priority,
+                 int _id)
                 : priority(_priority),
                   period(_period),
                   response(_response),
-                  cluster(_cluster)
+                  cluster(_cluster),
+                  id(_id)
         {}
 
         void add_request(unsigned int res_id,
@@ -90,6 +92,7 @@ public:
                 return requests;
         }
 
+        unsigned int get_id() const { return id; }
         unsigned int  get_priority() const { return priority; }
         unsigned long get_period() const { return period; }
         unsigned long get_response() const { return response; }
@@ -144,7 +147,8 @@ public:
         {
                 // Avoid re-allocation!
                 assert(tasks.size() < tasks.capacity());
-                tasks.push_back(TaskInfo(period, response, cluster, priority));
+                int id = tasks.size();
+                tasks.push_back(TaskInfo(period, response, cluster, priority, id));
         }
 
         void add_request(unsigned int resource_id,