Now showing items 11-15 of 15
Popcorn Linux: Cross Kernel Process and Thread Migration in a Linux-Based Multikernel
(Virginia Tech, 2014-10-10)
Proliferation of new computing hardware platforms that support increasing numbers of cores, as well as increasing ISA heterogeneity, is creating opportunity for systems software developers to question existing software ...
Optimizing Boot Times and Enhancing Binary Compatibility for Unikernels
(Virginia Tech, 2018-06-25)
Unikernels are lightweight, single-purpose virtual machines designed for the cloud. They provide enhanced security, minimal resource utilisation, fast boot times, and the ability to optimize performance for the target ...
Cross-ISA Execution Migration of Unikernels: Build Toolchain, Memory Alignment, and VM State Transfer Techniques
(Virginia Tech, 2018-12-12)
The data centers are composed of resource-rich expensive server machines. A server, overloadeded with workloads, offloads some jobs to other servers; otherwise, its throughput becomes low. On the other hand, low-end embedded ...
SlimGuard: Design and Implementation of a Memory Efficient and Secure Heap Allocator
(Virginia Tech, 2020-01-03)
Attacks on the heap are an increasingly severe threat. State-of-the-art secure dynamic memory allocators can offer protection, however their memory consumption is high, making them suboptimal in many situations. ...
USIMPL: An Extension of Isabelle/UTP with Simpl-like Control Flow
(Virginia Tech, 2017-12-21)
Writing bug-free code is fraught with difficulty, and existing tools for the formal verification of programs do not scale well to large, complicated codebases such as that of systems software. This thesis presents USIMPL, ...