Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 6 of 6 for “"multikernel"”.
-
Replication of Concurrent Applications in a Shared Memory Multikernel
State Machine Replication (SMR) has become the de-facto methodology of building a replication based fault-tolerance system. Current SMR systems usually have multiple machines involved, each of the machines in the SMR system acts as the replica of others. However having multiple machines leads to …
-
Providing a Shared File System in the Hare POSIX Multikernel
Hare is a new multikernel operating system that provides a single system image for multicore processors without cache coherence. Hare allows applications on different cores to share files, directories, file descriptors, sockets, and processes. The main challenge in designing Hare is to support …
-
Popcorn Linux: Cross Kernel Process and Thread Migration in a Linux-Based Multikernel
… promising emerging systems architecture is the multikernel, pioneered in Barrelfish OS. The multikernel directly addresses the challenges of high core counts and increased heterogeneity by partitioning the system into multiple independently running kernel instances which cooperate to form a …
-
Popcorn Linux: enabling efficient inter-core communication in a Linux-based multikernel operating system
… new challenges. One proposed path forward is the multikernel operating system. Previous efforts have shown promising results both in scalability and in support for heterogeneity. However, one effort\'s source code is not freely available (FOS), and the other effort is not self-hosting and does not …
-
Single System Image in a Linux-based Replicated Operating System Kernel
… are necessary. One innovative design is the multikernel OS deployed by the Barrelfish operating system (OS) which partitions hardware resources to independent kernel instances that communicate exclusively by message passing, without exploiting the shared memory available amongst different …
-
Bayesian Variable Selection and Inference for Nonparametric Kernel Machine and Functional Models
In this dissertation, we have focused on developing three methods to address the challenges in highly correlated high-dimensional and functional data. In the first study, the Bayesian variable selection method is developed under a generalized fused multi-kernel machine regression. This method can …