December 27, 2019

215 words 2 mins read

Fast and Precise Retrieval of Forward and Back Porting Information for Linux Device Drivers

Fast and Precise Retrieval of Forward and Back Porting Information for Linux Device Drivers

Porting Linux device drivers to target more recent and older Linux kernel versions to compensate for changes in the kernel interface is a continual problem for Linux device driver developers. Acquirin …
Talk Title Fast and Precise Retrieval of Forward and Back Porting Information for Linux Device Drivers
Speakers Julia Lawall (Senior Researcher, Inria/LIP6/Sorbonne University)
Conference Open Source Summit Europe
Conf Tag
Location Prague, Czech Republic
Date Oct 21-27, 2017
URL Talk Page
Slides Talk Slides
Video

Porting Linux device drivers to target more recent and older Linux kernel versions to compensate for changes in the kernel interface is a continual problem for Linux device driver developers. Acquiring information about interface changes is a necessary, but tedious and error prone, part of this task. We propose two tools, Prequel and gcc-reduce, to help collect the needed information. Prequel provides language support for querying git commit histories, while gcc-reduce generates Prequel queries from compiler error messages. We have used our approach in porting 33 device driver files over up to 3 years of Linux kernel history, amounting to hundreds of thousands of commits. In these experiments, for 3/4 of the porting issues, our approach highlighted commits that enabled solving the porting task. For many porting issues, our approach retrieves relevant commits in 30 seconds or less.

git
comments powered by Disqus
Getting out of your Git messes

Getting out of your Git messes

December 9, 2019

If you've used Git for any amount of time, you've probably gotten yourself into some confusing, frustrating, or downright terrifying situations. You are not alone. Katie Sylor-Miller explains how to avoid getting into Git messes in the first place and how to leverage Git's powerful features to save yourself when everything seems to go wrong.
Using npm scripts as your build tool

Using npm scripts as your build tool

December 6, 2019

Elijah Manor explains how to use npm scripts to handle your various build needs, covering running scripts in series or parallel, using lifecycle hooks, passing arguments, piping data, using environment variables, running scripts on file change or when Git hooks are triggered, and organizing our scripts in external filesas well as how to modify your scripts to run across Mac, Linux, and Windows.
Adopting open source in your organization

Adopting open source in your organization

November 28, 2019

Recently, Microsoft went from calling open source "a cancer" to being the biggest contributor on GitHub. Edward Thomson explains how Microsoft, one of the unlikeliest software vendors, began to embrace and even extend (but not extinguish) open source software and how you can begin using and contributing to open source software in your organization.
Lessons Learned From Maintaining Continuous Delivery While Migrating From a Static Infrastructure to Kubernetes [B]

Lessons Learned From Maintaining Continuous Delivery While Migrating From a Static Infrastructure to Kubernetes [B]

November 27, 2019

Finn.no is Norway's largest website. Whilst running on static infrastructure, we support 300 microservices, 1400 deploys a week, and 6 minutes from git push to production. But our platform didn't meet …
Power Git: Rerere, bisect, subtrees, filter branch, worktrees, submodules, and more

Power Git: Rerere, bisect, subtrees, filter branch, worktrees, submodules, and more

November 22, 2019

If you are doing anything with open source these days, the chances are very high that you are working with Git. Many know enough basic Git operations to get started but don't have the time (or even know where to look) to learn about Git's advanced functionality. Brent Laster explains how to take your Git skills to the next level.