From 745df75e8a9c52e88eebb2dca1d5e641cc176478 Mon Sep 17 00:00:00 2001
From: "Dyer, Pamela (ORISE Fellow)" <pamela.dyer@nps.edu>
Date: Wed, 21 Aug 2024 16:50:29 -0700
Subject: [PATCH] Update It.08_Unsynchronized_iteration_coordination.mp
---
.../It.08_Unsynchronized_iteration_coordination.mp | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/models/Iteration Patterns/It.08_Unsynchronized_iteration_coordination.mp b/models/Iteration Patterns/It.08_Unsynchronized_iteration_coordination.mp
index ce8fef3..6c0d2b1 100644
--- a/models/Iteration Patterns/It.08_Unsynchronized_iteration_coordination.mp
+++ b/models/Iteration Patterns/It.08_Unsynchronized_iteration_coordination.mp
@@ -5,7 +5,8 @@
/* Traces 5 and 6 produced at Scope 2 demonstrate deadlock patterns,
which if present in a real-time system, are a serious problem
that need to be addressed in the architecture design
- (model specification). */
+ (model specification). Certain traces at Scopes 3 and above
+ demonstrate further examples of deadlock patterns as well. */
SCHEMA Unsynchronized_coordination
--
GitLab