The Battery-Free Internet of Things might revolutionize our understanding sustainable communication, as these IoT devices operate on harvested energy. As this energy can change unpredictably, device operations, including those its network stack, must be resilient to power loss. Transactional intermittency approaches break down tasks into atomic sub-tasks that executed free from failures when sufficient is available. For operation, static program-code analysis methods are required analyse the...

The Battery-Free Internet of Things might revolutionize our understanding connected devices, which harvest their operational energy from the environment (e.g., using solar cells). These systems come with major system-software challenge that intermittently-powered IoT devices have to checkpoint state in non-volatile memory later resume operation this when sufficient is available. scarce resources demand only modified data persisted before a power failure, requires precise...

Operating systems rely on system calls to allow the controlled communication of isolated processes with kernel and other processes. Every call includes a processor mode switch from unprivileged user privileged mode. Although switches are essential isolation mechanism guarantee system's integrity, they induce direct indirect performance costs as invalidate parts state. In recent years, high-performance networks storage hardware has made user/kernel transition overhead bottleneck for IO-heavy...

To reduce the carbon footprint of software, it is imperative that systems first become aware their footprint. Despite various proposals to make software via application-level development kits, we believe awareness and adjustment carbon-emission information an operating-system duty---similar how manages time today. In this paper, motivate envision carbond, a Linux-based service mediate between hardware (including power supply) software. Following recently established Software Carbon Intensity...

Interrupt handling with predictably low latency is a must for systems to respond external events. System designers of tiny embedded computers large-scale distributed face the challenge ever-increasing hardware and software complexity. In absence precise timing models, measurement-based approaches are required achieve latency. this paper, we present INTspect, tool that systematically evaluates interrupt latency, at run-time, in Linux operating system kernel. We apply INTspect on two distinct...

High-performance IO demands low-overhead communication between user- and kernel space. This demand can no longer be fulfilled by traditional system calls. Linux's extended Berkeley Packet Filter (BPF) avoids user-/kernel transitions just-in-time compiling user-provided bytecode executing it in mode with near-native speed. To still isolate BPF programs from the kernel, they are statically analyzed for memory- type-safety, which imposes some restrictions but allows good expressiveness high...

High-performance IO demands low-overhead communication between user-and kernel space.This demand can no longer be fulfilled by traditional system calls.Linux's extended Berkeley Packet Filter (BPF) avoids user-/kernel transitions just-in-time compiling user-provided bytecode and executing it in mode with near-native speed.To still isolate BPF programs from the kernel, they are statically analyzed for memory-and type-safety, which imposes some restrictions but allows good expressiveness high...

To reduce the carbon footprint of software, it is imperative that systems first become aware their footprint. Despite various proposals to make software via application-level development kits, we believe awareness and adjustment carbon-emission information an operating-system duty---similar how manages time today. In this paper, motivate envision carbond, a Linux-based service mediate between hardware (including power supply) software. Following recently established Software Carbon Intensity...

Excessive energy consumption is a critical problem for mobile computing systems due to their limited battery capacity. Software developers aim improve efficiency by monitoring and profiling the of in order discover resolve hot-spots. However, measurement often tedious since it involves hardware setup as well software integration. To support accurate but also convenient measurements, we propose inclusion external devices into existing performance subsystems. This approach allows...

As system complexity grows, embedded operating systems increasingly face the challenge to adhere various non-functional constraints, such as response times and power limits. These requirements sometimes contradict and, often, no solution satisfies all constraints under conditions. Changes in environmental conditions, application-level requirements, user time expectation hence demand for system-wide adaptions resource management. We find that process synchronization constitutes a simple yet...

Cyber-physical systems build the backbone of today's information and implement, for example, complex control applications that strictly rely on sensor data. Thus, it is inherently important cyber-physical to provide a reliable data path throughout entire system: from nodes post-processing infrastructure in networked environments (e.g., edge cloud infrastructure). This paper analyzes system-level aspects (i.e., storage components file systems) reveals limitations current technologies. To...

A fundamental challenge in multi- and many-core systems is the correct execution of concurrent access to shared data. common drawback from existing synchronization mechanisms loss data locality as transferred between accessing cores. In real-time systems, this especially important knowledge about times crucial establish bounds on guarantee meeting deadlines.We propose paper a refinement our previously sketched approach Migration-Based Synchronization (MBS) well its first practical...