From f98917621d4fe76f7879a34d7d1e7d2161baf89b Mon Sep 17 00:00:00 2001
From: Florian Schmaus <flow@cs.fau.de>
Date: Sun, 13 Feb 2022 10:08:45 +0100
Subject: [PATCH] [Runtime] Make getDefaultWorkerCount() public
---
emper/Runtime.hpp | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/emper/Runtime.hpp b/emper/Runtime.hpp
index e5dbe630..87ec2bf9 100644
--- a/emper/Runtime.hpp
+++ b/emper/Runtime.hpp
@@ -117,8 +117,6 @@ class Runtime : public Logger<LogSubsystem::RUNTI> {
static void printLastRuntimeStats(std::ostream& out = std::cout);
- static auto getDefaultWorkerCount() -> workerid_t;
-
static auto shouldPinWorkers() -> bool;
static auto getDefaultPinningOffset() -> workerid_t;
@@ -248,6 +246,8 @@ class Runtime : public Logger<LogSubsystem::RUNTI> {
void executeAndWait(std::function<void()> f);
+ static auto getDefaultWorkerCount() -> workerid_t;
+
friend class AbstractWorkStealingScheduler;
friend class WsDispatcher;
friend class LawsDispatcher;
--
GitLab