Changeset e2f31d3 for ThirdParty/JobMarket/src/JobMarket/Pool/WorkerPool.hpp

Timestamp:

Aug 11, 2025, 5:45:18 PM (3 months ago)

Author:

Frederik Heber <frederik.heber@…>

Branches:

Candidate_v1.7.0, stable

Children:

aeec58

Parents:

2c3ae5

git-author:

Frederik Heber <frederik.heber@…> (07/13/25 21:53:12)

git-committer:

Frederik Heber <frederik.heber@…> (08/11/25 17:45:18)

Message:

JobMarket: PoolGuard checks also all other (idle) workers.

File:

• ThirdParty/JobMarket/src/JobMarket/Pool/WorkerPool.hpp (modified) (2 diffs)

ThirdParty/JobMarket/src/JobMarket/Pool/WorkerPool.hpp

@@ -69 +69 @@
   typedef std::vector<std::pair<std::string, std::string> > WorkerList_t;
   WorkerList_t getListOfIdleWorkers() const;
+  //!> typedef for the pool of workers being a set to keep only unique addresses
+  typedef std::set<WorkerAddress> Pool_t;
+  const Pool_t& getPoolOfWorkers() const 
+  {
+    return pool;
+  }
 
   /** Return the number of busy workers.
@@ -121 +127 @@
 
 private:
-  //!> typedef for the pool of workers being a set to keep only unique addresses
-  typedef std::set<WorkerAddress> Pool_t;
-
-private:
   //!> FragmentScheduler needs access to removeAllWorkers()
   friend class FragmentScheduler;