{"id":4099,"date":"2022-01-27T11:00:00","date_gmt":"2022-01-27T11:00:00","guid":{"rendered":"https:\/\/pcyti.izt.uam.mx\/?p=4099"},"modified":"2023-01-27T19:27:01","modified_gmt":"2023-01-27T19:27:01","slug":"implementaciones-multi-hilo-de-pilas-y-colas-con-semanticas-relajadas","status":"publish","type":"post","link":"https:\/\/pcyti.izt.uam.mx\/?p=4099","title":{"rendered":"Seminario: &#8220;Implementaciones multi-hilo de pilas y colas con sem\u00e1nticas relajadas&#8221;"},"content":{"rendered":"\n<p><strong>Fecha<\/strong>: jueves 27 de enero de 2022 a las 11:00 hrs<br><strong>Presenta<\/strong>: Dr. Armando Casta\u00f1eda<br><strong>Afiliaci\u00f3n<\/strong>: Instituto de Matem\u00e1ticas \u2013 UNAM<\/p>\n\n\n\n<p><strong>Resumen<\/strong>:<\/p>\n\n\n\n<p>Por sus indudables y probados beneficios, la noci\u00f3n de linealizabilidad es la condici\u00f3n de consistencia m\u00e1s usada en la actualidad para identificar las implementaciones correctas de objetos concurrentes (e.g. pilas, colas, \u00e1rboles, conjuntos) en sistemas multi-hilo. De forma intuitiva, una implementaci\u00f3n linealizable da la ilusi\u00f3n al usuario de que las operaciones ocurren de forma secuencial, en alg\u00fan orden que respeta en tiempo-real en el que ocurren las<br>invocaciones y respuestas a las operaciones. Desafortunadamente, se ha demostrado formalmente que para algunos tipos de objetos concurrentes, concretamente pilas y colas, toda implementaci\u00f3n linealizable es costosa. Particularmente, cualquiera de estas implementaciones est\u00e1 forzada a usar costosos mecanismos de sincronizaci\u00f3n. Este resultado limita la escalabilidad de cualquier implementaci\u00f3n para estos casos. Una forma de evitar este resultado negativo consiste en relajar la sem\u00e1ntica de los objetos que queremos implementar. En esta pl\u00e1tica veremos un tipo de relajaci\u00f3n para pilas y colas que permite evitar los mencionados mecanismos de sincronizaci\u00f3n. Evaluaciones experimentales muestran que nuestras implementaciones se desempe\u00f1an bien para la soluci\u00f3n en paralelo de algunos problemas sobre gr\u00e1ficas.<\/p>\n\n\n\n<p><strong>Semblanza:<\/strong><\/p>\n\n\n\n<p>El Dr. Armando Casta\u00f1eda obtuvo el grado de Ingeniero en Sistemas Computacionales del Instituto Polit\u00e9cnico Nacional (IPN) en 2002, y los grados de Maestro y Doctor en Ciencias de la Computaci\u00f3n de la Universidad Nacional Aut\u00f3noma de M\u00e9xico (UNAM) en 2007 y 2010 respectivamente. Entre 2011 y 2014, realiz\u00f3 estancias posdoctorales en el Institut National de Recherche en Informatique et en Automatique (INRIA) y en el Instituto Tecnol\u00f3gico Israel\u00ed (Technion). Actualmente es investigador de tiempo completo y definitivo del Instituto de Matem\u00e1ticas de la UNAM.<\/p>\n\n\n\n<p class=\"has-text-align-center\"><strong>Video del seminario<\/strong>:<\/p>\n\n\n\n<figure class=\"wp-block-embed aligncenter is-type-video is-provider-youtube wp-block-embed-youtube wp-embed-aspect-16-9 wp-has-aspect-ratio\"><div class=\"wp-block-embed__wrapper\">\n<iframe loading=\"lazy\" title=\"Seminario 21O- Implementaciones multi-hilo de pilas y colas con sem\u00e1nticas relajadas\" width=\"630\" height=\"354\" src=\"https:\/\/www.youtube.com\/embed\/CCE6AHj7Bfc?feature=oembed\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share\" referrerpolicy=\"strict-origin-when-cross-origin\" allowfullscreen><\/iframe>\n<\/div><\/figure>\n\n\n\n<div class=\"wp-block-columns is-layout-flex wp-container-core-columns-is-layout-9d6595d7 wp-block-columns-is-layout-flex\">\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\" style=\"flex-basis:50%\"><\/div>\n\n\n\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\" style=\"flex-basis:50%\"><\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>Fecha: jueves 27 de enero de 2022 a las 11:00 hrsPresenta: Dr. Armando Casta\u00f1edaAfiliaci\u00f3n: Instituto de Matem\u00e1ticas \u2013 UNAM Resumen: Por sus indudables y probados beneficios, la noci\u00f3n de linealizabilidad es la condici\u00f3n de consistencia m\u00e1s usada en la actualidad para identificar las implementaciones correctas de objetos concurrentes (e.g. pilas, colas, \u00e1rboles, conjuntos) en sistemas<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_lmt_disableupdate":"no","_lmt_disable":"yes","footnotes":""},"categories":[152],"tags":[],"class_list":["post-4099","post","type-post","status-publish","format-standard","hentry","category-21-o"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.2 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Seminario: &quot;Implementaciones multi-hilo de pilas y colas con sem\u00e1nticas relajadas&quot; - Posgrado en Ciencias y Tecnolog\u00edas de la Informaci\u00f3n<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/pcyti.izt.uam.mx\/?p=4099\" \/>\n<meta property=\"og:locale\" content=\"es_MX\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Seminario: &quot;Implementaciones multi-hilo de pilas y colas con sem\u00e1nticas relajadas&quot; - Posgrado en Ciencias y Tecnolog\u00edas de la Informaci\u00f3n\" \/>\n<meta property=\"og:description\" content=\"Fecha: jueves 27 de enero de 2022 a las 11:00 hrsPresenta: Dr. Armando Casta\u00f1edaAfiliaci\u00f3n: Instituto de Matem\u00e1ticas \u2013 UNAM Resumen: Por sus indudables y probados beneficios, la noci\u00f3n de linealizabilidad es la condici\u00f3n de consistencia m\u00e1s usada en la actualidad para identificar las implementaciones correctas de objetos concurrentes (e.g. pilas, colas, \u00e1rboles, conjuntos) en sistemas\" \/>\n<meta property=\"og:url\" content=\"https:\/\/pcyti.izt.uam.mx\/?p=4099\" \/>\n<meta property=\"og:site_name\" content=\"Posgrado en Ciencias y Tecnolog\u00edas de la Informaci\u00f3n\" \/>\n<meta property=\"article:publisher\" content=\"https:\/\/www.facebook.com\/pcyti\/\" \/>\n<meta property=\"article:published_time\" content=\"2022-01-27T11:00:00+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2023-01-27T19:27:01+00:00\" \/>\n<meta name=\"author\" content=\"pcyti\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Escrito por\" \/>\n\t<meta name=\"twitter:data1\" content=\"pcyti\" \/>\n\t<meta name=\"twitter:label2\" content=\"Tiempo de lectura\" \/>\n\t<meta name=\"twitter:data2\" content=\"2 minutos\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\/\/pcyti.izt.uam.mx\/?p=4099#article\",\"isPartOf\":{\"@id\":\"https:\/\/pcyti.izt.uam.mx\/?p=4099\"},\"author\":{\"name\":\"pcyti\",\"@id\":\"https:\/\/pcyti.izt.uam.mx\/#\/schema\/person\/9d093e256d84249d175f986d409d857d\"},\"headline\":\"Seminario: &#8220;Implementaciones multi-hilo de pilas y colas con sem\u00e1nticas relajadas&#8221;\",\"datePublished\":\"2022-01-27T11:00:00+00:00\",\"dateModified\":\"2023-01-27T19:27:01+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/pcyti.izt.uam.mx\/?p=4099\"},\"wordCount\":320,\"publisher\":{\"@id\":\"https:\/\/pcyti.izt.uam.mx\/#organization\"},\"articleSection\":[\"21-O\"],\"inLanguage\":\"es\"},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/pcyti.izt.uam.mx\/?p=4099\",\"url\":\"https:\/\/pcyti.izt.uam.mx\/?p=4099\",\"name\":\"Seminario: \\\"Implementaciones multi-hilo de pilas y colas con sem\u00e1nticas relajadas\\\" - Posgrado en Ciencias y Tecnolog\u00edas de la Informaci\u00f3n\",\"isPartOf\":{\"@id\":\"https:\/\/pcyti.izt.uam.mx\/#website\"},\"datePublished\":\"2022-01-27T11:00:00+00:00\",\"dateModified\":\"2023-01-27T19:27:01+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/pcyti.izt.uam.mx\/?p=4099#breadcrumb\"},\"inLanguage\":\"es\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/pcyti.izt.uam.mx\/?p=4099\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/pcyti.izt.uam.mx\/?p=4099#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Inicio\",\"item\":\"https:\/\/pcyti.izt.uam.mx\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Seminario: &#8220;Implementaciones multi-hilo de pilas y colas con sem\u00e1nticas relajadas&#8221;\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/pcyti.izt.uam.mx\/#website\",\"url\":\"https:\/\/pcyti.izt.uam.mx\/\",\"name\":\"Posgrado en Ciencias y Tecnolog\u00edas de la Informaci\u00f3n\",\"description\":\"\",\"publisher\":{\"@id\":\"https:\/\/pcyti.izt.uam.mx\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/pcyti.izt.uam.mx\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"es\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/pcyti.izt.uam.mx\/#organization\",\"name\":\"Posgrado en Ciencias y Tecnolog\u00edas de la Informaci\u00f3n\",\"url\":\"https:\/\/pcyti.izt.uam.mx\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"es\",\"@id\":\"https:\/\/pcyti.izt.uam.mx\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/pcyti.izt.uam.mx\/wp-content\/uploads\/2021\/12\/logo_pcyti_small.png\",\"contentUrl\":\"https:\/\/pcyti.izt.uam.mx\/wp-content\/uploads\/2021\/12\/logo_pcyti_small.png\",\"width\":71,\"height\":100,\"caption\":\"Posgrado en Ciencias y Tecnolog\u00edas de la Informaci\u00f3n\"},\"image\":{\"@id\":\"https:\/\/pcyti.izt.uam.mx\/#\/schema\/logo\/image\/\"},\"sameAs\":[\"https:\/\/www.facebook.com\/pcyti\/\"]},{\"@type\":\"Person\",\"@id\":\"https:\/\/pcyti.izt.uam.mx\/#\/schema\/person\/9d093e256d84249d175f986d409d857d\",\"name\":\"pcyti\",\"url\":\"https:\/\/pcyti.izt.uam.mx\/?author=2\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Seminario: \"Implementaciones multi-hilo de pilas y colas con sem\u00e1nticas relajadas\" - Posgrado en Ciencias y Tecnolog\u00edas de la Informaci\u00f3n","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/pcyti.izt.uam.mx\/?p=4099","og_locale":"es_MX","og_type":"article","og_title":"Seminario: \"Implementaciones multi-hilo de pilas y colas con sem\u00e1nticas relajadas\" - Posgrado en Ciencias y Tecnolog\u00edas de la Informaci\u00f3n","og_description":"Fecha: jueves 27 de enero de 2022 a las 11:00 hrsPresenta: Dr. Armando Casta\u00f1edaAfiliaci\u00f3n: Instituto de Matem\u00e1ticas \u2013 UNAM Resumen: Por sus indudables y probados beneficios, la noci\u00f3n de linealizabilidad es la condici\u00f3n de consistencia m\u00e1s usada en la actualidad para identificar las implementaciones correctas de objetos concurrentes (e.g. pilas, colas, \u00e1rboles, conjuntos) en sistemas","og_url":"https:\/\/pcyti.izt.uam.mx\/?p=4099","og_site_name":"Posgrado en Ciencias y Tecnolog\u00edas de la Informaci\u00f3n","article_publisher":"https:\/\/www.facebook.com\/pcyti\/","article_published_time":"2022-01-27T11:00:00+00:00","article_modified_time":"2023-01-27T19:27:01+00:00","author":"pcyti","twitter_card":"summary_large_image","twitter_misc":{"Escrito por":"pcyti","Tiempo de lectura":"2 minutos"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/pcyti.izt.uam.mx\/?p=4099#article","isPartOf":{"@id":"https:\/\/pcyti.izt.uam.mx\/?p=4099"},"author":{"name":"pcyti","@id":"https:\/\/pcyti.izt.uam.mx\/#\/schema\/person\/9d093e256d84249d175f986d409d857d"},"headline":"Seminario: &#8220;Implementaciones multi-hilo de pilas y colas con sem\u00e1nticas relajadas&#8221;","datePublished":"2022-01-27T11:00:00+00:00","dateModified":"2023-01-27T19:27:01+00:00","mainEntityOfPage":{"@id":"https:\/\/pcyti.izt.uam.mx\/?p=4099"},"wordCount":320,"publisher":{"@id":"https:\/\/pcyti.izt.uam.mx\/#organization"},"articleSection":["21-O"],"inLanguage":"es"},{"@type":"WebPage","@id":"https:\/\/pcyti.izt.uam.mx\/?p=4099","url":"https:\/\/pcyti.izt.uam.mx\/?p=4099","name":"Seminario: \"Implementaciones multi-hilo de pilas y colas con sem\u00e1nticas relajadas\" - Posgrado en Ciencias y Tecnolog\u00edas de la Informaci\u00f3n","isPartOf":{"@id":"https:\/\/pcyti.izt.uam.mx\/#website"},"datePublished":"2022-01-27T11:00:00+00:00","dateModified":"2023-01-27T19:27:01+00:00","breadcrumb":{"@id":"https:\/\/pcyti.izt.uam.mx\/?p=4099#breadcrumb"},"inLanguage":"es","potentialAction":[{"@type":"ReadAction","target":["https:\/\/pcyti.izt.uam.mx\/?p=4099"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/pcyti.izt.uam.mx\/?p=4099#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Inicio","item":"https:\/\/pcyti.izt.uam.mx\/"},{"@type":"ListItem","position":2,"name":"Seminario: &#8220;Implementaciones multi-hilo de pilas y colas con sem\u00e1nticas relajadas&#8221;"}]},{"@type":"WebSite","@id":"https:\/\/pcyti.izt.uam.mx\/#website","url":"https:\/\/pcyti.izt.uam.mx\/","name":"Posgrado en Ciencias y Tecnolog\u00edas de la Informaci\u00f3n","description":"","publisher":{"@id":"https:\/\/pcyti.izt.uam.mx\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/pcyti.izt.uam.mx\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"es"},{"@type":"Organization","@id":"https:\/\/pcyti.izt.uam.mx\/#organization","name":"Posgrado en Ciencias y Tecnolog\u00edas de la Informaci\u00f3n","url":"https:\/\/pcyti.izt.uam.mx\/","logo":{"@type":"ImageObject","inLanguage":"es","@id":"https:\/\/pcyti.izt.uam.mx\/#\/schema\/logo\/image\/","url":"https:\/\/pcyti.izt.uam.mx\/wp-content\/uploads\/2021\/12\/logo_pcyti_small.png","contentUrl":"https:\/\/pcyti.izt.uam.mx\/wp-content\/uploads\/2021\/12\/logo_pcyti_small.png","width":71,"height":100,"caption":"Posgrado en Ciencias y Tecnolog\u00edas de la Informaci\u00f3n"},"image":{"@id":"https:\/\/pcyti.izt.uam.mx\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/www.facebook.com\/pcyti\/"]},{"@type":"Person","@id":"https:\/\/pcyti.izt.uam.mx\/#\/schema\/person\/9d093e256d84249d175f986d409d857d","name":"pcyti","url":"https:\/\/pcyti.izt.uam.mx\/?author=2"}]}},"modified_by":"Magali","_links":{"self":[{"href":"https:\/\/pcyti.izt.uam.mx\/index.php?rest_route=\/wp\/v2\/posts\/4099","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/pcyti.izt.uam.mx\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/pcyti.izt.uam.mx\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/pcyti.izt.uam.mx\/index.php?rest_route=\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/pcyti.izt.uam.mx\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=4099"}],"version-history":[{"count":0,"href":"https:\/\/pcyti.izt.uam.mx\/index.php?rest_route=\/wp\/v2\/posts\/4099\/revisions"}],"wp:attachment":[{"href":"https:\/\/pcyti.izt.uam.mx\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=4099"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/pcyti.izt.uam.mx\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=4099"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/pcyti.izt.uam.mx\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=4099"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}