From 63e74303e539ef3966365a8667f254073ba5d2af Mon Sep 17 00:00:00 2001
From: pln <Per Lindgren>
Date: Sun, 5 Mar 2017 22:01:36 +0000
Subject: [PATCH] added additional condition
---
src/main.c | 22 ++++++++++++++++------
1 file changed, 16 insertions(+), 6 deletions(-)
diff --git a/src/main.c b/src/main.c
index 8a59cd7..3621eae 100644
--- a/src/main.c
+++ b/src/main.c
@@ -1,5 +1,5 @@
//#define KLEE
-#define KLEE_WCET
+//#define KLEE_WCET
#ifdef KLEE
#include "SRP_klee.h"
@@ -40,7 +40,7 @@
// resource ceilings
#define r1_Ceiling 2
-#define r2_Ceiling 1
+#define r2_Ceiling 3
// Analysis variables
static volatile int state;
@@ -49,7 +49,7 @@ static int job;
void work(int i)
{
volatile int k = 0;
- for (int j = 0; j < 100 * i; j++)
+ for (int j = 0; j < 50 * i; j++)
{
k++;
}
@@ -86,16 +86,26 @@ TASK(j2)
TRACE("j2_r1_locked\n");
work(5);
UNLOCK(r1);
+ if (state == 100)
+ {
+ work(2);
+ }
+ else
+ {
+ work(1);
+ }
+
TRACE("j2_exit\n");
}
TASK(j3)
{
TRACE("j3_enter\n");
- LOCK(r1);
- TRACE("j3_r1_locked\n");
+ LOCK(r2);
+ TRACE("j3_r2_locked\n");
+
work(1);
- UNLOCK(r1);
+ UNLOCK(r2);
JOB_REQUEST(j1);
TRACE("j3_exit\n");
}
--
GitLab