reteF
This commit is contained in:
parent
ec0110f88c
commit
13b5a6afba
7 changed files with 46 additions and 21 deletions
|
@ -100,7 +100,7 @@ Il /dominio D/ = /Master×Slave/ e` utilizzato per la multiplicity
|
||||||
degli archi fra fork e join, in modo da tener traccia delle richieste effettuate.
|
degli archi fra fork e join, in modo da tener traccia delle richieste effettuate.
|
||||||
|
|
||||||
|
|
||||||
** TODO Reachability Graph
|
** Reachability Graph
|
||||||
Le seguenti tabelle elencano la dimensione dello spazio degli stati al variare
|
Le seguenti tabelle elencano la dimensione dello spazio degli stati al variare
|
||||||
del numero di master (N) e di slave (Sn e Rn).
|
del numero di master (N) e di slave (Sn e Rn).
|
||||||
| N | R1, R2 | Marking RG | Marking SRG |
|
| N | R1, R2 | Marking RG | Marking SRG |
|
||||||
|
@ -119,7 +119,11 @@ del numero di master (N) e di slave (Sn e Rn).
|
||||||
Rispetto alla precedente rete, il rapporto stato degli spazi di RG/SRG
|
Rispetto alla precedente rete, il rapporto stato degli spazi di RG/SRG
|
||||||
e` minore.
|
e` minore.
|
||||||
|
|
||||||
** TODO Reachability Graph al variare delle classi di colore
|
** Reachability Graph al variare delle classi di colore
|
||||||
|
La seguente tabella mostra l'incremento dello spazio degli stati
|
||||||
|
all'aumentare degli elementi della classe di color Master.
|
||||||
|
Come nella precedente rete, il rapporto marking RG/SRG aumenta
|
||||||
|
proporzionalmente alla cardinalita` della classe.
|
||||||
| \vert{}M1\vert{} | \vert{}M2\vert{} | Marking RG | Marking SRG |
|
| \vert{}M1\vert{} | \vert{}M2\vert{} | Marking RG | Marking SRG |
|
||||||
|------------------+------------------+------------+-------------|
|
|------------------+------------------+------------+-------------|
|
||||||
| 2 | 1 | 768 | 432 |
|
| 2 | 1 | 768 | 432 |
|
||||||
|
@ -131,10 +135,26 @@ e` minore.
|
||||||
| 4 | 4 | 2359296 | 22500 |
|
| 4 | 4 | 2359296 | 22500 |
|
||||||
| 5 | 4 | 11010048 | 37800 |
|
| 5 | 4 | 11010048 | 37800 |
|
||||||
| 5 | 5 | 51380224 | 63504 |
|
| 5 | 5 | 51380224 | 63504 |
|
||||||
|
Nella seguente tabella viene evidenziato l'incremento dello stato
|
||||||
[ ] Cambia diversamente all'aumento di slaves vs masters?
|
degli spazi all'aumentare degli elementi della classe di colore Slave.
|
||||||
| \vert{}Slave1\vert{} | \vert{}Slave2\vert{} | Marking RG | Marking SRG |
|
| \vert{}Slave1\vert{} | \vert{}Slave2\vert{} | Marking RG | Marking SRG |
|
||||||
|----------------------+----------------------+------------+-------------|
|
|----------------------+----------------------+------------+-------------|
|
||||||
|
| 1 | 1 | 768 | 432 |
|
||||||
|
| 1 | 2 | 2048 | 720 |
|
||||||
|
| 2 | 1 | 2688 | 864 |
|
||||||
|
| 2 | 2 | 7168 | 1440 |
|
||||||
|
| 2 | 3 | 17920 | 2016 |
|
||||||
|
| 3 | 2 | 22528 | 2160 |
|
||||||
|
| 3 | 3 | 56320 | 3024 |
|
||||||
|
| 3 | 4 | 135168 | 3888 |
|
||||||
|
| 4 | 3 | 163840 | 4032 |
|
||||||
|
| 4 | 4 | 393216 | 5184 |
|
||||||
|
| 4 | 5 | 917504 | 6336 |
|
||||||
|
| 5 | 4 | 1081344 | 6480 |
|
||||||
|
| 5 | 5 | 2523136 | 7920 |
|
||||||
|
Notiamo che l'alta cardinalita` della classe Slave abbia avuto un
|
||||||
|
impatto minore sulla dimensione del RG rispetto alla classe master.
|
||||||
|
Il rapporto RG/SRG segue quanto detto finora ed e` il piu` grande fra tutte le reti analizzate.
|
||||||
|
|
||||||
|
|
||||||
** Considerazioni su Fork/Join
|
** Considerazioni su Fork/Join
|
||||||
|
|
|
@ -1,3 +1,3 @@
|
||||||
0*999*
|
0*999*
|
||||||
6*0*0*0*0*1*0*0*1*0*1*0**0*0*0*0*1*0*0*1*0*1*0**5*
|
4*0*0*0*0*1*0*0*1*0*1*0**0*0*0*0*1*0*0*1*0*1*0**4*
|
||||||
7*1*0*0*0*0*0*0*1*0*1*0**1*0*0*0*0*0*0*1*0*1*0**1*
|
5*1*0*0*0*0*0*0*1*0*1*0**1*0*0*0*0*0*0*1*0*1*0**1*
|
||||||
|
|
|
@ -10,14 +10,14 @@ u M1,M2
|
||||||
(M2 c 1.8854166666666667 0.8333333333333334 (@c
|
(M2 c 1.8854166666666667 0.8333333333333334 (@c
|
||||||
{m2}
|
{m2}
|
||||||
))
|
))
|
||||||
(Slave c 3.6666666666666665 1.1666666666666667 (@c
|
(Slave c 0.5 0.5 (@c
|
||||||
u Slave1,Slave2
|
u Slave1,Slave2
|
||||||
))
|
))
|
||||||
(Slave1 c 4.333333333333333 1.1666666666666667 (@c
|
(Slave1 c 1.1666666666666667 0.5 (@c
|
||||||
ID{10-n}
|
s{1-n}
|
||||||
))
|
))
|
||||||
(Slave2 c 5.0 1.1666666666666667 (@c
|
(Slave2 c 1.8333333333333333 0.5 (@c
|
||||||
ID{20-n1}
|
r{1-n2}
|
||||||
))
|
))
|
||||||
(m_0 m 10.0 2.0 (@m
|
(m_0 m 10.0 2.0 (@m
|
||||||
R1<S Slave1>+R1<S Slave2>
|
R1<S Slave1>+R1<S Slave2>
|
||||||
|
|
Binary file not shown.
|
@ -4,7 +4,7 @@ f 4 11 0 8 0 0 0
|
||||||
N -7134 0.6354166666666666 0.4322916666666667 0
|
N -7134 0.6354166666666666 0.4322916666666667 0
|
||||||
n -7134 0.9635416666666666 0.4322916666666667 0
|
n -7134 0.9635416666666666 0.4322916666666667 0
|
||||||
R1 -7134 1.328125 0.4322916666666667 0
|
R1 -7134 1.328125 0.4322916666666667 0
|
||||||
n1 -7134 0.8229166666666666 1.5989583333333333 0
|
n2 -7134 3.3229166666666665 1.5989583333333333 0
|
||||||
S0 -10007 6.0 2.0 5.434166666666666 1.6122916666666667 0 6.2 2.1666666666666665 Slave
|
S0 -10007 6.0 2.0 5.434166666666666 1.6122916666666667 0 6.2 2.1666666666666665 Slave
|
||||||
S1_a 0 5.0 3.1666666666666665 3.7883333333333327 3.3622916666666662 0 5.2 3.3333333333333335 Master,Slave
|
S1_a 0 5.0 3.1666666666666665 3.7883333333333327 3.3622916666666662 0 5.2 3.3333333333333335 Master,Slave
|
||||||
S1_b 0 7.0 3.1666666666666665 5.694583333333333 3.3622916666666662 0 7.2 3.3333333333333335 Master,Slave
|
S1_b 0 7.0 3.1666666666666665 5.694583333333333 3.3622916666666662 0 7.2 3.3333333333333335 Master,Slave
|
||||||
|
@ -64,7 +64,7 @@ T0 1.0 0 0 1 1 0.8333333333333334 5.333333333333333 0.8125 5.140625 0.91666
|
||||||
1 7 1 0 0.000000 0.000000 <m>
|
1 7 1 0 0.000000 0.000000 <m>
|
||||||
0.8333333333333334 1.8333333333333333
|
0.8333333333333334 1.8333333333333333
|
||||||
0
|
0
|
||||||
T55 1.0 0 0 2 1 6.0 2.8333333333333335 5.953125 2.640625 6.083333333333333 2.9010416666666665 0 4.364583333333333 2.984375 [((d(m) = M1) and (d(id) = Slave1)) or ((d(m) = M2) and (d(id) = Slave2))]
|
T55 1.0 0 0 2 1 6.0 2.8333333333333335 5.953125 2.640625 6.083333333333333 2.9010416666666665 0 4.614583333333333 0.984375 [((d(m) = M1) and (d(id) = Slave1)) or ((d(m) = M2) and (d(id) = Slave2))]
|
||||||
1 1 0 0 0.000000 0.000000 <id>
|
1 1 0 0 0.000000 0.000000 <id>
|
||||||
1 10 1 0 0.000000 0.000000 <m>
|
1 10 1 0 0.000000 0.000000 <m>
|
||||||
5.333333333333333 2.6666666666666665
|
5.333333333333333 2.6666666666666665
|
||||||
|
|
File diff suppressed because one or more lines are too long
10
todo.org
10
todo.org
|
@ -1,11 +1,11 @@
|
||||||
* VPC [2/9]
|
* VPC [3/11]
|
||||||
- [ ] sulle slide, quando si chiede come deve decidere il master
|
- [ ] sulle slide, quando si chiede come deve decidere il master
|
||||||
- [X] chiedi della riduzione
|
- [X] chiedi della riduzione
|
||||||
- [ ] calcolo semiflussi come da mail
|
- [ ] calcolo semiflussi come da mail
|
||||||
- [ ] chiedi dell'esame
|
- [ ] chiedi dell'esame
|
||||||
- [X] Es1: definizioni
|
- [X] Es1: definizioni
|
||||||
- [ ] rete A, b, c, d
|
- [ ] rete A, b, c, d
|
||||||
- [ ] rete E, F
|
- [X] rete E, F
|
||||||
- [ ] analisi
|
- [ ] analisi
|
||||||
- [ ] uppal
|
- [ ] uppal
|
||||||
- [ ] controlla esercizi nuovi
|
- [ ] controlla esercizi nuovi
|
||||||
|
@ -23,9 +23,11 @@
|
||||||
- [X] Scrivile per date di esame
|
- [X] Scrivile per date di esame
|
||||||
|
|
||||||
|
|
||||||
* TODO Tesi [1/4]
|
* TODO Tesi [2/4]
|
||||||
- [X] segreteria: tesi inglese
|
- [X] segreteria: tesi inglese
|
||||||
- [ ] scrivi di nuovo a coppo
|
- [ ] Gatti: inglese
|
||||||
|
- [ ] Gatti: Coppo mio relatore?
|
||||||
|
- [X] scrivi di nuovo a coppo
|
||||||
- [ ] correzioni Coppo
|
- [ ] correzioni Coppo
|
||||||
- [ ] Gabriel: finisci
|
- [ ] Gabriel: finisci
|
||||||
HALP
|
HALP
|
||||||
|
|
Loading…
Reference in a new issue