Vault sync: 2022-01-26 15:04:31

School/Analyse/Periode 2/Week 1.md

@@ -78,11 +78,19 @@ Useful for:
 - Failure isolation (interleaving multiple tasks, a exception on one task will not bring down the rest)
 
 # Abstraction in Concurrency
-Concurrent program consists of a finite set of (sequential) processes.
+**Concurrent program** consists of a finite set of (sequential) processes.
+
+Processes are written using a finite set of **statements**.
+
+Execution of concurrent program proceeds by executing a sequence of the statements obtained by **arbitrarily interleaving** the statements from the processes.
+
+![[abstraction-in-conc.png]]
+
+p1->q2->p2->q1 is not possible. because we are breaking the order of execution of program q.  q must execute q1 before q2.
+
+# Atomic statement
 
-Processes are written using a finite set of statements.
 
-Execution of concurrent program proceeds by exec