From 0090e7f6e8e21ecb37232c22725d0a3365f57a47 Mon Sep 17 00:00:00 2001
From: rubenasplund <ruben.asplund@hotmail.com>
Date: Thu, 14 Jan 2021 19:51:31 +0100
Subject: [PATCH] Minor change to blocking function
---
srp_analysis/src/analysis.rs | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/srp_analysis/src/analysis.rs b/srp_analysis/src/analysis.rs
index 9c1a634..548ce5d 100644
--- a/srp_analysis/src/analysis.rs
+++ b/srp_analysis/src/analysis.rs
@@ -108,7 +108,7 @@ pub fn blocking(task: &Task, tasks: &Tasks) -> u32 {
if ip.contains_key(r) {
let prio_ceiling = &ip[r];
// Is the resource prio ceiling higher than task prio OR task is using the resource
- if (prio_ceiling > &task.prio) || tr[&task.id].contains(r) {
+ if (prio_ceiling >= &task.prio) || tr[&task.id].contains(r) {
blocking_resources.insert(r);
}
--
GitLab