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 45 for “"the Linux kernel"”.
-
Lottery Scheduling in the Linux Kernel: A Closer Look
… Testing is performed, along with an analysis of the results measuring the lottery scheduler against these characteristics. Lottery scheduling is found to provide better than average control over the relative execution rates of processes. The results show that lottery scheduling functions as a …
-
Design and implementation of split TCP in the Linux kernel
The Transmission Control Protocol (TCP) was designed for reliable communication between computers over networks of unpredictable quality. It has admirably succeeded in satisfying the needs of the growing internet. Yet, there are combinations of network problems too bad even for TCP. In particular, …
-
TimeKeeper: a lightweight and scalable virtual time system for the Linux Kernel
The ability to embed certain 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. …
-
Leveraging Code Comments to Improve Software Reliability
… operating system concurrency bugs and handle the complex interaction between interrupts and lock. Specifically, we designed a new type of interrupt related annotations, and semi-automatically generated 96,821 such annotations for the Linux kernel. These annotations were automatically …
-
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 …
-
Designing a congestion control plane datapath with QUIC
This work explores developing datapaths for the recently proposed Congestion Control Plane (CCP) architecture and uses QUIC as a case study to build and evaluate an example datapath. The CCP moves congestion control logic off of the datapath into a separate agent running in user-space. Now, …
-
Optimizing communication bottlenecks in multiprocessor operating system kernels
… is achieving performance that scales with the number of cores in the system. A common performance optimization is to increase inter-core parallelism. If the application is sufficiently parallelized, developers might hope that performance would scale as core count increases. Unfortunately …
-
Understanding collaboration in fluid organizations, a proximity approach
… collaboration within organizations is required. The aim of this study was to understand collaboration in a fluid organization through the exploration of proximity and the role of networks. This study used proximity theory to determine the role of cognitive, organizational, social, institutional …
-
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 differential approach to undefined behavior detection
This thesis studies undefined behavior arising in systems programming languages such as C/C++. Undefined behavior bugs lead to unpredictable and subtle systems behavior, and their effects can be further amplified by compiler optimizations. Undefined behavior bugs are present in many systems, …
-
EKFuzz: Fuzzing the BPF subsystem
The extended Berkeley Packet Filter (eBPF) framework has revolutionized 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 …
-
Ksplice : an automatic system for rebootless kernel security updates
… administrators to 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 …
-
Beefing Up The Buffer Cache
Modern life demands fast computations. Even the slightest latencies can have severe consequences and cost companies a fortune in lost revenue every hour. A vital component for reducing latency in computer systems is the cache. A cache's main purpose is to store data that is frequently re-accessed, …
-
Customization and automation in the future of digital forensics: live OS forensics with FENIX (forensic examiner unix)
<p>FENIX (Forensic Examiner uNIX) is a Linux based live OS (Operating System) created to be used in remote environments for incident response and digital forensics. Between a joint effort between the Center for Information Protection (CIP) and the Iowa State University Police Department (ISUPD), …
-
Making Linux protection mechanisms egalitarian with UserFS
… provides egalitarian OS protection mechanisms in Linux. UserFS allows any user-not just the system administrator-to allocate Unix user IDs, to use chroot, and to set up firewall rules in order to confine untrusted code. One key idea in UserFS is representing user IDs as files in a /proc-like file …
-
Unsafe Nesting in BPF Programs
Safe kernel extensions are crucial for adding features like networking filters, security policies, and monitoring capabilities that organizations require in production environments. The Linux kernel traditionally lacked mechanisms for safe runtime extensions. BPF addressed this problem by enabling …
-
Executable Texts: Programs as Communications Devices and Their Use in Shaping High-tech Culture
This thesis takes a fresh look at software, treating it as a document, manuscript, corpus, or text to be consumed among communities of programmers and uncovering the social roles of these texts within two specific sub-communities and comparing them. In the paper, the social roles of the texts are …
-
Linux, OpenBSD, and Talisker : a comparative complexity analysis
… are applicable across a broad range of systems. The purpose of this study is to analyze and compare three operating systems, including two general-purpose operating systems (Linux and OpenBSD) and a commercially available, embedded operating system (Talisker). The basis for the comparison …
-
The design and implementation of a congestion control plane
This paper describes the implementation and evaluation of a system to implement complex congestion control functions by placing them in a separate agent outside the datapath. Each datapath-such as the Linux kernel TCP, UDP-based QUIC, or kernel-bypass transports like mTCP-on-DPDK-summarizes …
-
Analysis and Transformation of Configurable Systems
… transformation engines for source code belong to the standard equipment of a software developer. Their use simplifies a developer's everyday work of maintaining and evolving software systems significantly and, hence, accounts for much of a developer's programming efficiency and programming …
Page 1 of 3