2 research outputs found

    Contributions to the deadlock problem in multithreaded software applications observed as Resource Allocation Systems

    Get PDF
    Desde el punto de vista de la competencia por recursos compartidos sucesivamente reutilizables, se dice que un sistema concurrente compuesto por procesos secuenciales est谩 en situaci贸n de bloqueo si existe en 茅l un conjunto de procesos que est谩n indefinidamente esperando la liberaci贸n de ciertos recursos retenidos por miembros del mismo conjunto de procesos. En sistemas razonablemente complejos o distribuidos, establecer una pol铆tica de asignaci贸n de recursos que sea libre de bloqueos puede ser un problema muy dif铆cil de resolver de forma eficiente. En este sentido, los modelos formales, y particularmente las redes de Petri, se han ido afianzando como herramientas fruct铆feras que permiten abstraer el problema de asignaci贸n de recursos en este tipo de sistemas, con el fin de abordarlo anal铆ticamente y proveer m茅todos eficientes para la correcta construcci贸n o correcci贸n de estos sistemas. En particular, la teor铆a estructural de redes de Petri se postula como un potente aliado para lidiar con el problema de la explosi贸n de estados inherente a aqu茅llos. En este f茅rtil contexto han florecido una serie de trabajos que defienden una propuesta metodol贸gica de dise帽o orientada al estudio estructural y la correspondiente correcci贸n f铆sica del problema de asignaci贸n de recursos en familias de sistemas muy significativas en determinados contextos de aplicaci贸n, como el de los Sistemas de Fabricaci贸n Flexible. Las clases de modelos de redes de Petri resultantes asumen ciertas restricciones, con significado f铆sico en el contexto de aplicaci贸n para el que est谩n destinadas, que alivian en buena medida la complejidad del problema. En la presente tesis, se intenta acercar ese tipo de aproximaci贸n metodol贸gica al dise帽o de aplicaciones software multihilo libres de bloqueos. A tal efecto, se pone de manifiesto c贸mo aquellas restricciones procedentes del mundo de los Sistemas de Fabricaci贸n Flexible se muestran demasiado severas para aprehender la versatilidad inherente a los sistemas software en lo que respecta a la interacci贸n de los procesos con los recursos compartidos. En particular, se han de resaltar dos necesidades de modelado fundamentales que obstaculizan la mera adopci贸n de antiguas aproximaciones surgidas bajo el prisma de otros dominios: (1) la necesidad de soportar el anidamiento de bucles no desplegables en el interior de los procesos, y (2) la posible compartici贸n de recursos no disponibles en el arranque del sistema pero que son creados o declarados por un proceso en ejecuci贸n. A resultas, se identifica una serie de requerimientos b谩sicos para la definici贸n de un tipo de modelos orientado al estudio de sistemas software multihilo y se presenta una clase de redes de Petri, llamada PC2R, que cumple dicha lista de requerimientos, manteni茅ndose a su vez respetuosa con la filosof铆a de dise帽o de anteriores subclases enfocadas a otros contextos de aplicaci贸n. Junto con la revisi贸n e integraci贸n de anteriores resultados en el nuevo marco conceptual, se aborda el estudio de propiedades inherentes a los sistemas resultantes y su relaci贸n profunda con otros tipos de modelos, la confecci贸n de resultados y algoritmos eficientes para el an谩lisis estructural de vivacidad en la nueva clase, as铆 como la revisi贸n y propuesta de m茅todos de resoluci贸n de los problemas de bloqueo adaptadas a las particularidades f铆sicas del dominio de aplicaci贸n. Asimismo, se estudia la complejidad computacional de ciertas vertientes relacionadas con el problema de asignaci贸n de recursos en el nuevo contexto, as铆 como la traslaci贸n de los resultados anteriormente mencionados sobre el dominio de la ingenier铆a de software multihilo, donde la nueva clase de redes permite afrontar problemas inabordables considerando el marco te贸rico y las herramientas suministradas para subclases anteriormente explotadas

    Energy: A continuing bibliography with indexes (Issue 29)

    Get PDF
    This bibliography lists 1360 reports, articles, and other documents introduced into the NASA scientific and technical information system from January 1, 1981 through March 31, 1981
    corecore