Arquitectura asimétrica multicore con procesador de Petri

Se ha determinado, en una arquitectura multi-Core SMP, el lugar donde incorporar el PP o el HPP sin alterar el ISA del resto de los core. Se ha obtenido una familia de procesadores que ejecutan los algoritmos de Petri para dar solución a sistemas reactivos y concurrentes, con una sólida verificació...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autor principal:	Micolini, Orlando
Otros Autores:	De Giusti, Armando Eduardo
Formato:	Tesis Tesis de doctorado
Lenguaje:	Español
Publicado:	2015
Materias:	Ciencias Informáticas Concurrency sistemas concurrente Processors procesadores multi-core heterógeneo Petri nets sistemas de tiempo real
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/46173 https://doi.org/10.35537/10915/46173
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-46173
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 Concurrency sistemas concurrente Processors procesadores multi-core heterógeneo Petri nets sistemas de tiempo real
spellingShingle	Ciencias Informáticas Concurrency sistemas concurrente Processors procesadores multi-core heterógeneo Petri nets sistemas de tiempo real Micolini, Orlando Arquitectura asimétrica multicore con procesador de Petri
topic_facet	Ciencias Informáticas Concurrency sistemas concurrente Processors procesadores multi-core heterógeneo Petri nets sistemas de tiempo real
description	Se ha determinado, en una arquitectura multi-Core SMP, el lugar donde incorporar el PP o el HPP sin alterar el ISA del resto de los core. Se ha obtenido una familia de procesadores que ejecutan los algoritmos de Petri para dar solución a sistemas reactivos y concurrentes, con una sólida verificación formal que permite la programación directa de los procesadores. Para esto, se ha construido el hardware de un PP y un HPP, con un IP-Core en una FPGA, integrado a un sistema multi-Core SMP, que ejecuta distintos tipo de RdP. Esta familia de procesadores es configurable en distintos aspectos: - Tamaño del procesador (cantidad de plazas y transiciones). - Procesadores con tiempo y procesadores temporales. - Arquitectura heterogénea, que permite distribuir los recursos empleados para instanciar el procesador según se requiera, y obtener un ahorro sustancial. - La posibilidad de configurar el procesador en pos de obtener los requerimientos y minimizar los recursos. Muy valorado en la construcción de sistemas embebidos. En los sistemas con alta necesidad de concurrencia y sincronización, donde se ha evaluado este procesador, las prestaciones han mostrado una importante mejora en el desempeño. El procesador tiene la capacidad de resolver simultáneamente, por conjuntos múltiples disparos, lo que disminuye los tiempos de consulta y decisión, además los programas ejecutados cumplen con los formalismos de las RdP extendidas y sincronizadas, y los resultados de su ejecución son determinísticos. Los tiempos de respuesta para determinar una sincronización son de dos ciclos por consulta (entre la solicitud de un disparo y la respuesta).
author2	De Giusti, Armando Eduardo
author_facet	De Giusti, Armando Eduardo Micolini, Orlando
format	Tesis Tesis de doctorado
author	Micolini, Orlando
author_sort	Micolini, Orlando
title	Arquitectura asimétrica multicore con procesador de Petri
title_short	Arquitectura asimétrica multicore con procesador de Petri
title_full	Arquitectura asimétrica multicore con procesador de Petri
title_fullStr	Arquitectura asimétrica multicore con procesador de Petri
title_full_unstemmed	Arquitectura asimétrica multicore con procesador de Petri
title_sort	arquitectura asimétrica multicore con procesador de petri
publishDate	2015
url	http://sedici.unlp.edu.ar/handle/10915/46173 https://doi.org/10.35537/10915/46173
work_keys_str_mv	AT micoliniorlando arquitecturaasimetricamulticoreconprocesadordepetri
bdutipo_str	Repositorios
_version_	1764820474432323586

Arquitectura asimétrica multicore con procesador de Petri

Ejemplares similares