Language Selection

English French German Italian Portuguese Spanish

Kernel: Paul E. Mc Kenney and New Stuff in Linux

Filed under
Linux
  • Paul E. Mc Kenney: TL;DR: Memory-Model Recommendations for Rusting the Linux Kernel

    These recommendations assume that the initial Linux-kernel targets for Rust developers are device drivers that do not have unusual performance and scalability requirements, meaning that wrappering of small C-language functions is tolerable. (Please note that most device drivers fit into this category.) It also assumes that the main goal is to reduce memory-safety bugs, although other bugs might be addressed as well. Or, Murphy being Murphy, created as well. But that is a risk in all software development, not just Rust in the Linux kernel.

    Those interested in getting Rust into Linux-kernel device drivers sooner rather than later should look at the short-term recommendations, while those interested in extending Rust's (and, for that matter, C's) concurrency capabilities might be more interested in the long-term recommendations.

  • Verification Challenges

    You would like to do some formal verification of C code? Or you would like a challenge for your formal-verification tool? Either way, here you go!

  • Cluster Scheduler Support Queued Ahead Of Linux 5.16 - Phoronix

    Cluster scheduler support has been queued up for landing in the Linux 5.16 kernel for AArch64 and x86_64 systems for improving the CPU scheduler behavior for systems that have clusters of CPU cores.

    The cluster scheduler support in this context is about enhancing the Linux kernel's scheduler for systems where sets of CPU cores share an L2 cache or other mid-level caches/resources.

    This cluster scheduler work stems from work by HiSilicon and Huawei aiming to improve the Linux performance for the Kunpeng 920 server chip. That HiSilicon SoC has six or eight clusters per NUMA node with four CPU cores per cluster and a shared L3 cache. With the cluster scheduler patches they were able to enhance the overall performance of the system and also improve the efficiency.

  • AMD Finally Enabling PSR By Default For Newer Hardware With Linux 5.16 - Phoronix

    With it getting late into the Linux 5.15 kernel cycle, the focus is shifting by the Direct Rendering Driver maintainers from new feature work targeting the next cycle (5.16) to instead on bug fixes. AMD sent out a pull request of new AMDGPU Linux 5.16 material this week that is primarily delivering bug fixes but one notable addition is finally enabling PSR by default for newer GPUs.

  • Intel Compute-Runtime 21.41.21220 Ships Updated DG1 Support - Phoronix

    Intel's open-source engineers have shipped Compute-Runtime 21.41.21220 as the newest version of this Linux compute stack enabling OpenCL and Level Zero support with their graphics processors.

    Intel Compute-Runtime 21.41.21220 is the latest weekly update for this compute stack. New this week is updated DG1 platform support and Level Zero support for SPIR-V static module linking.

More in Tux Machines

See Carla Schroder Talk Linux Online - and Maybe Win a Book or Other Cool Swag

Carla Schroder, Linux enthusiast and advocate, and the author several well known books on Linux and open source software (including her latest, Linux Cookbook Second Edition), has teamed up with the folks who produce the annual All Things Open conference in Raleigh. The result is a live online webinar — What’s New in Linux: the Most Significant Changes in the Past Ten Years — that’s scheduled to take place at noon Eastern Time/9 am Pacific Time on December 14. The event is completely free (actually better than free, since they’ll be giving away a number of copies of her new Linux cookbook, as well as some cool All Things Open t-shirts and stickers, all shipped postage paid), but you’ll need to register to attend. Read more

4 Stat Commands in Linux with Example for Beginner Users

A stat command displays information about a file or a file system. With the stat command, you can get information like the file size, its permissions, the IDs of the group and user that have access, and the date and time that the file was created. Another feature of the stat command is that it can also provide information about the file system. When we want to know the information about a file, we should use this tool. So in this blog, you will get to know about the Stat command in Linux with appropriate examples. Read more

Best Free and Open Source Alternatives to Corel AfterShot Pro

Corel Corporation is a Canadian software company specializing in graphics processing. They are best known for developing CorelDRAW, a vector graphics editor. They are also notable for purchasing and developing AfterShot Pro, PaintShop Pro, Painter, Video Studio, MindManager, and WordPerfect. Corel has dabbled with Linux over the years. For example they produced Corel Linux, a Debian-based distribution which bundled Corel WordPerfect Office for Linux. While Corel effectively abandoned its Linux business in 2001 they are not completely Linux-phobic. Read more

KDDockWidgets 1.5.0 Released

KDDockWidgets is a development framework for custom-tailored docking systems in Qt, to use when you need advanced docking that is not supported by QDockWidgets. It was created by Sergio Martins as a time-saving alternative to QDockWidgets. The ease-of-use of KDDockWidgets can save you lots of frustration as well, in that you won’t have to deal with the myriad bugs and the difficulties and complexities faced when working with QDockWidgets. Read more