MINIX4RT: Real-Time Semaphores

Autores
Pessolani, Pablo Andrés
Año de publicación
2007
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
MINIX4RT es una extensión del conocido Sistema Operativo MINIX que incorpora servicios de Tiempo Real Estricto en un nuevo microkernel pero manteniendo compatibilidad con las versiones anteriores del MINIX estándar. Los semáforos son el mecanismo primitivo para la sincronización y exclusion mutua en varios sistemas operativos, pero MINIX no brinda esa facilidad. Se adicionaron semáforos a MINIX4RT y, como éste es un Sistema Operativo de Tiempo Real, deben reunir ciertos requisitos de procesamiento tal como priorizar la remoción de procesos de las colas de espera y evitar el problema de Inversion de Prioridades. El presente artículo describe las facilidades de Semáforos de Tiempo-Real disponibles en MINIX4RT, su diseño, implementación, tests de desempeño y sus resultados.
MINIX4RT is an extension of the well-known MINIX Operating System that adds Hard Real-Time services in a new microkernel but keeping backward compatibility with standard MINIX versions. Semaphores are the primitive synchronization and mutual exclusion mechanism in many operating systems, but MINIX does not supply those facilities. Semaphores were added to MINIX4RT, and because it is a Real-Time Operating System, they must meet some processing requirements as dequeueing of waiting processes in priority order and avoiding the Priority Inversion problem. This article describes the Real-Time Semaphores facilities available on MINIX4RT, its design, implementation, performance tests and their results.
II Workshop de Arquitecturas, Redes y Sistemas Operativos
Red de Universidades con Carreras en Informática (RedUNCI)
Materia
Ciencias Informáticas
Informática
Real time
Reliability, availability, and serviceability
Inheritance
semáforos
herencia de prioridades
inversión de prioridades
semaphores
priority inheritance
priority inversion
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/21701
Acceder
id SEDICI_4dcc4a4a5a68e5d141e37d54f86934b0
oai_identifier_str oai:sedici.unlp.edu.ar:10915/21701
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling MINIX4RT: Real-Time SemaphoresPessolani, Pablo AndrésCiencias InformáticasInformáticaReal timeReliability, availability, and serviceabilityInheritancesemáforosherencia de prioridadesinversión de prioridadessemaphorespriority inheritancepriority inversionMINIX4RT es una extensión del conocido Sistema Operativo MINIX que incorpora servicios de Tiempo Real Estricto en un nuevo microkernel pero manteniendo compatibilidad con las versiones anteriores del MINIX estándar. Los semáforos son el mecanismo primitivo para la sincronización y exclusion mutua en varios sistemas operativos, pero MINIX no brinda esa facilidad. Se adicionaron semáforos a MINIX4RT y, como éste es un Sistema Operativo de Tiempo Real, deben reunir ciertos requisitos de procesamiento tal como priorizar la remoción de procesos de las colas de espera y evitar el problema de Inversion de Prioridades. El presente artículo describe las facilidades de Semáforos de Tiempo-Real disponibles en MINIX4RT, su diseño, implementación, tests de desempeño y sus resultados.MINIX4RT is an extension of the well-known MINIX Operating System that adds Hard Real-Time services in a new microkernel but keeping backward compatibility with standard MINIX versions. Semaphores are the primitive synchronization and mutual exclusion mechanism in many operating systems, but MINIX does not supply those facilities. Semaphores were added to MINIX4RT, and because it is a Real-Time Operating System, they must meet some processing requirements as dequeueing of waiting processes in priority order and avoiding the Priority Inversion problem. This article describes the Real-Time Semaphores facilities available on MINIX4RT, its design, implementation, performance tests and their results.II Workshop de Arquitecturas, Redes y Sistemas OperativosRed de Universidades con Carreras en Informática (RedUNCI)2007info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf169-179http://sedici.unlp.edu.ar/handle/10915/21701spainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-10-15T10:47:23Zoai:sedici.unlp.edu.ar:10915/21701Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-10-15 10:47:23.925SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv MINIX4RT: Real-Time Semaphores
title MINIX4RT: Real-Time Semaphores
spellingShingle MINIX4RT: Real-Time Semaphores
Pessolani, Pablo Andrés
Ciencias Informáticas
Informática
Real time
Reliability, availability, and serviceability
Inheritance
semáforos
herencia de prioridades
inversión de prioridades
semaphores
priority inheritance
priority inversion
title_short MINIX4RT: Real-Time Semaphores
title_full MINIX4RT: Real-Time Semaphores
title_fullStr MINIX4RT: Real-Time Semaphores
title_full_unstemmed MINIX4RT: Real-Time Semaphores
title_sort MINIX4RT: Real-Time Semaphores
dc.creator.none.fl_str_mv Pessolani, Pablo Andrés
author Pessolani, Pablo Andrés
author_facet Pessolani, Pablo Andrés
author_role author
dc.subject.none.fl_str_mv Ciencias Informáticas
Informática
Real time
Reliability, availability, and serviceability
Inheritance
semáforos
herencia de prioridades
inversión de prioridades
semaphores
priority inheritance
priority inversion
topic Ciencias Informáticas
Informática
Real time
Reliability, availability, and serviceability
Inheritance
semáforos
herencia de prioridades
inversión de prioridades
semaphores
priority inheritance
priority inversion
dc.description.none.fl_txt_mv MINIX4RT es una extensión del conocido Sistema Operativo MINIX que incorpora servicios de Tiempo Real Estricto en un nuevo microkernel pero manteniendo compatibilidad con las versiones anteriores del MINIX estándar. Los semáforos son el mecanismo primitivo para la sincronización y exclusion mutua en varios sistemas operativos, pero MINIX no brinda esa facilidad. Se adicionaron semáforos a MINIX4RT y, como éste es un Sistema Operativo de Tiempo Real, deben reunir ciertos requisitos de procesamiento tal como priorizar la remoción de procesos de las colas de espera y evitar el problema de Inversion de Prioridades. El presente artículo describe las facilidades de Semáforos de Tiempo-Real disponibles en MINIX4RT, su diseño, implementación, tests de desempeño y sus resultados.
MINIX4RT is an extension of the well-known MINIX Operating System that adds Hard Real-Time services in a new microkernel but keeping backward compatibility with standard MINIX versions. Semaphores are the primitive synchronization and mutual exclusion mechanism in many operating systems, but MINIX does not supply those facilities. Semaphores were added to MINIX4RT, and because it is a Real-Time Operating System, they must meet some processing requirements as dequeueing of waiting processes in priority order and avoiding the Priority Inversion problem. This article describes the Real-Time Semaphores facilities available on MINIX4RT, its design, implementation, performance tests and their results.
II Workshop de Arquitecturas, Redes y Sistemas Operativos
Red de Universidades con Carreras en Informática (RedUNCI)
description MINIX4RT es una extensión del conocido Sistema Operativo MINIX que incorpora servicios de Tiempo Real Estricto en un nuevo microkernel pero manteniendo compatibilidad con las versiones anteriores del MINIX estándar. Los semáforos son el mecanismo primitivo para la sincronización y exclusion mutua en varios sistemas operativos, pero MINIX no brinda esa facilidad. Se adicionaron semáforos a MINIX4RT y, como éste es un Sistema Operativo de Tiempo Real, deben reunir ciertos requisitos de procesamiento tal como priorizar la remoción de procesos de las colas de espera y evitar el problema de Inversion de Prioridades. El presente artículo describe las facilidades de Semáforos de Tiempo-Real disponibles en MINIX4RT, su diseño, implementación, tests de desempeño y sus resultados.
publishDate 2007
dc.date.none.fl_str_mv 2007
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/21701
url http://sedici.unlp.edu.ar/handle/10915/21701
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
dc.format.none.fl_str_mv application/pdf
169-179
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1846063899294564352
score 13.22299

Publicaciones similares