/**************************************************************************************/ CONCEPTOS Y DEFINICIONES.

/******/ 4. Sea un sistema donde se utiliza un esquema de asignacin con mltiples particiones de tamao fijo. Qu determinara el lmite del grado de multiprogramacin de dicho sistema Solucin Es un esquema donde la memoria se encuentra dividida en varias articiones de tama!o "i#o$ cada artici%n &nicamente uede contener un roceso ' el (rado de multi ro(ramaci%n est) limitado or el n&mero de articiones. /***/ !. Indique si las siguientes afirmaciones son verdaderas (V) o falsas (F) y justifiquelo. a" La gestin de memoria basada en particiones fijas utiliza el m todo de compactacin para resolver el problema de fragmentacin e!terna. #" "l m todo de superposiciones (#overlays#) se puede utilizar en un sistema que no gestione memoria virtual. c" "l espacio de direcciones f$sicas depende del b%s de direcciones del sistema. d" "l espacio de direcciones lgicas est& limitado por el tama'o de la memoria f$sica. e" La compactacin de un proceso slo se puede realizar en un m todo de reubicacin din&mica de la memoria. Solucin a* F+,S+. No es osi-le$ 'a que las articiones de tama!o "i#o no resentan el ro-lema de la "ra(mentaci%n e.terna. -* /E0D+DE0+. ,as su er osiciones es un m1todo que se em lea cua ndo no e.iste memoria virtual ara oder e#ecutar rocesos cu'o tama!o es su erior al de la memoria "2sica. El ro(ramador de-2a de"inir donde comen3a-an ' aca-a-an las su er osiciones. c* /E0D+DE0+. No se uede emitir una direcci%n de ma'or n&mero de -its que el ermitido or el sistema. d* F+,SO. ,as direcciones l%(icas son emitidas or la CP4 ' s%lo de enden del n&mero de -its que esta sea ca a3 de emitir. El es acio de direcciones l%(icas de un roceso de ende del tama!o del roceso. e* /E0D+DE0O. Si los roceso no son reu-ica-les$ no se ueden utili3ar al(oritmos de com actaci%n$ 'a que la e#ecuci%n de los mismos odr2a ser err%nea$ or estar accediendo a direcciones de memoria donde no se encuentran u-icadas sus instrucciones /*****/ $.%Suponga un sistema en el que no se dispone de &&'. ()iste alguna tcnica que permita ejecutar en dicho sistema un programa cu*as necesidades de memoria superen la cantidad de memoria fsica total disponi#le . Solucin S2$ utili3ando su er osiciones. Dividiendo el ro(rama en di"erentes "ra(mentos que no de-an estar todos ellos simult)neamente en memoria se uede reducir si(ni"icativamente la cantidad de memoria "2sica que el ro(rama necesitar) /***/

+.% Qu tipo de algoritmos se utilizan para gestionar sistemas con asignacin contigua de memoria Qu tipo de fragmentacin se puede producir en estos sistemas Solucin ,os al(oritmos que se ueden utili3ar ara (estionar los sistemas con asi(naci%n conti(ua de memoria son5 6el rimer a#uste7 8first fit*$ 6el me#or a#uste7 8best fit*$ 6el eor a#uste 8worst fit*7. Sin em-ar(o$ en articiones varia-les de tama!o "i#o$ no tiene sentido el uso del al(oritmo del eor a#uste$ 'a que la "ra(mentaci%n interna que se roduce no uede ser a rovec9ada or otro roceso 8s%lo un roceso or artici%n*. En la asi(naci%n conti(ua con articiones de tama!o varia-le uede a arecer la "ra(mentaci%n e.terna$ siendo necesario el uso de al(oritmos de com actaci%n. :ientras que en las de tama!o "i#o a arece la "ra(mentaci%n interna. /***/

,estin de memoria- paginacin * segmentacin .///

01. 2ndique en cuales de los siguientes mecanismos de gestin de memoria puede producirse fragmentacin e)ternaparticiones 3aria#les4 paginacin4 segmentacin paginacin por demanda4 segmentacin por demanda .

Solucin ,os mecanismos que ueden roducir "ra(mentaci%n e.terna son5 articiones varia-les ' se(mentaci%n. En am-os casos ueden quedar en memoria 9uecos no conti(uos cu'a suma de tama!os sea su"iciente ara u-icar un nuevo roceso /*****/ 05. ()plique la moti3acin * las 3entajas de la tcnica de compartir p6ginas. Solucin Cuando dos o m)s rocesos e#ecutan un mismo ro(rama$ la t1cnica de com artici%n de )(inas ermite no tener que du licar el c%di(o en memoria con lo que se a9orra es acio en la misma. Piense en un sistema de tiem o com artido donde e.isten varios usuarios que se encuentran utili3ando a la ve3 un mismo editor o com ilador /**********/ 0!. 7os sistemas que usan ta#la de p6ginas in3ertidas4 pueden tener pro#lemas para que los procesos compartan p6ginas. 2ndique porqu * como podra solucionarse. Solucin En los sistemas de )(inas invertidas la ta-la de marcos asocia a cada entrada una )(ina de un determinado roceso. Sin em-ar(o ara oder com artir )(inas$ un mismo marco se 9a de encontrar asociado al menos a dos )(inas de di"erentes rocesos. Por lo tanto una entrada de la ta-la de )(inas invertidas de-er2a oder asociarse a m)s de una direcci%n l%(ica de distintos rocesos. /*********/ 18. 9e entre todos los esquemas de gestin de memoria estudiados :tanto con asignacin contigua como con asignacin dispersa"4 indique cu6les cumplen cada una de las siguientes caractersticasa) (osibilidad de compartir memoria. b) (resentan fragmentacin e!terna. Solucin a* ,os esquemas de (esti%n de memoria que ermiten com artir la misma or varios rocesos son5 se(mentaci%n$ a(inaci%n ' se(mentaci%n a(inada. -* Fra(mentaci%n e.terna resentan los esquemas de articiones de tama!o varia-le ' se(mentaci%n. /*********/ 15. 9escri#a cu6l es la forma de detectar una direccin no 36lida en los siguientes mtodos de gestin de memoria. a) (aginacin. b) )egmentacin. c) )egmentacin paginada. Solucin a* En a(inaci%n la "orma de detectar una direcci%n no v)lida es mediante la com ro-aci%n en su ta-la de )(inas de la no e.istencia de la )(ina a la que ertenece dic9a direcci%n$ ara el roceso que la 9a emitido. -* En se(mentaci%n la "orma de detectar una direcci%n no v)lida es mediante la com ro-aci%n de que el des la3amiento de la direcci%n l%(ica emitida 9a de ser menor que el tama!o del se(mento corres ondiente$ el cual se encuentra almacenado en su ta-la de se(mentos. c* En se(mentaci%n a(inada la "orma de detectar una direcci%n no v)lida es la misma que se reali3a en se(mentaci%n 8a artado -*. /***/ ,estin de memoria- &emoria ;irtual. *++++* 1!. ()iste alguna incompati#ilidad entre los algoritmos de asignacin :reparto" de marcos entre procesos
:asigancin equitati3a4 proporcional4 prioritaria" * el 6m#ito de reemplazo de p6ginas :local o glo#al" . <ustifque la respuesta.

Solucin El al(oritmo de asi(naci%n de marcos esta-lece la ol2tica de re arto de la memoria "2sica a los rocesos. Es decir$ el n&mero de marcos que de-e tener asi(nado cada roceso. Si el al(oritmo de reem la3o utili3ado es (lo-al$ el n&mero de marcos asi(nado a cada roceso se uede modi"icar din)micamente$ or lo que el al(oritmo de asi(naci%n odr2a no res etarse$ o

-ien s%lo tendr2a sentido inicialmente. Por el contrario$ si el )m-ito del al(oritmo de reem la3o es local 8s%lo a"ecta a los marcos asi(nados al roceso*$ no 9a' nin(una incom ati-ilidad$ 'a que en todo momento se res eta la asi(naci%n de memoria. /****/ ,estin de &emoria- =iperpaginacin * >rea acti3a. *++++* !1. ?roporcione una definicin precisa de la hiperpaginacin o thrashing. Solucin Si consideramos que un ro(rama est) com uesto or di"erentes localidades que se ueden sola ar$ la 9i er a(inaci%n se uede de"inir "ormalmente de la si(uiente manera5 hiperpaginacin = 8tamaos; de; localidad* > 8tamao; de; memoria;total* donde se considera5 ,ocalidad5 como el con#unto de )(inas que un roceso utili3a con#untamente. Princi io de localidad de re"erencia5 un roceso va asando de una localidad a otra de una "orma lenta ' ro(resiva. /****** !5. <ustifique la relacin entre el principio de localidad * el concepto de 6rea acti3a. Solucin El )rea activa de un roceso trata de re"le#ar la localidad de dic9o roceso de"inida como el con#unto de )(inas que se est)n usando activamente #untas. /*****/ !!. 2ndicar #re3emente en qu consiste el 6rea acti3a o @orAing%set. Solucin Es un modelo usado ara determinar la localidad de los rocesos. 4tili3a un ar)metro ventana del )rea activa que re resenta el n&mero de re"erencias a considerar 9asta el momento actual$ tal con#unto de )(inas constitu'e el )rea activa. El S.O.$ conociendo el )rea activa de cada roceso$ 9a de asi(nar marcos su"icie ntes ar a que cada uno ueda mantenerla en memoria. Si la suma de los tama!os de las )reas activas e.cede del total de marcos dis oni-les$ el S.O. seleccionar) un roceso$ (uardar) sus )(inas en el dis ositivo de a(inaci%n ' reasi(nar) sus marcos a los dem)s rocesos. /******/ !$. 9iga si las siguientes afirmaciones so#re el modelo del 6rea acti3a son 3erdaderas :;" o falsas :B" * justifique su respuestaa) )i la suma de los tama'os de las ventanas del &rea activa de los distintos procesos de un sistema es mayor que el n%mero de marcos de memoria f$sica, entonces en el sistema se produce -iperpaginacin. b) )i el espacio de direcciones lgicas de un proceso es de ./01 p&ginas y el tama'o del area activa en un instante dado es de 2.0 p&ginas, entonces puede asegurarse que el proceso provocar& -iperpaginacin en todos los casos. c) 3na 443 que pudiese provocar una interrupcin cada cierto n%mero fijo de referencias a memoria y gestionase el bit de referencia, podr$a calcular de forma e!acta el tama'o del &rea activa. d) "n un sistema cuyo tama'o de ventana de &rea activa es ./01, el tama'o del &rea activa en un instante t vale ./01 si, y solo si, las %ltimas ./01 p&ginas de una serie de referencias son distintas. e) )i se aumenta el n%mero de marcos que tiene asignados un proceso, entonces aumentar& el tama'o del

&rea activa. Solucin a* F+,S+. El tama!o del )rea activa del roceso i es el n&mero de )(inas re"erenciadas en la ventana m)s reciente$ or tanto la suma de los tama!os de ventana de )rea activa no tiene sentido. -*F+,S+. El que rovoque 9i er a(inaci%n de ender) de cuantas )(inas necesite el roceso tener en memoria a la ve3 ara oder ser e#ecutado. c*F+,S+5 ,o odr2a calcular &nicamente de "orma a ro.imada. d* /E0D+DE0O. Ya que el tama!o del )rea activa del roceso i es el n&mero de )(inas re"erenciadas en la ventana m)s reciente. S%lo ser2a "also si al(una de esas re"erencias "uese incorrecta. e*F+,SO. E, tama!o de )rea activa de ende de la re"erencias que 9a'a solicitado ese roceso ' del tama!o de la ventana que se esco#a ara calcularlo. /*****

?aginacin por demanda- Cn6lisis de eficiencia.

<Tanto en los enunciados como en las soluciones de los ro-lemas de este a artado se em lean un con#unto de si(las que asamos a de"inir5 T+E = T+EF=Tiem o de acceso e"ectivo. ::4= 4nidad de mane#ador de memoria. T,>= re(istros asociativos$ la -&squeda en ellos es or contenido. T+:= tiem o de acceso a memoria. <El Tiem o de +cceso E"ectivo 8T+E* en los sistemas donde se utili3a a(inaci%n or demanda$ se de"ine como5 T+E = 8? < * * T+: @ * 8? @ m* * TTP donde: AT+:5 Tiem o de acceso a memoria. ATTP5 Tiem o de trans"erencia )(ina/disco. A 5 Tasa de "allos de )(ina. A m5 Pro-a-ilidad de que la )(ina a reem la3ar 9a'a sido modi"icada. /****/

/********************************************************************************/ /************************/**************************************/
http://users.dcc.uchile.cl/~jpiquer/Docencia/SO/aps/node30.html /*******************************************************************************************************

Trashing ( sobrepaginacin) El ro-lema de la estrate(ia del relo# es que uede rovocar el "en%meno de trashing. Este "en%meno se caracteri3a or una tasa elevad2sima de a(e<"aults que 9ace que nin(&n roceso ueda avan3ar. De 9ec9o$ la CP4 asa m)s del BCD del tiem o en es era de o eraciones de lectura o escritura de )(inas en el disco de a(inamiento. 4na ve3 que un sistema cae en el "en%meno de tras9in($ es mu' di"2cil que se recu ere. ,a &nica soluci%n es que el o erador lo(re detener al(unos rocesos. Esto odr) reali3arse con muc9a di"icultad orque incluso los rocesos del o erador avan3ar)n EEa aso de tortu(aFF. ,a e. licaci%n de este "en%meno est) en la com-inaci%n de la estrate(ia del relo# con un sc9edulin( de rocesos del ti o 0ound<0o-in. ,as )(inas del roceso que se retoma 9an ermanecido lar(o tiem o sin ser accesadas ' or lo tanto es mu' ro-a-le que el sc9eduler de )(inas las 9a'a llevado a disco. Por lo tanto$ cuando un roceso reci-e una ta#ada de tiem o$ alcan3a a avan3ar mu' oco antes de que ocurra un a(e<"ault. El "en%meno de tras9in( se roduce e.actamente cuando el untero del sc9eduler de )(inas comien3a a dar vueltas m)s ra idas que las vueltas que da el untero del sc9eduler 0ound<0o-in de los rocesos .

Causas del trashing..

5uando la tasa de utilizacin de la 5(3 baja demasiado, el ).6. ordena incrementar el grado de multiprogramacin introduciendo un nuevo proceso al sistema. )upongamos que un proceso entra en fase de ejecucin y necesita m&s frames que los disponibles, generar& entonces, fallos de p&gina quitando frames a otros procesos que, a su vez, necesitan esas p&ginas, generando as$ m&s fallos de p&gina. 7 medida que estos procesos se ponen en la cola para ser servidos por el dispositivo de paginacin, la cola #ready# se vac$a, causando que la tasa de utilizacin de la 5(3 disminuya y, como consecuencia, que el ).6. introduzca otro proceso para elevar el grado de multiprogramacin, volvi ndose a repetir todo el ciclo y creando un c$rculo vicioso donde los procesos involucrados caen en estado de t-ras-ing, increment&ndose el tiempo efectivo de ingreso a memoria, y decayendo vertiginosamente la tasa de procesamiento del sistema.

/*********************************************************************/
La estrategia del Working-Set
Esta estrate(ia elimina el ro-lema del tras9in( com-inando a(inamiento en demanda con swapping. ,a idea es mantener ara cada roceso un m2nimo de )(inas que (arantice que ueda correr ra3ona-lemente$ es decir con una tasa de a(e<"aults -a#a. Este m2nimo de )(inas se denomina working-set. Si el sc9eduler de )(inas no dis one de memoria su"iciente como ara tener car(ados los GorHin(<set de todos los rocesos$ entonces se comunica con el sc9eduler de mediano la3o ara que 1ste 9a(a sGa in( de rocesos. Es decir se llevan rocesos com letos a disco.

El working-set
Se de"ine como el con#unto de )(inas virtuales del roceso P que 9an sido accesadas en los &ltimos se(undos de tiem o virtual del roceso P. ,a estrate(ia del GorHin(<set calcula ara un roceso P el valor cada ve3 que el roceso P com leta se(undos de uso de la CP4. Este c)lculo se reali3a de la si(uiente "orma5 Se consulta el -it 0 de cada )(ina q residente en memoria real del roceso P5 Si el -it 0 de q est) en ?$ la )(ina est) en el GorHin(<set ' se coloca el -it en C. Sino$ la )(ina no 9a sido accesada desde 9ace se(undos ' or lo tanto no ertenece al GorHin(<set de P. ,a )(ina se a(re(a al con#unto C que a(ru a las )(inas candidatas a ser reem la3adas$ de todos lo rocesos. /**************************************************************************/