Hola Andres, como andas? El 24 de junio de 2011 19:00, Andres Valloud <[email protected]>escribió:
> Ah, mira vos... pense que al final lo habian resuelto desde la imagen > pero sin tener que usar page faults... o sea, vaciar un espacio de > memoria, y usar objetos ahi para grabar el resto de la imagen (pero > sin grabar los objetos nuevos que se van creando para grabar la > imagen). > Esta fue la idea que surgió charlando con gente en la ultima Smalltalks y a partir de haber conocido un poco mas sobre garbage collector general y sobre el gc de la vm de squeak particularmente. Sin embargo, al hacer la prueba y poner toda la imagen en readonly menos el "eden" vimos que se generaban pagefaults. Esto nos dio la pauta que habia cosas en la parte freezada que se estaban modificando y podian generar inconsistencias. Metiendonos un poquito mas adentro vimos varios casos que hacen que se modifiquen objetos en el medio del proceso de grabado. En este momento me acuerdo por ejemplo del gc, semaforos internos que generan cambio de contexto en la imagen, etc. Con lo cual este camino resulto insatisfactorio, porque era muy complicado llegar a probar que estos cambios no iban a generar una imagen con propiedades distintas a la requerida. > > Mirandolo un poco desde mas lejos, me sigue dando la impresion de que > tener todo en la imagen, y pretender que la imagen resuelva toda clase > de metaproblemas circulares de manera imperativa, a la larga es una > desventaja. Ahora por ejemplo me va a tocar trabajar con dos > problemas que tienen muchisimo que ver con esto, y la verdad me > encantaria no tener que andar preocupandome de como voy a hacer la > cirugia de cerebro en la imagen sin que reviente todo. O como podrian > hacer los usuarios para deshacer los cambios si prefieren el codigo > viejo para sus aplicaciones, de nuevo sin que reviente todo. Son > problemas que no son faciles, y quiza por eso mas o menos divertidos > de resolver porque al final cuando te salen decis "ja, groso!"... > aunque cada vez les veo menos la gracia. Capaz que estaria bueno > resolver TODOS los problemas metacirculares una vez y para siempre. > > En esta parte no te logro seguir del todo. Nuestro desarrollo y los problemas que surgieron no tuvieron una relacion tan directa con la metacircularidad. Si, intentamos llevar lo mas posible del lado de la imagen pero los resultados nos parecen bastante buenos. Por ejemplo, el tener modelado un administrador de memoria en alto nivel, nos permitio utilizar la paginacion para implementar copy on write de manera directa y haciendo un uso intensivo de las herramientas que provee el procesador. Sin embargo el modelo esta casi completamente hecho en smalltalk. Saludos, Guido. > 2011/6/24 Hernan Wilkinson <[email protected]>: > > por si les interesa... > > > > ---------- Forwarded message ---------- > > From: Hernan Wilkinson <[email protected]> > > Date: 2011/6/24 > > Subject: Defensa de Tesis de Licenciatura - Persistencia en SqueakNOS > > To: docentes <[email protected]>, alumnos <[email protected]> > > > > > > Defensa de Tesis de Licenciatura > > Aula 2, Pab I, 1ro de Julio de 2011, de 17hrs. a 18hrs. > > Título: Persistencia en SqueakNOS > > Alumnos: Guido Chari y Javier Pimás > > Directores: Hernán Wilkinson y Gerardo Richiarte > > Jurado: Máximo Prieto y Gabriela Arevalo. > > Resumen: > > SqueakNOS es una reificación de los conceptos de "Computadora" y de > "Sistema > > Operativo" dentro del dialecto Squeak del lenguaje de programación > > Smalltalk. > > La filosofía de SqueakNOS establece que el desarrollo del mismo debe > hacerse > > completamente en Smalltalk, utilizando código de bajo nivel únicamente en > > los casos en que no sea posible utilizar Smalltalk o que el deterioro de > > rendimiento sea extremadamente ostensible. > > El proyecto es un trabajo aún en desarrollo, y como tal, varias > > funcionalidades comunes a los Sistemas Operativos no han > sido implementadas > > aún debido a su complejidad. Es por ello que esta investigación se centra > en > > analizar varios interrogantes relacionados con la persistencia de los > > objetos, interrogantes que se presentan al momento de querer grabar el > grafo > > de objetos que representa el modelo desarrollado. > > Para poder responder estos interrogantes, se desarrolló un controlador de > > discos ATA y un modelo de filesystem FAT32 completamente en Smalltalk, lo > > que brinda compatibilidad con otros sistemas operativos y con el entorno > > Squeak genérico. Así por ejemplo, se logra acceder al código fuente de > los > > métodos y se avanza hacia el grabado de la imagen, característica que aún > no > > estaba disponible en el sistema. > > Luego, se desarrolló una técnica de persistencia cuyo objetivo principal > era > > la simplicidad y su principal desventaja el requerir una utilización > > importante y de manera ineficaz de memoria. A pesar de sus desventajas, > fue > > el primer paso para lograr la atomicidad necesaria para grabar los > objetos > > mientras estos estaban siendo modificados. > > Finalmente, se implementó un esquema de manejo de memoria basado en > > paginación, modificando el mecanismo de manejo de interrupciones original > de > > SqueakNos para que pudiera funcionar en forma sincrónica, requisito > > indispensable para resolver los fallos de página. Esta solución > > permitió resolver los fallos de página completamente desde Smalltalk, lo > > cual dio lugar a la experimentación y al desarrollo de formas > novedosas de > > utilización del mismo. Gracias a esto, resultó posible por ejemplo, > > implementar una técnica alternativa de persistencia de la imagen, que > > utiliza mucha menos memoria que la original debido a la asistencia del > > mecanismo de paginación y la utilización de la técnica de copy on write. > > Por último, se analizan aspectos relacionados con la manera de trabajar > en > > este tipo de entornos y plataformas, sus ventajas, sus dificultades y > > complicaciones. > > > > > > > > > > > > -- > > Hernán Wilkinson > > Agile Software Development, Teaching & Coaching > > Mobile: +54 - 911 - 4470 - 7207 > > email: [email protected] > > site: http://www.10Pines.com > > > > -- > > To post to this group, send email to [email protected] > > To unsubscribe from this group, send email to > > [email protected] > > > > http://www.clubSmalltalk.org > > -- > To post to this group, send email to [email protected] > To unsubscribe from this group, send email to > [email protected] > > http://www.clubSmalltalk.org > -- To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] http://www.clubSmalltalk.org
