diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2012-05-16 13:10:50 -0400 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2012-05-17 09:29:05 -0400 |
| commit | 7cd7212e7273c9c137e4bb1825d2b9f3842c882d (patch) | |
| tree | e73b650eaed2868b12cb9c7c2150456e989d7a01 /native/src/sharedres.cpp | |
| parent | 5cb503377c18b1c099c5b1a5375ece53fe25258e (diff) | |
C++: move shared RW locking defs into own file
Part of refactoring sharedres.cpp.
Diffstat (limited to 'native/src/sharedres.cpp')
| -rw-r--r-- | native/src/sharedres.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
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( | |||
| 428 | &tsk); | 428 | &tsk); |
| 429 | } | 429 | } |
| 430 | 430 | ||
| 431 | #include "rw-blocking.h" | ||
| 432 | |||
| 431 | void merge_rw_requests(const TaskInfo &tsk, RWCounts &counts) | 433 | void merge_rw_requests(const TaskInfo &tsk, RWCounts &counts) |
| 432 | { | 434 | { |
| 433 | foreach(tsk.get_requests(), req) | 435 | foreach(tsk.get_requests(), req) |