We had a quick course of Coccinelle during the last Labs conference. The tool is really great and I would like to explore possibility of checking lock invariants for particular functions. Julia was really prompt and implemented something that should help but I didn't get to it since the conference.

From the kernel-source git repository for SUSE kernels we can extract the people who backported a patch and the files a patch touches. Use this information to build a database for which paths are touched by which developers and write a tool to find the most relevant people for a given source path or upstream patch.

The result for xfstests in osd seems always red[1], but actually it's only a few test fail in a group(around 1/50). If we want to keep use openQA to handle those test, we need some enhancement for that. Try to enhancement test result to make it shows in a better way. - Make more reasonable group for those test

Diagnosing issues with stalling desktop application (or a whole desktop environment) is difficult these days as the application often requires multiple processes interconnected with sockets, pipes, futexes, etc. to work and often it is not clear which process is the one responsible for blocking the whole ecosystem. The idea of this project is to write a tool that gathers information about processes in the system and for each process that is sleeping display the resource (file, socket, futex) it is waiting on as well as the process that is likely responsible for unblocking (feeding pipe, sending data to socket, unlock futex, ...). Once the information is gathered, we can also plot it for graphical displaying with tools like graphviz.

Project Description

Just have play with bpftrace on some real kernel bugs.

If you want to use the full potential of SSDs as primary (and possibly only) storage on SLE or openSUSE systems, you are supposed to perform several configuration settings to make it fly, including:

in https://gohugo.io/ you can easily write custom themes via templates for creation of static websites

There are many fun peripherials that you can connect to a RPi but PC users are not left out either

Moving objects to a new container is a problem everyone in R&D has faced at least once in his life. It requires a very advanced algorithm to pack the many different objects (which are generally heterogeneous, with different uses, types, weights and sizes), before the packs can then be transferred to the new container, generally through a dedicated bus. We can identify some usual cases:

[MTUI][MTUI] is a tool used by QA-Maintenance in testing maintenance updates. Saddled with a host of questionable choices for its interfaces and implementation, it includes a number of difficult-to-fix bugs and hostility toward change. While not the first choice for me, the time's come to scout out a different approach. Welcome SMRT.