From 40dbd4e5cc0a28711af6f9de4c27ce236072d3dc Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Wed, 9 Sep 2015 22:17:18 +0200
Subject: Organisation; assignment 2

---
 assignment2/assignment2.txt | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 assignment2/assignment2.txt

(limited to 'assignment2/assignment2.txt')

diff --git a/assignment2/assignment2.txt b/assignment2/assignment2.txt
new file mode 100644
index 0000000..ceee4fa
--- /dev/null
+++ b/assignment2/assignment2.txt
@@ -0,0 +1,8 @@
+Camil Staps (s4498062)
+
+1.
+De `not blocked[1-i]' en `turn := 1' zijn twee stappen. Als daartussen een context switch plaatsvindt, kunnen beide processen tegelijkertijd in de kritieke sectie terechtkomen. Maken we hetzelfde model waarbij we deze twee stappen samenvoegen, dan is er geen probleem. Zie hyman.xml, hyman.q, hyman.trx.
+
+2.
+Stel dat proces 1 zich in de kritieke sectie bevindt. Als er nu om wat voor reden dan ook nooit een context switch plaatsvindt op het moment dat proces 1 zich in staat `Start' bevindt, dan zal proces 2 nooit opmerken dat proces 1 zijn blocked bit op 0 zet. Proces 2 zou in dat geval dus nooit in de kritieke sectie terechtkomen, maar continue in `WaitBlocked' blijven hangen.
+
-- 
cgit v1.2.3