{"id":83655,"date":"2000-03-03T00:00:00","date_gmt":"2000-03-03T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/dfl-computacion-funcional-distribuida\/"},"modified":"2000-03-03T00:00:00","modified_gmt":"2000-03-03T00:00:00","slug":"dfl-computacion-funcional-distribuida","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/dfl-computacion-funcional-distribuida\/","title":{"rendered":"Dfl, computacion funcional distribuida"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Victor M. Gulias Fernandez <\/strong><\/h2>\n<p>La investigaci\u00f3n se centra en la explotaci\u00f3n de la programaci\u00f3n concurrente funcional sobre una arquitectura multiprocesador de memoria distribuida. para ilustrar los conceptos estudiados, se desarrolla un prototipo denominado dfl (distributed functional language), una extensi\u00f3n de un lenguaje funcional secuencial existente (ojective caml).  tras introducir el problema y presentar el estado del arte, en el que se establece una distinci\u00f3n entre sistemas orientados a paralelizar la ejecuci\u00f3n de codigo funcional y aquellos orientados a la construcci\u00f3n de programas concurrentes, se establecen los requerimientos fundamentales que debe satisfacer un lenguaje funcional distribuido distinguiendo las caracteristicas especificas de los dos grandes tipos de aplicaciones distribuidas (aplicaciones interactivas y aplicaciones computacionalmente intensivas).  el prototipo, construido como una serie de capas situadas encima del lenguaje funcional secuencial utilizado, comparte un substrato com\u00fan (dfl\/core) que es responsable del transporte de orden superior entre nodos de la maquina virtual distribuida. Para ello se establece el mecanismo de empaquetado o serializaci\u00f3n de cualquier valor funcional, incluidas estructuras de datos y funciones, y el transporte de paquetes mediante una biblioteca de paso de mensajes (pvm,mpi,&#8230;). Sobre este substrato com\u00fan se situan dos capas que constituyen dos modelos de programaci\u00f3n orientados a cada tipo de aplicaci\u00f3n distribuida.  el primer modelo de programaci\u00f3n distribuida (dfl\/dthread) aborda la problem\u00e1tica de la construccion de aplicaciones distribuidas de forma totalmente explicita, en las que el programador requiere control absoluto de la ubicaci\u00f3n de residencia de cada hilo distribuido, asi como el comportamiento e interacciones entre estos. El comportamiento de un proceso ligero se lleva a cabo mediante un cierre funcional, mientras que las comunicaciones explicitas entre procesos se establec<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Dfl, computacion funcional distribuida<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Dfl, computacion funcional distribuida <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Victor M. Gulias Fernandez <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 A coru\u00f1a<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 03\/03\/2000<\/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> Freire Nistal Jos\u00e9 L.<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: roberto Moreno diaz <\/li>\n<li>sen\u00e9n Barro ameneiro (vocal)<\/li>\n<li>Manuel Hermenegildo salinas (vocal)<\/li>\n<li>eladio Dom\u00ednguez murillo (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Victor M. Gulias Fernandez La investigaci\u00f3n se centra en la explotaci\u00f3n de la programaci\u00f3n concurrente funcional sobre [&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":[18576,1890,4149,13880,6474,126,6473],"tags":[10833,177173,4816,16647,2530,177172],"class_list":["post-83655","post","type-post","status-publish","format-standard","hentry","category-a-coruna","category-ciencia-de-los-ordenadores","category-diseno-y-componentes-de-sistemas-de-informacion","category-informatica","category-lenguajes-de-programacion","category-matematicas","category-teoria-de-la-programacion","tag-eladio-dominguez-murillo","tag-freire-nistal-jose-l","tag-manuel-hermenegildo-salinas","tag-roberto-moreno-diaz","tag-senen-barro-ameneiro","tag-victor-m-gulias-fernandez"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/83655","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=83655"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/83655\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=83655"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=83655"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=83655"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}