SlideShare una empresa de Scribd logo
1 de 28
Descargar para leer sin conexión
A)
Introduzione

                                            1
    2


     B)
Prog.
ConceGuale
(ER)
                            
                          C)
Modello
Relazionale,

                                                       Algebra
relazionale,
SQL
                                                                              


     1
   2
    3
    4
    5
    6
   7
              1
       2
     3
    4
    5
    6
    7


          D)
Prog.
Logica
e
                           E)
Tecnologia
di
un
DBMS

          Normalizzazione  


           1
    2
    3
    4
                            1
    2
     3
    4
    5
    6



                                   F)
Programmazione
DB



                                             1
   2


2
                                                                   Basi
di
Da(
‐
Controllo
di
concorrenza

I
vantaggi
della
concorrenza

     sul
server
(1
cpu,
1
disco,
1
sistema
di
trasmissione)
è

      possibile
il
parallelismo
tra:

        elaborazione:
cpu
(c)

        operazioni
di
I/O:
disco
(d)

        operazioni
di
trasmissione
(t)

        aGesa
dai
client
(a)



          c
             d
        c
              t
                     a

U1

               a
             c
    t
        c
               d
              c

U2

          a
        c
        t
         d
             c
                     d

U3



 3
                                                      Basi
di
Da(
‐
Controllo
di
concorrenza

I
vantaggi
della
concorrenza

                                                           B:
begin,
E:
end

 T1
                                                       C:commit,
A:
abort

       B






C









E
                               R:
rollback

 T2

           B
          
















A

 T3

                B



















C


































E

 T4

                     B

















C









E

 T5

                           B







R







E
                                                     t



4
                                                                Basi
di
Da(
‐
Controllo
di
concorrenza

Problemi
dovuU
alla
concorrenza

Lost
update


       
      
(dipendenza
write

write)

  
perdita
di
modifiche
da
parte
di
una
transazione
a


   causa
di
un
aggiornamento
effeGuato
da
un’altra

   transazione

Dirty
read



 
     
      
(dipendenza
write

read)

  
dipendenza
di
una
transazione
da
un’altra
non


   completata
con
successo
e
leGura
di
daU
inconsistenU

Unrepeatable
read


        
(dipendenza
read

write)

  
analisi
inconsistente
di
daU
da
parte
di
una

   transazione
causata
da
aggiornamenU
prodo
da

   un’altra

 5
                                   Basi
di
Da(
‐
Controllo
di
concorrenza

Esempi

T1
:
UPDATE
CC









SET
SALDO
=
SALDO
+
3









WHERE
CLIENTE
=
Tiberio


T2
:
UPDATE
CC









SET
SALDO
=
SALDO
+
6









WHERE
CLIENTE
=
Tiberio



6
                                 Basi
di
Da(
‐
Controllo
di
concorrenza

Esecuzione
con
perdita
di
update

(lost
update
problem)

S(Ub)=100

1


R(T1):
S(Ub)
‐>
B1

2


B1
=
B1
+
3

3


R(T2):
S(Ub)
‐>
B2

4


B2
=
B2
+
6

5


W(T1):
B1
‐>
S(Ub)


S(Ub)=103




6


W(T2):
B2
‐>
S(Ub)


S(Ub)=106

(finale),
oppure:

5’


W(T2):
B1
‐>
S(Ub)


S(Ub)=106




6’


W(T1):
B2
‐>
S(Ub)


S(Ub)=103

(finale)

7
                                       Basi
di
Da(
‐
Controllo
di
concorrenza

Lost
update:

Sequenza
che
produce
l'errore




     R(T1)













R(T2)













W(T1)










W(T2)



 oppure


     R(T1)













R(T2)













W(T2)










W(T1)



8
                                                 Basi
di
Da(
‐
Controllo
di
concorrenza

Lost
update:
altro
esempio





     TRANSAZIONE
A 
       
   
   
TRANSAZIONE
B


     UPDATE
PARTS 
        
   
   
UPDATE
PARTS

     SET
COLOR
=
'VERDE’   
   
   
SET
COLOR
=
'ROSSO'

     WHERE
PNO
=
3824      
   
   
WHERE
PNO
=
3824


9
                                     Basi
di
Da(
‐
Controllo
di
concorrenza

LeGura
“sporca”
(dirty
read)


S(Ub)=100

1


R(T1):
S(Ub)
‐>
B1

2


B1
=
B1
+
3

3


W(T1):
B1
‐>
S(Ub)


S(Ub)=103




4


R(T2):
S(Ub)
‐>
B2

5


ROLLBACK(T1)

6


B2
=
B2
+
6

7


W(T2):
B2
‐>
S(Ub)


S(Ub)=109



10
                                      Basi
di
Da(
‐
Controllo
di
concorrenza

Unrepeatable
read

S(Ub)=100

1


R(T1):
 
S(Ub)
=
100

2


R(T2):
 
S(Ub)
‐>
B2

3


B2
=
B2
+
100

4


W(T2):
 
B2
‐>
S(Ub)


S(Ub)=200

5


R(T1):

 
S(Ub)
=
200






11
                                     Basi
di
Da(
‐
Controllo
di
concorrenza

Controllo
di
concorrenza

Si
vuole
garanUre
una
esecuzione
concorrente

equivalente
alla
esecuzione
seriale:



serializzabilità

TECNOLOGIA
PREVALENTE
:

LOCKING

Per
evitare
il
problema,
TA
acquisisce
un
"lock"
sul


record
PNO
=
3824
(oppure
sulla
pagina
che
conUene


il
record,
oppure
sulla
relazione
che
conUene
il
record).

TB
entra
in
"stato
di
wait"
.


Quando
TA
rilascia
il
lock
TB
può
visitare
il
dato.


 12
                                        Basi
di
Da(
‐
Controllo
di
concorrenza

Locking





13
        Basi
di
Da(
‐
Controllo
di
concorrenza

PrimiUve
di
lock

      r‐lock:
lock
in
leGura
(shared)

      w‐lock:
lock
in
scriGura
(exclusive)

      unlock


      STATO
DI
UN
OGGETTO:

      libero

      r‐locked
(bloccato
da
un
leGore)

      w‐locked
(bloccato
da
uno
scriGore)



14
                                     Basi
di
Da(
‐
Controllo
di
concorrenza

Transazioni
ben
formate

•  ogni
read
di
un
oggeGo





è
preceduto
da
r‐lock
ed

è
seguito
da
unlock

•  ogni
write
di
un
oggeGo





è
preceduto
da
w‐lock
ed
è
seguito
da
unlock


 
Un
r‐lock
entra
in
confliGo
con
un
w‐lock
(e
viceversa),

   mentre
non
entra
in
confliGo
con
un
altro
r‐lock
(cioè
due

   transazioni
di
leGura
non
interferiscono)

  
Un
w‐lock
entra
in
confliGo
con
un
w‐lock
(e
viceversa)





15
                                       Basi
di
Da(
‐
Controllo
di
concorrenza

Tabella
dei
confli

                r‐locked





w‐locked


      r‐lock
   OK














NO

      w‐lock
 NO














NO


OK
:
blocco
della
risorsa,

           contatore
dei
leGori

il
programma
procede
                  r‐lock






NO
:
il
programma

                    r‐counter
<‐
r‐counter
+
1

va
in
aGesa
che

                      unlock






la
risorsa
venga
sbloccata
            r‐counter
<‐
r‐counter
‐
1




16
                                             Basi
di
Da(
‐
Controllo
di
concorrenza

Locking
a
due
fasi

Per
una
transazione
T
una
azione
di
unlock


non
può
precedere
una
azione
di
lock




   numero

  di
risorse

   bloccate

        da
T

                                            t


                 fase
              fase

                 crescente

        calante



17
                            Basi
di
Da(
‐
Controllo
di
concorrenza

Conseguenze

a



transazioni
ben
formate


b



poliUca
dei
confli
come
da
tabella


c



locking
a
due
fasi



       serializzabilità


 18
                            Basi
di
Da(
‐
Controllo
di
concorrenza

Granularità
del
locking


 lock


                  relazione

 a
livello
di:
                   (più
la


 relazione

                      granularità


                   pagina
        è
ridoGa


 pagina

 tupla
                           più
è






 valore
di
un
      tupla
        elevata
la

 aGributo

                       concorrenza)

 di
una
tupla
     valore


19
                            Basi
di
Da(
‐
Controllo
di
concorrenza

Sistema
di
locking

I
LOCK
vengono
acquisiU
in
caso
di
modifica
dei
daU,


oppure
quando
si
vogliono
leggere
daU
"consisten,".


Ad
esempio,
supponiamo
che
A
voglia
leggere
la


relazione
EMP
senza
che
avvengano
modifiche
durante


la
leGura
e
che
B
voglia
modificare
alcune
n‐ple
di
EMP.


Quando
un
utente
vuole
operare
in
modo
esclusivo
su

un

oggeGo,
acquisisce
un
INTENTION
LOCK;


potrà
oGenere
un
W‐LOCK
solo
quando
il


precedente
W‐LOCK
verrà
rilasciato
e


verrà
il
suo
turno
tra
coloro
che
hanno
posto


INTENTION
LOCK

20
                                      Basi
di
Da(
‐
Controllo
di
concorrenza

Sistema
di
locking

DEFINIZIONE
di
UNCOMMITTED
DATA
(daU
non
definiUvi):


daU
sogge
a
modifica,
daU
che
sono
staU
modificaU
da


una
transazione
ancora
in
funzione
(e
che
potrebbe


"ABORTIRE").


REGOLA

PER
LA
MODIFICA:

Nessuna
transazione
può
modificare
daU
uncommiGed.


      
AltrimenU,
si
potrebbe
verificare
la
perdita
delle

       modifiche,
se
una
transazione
che
stava
modificando
gli

       stessi
daU
aborUsce.

      


si
evita
il
problema
del
LOST
UPDATE



21
                                         Basi
di
Da(
‐
Controllo
di
concorrenza

Sistema
di
locking

Quando
una
transazione
vuole
modificare
i
daU
deve


acquisire
W‐LOCK
(exclusive).

Quando
una
transazione
vuole
solo
leggere
daU


consisten,
deve
acquisire
R‐LOCK
(shared).


Nei
sistemi
commerciali
sono
possibili
3
livelli
di


isolamento
per
la
leGura:

LIVELLO
1

Una
transazione
T
vuole
leggere
qualsiasi
dato,
anche


uncommiGed,
quindi
non
chiede
r‐lock.
Rileggendo
due


volte
lo
stesso
dato,
T
può

trovarlo
cambiato
perché:

    1 
un'altra
transazione
T3,
che
lo
aveva
cambiato
in


         
precedenza,
aborUsce
(DIRTY
READ).

    2  un'altra
transazione
T2
lo
ha
cambiato

         
(UNREPEATABLE
READ)

22
                                         Basi
di
Da(
‐
Controllo
di
concorrenza

Sistema
di
locking

LIVELLO
2

Una
transazione
T
chiede
un
lock
sul
record
da
leggere,


quindi
non
legge
mai
daU
uncommiGed.

Rilascia
il
lock
dopo
la
leGura
e
prima
di
concludere
la


propria
operazione
sul
DB.
Però
in
un
secondo
tempo


può
trovare
il
record
cambiato
per
la
causa
2),


mentre
non
si
può
verificare
la
1).


LIVELLO
3

Una
transazione
pone
lock
su
tu
i
record
che
legge
e

li
rilascia
solo
dopo
aver
terminato.

Non
si
verificano
mai
nè
1),
nè
2).

23
                                       Basi
di
Da(
‐
Controllo
di
concorrenza

Livelli
di
isolamento

Riassumendo…


Tipi
di
problemi:

•  Lost
update

•  Dirty
read

•  Unrepeatable
read

Livelli
di
isolamento:

•  0
(Chaos)


        
si
presentano
tu
i
tre
problemi

•  1
(Browse)


       
non
si
hanno
lost
update

•  2
(Cursor
stability)

   
 
     


 
non
si
hanno
lost
update
e
dirty
read

•  3
(Repeatable
reads)

        
 


 
nessun
problema
(isolaUon
“pura”)

24
                                        Basi
di
Da(
‐
Controllo
di
concorrenza

Problema
del
deadlock

Situazione
che
si
verifica
quando
due
o
più
transazioni


sono
in
stato
di
wait
(aGesa)
per
aGendere
il
rilascio
di


ogge
da
parte
di
altre
transazioni
in
stato
di
wait.


      T1
:


                             T2
:


      W‐LOCK(D1)
                         W‐LOCK(D2)

      W‐LOCK(D2)
                         W‐LOCK(D1)

      D1
<‐
D1
‐
100
                     D1
<‐
D1
+
30

      D2
<‐
D2
+
100
                     D2
<‐
D2
‐
50

      UNLOCK(D1)
                         UNLOCK(D2)

      UNLOCK(D2)
                         UNLOCK(D1)



25
                                        Basi
di
Da(
‐
Controllo
di
concorrenza

Insorgenza
del
deadlock


 T1
esegue
W‐LOCK(D1)

 T2
esegue
W‐LOCK(D2)


 T1
aGende
una
risorsa
controllata
da
T2

 T2
aGende
una
risorsa
controllata
da
T1



      T 1

       
                       T 2

                                


26
                           Basi
di
Da(
‐
Controllo
di
concorrenza

Esempi
di
deadlock

      T1
     T2
     T1
        T2
             T3





27
                         Basi
di
Da(
‐
Controllo
di
concorrenza

Tecnica
del
Time‐out

La
tecnica
di
risoluzione
più
usata
è
quella
del

TIME‐OUT.

Quando
una
transazione
entra
in
stato
di
wait

si
ava
un
TIME‐OUT
:


un'aGesa
eccessiva
è
interpretata
come
deadlock,
dopo
un

certo
tempo
in
aGesa
(scadenza
del
Umeout)
la
transazione

viene
aborUta.



La
probabilità
di
avere
DEADLOCK
è
influenzata
dalla

granularità
del
LOCK
(RELAZIONE,
PAGINA,
TUPLA).


28
                                     Basi
di
Da(
‐
Controllo
di
concorrenza


Más contenido relacionado

Destacado

4 Livello Ip Parte1 Color
4 Livello Ip Parte1 Color4 Livello Ip Parte1 Color
4 Livello Ip Parte1 ColorMajong DevJfu
 
Traffic Shaping Su Linux
Traffic Shaping Su LinuxTraffic Shaping Su Linux
Traffic Shaping Su LinuxMajong DevJfu
 
5 Trasporto Affidabile Teoria
5 Trasporto Affidabile Teoria5 Trasporto Affidabile Teoria
5 Trasporto Affidabile TeoriaMajong DevJfu
 
Sistemi Operativi: Struttura - Lezione 04
Sistemi Operativi: Struttura - Lezione 04Sistemi Operativi: Struttura - Lezione 04
Sistemi Operativi: Struttura - Lezione 04Majong DevJfu
 
Architettura dei Calcolatori Subroutines80x86
Architettura dei Calcolatori Subroutines80x86Architettura dei Calcolatori Subroutines80x86
Architettura dei Calcolatori Subroutines80x86Majong DevJfu
 
esercizio sigda n 11
esercizio sigda n 11esercizio sigda n 11
esercizio sigda n 11Majong DevJfu
 
Linguaggi Formali e Compilazione: Frontend
Linguaggi Formali e Compilazione: FrontendLinguaggi Formali e Compilazione: Frontend
Linguaggi Formali e Compilazione: FrontendMajong DevJfu
 
Sistemi Operativi: Meccanismi - Lezione 03
Sistemi Operativi: Meccanismi - Lezione 03Sistemi Operativi: Meccanismi - Lezione 03
Sistemi Operativi: Meccanismi - Lezione 03Majong DevJfu
 
2 sistemi informativi d azienda
2 sistemi informativi d azienda2 sistemi informativi d azienda
2 sistemi informativi d aziendaMajong DevJfu
 
Sistemi Operativi: Struttura avanzata - Lezione 05
Sistemi Operativi: Struttura avanzata - Lezione 05Sistemi Operativi: Struttura avanzata - Lezione 05
Sistemi Operativi: Struttura avanzata - Lezione 05Majong DevJfu
 
Sistemi Operativi: Processi - Lezione 07
Sistemi Operativi: Processi - Lezione 07Sistemi Operativi: Processi - Lezione 07
Sistemi Operativi: Processi - Lezione 07Majong DevJfu
 
Calcolo Numerico - 2 - Numeri Di Macchina
Calcolo Numerico - 2 - Numeri Di MacchinaCalcolo Numerico - 2 - Numeri Di Macchina
Calcolo Numerico - 2 - Numeri Di MacchinaMajong DevJfu
 
Introduzione a Linguaggi formali e compilazione
Introduzione a Linguaggi formali e compilazioneIntroduzione a Linguaggi formali e compilazione
Introduzione a Linguaggi formali e compilazioneMajong DevJfu
 
Sistemi Operativi: Introduzione - Lezione 01
Sistemi Operativi: Introduzione - Lezione 01Sistemi Operativi: Introduzione - Lezione 01
Sistemi Operativi: Introduzione - Lezione 01Majong DevJfu
 
Linguaggi Formali e Compilazione: Automi
Linguaggi Formali e Compilazione: AutomiLinguaggi Formali e Compilazione: Automi
Linguaggi Formali e Compilazione: AutomiMajong DevJfu
 

Destacado (20)

4 Livello Ip Parte1 Color
4 Livello Ip Parte1 Color4 Livello Ip Parte1 Color
4 Livello Ip Parte1 Color
 
3 H2 N Parte3
3 H2 N Parte33 H2 N Parte3
3 H2 N Parte3
 
Traffic Shaping Su Linux
Traffic Shaping Su LinuxTraffic Shaping Su Linux
Traffic Shaping Su Linux
 
5 Trasporto Affidabile Teoria
5 Trasporto Affidabile Teoria5 Trasporto Affidabile Teoria
5 Trasporto Affidabile Teoria
 
Sistemi Operativi: Struttura - Lezione 04
Sistemi Operativi: Struttura - Lezione 04Sistemi Operativi: Struttura - Lezione 04
Sistemi Operativi: Struttura - Lezione 04
 
Architettura dei Calcolatori Subroutines80x86
Architettura dei Calcolatori Subroutines80x86Architettura dei Calcolatori Subroutines80x86
Architettura dei Calcolatori Subroutines80x86
 
8 Www2009 Parte1
8 Www2009 Parte18 Www2009 Parte1
8 Www2009 Parte1
 
esercizio sigda n 11
esercizio sigda n 11esercizio sigda n 11
esercizio sigda n 11
 
Linguaggi Formali e Compilazione: Frontend
Linguaggi Formali e Compilazione: FrontendLinguaggi Formali e Compilazione: Frontend
Linguaggi Formali e Compilazione: Frontend
 
Sistemi Operativi: Meccanismi - Lezione 03
Sistemi Operativi: Meccanismi - Lezione 03Sistemi Operativi: Meccanismi - Lezione 03
Sistemi Operativi: Meccanismi - Lezione 03
 
2 sistemi informativi d azienda
2 sistemi informativi d azienda2 sistemi informativi d azienda
2 sistemi informativi d azienda
 
Sistemi Operativi: Struttura avanzata - Lezione 05
Sistemi Operativi: Struttura avanzata - Lezione 05Sistemi Operativi: Struttura avanzata - Lezione 05
Sistemi Operativi: Struttura avanzata - Lezione 05
 
6 Dns Parte2
6 Dns Parte26 Dns Parte2
6 Dns Parte2
 
9 Ftp Telnet Email
9 Ftp Telnet Email9 Ftp Telnet Email
9 Ftp Telnet Email
 
esercizio sigda n 8
esercizio sigda n 8esercizio sigda n 8
esercizio sigda n 8
 
Sistemi Operativi: Processi - Lezione 07
Sistemi Operativi: Processi - Lezione 07Sistemi Operativi: Processi - Lezione 07
Sistemi Operativi: Processi - Lezione 07
 
Calcolo Numerico - 2 - Numeri Di Macchina
Calcolo Numerico - 2 - Numeri Di MacchinaCalcolo Numerico - 2 - Numeri Di Macchina
Calcolo Numerico - 2 - Numeri Di Macchina
 
Introduzione a Linguaggi formali e compilazione
Introduzione a Linguaggi formali e compilazioneIntroduzione a Linguaggi formali e compilazione
Introduzione a Linguaggi formali e compilazione
 
Sistemi Operativi: Introduzione - Lezione 01
Sistemi Operativi: Introduzione - Lezione 01Sistemi Operativi: Introduzione - Lezione 01
Sistemi Operativi: Introduzione - Lezione 01
 
Linguaggi Formali e Compilazione: Automi
Linguaggi Formali e Compilazione: AutomiLinguaggi Formali e Compilazione: Automi
Linguaggi Formali e Compilazione: Automi
 

Similar a E6 Concorre

Corso Di Basi Di Dati 10 Transazioni
Corso Di  Basi Di  Dati 10  TransazioniCorso Di  Basi Di  Dati 10  Transazioni
Corso Di Basi Di Dati 10 Transazioniguestbe916c
 
F1 Vincoli Procedure Trigger
F1 Vincoli Procedure TriggerF1 Vincoli Procedure Trigger
F1 Vincoli Procedure TriggerMajong DevJfu
 
Software testing
Software testingSoftware testing
Software testingIxmaSoft
 
Ecdl modulo 1 -Fondamenti
Ecdl modulo 1 -FondamentiEcdl modulo 1 -Fondamenti
Ecdl modulo 1 -FondamentiAngela Cristina
 
Presentazione: uno studio sull'efficacia di checker automatici per la moderni...
Presentazione: uno studio sull'efficacia di checker automatici per la moderni...Presentazione: uno studio sull'efficacia di checker automatici per la moderni...
Presentazione: uno studio sull'efficacia di checker automatici per la moderni...Idriss Riouak
 
Lezione 12 (28 marzo 2012)
Lezione 12 (28 marzo 2012)Lezione 12 (28 marzo 2012)
Lezione 12 (28 marzo 2012)STELITANO
 
Lezione 12 (28 marzo 2012)
Lezione 12 (28 marzo 2012)Lezione 12 (28 marzo 2012)
Lezione 12 (28 marzo 2012)STELITANO
 
High Level Synthesis Using Esterel
High Level Synthesis Using EsterelHigh Level Synthesis Using Esterel
High Level Synthesis Using EsterelAlberto Minetti
 
Progettazione di un convertitore analogico digitale in architettura multistadio
Progettazione di un convertitore analogico digitale in architettura multistadioProgettazione di un convertitore analogico digitale in architettura multistadio
Progettazione di un convertitore analogico digitale in architettura multistadioNelson Firmani
 
Realizzazione di un controllore basato su piattaforma robotica Thymio 2.
Realizzazione di un controllore basato su piattaforma robotica Thymio 2.Realizzazione di un controllore basato su piattaforma robotica Thymio 2.
Realizzazione di un controllore basato su piattaforma robotica Thymio 2.anwarNazik
 
regolazione Pid con robot lego
regolazione Pid  con robot legoregolazione Pid  con robot lego
regolazione Pid con robot legoaaa bbbb
 
Presentazione Nuvola Vertica Full New1
Presentazione Nuvola Vertica Full New1Presentazione Nuvola Vertica Full New1
Presentazione Nuvola Vertica Full New1guest5c2d35b
 
Presentazione Nuvola Vertica Full
Presentazione Nuvola Vertica FullPresentazione Nuvola Vertica Full
Presentazione Nuvola Vertica FullAlberto.F
 
Presentazione Nuvola Vertica F
Presentazione Nuvola Vertica FPresentazione Nuvola Vertica F
Presentazione Nuvola Vertica FAlberto.F
 

Similar a E6 Concorre (20)

Corso Di Basi Di Dati 10 Transazioni
Corso Di  Basi Di  Dati 10  TransazioniCorso Di  Basi Di  Dati 10  Transazioni
Corso Di Basi Di Dati 10 Transazioni
 
D4 Dderivati
D4 DderivatiD4 Dderivati
D4 Dderivati
 
F1 Vincoli Procedure Trigger
F1 Vincoli Procedure TriggerF1 Vincoli Procedure Trigger
F1 Vincoli Procedure Trigger
 
E5 Transaz
E5 TransazE5 Transaz
E5 Transaz
 
Software testing
Software testingSoftware testing
Software testing
 
Ecdl modulo 1 -Fondamenti
Ecdl modulo 1 -FondamentiEcdl modulo 1 -Fondamenti
Ecdl modulo 1 -Fondamenti
 
Presentazione: uno studio sull'efficacia di checker automatici per la moderni...
Presentazione: uno studio sull'efficacia di checker automatici per la moderni...Presentazione: uno studio sull'efficacia di checker automatici per la moderni...
Presentazione: uno studio sull'efficacia di checker automatici per la moderni...
 
Presentazione Tesi
Presentazione TesiPresentazione Tesi
Presentazione Tesi
 
I cicli in Python 3
I cicli in Python 3I cicli in Python 3
I cicli in Python 3
 
Lezione 12 (28 marzo 2012)
Lezione 12 (28 marzo 2012)Lezione 12 (28 marzo 2012)
Lezione 12 (28 marzo 2012)
 
Lezione 12 (28 marzo 2012)
Lezione 12 (28 marzo 2012)Lezione 12 (28 marzo 2012)
Lezione 12 (28 marzo 2012)
 
Il pic 16 f84a
Il pic 16 f84aIl pic 16 f84a
Il pic 16 f84a
 
E1 Memorie
E1 MemorieE1 Memorie
E1 Memorie
 
High Level Synthesis Using Esterel
High Level Synthesis Using EsterelHigh Level Synthesis Using Esterel
High Level Synthesis Using Esterel
 
Progettazione di un convertitore analogico digitale in architettura multistadio
Progettazione di un convertitore analogico digitale in architettura multistadioProgettazione di un convertitore analogico digitale in architettura multistadio
Progettazione di un convertitore analogico digitale in architettura multistadio
 
Realizzazione di un controllore basato su piattaforma robotica Thymio 2.
Realizzazione di un controllore basato su piattaforma robotica Thymio 2.Realizzazione di un controllore basato su piattaforma robotica Thymio 2.
Realizzazione di un controllore basato su piattaforma robotica Thymio 2.
 
regolazione Pid con robot lego
regolazione Pid  con robot legoregolazione Pid  con robot lego
regolazione Pid con robot lego
 
Presentazione Nuvola Vertica Full New1
Presentazione Nuvola Vertica Full New1Presentazione Nuvola Vertica Full New1
Presentazione Nuvola Vertica Full New1
 
Presentazione Nuvola Vertica Full
Presentazione Nuvola Vertica FullPresentazione Nuvola Vertica Full
Presentazione Nuvola Vertica Full
 
Presentazione Nuvola Vertica F
Presentazione Nuvola Vertica FPresentazione Nuvola Vertica F
Presentazione Nuvola Vertica F
 

Más de Majong DevJfu

9 - Architetture Software - SOA Cloud
9 - Architetture Software - SOA Cloud9 - Architetture Software - SOA Cloud
9 - Architetture Software - SOA CloudMajong DevJfu
 
8 - Architetture Software - Architecture centric processes
8 - Architetture Software - Architecture centric processes8 - Architetture Software - Architecture centric processes
8 - Architetture Software - Architecture centric processesMajong DevJfu
 
7 - Architetture Software - Software product line
7 - Architetture Software - Software product line7 - Architetture Software - Software product line
7 - Architetture Software - Software product lineMajong DevJfu
 
6 - Architetture Software - Model transformation
6 - Architetture Software - Model transformation6 - Architetture Software - Model transformation
6 - Architetture Software - Model transformationMajong DevJfu
 
5 - Architetture Software - Metamodelling and the Model Driven Architecture
5 - Architetture Software - Metamodelling and the Model Driven Architecture5 - Architetture Software - Metamodelling and the Model Driven Architecture
5 - Architetture Software - Metamodelling and the Model Driven ArchitectureMajong DevJfu
 
4 - Architetture Software - Architecture Portfolio
4 - Architetture Software - Architecture Portfolio4 - Architetture Software - Architecture Portfolio
4 - Architetture Software - Architecture PortfolioMajong DevJfu
 
3 - Architetture Software - Architectural styles
3 - Architetture Software - Architectural styles3 - Architetture Software - Architectural styles
3 - Architetture Software - Architectural stylesMajong DevJfu
 
2 - Architetture Software - Software architecture
2 - Architetture Software - Software architecture2 - Architetture Software - Software architecture
2 - Architetture Software - Software architectureMajong DevJfu
 
1 - Architetture Software - Software as a product
1 - Architetture Software - Software as a product1 - Architetture Software - Software as a product
1 - Architetture Software - Software as a productMajong DevJfu
 
10 - Architetture Software - More architectural styles
10 - Architetture Software - More architectural styles10 - Architetture Software - More architectural styles
10 - Architetture Software - More architectural stylesMajong DevJfu
 

Más de Majong DevJfu (20)

9 - Architetture Software - SOA Cloud
9 - Architetture Software - SOA Cloud9 - Architetture Software - SOA Cloud
9 - Architetture Software - SOA Cloud
 
8 - Architetture Software - Architecture centric processes
8 - Architetture Software - Architecture centric processes8 - Architetture Software - Architecture centric processes
8 - Architetture Software - Architecture centric processes
 
7 - Architetture Software - Software product line
7 - Architetture Software - Software product line7 - Architetture Software - Software product line
7 - Architetture Software - Software product line
 
6 - Architetture Software - Model transformation
6 - Architetture Software - Model transformation6 - Architetture Software - Model transformation
6 - Architetture Software - Model transformation
 
5 - Architetture Software - Metamodelling and the Model Driven Architecture
5 - Architetture Software - Metamodelling and the Model Driven Architecture5 - Architetture Software - Metamodelling and the Model Driven Architecture
5 - Architetture Software - Metamodelling and the Model Driven Architecture
 
4 - Architetture Software - Architecture Portfolio
4 - Architetture Software - Architecture Portfolio4 - Architetture Software - Architecture Portfolio
4 - Architetture Software - Architecture Portfolio
 
3 - Architetture Software - Architectural styles
3 - Architetture Software - Architectural styles3 - Architetture Software - Architectural styles
3 - Architetture Software - Architectural styles
 
2 - Architetture Software - Software architecture
2 - Architetture Software - Software architecture2 - Architetture Software - Software architecture
2 - Architetture Software - Software architecture
 
1 - Architetture Software - Software as a product
1 - Architetture Software - Software as a product1 - Architetture Software - Software as a product
1 - Architetture Software - Software as a product
 
10 - Architetture Software - More architectural styles
10 - Architetture Software - More architectural styles10 - Architetture Software - More architectural styles
10 - Architetture Software - More architectural styles
 
Uml3
Uml3Uml3
Uml3
 
Uml2
Uml2Uml2
Uml2
 
6
66
6
 
5
55
5
 
4 (uml basic)
4 (uml basic)4 (uml basic)
4 (uml basic)
 
3
33
3
 
2
22
2
 
1
11
1
 
Tmd template-sand
Tmd template-sandTmd template-sand
Tmd template-sand
 
26 standards
26 standards26 standards
26 standards
 

E6 Concorre