E modelli della memoriaChiasmi, Pietro Cenciarelli [email protected] Sapienza –...
-
Upload
adona-castaldo -
Category
Documents
-
view
273 -
download
0
Transcript of E modelli della memoriaChiasmi, Pietro Cenciarelli [email protected] Sapienza –...
![Page 1: E modelli della memoriaChiasmi, Pietro Cenciarelli cenciarelli@di.uniroma1.it Sapienza – Università di Roma anastrofi.](https://reader035.fdocument.org/reader035/viewer/2022070312/5542eb58497959361e8c339e/html5/thumbnails/1.jpg)
e modelli della memoriaChiasmi ,
Pietro Cenciarelli
Sapienza – Università di Roma
anastrofi
![Page 2: E modelli della memoriaChiasmi, Pietro Cenciarelli cenciarelli@di.uniroma1.it Sapienza – Università di Roma anastrofi.](https://reader035.fdocument.org/reader035/viewer/2022070312/5542eb58497959361e8c339e/html5/thumbnails/2.jpg)
anastrofe
consiste nell'invertire l'ordine naturale delle parole
di mepiù degno
![Page 3: E modelli della memoriaChiasmi, Pietro Cenciarelli cenciarelli@di.uniroma1.it Sapienza – Università di Roma anastrofi.](https://reader035.fdocument.org/reader035/viewer/2022070312/5542eb58497959361e8c339e/html5/thumbnails/3.jpg)
anastrofe
x = 2;x = 1;
![Page 4: E modelli della memoriaChiasmi, Pietro Cenciarelli cenciarelli@di.uniroma1.it Sapienza – Università di Roma anastrofi.](https://reader035.fdocument.org/reader035/viewer/2022070312/5542eb58497959361e8c339e/html5/thumbnails/4.jpg)
anastrofe
y = 2;x = 1;
θ
?
![Page 5: E modelli della memoriaChiasmi, Pietro Cenciarelli cenciarelli@di.uniroma1.it Sapienza – Università di Roma anastrofi.](https://reader035.fdocument.org/reader035/viewer/2022070312/5542eb58497959361e8c339e/html5/thumbnails/5.jpg)
anastrofe
y = 2;
x = 1;
θ ςz = x + y;
1
![Page 6: E modelli della memoriaChiasmi, Pietro Cenciarelli cenciarelli@di.uniroma1.it Sapienza – Università di Roma anastrofi.](https://reader035.fdocument.org/reader035/viewer/2022070312/5542eb58497959361e8c339e/html5/thumbnails/6.jpg)
?!
anastrofe
y = 2;
x = 1;
θ ςz = x + y;
1
![Page 7: E modelli della memoriaChiasmi, Pietro Cenciarelli cenciarelli@di.uniroma1.it Sapienza – Università di Roma anastrofi.](https://reader035.fdocument.org/reader035/viewer/2022070312/5542eb58497959361e8c339e/html5/thumbnails/7.jpg)
semantica
x = 1;
y = 2;
θ ςz = x + y;
x ↤ 0y ↤ 0z ↤ 0
![Page 8: E modelli della memoriaChiasmi, Pietro Cenciarelli cenciarelli@di.uniroma1.it Sapienza – Università di Roma anastrofi.](https://reader035.fdocument.org/reader035/viewer/2022070312/5542eb58497959361e8c339e/html5/thumbnails/8.jpg)
z = x + y;
semantica
x = 1;
y = 2;θ ς
z = x + y;
x ↤ 0y ↤ 0z ↤ 0
x = 1;
θ ςz = x + y;
x ↤ 0y ↤ 2z ↤ 0
x = 1;
θ ςx ↤ 0y ↤ 2z ↤ 2
...
x = 1;
![Page 9: E modelli della memoriaChiasmi, Pietro Cenciarelli cenciarelli@di.uniroma1.it Sapienza – Università di Roma anastrofi.](https://reader035.fdocument.org/reader035/viewer/2022070312/5542eb58497959361e8c339e/html5/thumbnails/9.jpg)
semantica
x = 1;
y = 2;θ ς
z = x + y;
x ↤ 0y ↤ 0z ↤ 0
z = x + y;x = 1;
θ ςx ↤ 0y ↤ 2z ↤ 0
x = 1;
θ ςx ↤ 0y ↤ 2z ↤ 2
...x ↤ ...y ↤ ...z ↤ 1
![Page 10: E modelli della memoriaChiasmi, Pietro Cenciarelli cenciarelli@di.uniroma1.it Sapienza – Università di Roma anastrofi.](https://reader035.fdocument.org/reader035/viewer/2022070312/5542eb58497959361e8c339e/html5/thumbnails/10.jpg)
semantica
x = 1;
y = 2;θ ς
z = x + y;
x ↤ 0y ↤ 0z ↤ 0
x = 1;
θ ςz = x + y;
Wx0Wy0
Wz0
Wy2Wx0
Wy0Wz0
Wy2Wx1
Wx0Wy0
Wz0
θ ςz = x + y;
![Page 11: E modelli della memoriaChiasmi, Pietro Cenciarelli cenciarelli@di.uniroma1.it Sapienza – Università di Roma anastrofi.](https://reader035.fdocument.org/reader035/viewer/2022070312/5542eb58497959361e8c339e/html5/thumbnails/11.jpg)
semantica
x = 1;
y = 2;θ ς
z = x + y;
Wx0Wy0
Wz0
x = 1;
θ ςz = x + y;
Wx0Wy0
Wz0
Wy2Wx0
Wy0Wz0
Wy2Wx1
θ ςz = x + y;
![Page 12: E modelli della memoriaChiasmi, Pietro Cenciarelli cenciarelli@di.uniroma1.it Sapienza – Università di Roma anastrofi.](https://reader035.fdocument.org/reader035/viewer/2022070312/5542eb58497959361e8c339e/html5/thumbnails/12.jpg)
semantica
Ry0Rx1
Wz1
Wx0Wy0
Wz0
Wy2Wx1
x = 1;
θ ςz = x + y;
Wx0Wy0
Wz0
Wy2Wx0
Wy0Wz0
Wy2Wx1
θ ςz = x + y;
θ ς
Wz1
![Page 13: E modelli della memoriaChiasmi, Pietro Cenciarelli cenciarelli@di.uniroma1.it Sapienza – Università di Roma anastrofi.](https://reader035.fdocument.org/reader035/viewer/2022070312/5542eb58497959361e8c339e/html5/thumbnails/13.jpg)
semantica
Le configurazioni includono poset di eventiche soddisfano assiomi (configuration theories)
(: R x 5) ⊢ (: R x 5)
(: W x 5),
(: R x 5)
(: W x 7) ⊢
(: R x 5)
(: W x 5)
(: W x 7)
(: R x 5)
(: W x 5)
Gli assiomi vincolano le regole operazionali.
![Page 14: E modelli della memoriaChiasmi, Pietro Cenciarelli cenciarelli@di.uniroma1.it Sapienza – Università di Roma anastrofi.](https://reader035.fdocument.org/reader035/viewer/2022070312/5542eb58497959361e8c339e/html5/thumbnails/14.jpg)
semantica
semplifica la specifica del linguaggiocausalità vs. validazione [Pugh & Manson]
modularitàsemantica run-time (operazionale) indipendentedal modello della memoria (assiomatico)
( configuration theories )
![Page 15: E modelli della memoriaChiasmi, Pietro Cenciarelli cenciarelli@di.uniroma1.it Sapienza – Università di Roma anastrofi.](https://reader035.fdocument.org/reader035/viewer/2022070312/5542eb58497959361e8c339e/html5/thumbnails/15.jpg)
(: R x 5)
(: W x 5) (: W x 5)
da chi legge θ ?
anastrofe
![Page 16: E modelli della memoriaChiasmi, Pietro Cenciarelli cenciarelli@di.uniroma1.it Sapienza – Università di Roma anastrofi.](https://reader035.fdocument.org/reader035/viewer/2022070312/5542eb58497959361e8c339e/html5/thumbnails/16.jpg)
anastrofe
... e tra i bombiti lampeggia de l'ardor che la consuma
( Carducci – La leggenda di Teodorico )
o iperbato?
e 'l vago lume oltra misura ardea di quei begli occhi ( Petrarca – Il Canzoniere )
![Page 17: E modelli della memoriaChiasmi, Pietro Cenciarelli cenciarelli@di.uniroma1.it Sapienza – Università di Roma anastrofi.](https://reader035.fdocument.org/reader035/viewer/2022070312/5542eb58497959361e8c339e/html5/thumbnails/17.jpg)
anastrofe
... e tra i bombiti lampeggia de l'ardor che la consuma
( Carducci – La leggenda di Teodorico )
o iperbato?
e 'l vago lume oltra misura ardea di quei begli occhi ( Petrarca – Il Canzoniere )
![Page 18: E modelli della memoriaChiasmi, Pietro Cenciarelli cenciarelli@di.uniroma1.it Sapienza – Università di Roma anastrofi.](https://reader035.fdocument.org/reader035/viewer/2022070312/5542eb58497959361e8c339e/html5/thumbnails/18.jpg)
... e tra i bombiti lampeggia de l'ardor che la consuma
( Carducci – La leggenda di Teodorico )
anastrofe o iperbato?
e 'l vago lume oltra misura ardea di quei begli occhi ( Petrarca – Il Canzoniere )
![Page 19: E modelli della memoriaChiasmi, Pietro Cenciarelli cenciarelli@di.uniroma1.it Sapienza – Università di Roma anastrofi.](https://reader035.fdocument.org/reader035/viewer/2022070312/5542eb58497959361e8c339e/html5/thumbnails/19.jpg)
... e tra i bombiti lampeggia de l'ardor che la consuma
( Carducci – La leggenda di Teodorico )
Corron tra 'l Celio fosche e l'Aventino le nubi ( Dinanzi alle Terme di Caracalla )
il divino del pian silenzio verde ( Il bove )
![Page 20: E modelli della memoriaChiasmi, Pietro Cenciarelli cenciarelli@di.uniroma1.it Sapienza – Università di Roma anastrofi.](https://reader035.fdocument.org/reader035/viewer/2022070312/5542eb58497959361e8c339e/html5/thumbnails/20.jpg)
lampeggia de l'ardor che la consuma... e tra i bombiti
(: R x 5)
(: W x 5) (: W x 5)
![Page 21: E modelli della memoriaChiasmi, Pietro Cenciarelli cenciarelli@di.uniroma1.it Sapienza – Università di Roma anastrofi.](https://reader035.fdocument.org/reader035/viewer/2022070312/5542eb58497959361e8c339e/html5/thumbnails/21.jpg)
semantica
semplifica la specifica del linguaggiocausalità vs. validazione [Pugh & Manson]
modularitàsemantica run-time (operazionale) indipendentedal modello della memoria (assiomatico)
( configuration theories )
![Page 22: E modelli della memoriaChiasmi, Pietro Cenciarelli cenciarelli@di.uniroma1.it Sapienza – Università di Roma anastrofi.](https://reader035.fdocument.org/reader035/viewer/2022070312/5542eb58497959361e8c339e/html5/thumbnails/22.jpg)
, anastrofi e modelli della memoriaChiasmi
Pietro Cenciarelli
Sapienza – Università di Roma
![Page 23: E modelli della memoriaChiasmi, Pietro Cenciarelli cenciarelli@di.uniroma1.it Sapienza – Università di Roma anastrofi.](https://reader035.fdocument.org/reader035/viewer/2022070312/5542eb58497959361e8c339e/html5/thumbnails/23.jpg)
Chiasmo
Tutti per uno
uno per tutti
![Page 24: E modelli della memoriaChiasmi, Pietro Cenciarelli cenciarelli@di.uniroma1.it Sapienza – Università di Roma anastrofi.](https://reader035.fdocument.org/reader035/viewer/2022070312/5542eb58497959361e8c339e/html5/thumbnails/24.jpg)
Chiasmo
Le donne, i cavallier, l’arme, gli amori...
![Page 25: E modelli della memoriaChiasmi, Pietro Cenciarelli cenciarelli@di.uniroma1.it Sapienza – Università di Roma anastrofi.](https://reader035.fdocument.org/reader035/viewer/2022070312/5542eb58497959361e8c339e/html5/thumbnails/25.jpg)
(: L) (: L) ⊢ (: U)
(: L)
(: L)
, (: U)
(: L)
(: L)
assioma di mutua esclusione
![Page 26: E modelli della memoriaChiasmi, Pietro Cenciarelli cenciarelli@di.uniroma1.it Sapienza – Università di Roma anastrofi.](https://reader035.fdocument.org/reader035/viewer/2022070312/5542eb58497959361e8c339e/html5/thumbnails/26.jpg)
Lock m;3.z = 200;2.Lock m;1.
x = 1;4.x = 2;5.
y = 1;6.y = 2;7.Unlock m;8.
w = 100;9.Unlock m;10.
![Page 27: E modelli della memoriaChiasmi, Pietro Cenciarelli cenciarelli@di.uniroma1.it Sapienza – Università di Roma anastrofi.](https://reader035.fdocument.org/reader035/viewer/2022070312/5542eb58497959361e8c339e/html5/thumbnails/27.jpg)
x = 1;x = 2;
z = 200;Lock m;
y = 1;
Lock m;
y = 2;Unlock m;
Unlock m;w = 100;
3.2.1.
4.5.6.7.8.9.
10.
[ ]
y = 1;y = 2;
x = 2 , y = 2, z = 200 , w = 100
![Page 28: E modelli della memoriaChiasmi, Pietro Cenciarelli cenciarelli@di.uniroma1.it Sapienza – Università di Roma anastrofi.](https://reader035.fdocument.org/reader035/viewer/2022070312/5542eb58497959361e8c339e/html5/thumbnails/28.jpg)
x = 1;x = 2;
z = 200;Lock m;
Lock m;
Unlock m;
Unlock m;w = 100;
3.2.1.
4.5.6.7.8.9.
10.
[ ? ]
y = 1;y = 2;
x = 2 , y = 1, z = 200 , w = 100
![Page 29: E modelli della memoriaChiasmi, Pietro Cenciarelli cenciarelli@di.uniroma1.it Sapienza – Università di Roma anastrofi.](https://reader035.fdocument.org/reader035/viewer/2022070312/5542eb58497959361e8c339e/html5/thumbnails/29.jpg)
x = 2;
z = 200;Lock m;
Unlock m;
y = 2;
Unlock m;
x = 1;Lock m;
w = 100;
3.2.1.
4.5.6.7.8.9.
10.
y = 1;
[ ? ], z = 200 , w = 100x = 2 , y = 1
![Page 30: E modelli della memoriaChiasmi, Pietro Cenciarelli cenciarelli@di.uniroma1.it Sapienza – Università di Roma anastrofi.](https://reader035.fdocument.org/reader035/viewer/2022070312/5542eb58497959361e8c339e/html5/thumbnails/30.jpg)
(: L m) (: L m)
⊢ (: U m)
(: L m)
(: U m)
(: L m)
,
assioma di serializzabilità
![Page 31: E modelli della memoriaChiasmi, Pietro Cenciarelli cenciarelli@di.uniroma1.it Sapienza – Università di Roma anastrofi.](https://reader035.fdocument.org/reader035/viewer/2022070312/5542eb58497959361e8c339e/html5/thumbnails/31.jpg)
(: L m) (: L m)
⊢ (: U m)
(: L m)
(: U m)
(: L m)
,
assioma di serializzabilità
![Page 32: E modelli della memoriaChiasmi, Pietro Cenciarelli cenciarelli@di.uniroma1.it Sapienza – Università di Roma anastrofi.](https://reader035.fdocument.org/reader035/viewer/2022070312/5542eb58497959361e8c339e/html5/thumbnails/32.jpg)
(: L m)
(: L m)
⊢ (: U m)
(: L m)
(: U m)
(: L m)
,
assioma di serializzabilità