From b50a8046c22d511fb48bcf415a40c189600c7f48 Mon Sep 17 00:00:00 2001 From: "Dyer, Pamela (ORISE Fellow)" <pamela.dyer@nps.edu> Date: Wed, 21 Aug 2024 16:47:05 -0700 Subject: [PATCH] Update It.08_Unsynchronized_iteration_coordination.mp --- .../It.08_Unsynchronized_iteration_coordination.mp | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/models/Iteration Patterns/It.08_Unsynchronized_iteration_coordination.mp b/models/Iteration Patterns/It.08_Unsynchronized_iteration_coordination.mp index 907098b..ce8fef3 100644 --- a/models/Iteration Patterns/It.08_Unsynchronized_iteration_coordination.mp +++ b/models/Iteration Patterns/It.08_Unsynchronized_iteration_coordination.mp @@ -1,6 +1,11 @@ /* Unsynchronized coordination for iteration cycles add precedence relations whether they appear in the same cycle or not (MP Manual section 4.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). */ SCHEMA Unsynchronized_coordination -- GitLab