The Linux Foundation

Web Page: https://www.linuxfoundation.org/collaborate/workgroups/gsoc/google-summer-code-2011

Mailing List: https://www.linuxfoundation.org/collaborate/workgroups/gsoc/google-summer-code-2011

The Linux Foundation is a nonprofit consortium dedicated to fostering the growth of Linux. Founded in 2007 as a merger of the former Free Standards Group (FSG) and the former Open Source Developer Lab (OSDL), the LF sponsors the work of Linux creator Linus Torvalds and is supported by leading Linux and open source companies and developers from around the world. The Linux Foundation promotes, protects and standardizes Linux by providing unified resources and services needed for open source to successfully compete with closed platforms. More: https://www.linux-foundation.org/en/About All software produced by us is free software published under OSI-approved licenses. See project ideas page for the license used by each project.

Our code repository can be found here: http://code.google.com/p/google-summer-of-code-2011-lf/

Projects

• Adding support for interception of callback operations in kernel modules to KEDR Framework The project aims at adding support for interception of callback operations in the KEDR framework. Added functionality should be tested on the real-world kernel modules.
• Consistency Checkers for the LSB Database The project aims to develop a set of new consistency checkers (and enhance the existing) for the LSB database and improve automated generation of templates for inconsistency fixes. These upgrades will help to improve maintainance of the LSB database and thus avoid issues in different products partially created from the db (e.g., LSB SDK).
• CUnit format support for API Sanity Autotest This project aims to add support for CUnit test format to API Sanity Autotest tool. The tool currently supports only Template2Code format which is quite complicated and is not very popular. A support for other test formats like CUnit (which is the most popular nowadays) is neaded to extend the API SanityAutotest framework audience.
• Heal-On-Rewrite for ext4-snapshots NEXT3(R) is a flavor of the widely used Ext3 file system with built-in support for snapshots. Developed by CTERA Networks, NEXT3 is licensed under the GPL. It is being merged to ext4 now. Metadata blocks are snapshotted by copy-on-write while data blocks are are snapshotted by move-on-write. For more information, please refer to http://sourceforge.net/apps/mediawiki/next3/index.php?title=Ext4_snapshots_TODO
• Hot File system Backup using Ext4 Snapshots A hot backup, also called a dynamic backup, is a backup performed on data even though it is actively accessible to users and may currently be in a state of being updated. Snapshots is one of the desirable features at the file system level, with Btrfs already having it and Ext4 snapshots project is already under way.https://github.com/amir73il/ext4-snapshots. Ext4 Snapshots can be effectively leveraged to implement hot File System Backup on another device.
• Implement a generic restriper for Btrfs filesystem Btrfs currently has no support for changing between different raid levels, i.e. there is no way to change filesystem raid level (neither online nor offline) other than to re-create the entire filesystem. This project aims at implementing a generic restriper for Btrfs, which would allow online raid level changing for all types of block groups.
• Improve LSB DevChk This project aims to improve DevCheck functionality in a way concerning full-fledged support for c++, automation of patch generation for LSB DB along with some sort of known problem filtering.
• Interpolating procedure for quantified formulas for the LDV Project The LDV projects currently has some issues concerning analysis of code handling implicit memory locations. This project aims to add support for such analysis using model checking with predicate abstraction. More particular, a tool should be developed for interpolation between quantified logical formulas over the theories of linear arithmetic and uninterpreted functions.
• Linux support for the "Letcool N350JP" game console Following up on the popular Dingux project, I would like to create the Linux kernel support for a new, low-price handheld game console.
• Parse XML DB in Perl, replacing legacy C programs Currently Foomatic uses two C programs to parse the XML DB. The use of C instead of perl was necessitated by the use of the XML DB in production and thus the need for near real time parsing. The situation which demanded the use of C has changed in the intervening decade. Computers have gotten faster, XML parsing in Perl has gotten faster, and SQLite offers us the possibility of eliminating much of the speed requirement. Thus my proposal is two parted, to re-implement the C programs as a Perl Ob
• Ticketed Print Monitoring System Implement a monitored print server in CUPS to allow graduate students and faculty to print to a network of laser printers with a ticketed system hooked up to a monitor server with a front end GUI available on all platforms. This is in order to set printing limits and to meet budget constraints on toner and paper.
• User-friendly Interface for Linux Driver Verification Tools This project tends to develop a next-generation Web user interface for the Linux Driver Verification project. This Web application will significantly simplify verification results analysis that will lead the Linux Driver Verification project to become more user-friendly and usable.