c cloud-computing edge-computing gdb kernel linux rust software-development static-analysis blog
-
Add Linux Kernel Modules in Rust
In this post, we'll understand how to add a Rust module to the Linux kernel and we'll create the Rust module `RUST_TEST_MODULE`, configure it, and analyze how to update and check it. -
Testing The Rust Code In Linux Kernel
In the Rust project under the Linux kernel, you can find three types of tests: KUnit tests, #[test] tests, and Kselftests, that have similar purposes but different scopes.
-
Rust In Kernel Development
Rust for Linux is an ongoing project started in 2020 to add add support for the Rust language to the Linux kernel software. Since the Rust support for the kernel project is not particularly straightforward, this posts aims to help to setup it up.
-
Linux Foundation Kernel Mentorship Program – My Experience
The Linux Foundation offers a three-month Mentorship Program where participants engage in hands-on bug fixing on the Linux Kernel project while receiving support from maintainers, tutors, and past or current mentees. This is my experience with the menthorship program. -
Sparse Semantic Parser
Sparse is a C language “semantic parser” originally written by Linus Torvalds to support his work on the Linux kernel and used to detect bugs with a static analysis.
-
Smatch Static Analysis Tool
Smatch is a static analysis tool to detect potential issues, such as conditions that will always (or never) be true, null pointers, and locks that end up in different states depending on which path is taken through the code.
-
Coccinelle, a Static Analysis Tool
Coccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code.
-
NeoMutt: setup and usage
Mutt and NeoMutt are highly configurable and flexible command line email clients that allow and make it easy to read emails from the terminal by using plain text email instead of dealing with html format. -
Debug Linux Kernel Panics
In the Linux kernel, errors are usually divided into hard panics, such as Kernel panics, and soft panic, such as Oops. It’s important to analyze their dumps and understand the information reported.
-
Setup Linux Kernel Debugging with QEMU and GDB
Debugging the Linux kernel is the bedrock of any activity on the kernel, from learning newbies to expert contributors activities. There are many ways to debug a kernel. This post explains how to debug with GDB on a Qemu operating system instance. -
OpenStack++ Infrastructure for Cloulet Management on the Edge
The pervasive presence of mobile devices introduces new challenges to manage them, such as management in a hostile environment. This post aims to propose a solution based on edge-computing architecture and Openstack infrastructure. -
Modelling and Simulation of Cloud a Infrastructure with CloudSim
Measuring and simulating a cloud computing infrastructure for proacive intervention is key to be able to scale efficiently. In this post, the simulation has been made programaticaly by using the Cloudsim tool. -
Adaptive Provisioning and Migration of Services in On-Premise Cloud
In this post, a real world example of a complex application, within a large European project, has been discussed with the aim to propose a solution that is able to adapt to the workload and scale in or out according to the resources used, while keeping the service responsive with a trivial downtime. -
Instrumentation an Android Application Autonomously through Bytecode Analysis
Android applications can be instrumented modifying their code programatically through bytecode analysis to allow them to benefit from computation offloading of their execution tasks towards more powerful devices able to perform the same tasks in a more efficient way. -
ULOOF (User Level Online Offloading Framework) for automated optimizations of Android application
ULOOF (User Level Online Offloading Framework) has been introduced in order to benefit from computation offloading for Android mobile devices and laverage on edge comptuing and cloud computing to improve the mobile execution. -
Towards Better Scalability for IoT-Cloud Interactions via MQTT-CoAP Integration and Hierarchical Optimizations
How to improve scalability of Internet of Things and Cloud Computing communications with a combination of lightway communication protocols with the purpose to exloit them in their best application scenarios and minimizing their drawbacks. -
A Federation model to support semantic SPARQL queries for Enterprise Data Governance
Data Governance and Federation in large organizations poses challenges due to the integration of heterogeneous, distributed data sources. Semantic Web and SPARQL are key in defining and searching semantic over any sort of content. This work proposes an autonomous platform for Data Federation that overcome SPARQL limitations and opens up opportunities for Data Governance. -
Integrating Mobile Internet of Things and Cloud Computing towards Scalability: Lessons Learned from Existing Fog Computing Architectures and Solutions
Fog computing is a recent introduced concept to move computing elements close to the physical position of end-users. This article aims to clarify the role, technical challenges, and opportunities associated with it as an effective technology to support MIoT-cloud integration.
- •
- •