e modelli della memoria

Presentazione sul tema: "e modelli della memoria"— Transcript della presentazione:

1 e modelli della memoria
Chiasmi , anastrofi e modelli della memoria Pietro Cenciarelli Sapienza – Università di Roma

2 anastrofe consiste nell'invertire l'ordine naturale delle parole
più degno di me

3 anastrofe x = 1; x = 2;

4 anastrofe ? x = 1; y = 2; θ

5 anastrofe  1 x = 1; ς z = x + y; y = 2; θ

6 anastrofe  1 ?! x = 1; ς z = x + y; y = 2; θ

7 semantica x ↤ 0 y ↤ 0 z ↤ 0 y = 2; z = x + y; x = 1; ς θ

8 ... semantica θ ς θ ς ς θ x = 1; y = 2; z = x + y; x = 1; z = x + y;

9 ... semantica θ ς θ ς θ ς x = 1; y = 2; z = x + y; z = x + y; x = 1;

10 semantica ς θ ς θ ς θ x = 1; z = x + y; z = x + y; y = 2; z = x + y;
Wx0 Wy0 Wz0 Wy2 Wx1 Wx0 Wy0 Wz0 Wy2 Wx0 Wy0 Wz0 x ↤ 0 y ↤ 0 z ↤ 0 ς x = 1; θ ς z = x + y; θ ς z = x + y; θ y = 2; z = x + y; x = 1;

11 semantica θ ς θ ς x = 1; z = x + y; x = 1; y = 2; z = x + y; Wx0 Wy0
Wz0 Wy2 Wx1 x = 1; y = 2; θ ς z = x + y; Wx0 Wy0 Wz0

12 semantica Ry0 Rx1 Wz1 Wx0 Wy0 Wz0 Wy2 Wx1 x = 1; θ ς z = x + y; Wz1

13 semantica Le configurazioni includono poset di eventi
che soddisfano assiomi (configuration theories) , (: R x 5) (: W x 7) ⊢ (: W x 5) (: W x 5) (: R x 5) ⊢ (: R x 5) (: W x 5) Gli assiomi vincolano le regole operazionali.

14 semantica  semplifica la specifica del linguaggio  modularità
( configuration theories )  semplifica la specifica del linguaggio causalità vs. validazione [Pugh & Manson]  modularità semantica run-time (operazionale) indipendente dal modello della memoria (assiomatico)

15 anastrofe (: R x 5) (: W x 5) (: W x 5) da chi legge θ ?

16 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 )

17 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 )

18 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 )

19 ... e tra i bombiti lampeggia de l'ardor che la consuma
Corron tra 'l Celio fosche e l'Aventino le nubi ( Dinanzi alle Terme di Caracalla ) il divino del pian silenzio verde ( Il bove ) ... e tra i bombiti lampeggia de l'ardor che la consuma ( Carducci – La leggenda di Teodorico )

20 (: R x 5) (: W x 5) (: W x 5) ... e tra i bombiti lampeggia de l'ardor che la consuma

21 semantica  semplifica la specifica del linguaggio  modularità
( configuration theories )  semplifica la specifica del linguaggio causalità vs. validazione [Pugh & Manson]  modularità semantica run-time (operazionale) indipendente dal modello della memoria (assiomatico)

22 , anastrofi e modelli della memoria
Chiasmi , anastrofi e modelli della memoria Pietro Cenciarelli Sapienza – Università di Roma

23 Chiasmo Tutti per uno  uno per tutti

24 Chiasmo  Le donne, i cavallier, l’arme, gli amori...

25 assioma di mutua esclusione
(: L) (: L) ⊢ (: U) (: L) (: L) , (: U)

26   Lock m; z = 200; Lock m; x = 1; x = 2; y = 1; y = 2; Unlock m;
1. z = 200; 2. Lock m; 3. x = 1; 4. x = 2; 5. y = 1; 6. y = 2; 7. Unlock m; 8. w = 100; 9. Unlock m; 10.

27   x = 2 , y = 2 , z = 200 , w = 100 [    ] Lock m; z = 200;
1. z = 200; 2. Lock m; 3. x = 1; 4. x = 2; 5. y = 1; y = 2; 6. y = 1; y = 2; 7. Unlock m; 8. w = 100; 9. Unlock m; 10. x = 2 , y = 2 , z = 200 , w = 100 [    ]

28   [ ? ] x = 2 , y = 1 , z = 200 , w = 100 Lock m; z = 200; Lock m;
1. z = 200; 2. Lock m; 3. x = 1; 4. x = 2; 5. y = 2; 6. y = 1; 7. Unlock m; 8. w = 100; 9. Unlock m; 10. [ ? ] x = 2 , y = 1 , z = 200 , w = 100

29   [ ? ] , z = 200 , w = 100 x = 2 , y = 1 Lock m; z = 200; Lock m;
Unlock m;  x = 1; Lock m; w = 100; 3. 2. 1. 4. 5. 6. 7. 8. 9. 10. y = 1;  x = 2; z = 200; Lock m; Unlock m; y = 2; [ ? ] , z = 200 , w = 100 x = 2 , y = 1

30 assioma di serializzabilità
(: L m) (: L m)   ⊢ (: U m) (: U m) ,

31  assioma di serializzabilità ⊢ (: U m) (: L m)  (: U m) (: L m)
,    (: L m) (: L m)

32  assioma di serializzabilità ⊢ (: L m)  (: U m) (: L m) 
, (: L m)  