39
Sistemas Operativos Sistemas Operativos y Persistencia y Persistencia -%DOWDVDU*DUFtD3HUH]6FKRILHOG KWWSZZZHLXYLJRHVaMJDUFLDFD Departamento de Informática Área de Lenguajes y Sistemas Informáticos http://www.lsi.uvigo.es Grupo IMO http://www.lsi.uvigo.es/lsi/imo/ &RORTXLRV$ELHUWRV

Sistemas Operativos y Persistencia

  • Upload
    others

  • View
    1

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Sistemas Operativos y Persistencia

Sis

tem

as O

pera

tivos

S

iste

mas

Ope

rativ

os

y P

ersi

sten

cia

y P

ersi

sten

cia

����������������� �������������

����������������������������������

Dep

arta

men

to d

e In

form

átic

rea

de L

engu

ajes

y S

iste

mas

In

form

átic

osht

tp://

ww

w.ls

i.uvi

go.e

sG

rupo

IMO

http

://w

ww

.lsi.u

vigo

.es/

lsi/i

mo/

���!�����"#�����

Page 2: Sistemas Operativos y Persistencia

Intr

oduc

ción

�¿P

ersi

sten

cia

= S

eria

liza

ción

?

1.JA

VA

(.c

lass

)

2.C

++

(fw

rite

(&pt

r ...

)

2.L

a se

rial

izac

ión

pare

ce s

er l

a gr

an

cont

ribu

ción

de

la p

ersi

sten

cia.

Intr

oduc

ción

Pers

iste

ncia

Pers

iste

ncia

O

rtog

onal

Sist

emas

O

pera

tivos

Mod

elo

de

pers

iste

ncia

Ren

dim

ient

o

Con

clus

ione

s

Page 3: Sistemas Operativos y Persistencia

Pers

iste

ncia

�G

uard

ar

y re

cupe

rar

estr

uctu

ras

de

dato

s de

fo

rma

tran

spar

ente

y

auto

mát

ica.

�Se

rial

izac

ión

se i

nclu

ye e

n Pe

rsis

tenc

ia,

pero

se

rial

izac

ión

no

impl

ica

pers

iste

ncia

.�

Un

proc

eso

pued

e ac

cede

r a

obje

tos

que

creó

ot

ro

proc

eso.

Intr

oduc

ción

Pers

iste

ncia

Pers

iste

ncia

O

rtog

onal

Sist

emas

O

pera

tivos

Mod

elo

de

pers

iste

ncia

Ren

dim

ient

o

Con

clus

ione

s

Page 4: Sistemas Operativos y Persistencia

Pers

iste

ncia

Ort

ogon

al�

Tot

alm

ente

tr

ansp

aren

te

para

el

pr

ogra

mad

or�

Tre

s pr

inci

pios

:�

Inde

pend

enci

a de

l tip

o de

obj

etos

pe

rsis

tent

es y

no

pers

iste

ntes

.�

Inde

pend

enci

a de

m

anej

o de

ob

jeto

s pe

rsis

tent

es

y no

pe

rsis

tent

es.

�In

depe

nden

cia

de i

dent

ific

ació

n de

ob

jeto

s pe

rsis

tent

es.

Intr

oduc

ción

Pers

iste

ncia

Pers

iste

ncia

O

rtog

onal

Sist

emas

O

pera

tivos

Mod

elo

de

pers

iste

ncia

Ren

dim

ient

o

Con

clus

ione

s

Page 5: Sistemas Operativos y Persistencia

Prog

ram

a Pe

rsis

tent

eO

bjec

tC

aché

Alm

acen

a-m

ient

o pe

rsis

tent

e.

Intr

oduc

ción

Pers

iste

ncia

Pers

iste

ncia

O

rtog

onal

Sist

emas

O

pera

tivos

Mod

elo

de

pers

iste

ncia

Ren

dim

ient

o

Con

clus

ione

s

Pers

iste

ncia

Ort

ogon

al

Page 6: Sistemas Operativos y Persistencia

�Po

r ej

empl

o, N

apie

r, P

jam

a, ..

.�

Punt

os f

uert

es

�L

a pe

rsis

tenc

ia e

s to

talm

ente

au

tom

átic

a y

tota

lmen

te tr

ansp

aren

te

al u

suar

io.

�Pu

ntos

vul

nera

bles

�N

o ex

iste

n si

stem

as d

e or

gani

zaci

ón

de la

info

rmac

ión

en e

l al

mac

enam

ient

o pe

rsis

tent

e.�

La

tran

spar

enci

a se

pie

rde

fáci

lmen

te

en c

uant

o se

aña

den

tran

sacc

ione

s,

evol

ució

n de

l esq

uem

a ...

etc

.

Intr

oduc

ción

Pers

iste

ncia

Pers

iste

ncia

O

rtog

onal

Sist

emas

O

pera

tivos

Mod

elo

de

pers

iste

ncia

Ren

dim

ient

o

Con

clus

ione

s

Pers

iste

ncia

Ort

ogon

al

Page 7: Sistemas Operativos y Persistencia

Sist

emas

Ope

rativ

osIn

trod

ucci

ón

Pers

iste

ncia

Pers

iste

ncia

O

rtog

onal

Sist

emas

O

pera

tivos

Mod

elo

de

pers

iste

ncia

Evo

luci

ón d

el

esqu

ema

Ren

dim

ient

o

Con

clus

ione

s

�Po

r ej

empl

o, W

indo

ws,

Sol

aris

, G

NU

Lin

ux�

Es

el c

onju

nto

de p

rogr

amas

que

pe

rmite

n un

acc

eso

(usa

bilid

ad)

mín

imo

a la

s fu

ncio

nes

del

hard

war

e.

Page 8: Sistemas Operativos y Persistencia
Page 9: Sistemas Operativos y Persistencia

Mic

roso

ft

�E

n 19

85, s

ale

al m

erca

do M

S W

indo

ws

1.0,

una

she

ll pa

ra M

S-D

OS

�E

ntre

198

7 y

1990

sal

en W

indo

ws

2.0

y W

indo

ws

3.0,

ést

e úl

tim

o in

cluy

endo

ya

����������

.�

En

1993

, sal

e W

indo

ws

3.11

, in

cluy

endo

la r

ed d

e W

indo

ws

para

tr

abaj

o en

gru

po.

Page 10: Sistemas Operativos y Persistencia

Mic

roso

ft: a

hora

en

seri

o

�E

n 19

93 ta

mbi

én s

ale

Win

dow

s N

T 3

.1, c

omo

un

“UN

IX”.

Ade

más

, Win

dow

s N

T W

orks

tati

on

sopo

rtan

do O

PEN

GL

.�

En

1995

sal

e W

indo

ws

95. S

O d

e 32

bit

s, c

on

mul

titar

ea “

real

”.�

En

1996

, Win

dow

s N

T W

orks

tati

on 4

.0�

En

1998

, Win

dow

s 98

y W

indo

ws

98 S

E�

En

2000

, Win

dow

s M

E y

Win

dow

s 20

00�

En

2001

, Win

dow

s X

P (

Pro

fess

iona

l, W

orks

tati

on y

Hom

e E

diti

on)

�E

n 20

03, W

indo

ws

.NE

T S

erve

r.

Page 11: Sistemas Operativos y Persistencia

GN

U L

inux

: la

alte

rnat

iva

alte

rnat

iva

�E

n 19

84 S

tallm

an h

abía

aba

ndon

ado

el

MIT

, y d

edic

ado

su v

ida

a la

hos

tele

ría

y a

desa

rrol

lar

el s

oftw

are

GN

U.

�E

n 19

91 L

inus

Tor

vald

s es

crib

e un

ker

nel

para

el s

iste

ma

Min

ix.

�N

ace

GN

U/L

inux

, un

sist

ema

oper

ativ

o co

n un

ker

nel a

l mar

gen

del p

roye

cto

GN

U y

qu

e va

gan

ando

ade

ptos

deb

ido

a su

gr

atui

tidad

.�

Dis

trib

ucio

nes

Red

Hat

, Man

drak

e, S

uSE

...

Page 12: Sistemas Operativos y Persistencia

Hito

s en

la e

volu

ción

de

los

Sist

emas

Ope

rativ

os

�U

NIX

(pr

inci

pios

de

los

70)

es la

gra

n re

fere

ncia

en

Sist

emas

Ope

rativ

os:

�E

s el

“pa

dre”

de

Lin

ux, S

olar

is, M

inix

...

Win

dow

s N

T ..

.�

TO

DO

S lo

s si

stem

as o

pera

tivos

co

mer

cial

es d

e la

act

ualid

ad in

corp

oran

su

arq

uite

ctur

a, s

u fo

rma

de tr

abaj

ar: l

a m

etáf

ora

de f

iche

ros.

Page 13: Sistemas Operativos y Persistencia

Hito

s en

la e

volu

ción

de

los

Sist

emas

Ope

rativ

os�

Smal

ltalk

(pr

inci

pios

de

los

70),

de

los

labo

rato

rios

Xer

ox e

n Pa

lo A

lto,

es e

l que

intr

oduc

e la

idea

de

un

sist

ema

de v

enta

nas

com

o in

terf

az

de u

suar

io.

�L

as ta

reas

se

asim

ilan

a un

a ve

ntan

a so

bre

un e

scri

tori

o, e

n la

for

ma

de

pape

les

sobr

epue

stos

.�

... in

clus

o ha

y un

a pa

pele

ra ..

.

Page 14: Sistemas Operativos y Persistencia

“Evo

luci

ón”

de lo

s Si

stem

as

Ope

rativ

os�

Des

de u

n pu

nto

de v

ista

ar

quite

ctur

al, l

os s

iste

mas

op

erat

ivos

con

tinú

an u

tili

zand

o un

a m

etáf

ora

de f

iche

ros

com

o fo

rma

de

trab

ajo.

�L

a ev

oluc

ión

ha ll

egad

o de

sde

la

prop

ia in

terf

az d

e us

uari

o, q

ue

perm

ite c

iert

a O

rien

taci

ón a

O

bjet

os.

Page 15: Sistemas Operativos y Persistencia

“Evo

luci

ón”

de lo

s Si

stem

as

Ope

rativ

os

�Se

util

iza

algú

n “r

asgo

” de

l fic

hero

co

mo

iden

tific

ador

del

tipo

de

obje

to/f

iche

ro.

�E

n si

stem

as W

indo

ws,

la

iden

tific

ació

n lle

ga d

esde

la

exte

nsió

n de

l arc

hivo

.�

En

sist

emas

tipo

Uni

x, s

e tr

ata

de

un n

úmer

o (M

AG

IC)

en la

cab

ecer

a de

l mis

mo.

Page 16: Sistemas Operativos y Persistencia

¿Por

qu

é no

ha

n ev

oluc

iona

do

los

Sist

emas

Ope

rativ

os?

¿Por

qué

util

izam

os u

na “

met

áfor

a” d

e ob

jeto

s so

bre

una

“met

áfor

a”

de

arch

ivos

?...

en

defi

nitiv

a, s

i ut

iliza

mos

obj

etos

, ¿P

or q

ué n

o un

SO

OO

?¿E

s ���������

� e

l m

undo

de

la

in

form

átic

a?

Page 17: Sistemas Operativos y Persistencia
Page 18: Sistemas Operativos y Persistencia

������ :

Con

vers

ión

de p

unte

ros

del f

orm

ato

en m

emor

ia p

rinc

ipal

al

form

ato

en m

emor

ia s

ecun

dari

a y

vice

vers

a.

����

������

�: O

bjet

o de

gra

n gr

ano

u ob

jeto

co

nten

edor

de

ot

ros

obje

tos

de

gran

o fi

no,

a lo

s qu

e en

caps

ula;

exc

eptu

ando

aqu

ello

s de

���������,

ex

plíc

itam

ente

blic

os

(per

o de

sól

o le

ctur

a).

Intr

oduc

ción

Mod

elo

de

pers

iste

ncia

Con

tene

dore

s

Con

tene

dore

s/D

irec

tori

os

Com

part

ició

n de

obj

etos

C-N

Sw

izzl

ing

Ren

dim

ient

o

Con

clus

ione

s

Mod

elo

basa

do e

n C

onte

nedo

res

Page 19: Sistemas Operativos y Persistencia

�¿C

ómo

agru

par

obje

tos

en

el

alm

acen

amie

nto

pers

iste

nte?

�O

bjet

ivo:

opt

imiz

ació

n de

l pr

oces

o de

rec

uper

ació

n de

obj

etos

.�

...

¿cuá

les

debe

rían

se

r gr

abad

os

conj

unta

men

te

(en

el

mis

mo

clus

ter)

?

Intr

oduc

ción

Mod

elo

de

pers

iste

ncia

Con

tene

dore

s

Con

tene

dore

s/D

irec

tori

os

C-N

Sw

izzl

ing

Ren

dim

ient

o

Con

clus

ione

s

Clu

ster

ing

Page 20: Sistemas Operativos y Persistencia

�E

s ne

cesa

rio

aseg

urar

qu

e el

al

mac

enam

ient

o pe

rsis

tent

e no

se

co

rrom

pe

por

códi

go

erró

neo/

mal

icio

so.

�E

n si

stem

as

pers

iste

ntes

or

togo

nale

s,

sólo

es

po

sibl

e as

egur

ar

ésto

m

edia

nte

leng

uaje

s se

guro

s re

spec

to a

l tip

o.�

... y

a qu

e no

es

posi

ble

prot

eger

los

ob

jeto

s en

el

al

mac

enam

ient

o pe

rsis

tent

e.

Intr

oduc

ción

Mod

elo

de

pers

iste

ncia

Con

tene

dore

s

Con

tene

dore

s/D

irec

tori

os

C-N

Sw

izzl

ing

Ren

dim

ient

o

Con

clus

ione

s

Prot

ecci

ón d

e m

emor

ia

Page 21: Sistemas Operativos y Persistencia

Intr

oduc

ción

Mod

elo

de

pers

iste

ncia

Con

tene

dore

s

Con

tene

dore

s/D

irec

tori

os

C-N

Sw

izzl

ing

Ren

dim

ient

o

Con

clus

ione

s

Con

tene

dore

s

�S

ólo

ofre

ce o

rtog

onal

idad

al t

ipo.

�S

e tr

ata

de

obte

ner

un

mej

or

rend

imie

nto

con

este

mod

elo.

�S

e ut

iliza

un

a ab

stra

cció

n de

di

rect

orio

s qu

e tr

atar

de

cons

egui

r la

s m

ejor

es c

arac

terí

stic

as d

e un

sis

tem

a de

fic

hero

s y

de u

n si

stem

a de

obj

etos

.�

El p

rogr

amad

or u

tiliz

a es

os d

irec

tori

os

de u

na m

aner

a m

uy in

tuit

iva.

Page 22: Sistemas Operativos y Persistencia

�Im

plem

enta

do e

n el

pro

toti

po

�����

���:

�L

a or

gani

zaci

ón d

el a

lmac

enam

ient

o pe

rsis

tent

e co

nsis

te e

n el

uso

de

los

����������

.�

Com

pila

dor

de C

++

a c

ódig

o na

tivo

�$���.

�Sw

izzl

ing

no b

asad

o en

OID

’s.

�T

rans

pare

ncia

:�

La

orga

niza

ción

bas

ada

en ���

�������

se e

scon

de b

ajo

una

met

áfor

a de

di

rect

orio

s.�

La

asoc

iaci

ón c

onta

iner

=di

rect

orio

pe

rmiti

rá o

tras

car

acte

ríst

icas

com

o as

igna

ción

de

perm

isos

... e

tc.

Intr

oduc

ción

Mod

elo

de

pers

iste

ncia

Con

tene

dore

s

Con

tene

dore

s/D

irec

tori

os

C-N

Sw

izzl

ing

Ren

dim

ient

o

Con

clus

ione

s

Mod

elo

basa

do e

n co

nten

edor

es

Page 23: Sistemas Operativos y Persistencia

�L

os ������������

fav

orec

en

la

com

part

ició

n de

l al

mac

enam

ient

o pe

rsis

tent

e.�

Así

, se

ev

ita

que

un

erro

r o

un

prog

ram

a m

alic

ioso

co

rrom

pa

el

alm

acen

amie

nto

pers

iste

nte.

�Si

n em

barg

o, e

s ne

cesa

rio

perm

itir

un

a co

mun

icac

ión,

au

nque

re

stri

ngid

a, e

ntre

���

�������.

Intr

oduc

ción

Mod

elo

de

pers

iste

ncia

Con

tene

dore

s

Con

tene

dore

s/D

irec

tori

os

C-N

Sw

izzl

ing

Ren

dim

ient

o

Con

clus

ione

s

Mod

elo

basa

do e

n co

nten

edor

es

Page 24: Sistemas Operativos y Persistencia

Con

tene

dore

s

�A

lmac

enam

ient

o pe

rsis

tent

e to

talm

ente

par

ticio

nado

.�

... c

on “

com

unic

ació

n” r

estr

ingi

da

(com

part

ició

n de

dat

os)

Intr

oduc

ción

Mod

elo

de

pers

iste

ncia

Con

tene

dore

s

Con

tene

dore

s/D

irec

tori

os

Swiz

zlin

g lo

cal

Ren

dim

ient

o

Con

clus

ione

s

Page 25: Sistemas Operativos y Persistencia

Intr

oduc

ción

Mod

elo

de

pers

iste

ncia

Con

tene

dore

s

Con

tene

dore

s/D

irec

tori

os

C-N

Sw

izzl

ing

Ren

dim

ient

o

Con

clus

ione

s

�L

os

dire

ctor

ios

perm

iten

or

gani

zar

obje

tos

de u

na m

aner

a m

uy in

tuit

iva.

�U

n co

nten

edor

�����

dir

ecto

rio.

�Pa

ra r

efer

enci

ar o

bjet

os,

se u

tili

za e

l es

tilo ��

��: /

std/

ccty

pe/t

oupp

er()

;

Con

tene

dore

s y

Dir

ecto

rios

Page 26: Sistemas Operativos y Persistencia

C-N

Sw

izzl

ing

Intr

oduc

ción

Mod

elo

de

pers

iste

ncia

Con

tene

dore

s

Con

tene

dore

s/D

irec

tori

os

C-N

Sw

izzl

ing

Ren

dim

ient

o

Con

clus

ione

s

Page 27: Sistemas Operativos y Persistencia
Page 28: Sistemas Operativos y Persistencia

C+

+ c

on f

iche

ros

int m

ain(

void

) {

int x

;

FIL

E *

f =

fop

en(“

dato

s.da

t”);

if (

f!=

NU

LL

) {

do { fr

ead(

&x,

siz

eof(

int)

, 1, f

);

cout

<<

x <

< e

ndl;

} w

hile

(!fe

of(f

));

fclo

se(f

);

} el

se c

err

<<

“E

rror

de

E/S

” <

< e

ndl;

}

Page 29: Sistemas Operativos y Persistencia

Pjam

a

publ

ic c

lass

eje

mpl

o {

pub

lic

stat

ic v

oid

mai

n(vo

id)

{

PJav

aSto

re p

js =

PJa

vaSt

ore.

getS

tore

();

int [

] ve

ctnu

m =

(in

t [])

pjs

.get

PRoo

t(“v

ect_

ejem

plo”

);

for

(int

j =

0; j

< v

ectn

um.s

ize;

++

j)

Syst

em.o

ut.p

rint

ln(v

ectn

um[j

]);

} }

Page 30: Sistemas Operativos y Persistencia

Bar

bado

s

void

pon

Vec

torE

jem

plo(

void

) {

int *

vect

num

= /e

jem

plos

/ca/

vect

_eje

mpl

o;

whi

le (

lista

num

!=

NU

LL

)

cout

<<

*(l

ista

num

++

) <

< e

ndl;

}

Page 31: Sistemas Operativos y Persistencia
Page 32: Sistemas Operativos y Persistencia

Intr

oduc

ción

�E

valu

ació

n de

l re

ndim

ient

o de

l pr

otot

ipo.

�¿C

uán

“ráp

ido”

es?

Intr

oduc

ción

Mod

elo

de p

ersi

sten

cia

Evo

luci

ón d

el e

sque

ma

Ren

dim

ient

o

Intr

oduc

ción

Obj

etiv

o

Res

ulta

dos

Con

clus

ione

s

Page 33: Sistemas Operativos y Persistencia

Obj

etiv

o

�¿P

uede

ser

est

e si

stem

a pe

rsis

tent

e ta

n ef

icie

nte

com

o un

si

stem

a tr

adic

iona

l?

Intr

oduc

ción

Mod

elo

de p

ersi

sten

cia

Evo

luci

ón d

el e

sque

ma

Ren

dim

ient

o

Intr

oduc

ción

Obj

etiv

o

Res

ulta

dos

Con

clus

ione

s

Coo

per,

T. “�����

������������ ������

������������

�� ���

��� ���������

����”

. Ph

D T

hesi

s. B

asse

r D

epar

tmen

t of

Com

pute

r S

cien

ce, U

niv.

of

Syd

ney,

S

ydne

y, A

ustr

alia

.

%&���$��'���($�

Page 34: Sistemas Operativos y Persistencia

Obj

etiv

o�

Tom

ar

un

mód

ulo

de

una

aplic

ació

n de

Sm

arts

, Pt

y,

e im

plem

enta

rla

en B

orla

nd C

++

.�

Ada

ptar

es

a ap

licac

ión

a B

arba

dos.

�C

ompa

rar

el

rend

imie

nto

de

amba

s ap

licac

ione

s.�

Tra

nsfo

rmar

la

aplic

ació

n en

una

ap

licac

ión

pers

iste

nte.

�C

ompa

rar

de

nuev

o su

re

ndim

ient

o.

Intr

oduc

ción

Mod

elo

de p

ersi

sten

cia

Evo

luci

ón d

el e

sque

ma

Ren

dim

ient

o

Intr

oduc

ción

Obj

etiv

o

Res

ulta

dos

Con

clus

ione

s

Page 35: Sistemas Operativos y Persistencia

Res

ulta

dos

Intr

oduc

ción

Mod

elo

de p

ersi

sten

cia

Evo

luci

ón d

el e

sque

ma

Ren

dim

ient

o

Intr

oduc

ción

Obj

etiv

o

Res

ulta

dos

Con

clus

ione

s

�L

a ve

rsió

n B

arba

dos

no

pers

iste

nte

es e

n m

edia

un

62%

m

ás

lent

a qu

e la

ve

rsió

n co

nven

cion

al.

�L

a ve

rsió

n B

arba

dos

pers

iste

nte

es s

ólo

un 2

2% m

ás l

enta

que

el

com

pila

dor.

�E

n ot

ra

vers

ión

de

Bar

bado

s,

con

códi

go

inte

rpre

tado

, el

re

ndim

ient

o er

a un

200

0% p

eor.

Page 36: Sistemas Operativos y Persistencia

2428

3027

2329

1413

2210

2117

203

18

69

231

715

051015202530354045505560657075

Per

form

ance

res

ults

ord

ered

by

num

ber

of m

essa

ges

Bor

land

Bar

bado

s po

rt

Per

sist

ent v

ersi

on

FA

V F

ile

Time (secs.)

Page 37: Sistemas Operativos y Persistencia
Page 38: Sistemas Operativos y Persistencia

Con

clus

ione

s�

El

cam

po d

e in

vest

igac

ión

sobr

e pe

rsis

tenc

ia

no

ha

cons

egui

do

dem

ostr

ar,

sin

luga

r a

duda

s, s

u lu

gar

dent

ro

de

los

sist

emas

op

erat

ivos

act

uale

s .

�E

l m

odel

o de

con

tene

dore

s of

rece

va

rias

ven

taja

s, c

oncr

etam

ente

en

re

laci

ón a

l ren

dim

ient

o.�

La

evol

ució

n na

tura

l ap

unta

a u

n en

torn

o or

ient

ado

a ob

jeto

s,

prob

able

men

te

mez

clad

o co

n al

guna

s ca

ract

erís

ticas

de

lo

s si

stem

as d

e fi

cher

os.

Intr

oduc

ción

Mod

elo

de

pers

iste

ncia

Evo

luci

ón d

el

esqu

ema

Ren

dim

ient

o

Con

clus

ione

s

Page 39: Sistemas Operativos y Persistencia

Sis

tem

as O

pera

tivos

S

iste

mas

Ope

rativ

os

y P

ersi

sten

cia

y P

ersi

sten

cia

����������������� �������������

�������������������������������

Gru

po IM

Oht

tp://

ww

w.ls

i.uvi

go.e

s/ls

i/im

o/

Dep

arta

men

to d

e In

form

átic

rea

de L

engu

ajes

y S

iste

mas

In

form

átic

osht

tp://

ww

w.ls

i.uvi

go.e

s

���!�����"#�����