{"id":144539,"date":"1993-01-01T00:00:00","date_gmt":"1993-01-01T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/soluciones-formales-al-problema-de-la-deteccion-del-interbloqueo\/"},"modified":"1993-01-01T00:00:00","modified_gmt":"1993-01-01T00:00:00","slug":"soluciones-formales-al-problema-de-la-deteccion-del-interbloqueo","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/soluciones-formales-al-problema-de-la-deteccion-del-interbloqueo\/","title":{"rendered":"Soluciones formales al problema de la deteccion del interbloqueo."},"content":{"rendered":"<h2>Tesis doctoral de <strong> Jos\u00e9 Ramon Gonzalez De Mendivil Moreno <\/strong><\/h2>\n<p>El objetivo del trabajo ha sido el desarrollo de algoritmos de deteccion del interbloqueo utilizando tecnicas formales para la verificacion de su correcto funcionamiento. En el primer trabajo se presenta una reformulacion del interbloqueo en sistemas operativos desde el punto de vista de la teoria de lenguajes y automatas.  se construye un algoritmo periodico de deteccion basado en un automata determinista con complejidad lineal y se extiende a un algoritmo no periodico con complejidad proporcional a uno. En el segundo trabajo se realiza un algoritmo distribuido de deteccion y resolucion del interbloqueo para un sistema distribuido de base de datos con modelo de ocupacion unico-recurso. El algoritmo es muy simple y se demuestra formalmente utilizando la teoria de automatas que detecta todos los interbloqueos y no genera falsos interbloqueos. En el tercer trabajo se dise\u00f1a un algoritmo de deteccion y resolucion del interbloqueo para un sistema distribuido de base de datos con modelo de ocupacion and. Su prueba de correccion se realiza mediante la formulacion de las precondiciones y postcondiciones que las acciones del algoritmo verifican.  se demuestra que el algoritmo solo resuelve interbloqueos genuinos y no resuelve interbloqueos que no existen.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Soluciones formales al problema de la deteccion del interbloqueo.<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Soluciones formales al problema de la deteccion del interbloqueo. <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Jos\u00e9 Ramon Gonzalez De Mendivil Moreno <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Pa\u00eds vasco\/euskal herriko unibertsitatea<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 01\/01\/1993<\/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 Mar\u00eda Llaberia Gri\u00f1\u00f3 (vocal)<\/li>\n<li>Fernando Orejas Vald\u00e9s (vocal)<\/li>\n<li>Jos\u00e9 Manuel Bernab\u00e9u Aub\u00e1n (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Jos\u00e9 Ramon Gonzalez De Mendivil Moreno El objetivo del trabajo ha sido el desarrollo de algoritmos de [&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,126,12909,15624,6473],"tags":[5512,30751,17055,30848,12974,31237],"class_list":["post-144539","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-matematicas","category-pais-vasco-euskal-herriko-unibertsitatea","category-software","category-teoria-de-la-programacion","tag-fernando-orejas-valdes","tag-garitagoitia-padrones-jose-ramon","tag-isidro-ramos-salavert","tag-jose-manuel-bernabeu-auban","tag-jose-maria-llaberia-grino","tag-jose-ramon-gonzalez-de-mendivil-moreno"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/144539","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=144539"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/144539\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=144539"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=144539"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=144539"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}