C++: move shared RW locking defs into own file

Part of refactoring sharedres.cpp.

3 files changed, 4 insertions, 0 deletions

diff --git a/native/src/blocking/rw-phase-fair.cpp b/native/src/blocking/rw-phase-fair.cpp
index 65b85b4..d7705d7 100644
--- a/native/src/blocking/rw-phase-fair.cpp
+++ b/native/src/blocking/rw-phase-fair.cpp
@@ -1,5 +1,6 @@
 #include "sharedres.h"
 #include "blocking.h"
+#include "rw-blocking.h"
 
 #include "stl-helper.h"
 
diff --git a/native/src/blocking/rw-task-fair.cpp b/native/src/blocking/rw-task-fair.cpp
index ea0b102..bb27c14 100644
--- a/native/src/blocking/rw-task-fair.cpp
+++ b/native/src/blocking/rw-task-fair.cpp
@@ -1,5 +1,6 @@
 #include "sharedres.h"
 #include "blocking.h"
+#include "rw-blocking.h"
 
 #include "stl-helper.h"
 
diff --git a/native/src/sharedres.cpp b/native/src/sharedres.cpp
index 00d7932..a91bfdf 100644
--- a/native/src/sharedres.cpp
+++ b/native/src/sharedres.cpp
@@ -428,6 +428,8 @@ Interference np_fifo_per_resource(
                                           &tsk);
 }
 
+#include "rw-blocking.h"
+
 void merge_rw_requests(const TaskInfo &tsk, RWCounts &counts)
 {
         foreach(tsk.get_requests(), req)