Ver ítem 

Mostrar el registro sencillo del ítem

Ponencia

Opened Access
Sincronización multiproceso en programas concurrentes: selección completamente k-justa de interacciones

dc.creatorRuiz Cortés, Davides
dc.creatorCorchuelo Gil, Rafaeles
dc.creatorPérez Castellanos, José Antonioes
dc.creatorToro Bonilla, Migueles
dc.date.accessioned2023-01-26T07:54:58Z
dc.date.available2023-01-26T07:54:58Z
dc.date.issued2001-11
dc.identifier.citationRuiz Cortés, D., Corchuelo Gil, R., Pérez Castellanos, J.A. y Toro Bonilla, M. (2001). Sincronización multiproceso en programas concurrentes: selección completamente k-justa de interacciones. En PROLE 2001: Primeras jornadas sobre programación y lenguajes (279-294), Almagro (Cuidad Real), España: Universidad de Castilla-La Mancha.
dc.identifier.urihttps://hdl.handle.net/11441/141881
dc.description.abstractLa selección complemente justa surge en el contexto de los programas no deterministas y sirve para garantizar que todos los elementos que se habilitan infinitamente a menudo se seleccionan infinitamente a menudo. Esta noción de selección presenta dos anomalías: la finitud justa y las conspiraciones. Este artículo se centra en la selección justa de interacciones y presenta una nueva noción llamada selección completamente k justa cuya principal ventaja sobre otras propuestas es que da solución a las dos anomalías de forma simultánea y que le valor de k se puede establecer a priori para caracterizar su bondad. Para ello, hemos descrito un modelo abstracto de interacción que hace independiente el criterio de selección del lenguaje de programación y que se puede acomodar a una gran variedad de modelos de interacción. También presentamos un algoritmo general para implementar la selección completamente k justa de interacciones que no requiere acceder al estado local de los procesos del sistema.es
dc.description.sponsorshipComisión Interministerial de Ciencia y Tecnología TIC2000-1106-C02-01 (Proyecto GEOZOCO)es
dc.formatapplication/pdfes
dc.format.extent15es
dc.language.isospaes
dc.publisherUniversidad de Castilla-La Manchaes
dc.relation.ispartofPROLE 2001: Primeras jornadas sobre programación y lenguajes (2001), pp. 279-294.
dc.rightsAttribution-NonCommercial-NoDerivatives 4.0 Internacional*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/*
dc.subjectProgramación concurrente y distribuidaes
dc.subjectModelo abstracto de interacciónes
dc.subjectAcciones conjuntases
dc.subjectEventos compartidoses
dc.subjectExclusión mutuaes
dc.subjectSelección justaes
dc.subjectConspiracioneses
dc.titleSincronización multiproceso en programas concurrentes: selección completamente k-justa de interaccioneses
dc.typeinfo:eu-repo/semantics/conferenceObjectes
dcterms.identifierhttps://ror.org/03yxnpp24
dc.type.versioninfo:eu-repo/semantics/submittedVersiones
dc.rights.accessRightsinfo:eu-repo/semantics/openAccesses
dc.contributor.affiliationUniversidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticoses
dc.relation.projectIDTIC2000-1106-C02-01 (Proyecto GEOZOCO)es
dc.relation.publisherversionhttps://www.sistedes.es/jornadas/prole#2001es
dc.publication.initialPage279es
dc.publication.endPage294es
dc.eventtitlePROLE 2001: Primeras jornadas sobre programación y lenguajeses
dc.eventinstitutionAlmagro (Cuidad Real), Españaes
dc.relation.publicationplaceCastilla-La Manchaes
dc.contributor.funderComisión Interministerial de Ciencia y Tecnología (CICYT). Españaes

FicherosTamañoFormatoVerDescripción
Sincronización Multiproceso en ...488.4KbIcon   [PDF] Ver/Abrir  

Este registro aparece en las siguientes colecciones

Mostrar el registro sencillo del ítem

Attribution-NonCommercial-NoDerivatives 4.0 Internacional
Excepto si se señala otra cosa, la licencia del ítem se describe como: Attribution-NonCommercial-NoDerivatives 4.0 Internacional