{"id":1154,"date":"1994-01-01T00:00:00","date_gmt":"1994-01-01T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/1994\/01\/01\/implementacion-paralela-de-prolog-sobre-una-arquitectura-distribuida\/"},"modified":"1994-01-01T00:00:00","modified_gmt":"1994-01-01T00:00:00","slug":"implementacion-paralela-de-prolog-sobre-una-arquitectura-distribuida","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/ciencias-tecnologicas\/implementacion-paralela-de-prolog-sobre-una-arquitectura-distribuida\/","title":{"rendered":"Implementacion paralela de prolog sobre una arquitectura distribuida"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Lourdes Araujo Serna <\/strong><\/h2>\n<p>En este trabajo se ha desarrollado un modelo de ejecucion paralelo de los programa logicos para sistemas distribuidos, su implementacion y su evaluacion. El modelo considera la explotacion del paralelismo-y independiente y el paralelismo-o, asi como la combinacion de ambos. El sistema esta soportado por una arquitectura distribuida con un alto numero de procesadores que trabajan bajo un control jerarquico. El control se realiza en una serie de procesadores llamados controladores. El resto de los procesadores, procesadores basicos, estan dedicados a la ejecucion de programas prolog. El paralelismo-y se explota siguiendo un modelo de entornos cerrados (sin referencias a variables externas) en el que se forman tareas-y autonomas para la computacion de cada objetivo independiente. La explotacion del paralelismo-o se basa en la ejecucion multisecuencial de las ramas del arbol de busqueda. Cada tarea-o nueva que se crea para la exploracion de una nueva rama reconstruye el entorno de la tarea padre recomputando el objetivo inicial pero siguiendo el camino de exito (sin backtracking) recibido de la tarea padre.  cuando un programa presenta paralelismo o-bajo-y y es necesario combinar las distintas soluciones de los objetivos paralelos, se evita el almacenamiento de soluciones parciales y la sincronizacion de tareas produciendo la combinacion de forma distribuida. La idea es crear una computacion para cada combinacion de soluciones, recomputando el camino de exito que lleva del objetivo inicial a la llamada paralela considerada. De esta forma la explotacion del paralelismo-y se realiza con el mecanismo del paralelismo-o, creando tareas autonomas que reducen considerablemente el trafico de mensajes.  se ha dise\u00f1ado una maquina abstracta paralela que implementa el modelo de ejecucion de los procesadores basicos del sistema. Esta maquina es una extension de la wam y mantiene sus tecnicas de ejecucion en los segmentos secuenciales de progr<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Implementacion paralela de prolog sobre una arquitectura distribuida<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Implementacion paralela de prolog sobre una arquitectura distribuida <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Lourdes Araujo Serna <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Complutense de Madrid<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 01\/01\/1994<\/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> Ruz Ortiz Jos\u00e9 Jaime<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Mario Rodr\u00edguez Artalejo <\/li>\n<li>Jos\u00e9 Mar\u00eda Troya Linero (vocal)<\/li>\n<li>Ana Mar\u00eda Ripoll Aracil (vocal)<\/li>\n<li>Manuel Hermenegildo Salinas (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Lourdes Araujo Serna En este trabajo se ha desarrollado un modelo de ejecucion paralelo de los programa [&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":[4810,332,2535],"tags":[4815,4814,4811,4816,4813,4812],"class_list":["post-1154","post","type-post","status-publish","format-standard","hentry","category-arquitectura-de-ordenadores","category-ciencias-tecnologicas","category-tecnologia-de-los-ordenadores","tag-ana-maria-ripoll-aracil","tag-jose-maria-troya-linero","tag-lourdes-araujo-serna","tag-manuel-hermenegildo-salinas","tag-mario-rodriguez-artalejo","tag-ruz-ortiz-jose-jaime"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/1154","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=1154"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/1154\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=1154"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=1154"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=1154"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}