{"id":32598,"date":"1997-01-01T00:00:00","date_gmt":"1997-01-01T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/una-solucion-al-problema-del-interbloqueo-en-sistemas-distribuidos-con-modelo-and-de-peticion-de-recursos\/"},"modified":"1997-01-01T00:00:00","modified_gmt":"1997-01-01T00:00:00","slug":"una-solucion-al-problema-del-interbloqueo-en-sistemas-distribuidos-con-modelo-and-de-peticion-de-recursos","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/una-solucion-al-problema-del-interbloqueo-en-sistemas-distribuidos-con-modelo-and-de-peticion-de-recursos\/","title":{"rendered":"Una solucion al problema del interbloqueo en sistemas distribuidos con modelo and de peticion de recursos."},"content":{"rendered":"<h2>Tesis doctoral de <strong> Federico Fari\u00f1a Figueredo <\/strong><\/h2>\n<p>Uno de los problemas que frena el desarrollo de los sistemas distribuidos es la posibilidad de aparicion de interbloqueos; estando en el que existe un conjunto de procesos que no pueden continuar con su ejecucion porque se encuentran a la espera de recursos concedidos a otros procesos del mismo conjunto. En este trabajo se presenta un alogaritmo que resuelve dicho problema en sistemas con modelo and de peticion de recursos (un proceso solicita un conjunto de recursos y permanece bloqueado hasta que le son asignados todos ellos). Recientemente se ha postulado la imposibilidad de resolver el problema del interbloqueo and de manera segura (sin resolver falsos interbloqueos). El alogaritmo que se demuestra en esta tesis demuestra que si es posible conseguir alogaritmos seguros (y que ademas progresen) en el modelo and, el alogaritmo presentado ha sido demostrado formalmente empleando el modelo formasl de automatas de entrada\/salida palabras clave: interbloqueo; bloqueo mutuo; abrazo mortal; deteccion\/resolucion de interbloqueos; modelo and; automatas de entrada\/salida.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Una solucion al problema del interbloqueo en sistemas distribuidos con modelo and de peticion de recursos.<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Una solucion al problema del interbloqueo en sistemas distribuidos con modelo and de peticion de recursos. <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Federico Fari\u00f1a Figueredo <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 P\u00fablica de navarra<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 01\/01\/1997<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<h3>Direcci\u00f3n y tribunal<\/h3>\n<ul>\n<li><strong>Director de la tesis<\/strong>\n<ul>\n<li> Garitagoitia Padrones Jos\u00e9 Ramon<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Isidro Ramos Salavert <\/li>\n<li>Jos\u00e9 Manuel Bernab\u00e9u Aub\u00e1n (vocal)<\/li>\n<li>Angel Alvarez Rodriguez (vocal)<\/li>\n<li>Sergio Arevalo Vi\u00f1uales (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Federico Fari\u00f1a Figueredo Uno de los problemas que frena el desarrollo de los sistemas distribuidos es la [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"footnotes":""},"categories":[1890,13880,126,18529,15624],"tags":[21136,89671,30751,17055,30848,31238],"class_list":["post-32598","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-informatica","category-matematicas","category-publica-de-navarra","category-software","tag-angel-alvarez-rodriguez","tag-federico-farina-figueredo","tag-garitagoitia-padrones-jose-ramon","tag-isidro-ramos-salavert","tag-jose-manuel-bernabeu-auban","tag-sergio-arevalo-vinuales"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/32598","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/comments?post=32598"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/32598\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=32598"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=32598"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=32598"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}