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 20 of 75 for “"Linux Kernel"”.
-
Linux Kernel Module Continuous Address Space Re-Randomization
… While this technique is widely studied, its kernel space counterpart known as kernel address space layout randomization (KASLR) has received less attention in the research community. KASLR, as it is implemented today is limited in entropy of randomization. Specifically, the kernel image and …
-
Lottery Scheduling in the Linux Kernel: A Closer Look
… balanced performance afforded by the standard Linux kernel’s scheduler.</p>
-
Design and implementation of split TCP in the Linux kernel
… of "Split TCP" using the Netfilter System in the Linux kernel, and the use of IP over IP for transport. The dissertation also gives a mathematical guarantee for improved TCP performance with Split TCP. By analyzing the mathematical result, this dissertation concludes that localizing network …
-
TimeKeeper: a lightweight and scalable virtual time system for the Linux Kernel
… processes in virtual time is very useful to the Linux Kernel. Each process may be directed to advance in virtual time either more quickly or more slowly than actual (real) time. This allows interactions between processes and physical devices to be artificially scaled. For example, a network may …
-
Leveraging Code Comments to Improve Software Reliability
… generated 96,821 such annotations for the Linux kernel. These annotations were automatically propagated from 246 seed annotations, directly inferred from comments and code assertions. By extracting annotations from both comments and code, we are able to extract more annotations than using a …
-
On the implications of unsafe eBPF composition
In the era of Linux being omnipresent, the demand for dynamically extending kernel capabil- ities without requiring changes to kernel source code or loading kernel modules at runtime is increasing. This is driven by numerous use cases such as observability, security, and network- ing, which can be …
-
Prototyping Hardware-compressed Memory for Multi-tenant Systems
… module on an FPGA board. CMMU runs with a Linux kernel modified to support CMMU. The prototype virtually expands the memory capacity to 4X. CMMU stably supports the modified Linux kernel with multiple tenants and applications. While achieving this, CMMU only requires several extra cycles of …
-
Designing a congestion control plane datapath with QUIC
… on any CCP enabled datapath, such as QUIC or the Linux kernel. We discuss the necessary features for datapaths to support the user-space CCP agent and develop a library, libccp, for software datapaths. We use QUIC as a case study to design a CCP datapath and evaluate various congestion control …
-
Optimizing communication bottlenecks in multiprocessor operating system kernels
… for some applications, such as operating system kernels, parallelization reveals inter-core communication as a performance bottleneck. When data is updated on one core and read or written on other cores, the cache coherence protocol serializes accesses to the data. The result is that each access …
-
Understanding collaboration in fluid organizations, a proximity approach
… on the likelihood of collaboration within the Linux kernel, a fluid organization. This research contributes to the literature on fluid organization in three ways. First, five criteria are proposed to determine whether an organization is fluid, and those criteria are used to demonstrate that the …
-
Implementing XTP in an IP environment
… the behavior and performance of XTP/IP in a Linux kernel implementation (LinuxXTP), recommend several enhancements to the XTP Specification revision 4.0, and introduce Transport Traffic Services for XTP for the most common Internet traffic types. Comparisons to TCP are made to highlight the …
-
GRACE -Os: An Energy -Efficient Mobile Multimedia Operating System
We have implemented GRACE-OS in the Linux kernel and evaluated it with adaptive Athlon processor and adaptive video codec applications. Our experimental results show that GRACE-OS efficiently trades off QoS for energy with acceptable overhead. In particular, compared to previous systems that adapt …
-
A Security Benchmarking Framework for Empirical Evaluation of Container Confinement
… different combinations of Docker, runc, and Linux kernel versions. These case studies demonstrate how seemingly secure containers can violate isolation guarantees due to subtle interactions between runtime settings and system versions. By making container confinement observable and testable, …
-
A differential approach to undefined behavior detection
… bugs are present in many systems, including the Linux kernel and the Postgres database. The consequences range from incorrect functionality to missing security checks. This thesis proposes a formal and practical approach, which finds undefined behavior bugs by finding "unstable code" in terms of …
-
EKFuzz: Fuzzing the BPF subsystem
… the way developers interact with the Linux kernel by enabling safe, dynamic programmability. However, this flexibility comes at a cost. The new kernel functions (kfuncs) exposed to eBPF programs are rapidly proliferating, often without adequate testing. While prior work has addressed …
-
Ksplice : an automatic system for rebootless kernel security updates
… apply security patches to their operating system kernels without having to reboot. Based on a source code patch and the kernel source code to be patched, Ksplice applies the patch to the corresponding running kernel, without requiring work from a programmer. To be fully automatic, Ksplice's design …
-
On-Disk Sequence Cache (ODSC): Using Excess Disk Capacity to Increase Performance
… ODSC also reduces the disk access time of the Linux boot by 396%, and speeds up a Linux kernel make by 28%. We also show that an ODSC improves performance when main memory is limited.</p>
-
Kommerzielle Entwicklung von Open-Source-Software: Idealismus, Pragmatismus oder Strategie? Eine Fallstudie über Entwickler des Linux-Kernels in großen Firmen der Informationstechnologie
… (FLOSS) im Allgemeinen sowie das Betriebssystem Linux im Speziellen erfreuen sich seit rund zehn Jahren zunehmender wirtschaftlicher Bedeutung und sind heute ein wesentlicher Baustein der professionellen Informations- und Kommunikationstechnologie. Entwickelt wird die Software mit reger …
-
Machine learning feature selection for tuning memory page swapping
… of the virtual memory subsystem in the modern Linux kernel. It applies machine learning to find areas where better page-out decisions can be made. Two areas of possible improvement are identified and analyzed. The first area explored arises because pages in a computation appear repeatedly in a …
Page 1 of 4