Zobrazeno 1 - 10
of 21
pro vyhledávání: '"Daniel Bristot de Oliveira"'
Autor:
Ali Raza, Thomas Unger, Matthew Boyd, Eric B Munson, Parul Sohal, Ulrich Drepper, Richard Jones, Daniel Bristot De Oliveira, Larry Woodman, Renato Mancuso, Jonathan Appavoo, Orran Krieger
Publikováno v:
Proceedings of the Eighteenth European Conference on Computer Systems.
This paper presents Unikernel Linux (UKL), a path toward integrating unikernel optimization techniques in Linux, a general purpose operating system. UKL adds a configuration option to Linux allowing for a single, optimized process to link with the ke
Publikováno v:
ISORC
This paper provides an open implementation and an experimental evaluation of an adaptive partitioning approach for scheduling real-time tasks on symmetric multicore systems. The proposed technique is based on combining partitioned EDF scheduling with
Publikováno v:
ISORC
This article proposes an automata-based model for describing and validating the behavior of threads in the Linux PREEMPT_RT kernel, on a single-core system. The automata model defines the events and how they influence the timeline of threads' executi
Publikováno v:
Software Engineering and Formal Methods ISBN: 9783030304454
SEFM
SEFM
Formal verification of the Linux kernel has been receiving increasing attention in recent years, with the development of many models, from memory subsystems to the synchronization primitives of the real-time kernel. The effort in developing formal ve
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::14416eb4cb808881ec78ec9c397de330
https://doi.org/10.1007/978-3-030-30446-1_17
https://doi.org/10.1007/978-3-030-30446-1_17
Autor:
Karila Palma Silva, Rômulo Silva de Oliveira, Luis Fernando Arcaro, Daniel Bristot de Oliveira
Publikováno v:
ETFA
In order to support the computational demand of Real-Time Systems' (RTSs‘) applications, the use of complex hardware will be fundamental. This fact makes analysis of software to derive Worst-Case Execution Time (WCET) an increasingly harder challen
This article proposes an automata-based model for describing and verifying the behavior of thread management code in the Linux PREEMPT_RT kernel, on a single-core system. The automata model defines the events that influence the timing behavior of the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::00d3904955cd596cb3bae314fbc92f8c
http://hdl.handle.net/11382/527210
http://hdl.handle.net/11382/527210
Publikováno v:
Software: Practice and Experience. 46:789-819
In the theory of real-time scheduling, tasks are described by mathematical variables, which are used in analytical models in order to prove schedulability of the system. On real-time Linux, tasks are computer programs, and Linux developers try to low
Publikováno v:
ETFA
This paper presents a methodology to model and check the behavior of a part of the Linux kernel by applying automaton theory and in-kernel tracing from real execution. It is possible to check that the state transitions of the kernel during a real exe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::37974a0c5c83b4b2e84ef5e492d9917f
http://hdl.handle.net/11382/519625
http://hdl.handle.net/11382/519625
Publikováno v:
SAC
Response-time analysis is a method for determining the schedulability of real-time systems based on fixed priority. Although the Linux kernel with the PREEMPT_RT patch is a real-time system based on fixed priority, the tools are used only to measure