A thread synchronization model for the PREEMPT_RT Linux kernel.

Daniel Bristot de Oliveira Rômulo Silva de Oliveira Tommaso Cucinotta

Published in: J. Syst. Archit. (2020)

Keyphrases

computational model
high level
experimental data
statistical model
formal model
probabilistic model
theoretical analysis
mathematical model
data sets
genetic algorithm
objective function
cooperative
prior knowledge
pattern matching
file system
linux kernel