Prioridades en un modelo de verdadero paralelismo

En este trabajo se desarrolla un estudio sobre prioridades en sistemas de verdadero paralelismo mediante la introducción de operadores de prioridades en sistemas de transición que admiten la representación de ST estados. El estudio introduce dos tipos diferentes de prioridad. Uno basado en el orden...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Ramos, Leticia
Otros Autores: Echagüe, Juan Vicente
Formato: Tesis Tesis de grado
Lenguaje:Español
Publicado: 1996
Materias:
Ciencias Informáticas
simulación y modelos
Parallel processors
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/2142
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-2142
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
simulación y modelos
Parallel processors
spellingShingle Ciencias Informáticas
simulación y modelos
Parallel processors
Ramos, Leticia
Prioridades en un modelo de verdadero paralelismo
topic_facet Ciencias Informáticas
simulación y modelos
Parallel processors
description En este trabajo se desarrolla un estudio sobre prioridades en sistemas de verdadero paralelismo mediante la introducción de operadores de prioridades en sistemas de transición que admiten la representación de ST estados. El estudio introduce dos tipos diferentes de prioridad. Uno basado en el orden entre lass acciones y otro basado en el orden entre subprocesos. Para el primer caso se dan cuatro definiciones alternativas del operador de prioridad. Se muestra que preservan ciertas propiedades importantes como que toda acción que comienza puede finalizar, y en particular que una de ellas es la extensión natural del operador de prioridades definido en modelos de interleaving. Para la prioridad basada en el orden entre subprocesos, se definen dos tipos de operadores de prioridad con objetivos diferentes. Uno permite que un subproceso que quiere comunicarse tenga prioridad sobre los demás subprocesos si la comunicación es posible. Este operador es definido sobre dos modelos: uno de verdadero paralelismo y otro de interleaving ya que su función es importante en ambos casos. El segundo operador permite que un subproceso tenga prioridad cuando no quiere comunicarse. Este es definido sólo en un modelo de verdadero paralelismo, ya que en los modelos de interleaving no resulta de interés y puede ser representado su comportamiento mediante la combinación de otros operadores. En todos los casos se muestra que los operadores definidos son compatibles con la bisimulación.
author2 Echagüe, Juan Vicente
author_facet Echagüe, Juan Vicente
Ramos, Leticia
format Tesis
Tesis de grado
author Ramos, Leticia
author_sort Ramos, Leticia
title Prioridades en un modelo de verdadero paralelismo
title_short Prioridades en un modelo de verdadero paralelismo
title_full Prioridades en un modelo de verdadero paralelismo
title_fullStr Prioridades en un modelo de verdadero paralelismo
title_full_unstemmed Prioridades en un modelo de verdadero paralelismo
title_sort prioridades en un modelo de verdadero paralelismo
publishDate 1996
url http://sedici.unlp.edu.ar/handle/10915/2142
work_keys_str_mv AT ramosleticia prioridadesenunmodelodeverdaderoparalelismo
bdutipo_str Repositorios
_version_ 1764820464487628801

Ejemplares similares