Fix types for compilation on 32 bit machines

Author: cmnrd

include/reactor-cpp/scheduler.hh

@@ -65,11 +65,11 @@ private:
   std::atomic<std::ptrdiff_t> size_{0};
   Semaphore sem_{0};
   std::ptrdiff_t waiting_workers_{0};
-  const unsigned int num_workers_;
+  const std::ptrdiff_t num_workers_;
   log::NamedLogger& log_;
 
 public:
-  explicit ReadyQueue(log::NamedLogger& log, unsigned num_workers)
+  explicit ReadyQueue(log::NamedLogger& log, std::ptrdiff_t num_workers)
       : num_workers_(num_workers)
       , log_(log) {}
 

lib/scheduler.cc

@@ -137,7 +137,7 @@ void ReadyQueue::fill_up(std::vector<Reaction*>& ready_reactions) {
   // one worker running running, new_size - running_workers indicates the
   // number of additional workers needed to process all reactions.
   waiting_workers_ += -old_size;
-  auto running_workers = num_workers_ - waiting_workers_;
+  std::ptrdiff_t running_workers{num_workers_ - waiting_workers_};
   auto workers_to_wakeup = std::min(waiting_workers_, new_size - running_workers);
 
   // wakeup other workers_