Concurrency An example- sorting sequential concurrent concurrent(with interaction
12 Concurrency ◼ An example – sorting ◼sequential ◼concurrent ◼concurrent (with interaction)
Concurrency An example- sorting More examples
13 Concurrency ◼ An example – sorting ◼ More examples ?
Concurrency a An example -sorting More examples reading eating an apple chatting downloading CS web service cells in our body 14
14 Concurrency ◼ An example – sorting ◼ More examples ? ◼ reading & eating an apple ◼ chatting & downloading ◼ CS ◼ web service ◼ cells in our body ◼ ……
Concurrency theory An active field of research in theoretical computer science Formalisms for modeling and reasoning about concurrency One of the first proposals Carl Adam Petri, Petri Nets in the early 1960s 15
15 Concurrency theory ◼ An active field of research in theoretical computer science ◼ Formalisms for modeling and reasoning about concurrency ◼ One of the first proposals: ◼ Carl Adam Petri, Petri Nets, in the early 1960s
Complex concurrent systems Shared resources (1)X:=1 (2)X:=0 X:=X+1 Sequential: determined Concurrency non-determined
Complex concurrent systems ◼ Shared resources (1) x := 1 Sequential: determined Concurrency: non-determined (2) x := 0 x := x+1