Compare commits
2 commits
ca18a5ada7
...
3f0b52a64e
Author | SHA1 | Date | |
---|---|---|---|
3f0b52a64e | |||
76ec755557 |
7 changed files with 169 additions and 0 deletions
11
os/tp2/README.md
Normal file
11
os/tp2/README.md
Normal file
|
@ -0,0 +1,11 @@
|
||||||
|
# Devoir de SEPT
|
||||||
|
|
||||||
|
## Illustration
|
||||||
|
|
||||||
|
La première partie se comporte comme suit :
|
||||||
|
|
||||||
|

|
||||||
|
|
||||||
|
La seconde partie se comporte comme suit :
|
||||||
|
|
||||||
|

|
77
os/tp2/doc/queue.plantuml
Normal file
77
os/tp2/doc/queue.plantuml
Normal file
|
@ -0,0 +1,77 @@
|
||||||
|
@startuml queue
|
||||||
|
title Queue
|
||||||
|
|
||||||
|
binary "Tâche 1" as t1
|
||||||
|
concise "Queue" as s
|
||||||
|
binary "Tâche 2" as t2
|
||||||
|
binary "Tâche 3" as t3
|
||||||
|
|
||||||
|
scale 1000 as 100 pixels
|
||||||
|
|
||||||
|
@0
|
||||||
|
t1 is low
|
||||||
|
t2 is low
|
||||||
|
t3 is low
|
||||||
|
s is {-}
|
||||||
|
|
||||||
|
|
||||||
|
@+3000
|
||||||
|
t1 is high
|
||||||
|
|
||||||
|
@+200
|
||||||
|
t1 is low
|
||||||
|
s is "msg"
|
||||||
|
t1 -> s : tx
|
||||||
|
|
||||||
|
@+400
|
||||||
|
t2 is high
|
||||||
|
s is {-}
|
||||||
|
s -> t2 : rx
|
||||||
|
note top of s : T.1 écrit un message\nT.2 est réveillé et prends le message
|
||||||
|
|
||||||
|
@+200
|
||||||
|
t2 is low
|
||||||
|
|
||||||
|
@+2200
|
||||||
|
t1 is high
|
||||||
|
|
||||||
|
@+200
|
||||||
|
t1 is low
|
||||||
|
s is "msg"
|
||||||
|
t1 -> s : tx
|
||||||
|
|
||||||
|
@+400
|
||||||
|
t2 is high
|
||||||
|
s is {-}
|
||||||
|
s -> t2 : rx
|
||||||
|
|
||||||
|
@+200
|
||||||
|
t2 is low
|
||||||
|
|
||||||
|
|
||||||
|
@1000
|
||||||
|
t3 is high
|
||||||
|
@+100
|
||||||
|
t3 is low
|
||||||
|
@+900
|
||||||
|
t3 is high
|
||||||
|
@+100
|
||||||
|
t3 is low
|
||||||
|
@+900
|
||||||
|
t3 is high
|
||||||
|
@+100
|
||||||
|
t3 is low
|
||||||
|
@+900
|
||||||
|
t3 is high
|
||||||
|
@+100
|
||||||
|
t3 is low
|
||||||
|
@+900
|
||||||
|
t3 is high
|
||||||
|
@+100
|
||||||
|
t3 is low
|
||||||
|
@+900
|
||||||
|
t3 is high
|
||||||
|
@+100
|
||||||
|
t3 is low
|
||||||
|
|
||||||
|
@enduml
|
BIN
os/tp2/doc/queue.png
Normal file
BIN
os/tp2/doc/queue.png
Normal file
Binary file not shown.
After Width: | Height: | Size: 16 KiB |
6
os/tp2/doc/render.sh
Executable file
6
os/tp2/doc/render.sh
Executable file
|
@ -0,0 +1,6 @@
|
||||||
|
#!/bin/sh
|
||||||
|
set -e
|
||||||
|
cd "$(dirname "$(realpath "$0")")"
|
||||||
|
|
||||||
|
|
||||||
|
plantuml *.plantuml
|
75
os/tp2/doc/semaphore.plantuml
Normal file
75
os/tp2/doc/semaphore.plantuml
Normal file
|
@ -0,0 +1,75 @@
|
||||||
|
@startuml semaphore
|
||||||
|
title Sémaphore
|
||||||
|
|
||||||
|
binary "Tâche 1" as t1
|
||||||
|
concise "Sémaphore" as s
|
||||||
|
binary "Tâche 2" as t2
|
||||||
|
binary "Tâche 3" as t3
|
||||||
|
|
||||||
|
scale 1000 as 100 pixels
|
||||||
|
|
||||||
|
@0
|
||||||
|
t1 is low
|
||||||
|
t2 is low
|
||||||
|
t3 is low
|
||||||
|
s is "Verrouillé"
|
||||||
|
|
||||||
|
|
||||||
|
@+3000
|
||||||
|
t1 is high
|
||||||
|
|
||||||
|
@+400
|
||||||
|
t1 is low
|
||||||
|
t2 is high
|
||||||
|
s is {-}
|
||||||
|
t1 -> s : lib.
|
||||||
|
s -> t2 : rév.
|
||||||
|
note top of s : T.1 libère la sémaphore\nT.2 est réveillé et verrouille la sémaphore
|
||||||
|
|
||||||
|
@+400
|
||||||
|
t2 is low
|
||||||
|
s is "Verrouillé"
|
||||||
|
t2 -> s : verr.
|
||||||
|
|
||||||
|
@+2200
|
||||||
|
t1 is high
|
||||||
|
|
||||||
|
@+400
|
||||||
|
t1 is low
|
||||||
|
t2 is high
|
||||||
|
s is {-}
|
||||||
|
t1 -> s : lib.
|
||||||
|
s -> t2 : rév.
|
||||||
|
|
||||||
|
@+400
|
||||||
|
t2 is low
|
||||||
|
s is "Verrouillé"
|
||||||
|
t2 -> s : verr.
|
||||||
|
|
||||||
|
|
||||||
|
@1000
|
||||||
|
t3 is high
|
||||||
|
@+100
|
||||||
|
t3 is low
|
||||||
|
@+900
|
||||||
|
t3 is high
|
||||||
|
@+100
|
||||||
|
t3 is low
|
||||||
|
@+900
|
||||||
|
t3 is high
|
||||||
|
@+100
|
||||||
|
t3 is low
|
||||||
|
@+900
|
||||||
|
t3 is high
|
||||||
|
@+100
|
||||||
|
t3 is low
|
||||||
|
@+900
|
||||||
|
t3 is high
|
||||||
|
@+100
|
||||||
|
t3 is low
|
||||||
|
@+900
|
||||||
|
t3 is high
|
||||||
|
@+100
|
||||||
|
t3 is low
|
||||||
|
|
||||||
|
@enduml
|
BIN
os/tp2/doc/semaphore.png
Normal file
BIN
os/tp2/doc/semaphore.png
Normal file
Binary file not shown.
After Width: | Height: | Size: 18 KiB |
BIN
os/tp2/doc/sujet.pdf
Normal file
BIN
os/tp2/doc/sujet.pdf
Normal file
Binary file not shown.
Loading…
Add table
Add a link
Reference in a new issue