e modelli della memoriachiasmi, pietro cenciarelli [email protected] sapienza –...
TRANSCRIPT
e modelli della memoriaChiasmi ,
Pietro Cenciarelli
Sapienza – Università di Roma
anastrofi
anastrofe
consiste nell'invertire l'ordine naturale delle parole
di mepiù degno
anastrofe
x = 2;x = 1;
anastrofe
y = 2;x = 1;
θ
?
anastrofe
y = 2;
x = 1;
θ ςz = x + y;
1
?!
anastrofe
y = 2;
x = 1;
θ ςz = x + y;
1
semantica
x = 1;
y = 2;
θ ςz = x + y;
x ↤ 0y ↤ 0z ↤ 0
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;
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
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;
semantica
x = 1;
y = 2;θ ς
z = x + y;
Wx0Wy0
Wz0
x = 1;
θ ςz = x + y;
Wx0Wy0
Wz0
Wy2Wx0
Wy0Wz0
Wy2Wx1
θ ςz = x + y;
semantica
Ry0Rx1
Wz1
Wx0Wy0
Wz0
Wy2Wx1
x = 1;
θ ςz = x + y;
Wx0Wy0
Wz0
Wy2Wx0
Wy0Wz0
Wy2Wx1
θ ςz = x + y;
θ ς
Wz1
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.
semantica
semplifica la specifica del linguaggiocausalità vs. validazione [Pugh & Manson]
modularitàsemantica run-time (operazionale) indipendentedal modello della memoria (assiomatico)
( configuration theories )
(: R x 5)
(: W x 5) (: W x 5)
da chi legge θ ?
anastrofe
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 )
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 )
... 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 )
... 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 )
lampeggia de l'ardor che la consuma... e tra i bombiti
(: R x 5)
(: W x 5) (: W x 5)
semantica
semplifica la specifica del linguaggiocausalità vs. validazione [Pugh & Manson]
modularitàsemantica run-time (operazionale) indipendentedal modello della memoria (assiomatico)
( configuration theories )
, anastrofi e modelli della memoriaChiasmi
Pietro Cenciarelli
Sapienza – Università di Roma
Chiasmo
Tutti per uno
uno per tutti
Chiasmo
Le donne, i cavallier, l’arme, gli amori...
(: L) (: L) ⊢ (: U)
(: L)
(: L)
, (: U)
(: L)
(: L)
assioma di mutua esclusione
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.
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
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
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
(: L m) (: L m)
⊢ (: U m)
(: L m)
(: U m)
(: L m)
,
assioma di serializzabilità
(: L m) (: L m)
⊢ (: U m)
(: L m)
(: U m)
(: L m)
,
assioma di serializzabilità
(: L m)
(: L m)
⊢ (: U m)
(: L m)
(: U m)
(: L m)
,
assioma di serializzabilità