La presentazione è in caricamento. Aspetta per favore

La presentazione è in caricamento. Aspetta per favore

E modelli della memoriaChiasmi, Pietro Cenciarelli Sapienza – Università di Roma anastrofi.

Presentazioni simili


Presentazione sul tema: "E modelli della memoriaChiasmi, Pietro Cenciarelli Sapienza – Università di Roma anastrofi."— Transcript della presentazione:

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

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

3 anastrofe x = 2;x = 1;

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

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

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

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

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

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

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

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

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

13 semantica Le configurazioni includono poset di eventi che soddisfano assiomi (configuration theories) ( : 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.

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

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

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

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

18 ... e tra i bombiti lampeggia de l'ardor che la consuma ( Carducci – La leggenda di Teodorico ) anastrofeo iperbato? e 'l vago lume oltra misura ardea di quei begli occhi ( Petrarca – Il Canzoniere )

19 ... 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 )

20 lampeggiade l'ardor che la consuma... e tra i bombiti ( : R x 5) ( : W x 5)

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

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

23 Chiasmo Tutti per uno uno per tutti

24 Chiasmo Le donne, i cavallier,larme, gli amori...

25 ( : L) ( : L) ( : U) ( : L), ( : U) ( : L) assioma di mutua esclusione

26 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.

27 x = 1; x = 2; z = 200; Lock m; y = 1; Lock m; y = 2; Unlock m; w = 100; [ ] y = 1; y = 2; x = 2, y = 2, z = 200, w = 100

28 x = 1; x = 2; z = 200; Lock m; Unlock m; w = 100; [ ? ] y = 1; y = 2; x = 2, y = 1, z = 200, w = 100

29 x = 2; z = 200; Lock m; Unlock m; y = 2; Unlock m; x = 1; Lock m; w = 100; y = 1; [ ? ], z = 200, w = 100x = 2, y = 1

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

31 ( : L m) ( : U m) ( : L m) ( : U m) ( : L m), assioma di serializzabilità

32 ( : L m) ( : L m) ( : U m) ( : L m) ( : U m) ( : L m), assioma di serializzabilità


Scaricare ppt "E modelli della memoriaChiasmi, Pietro Cenciarelli Sapienza – Università di Roma anastrofi."

Presentazioni simili


Annunci Google