Member Login

E-mail:    Password:  




 TitleDate AddedCompany
whitepaper Porting Linux to ERC-32 Architecture0000-00-00 Universidad de Alcalá
  This paper describes the work involved in porting a variant of the Linux kernel for MMU-less CPUs (uCLinux) to the ERC-32 platform. ERC-32 is an ESA approved radiation-tolerant SPARC V7 processor developed for space applications, and its interest lies in the open nature of its design and specification in order to increase the availability of development tools, operating systems and application software, and therefore reduce cost of space missions. This paper includes a description of the work involved in the realization of this Linux port, the customization possibilities of the final product and a description of the provided end-user development environment consisting of GNU tools. Finally, the paper will describe performance testing results and talk about future enhancements.

Tags: Linux Server OS, Application Development
  
whitepaper Beyond Bug-Finding: Sound Program Analysis for Linux2007-04-09 University of California
  It is time to focus on sound analyses for the critical systems software - that is, it must focus on analyses that ensure the absence of defects of particular known types, rather than best-effort bug-finding tools. This paper presents three sample analyses for Linux that are aimed at eliminating bugs relating to type safety, deallocation, and blocking. These analyses rely on lightweight programmer annotations and run-time checks in order to make them practical and scalable. Sound analyses of this sort can check a wide variety of properties and will ultimately yield more reliable code than bug-finding alone.

Tags: Linux Server OS
  
whitepaper Improved Error Reporting for Software That Uses Black-Box Components2007-04-08 Association for Computing Machinery
  An error occurs when software cannot complete a requested action as a result of some problem with its input, configuration, or environment. A high-quality error report allows a user to understand and correct the problem. Unfortunately, the quality of error reports has been decreasing as software becomes more complex and layered. End-users take the cryptic error messages given to them by programs and struggle to fix their problems using search engines and support websites. This paper introduces Clarify, a system that improves error reporting by classifying application behavior. The paper evaluates a prototype Clarify system on ambiguous error messages generated by large, modern applications like gcc, La-TeX, and the Linux kernel.

Tags: Linux - Open Source, Linux Server OS
  
whitepaper Improving Verification, Validation, and Test of the Linux Kernel: The Linux Stabilization Project0000-00-00 Linux Foundation
  Small projects tend to have virtually no testing performed by anyone other than the author of the program. Larger projects depend upon a community of users to find and fix problems through use rather than disciplined test methods. The Linux kernel is becoming an exception. In this case an increasing number of professional software test engineers are developing tests and test environments specifically to test the Linux kernel. This paper highlights one project that involves a disciplined test approach to the kernel: the OSDL Linux Stabilization project. The test philosophy behind the blending of commercial software test practices with the methods used in the open source community is presented along with the experiences of creating a collaborative community of testers to contribute to this project.

Tags: Linux Server OS
  
whitepaper Fuss, Futexes and Furwocks: Fast Userlevel Locking in Linux0000-00-00 IBM
  Fast userlevel locking is an alternative locking mechanism to the typically heavy weight kernel approaches such as fcntl locking and System V semaphores. Here, multiple processes communicate locking state through shared memory regions and atomic operations. Kernel involvement is only necessary when there is contention on a lock, in order to perform queueing and scheduling functions. In this paper the authors discuss the issues related to user level locking by following the history of ideas and the code to the current day. The paper presents the efficacy of "Futexes" through benchmarks, both synthetic and through adaptations to existing databases. The paper concludes by presenting the potential future directions of the "Futex" interface.

Tags: Linux - Open Source, Linux Server OS
  
whitepaper Virtual Reality on a Linux Desktop0000-00-00 Centrum voor Wiskunde en Informatica
  This paper discusses a Linux desktop implementation of a near-field virtual environment, the Personal Space Station (PSS), the authors evaluates different hardware platforms by discussing implications each platform has on optical tracking latencies. The PSS consists of a mirror in which stereoscopic images are reflected. The user reaches under the mirror to interact with the virtual world. Two cameras are used to track the space in which the interaction takes place.

Tags: Linux Server OS
  
whitepaper Dynamic Power Management Using Feedback0000-00-00 University of Notre Dame
  The increasing speed and complexity of the microprocessor has brought about a corresponding increase in power consumption. Coupled with relatively small gains in battery capacity over recent years, the importance of intelligent battery management has become paramount. This paper presents a mechanism that takes advantage of feedback about power consumption in order to use battery energy more effectively. This feedback mechanism allows the implementation of many different energy management policies. One such policy is presented here which allows to direct power consumption by changing performance states in the scheduler to achieve predetermined energy goals. Furthermore, the implementation in Linux can synthesize any average power usage rate with little overhead.

Tags: Linux Server OS
  
whitepaper Using Read-Copy-Update Techniques for System V IPC in the Linux 2.5 Kernel0000-00-00 IBM
  Read-Copy Update (RCU) allows lock-free read-only access to data structures that are concurrently modified on SMP systems. Despite the concurrent modifications, read-only access requires neither locks nor atomic instructions, and can often be written as if the data were unchanging, in a "CS 101" style. RCU is typically applied to read-mostly linked structures that the read-side code traverses unidirectionally. This paper combines ideas from several RCU implementations in an attempt to create an overall best algorithm, and presents a RCU-based implementation of the System V IPC primitives, improving performance by more than an order of magnitude, while increasing code size by less than 5% (151 lines). This implementation has been accepted into the Linux 2.5 kernel.

Tags: Linux Server OS
  
whitepaper LibeRTOS: A Configurable Single-OS Real-Time Linux Platform for Industrial Applications0000-00-00 University of Kansas
  The LibeRTOS project focuses on producing a stable, robust, and highly configurable Linux platform for industrial automation and other real-time applications. This paper provides an overview of LibeR- TOS and discusses its most important capabilities which include; high resolution time keeping; extremely flexible and fine grain performance data collection support; highly configurable scheduling policies, and; integration of OS computational components, including interrupt handlers, into the system scheduling model. This paper provides an overview of the most significant and innovative aspects of the LibeRTOS system implementation and discusses recent experimental results comparing its performance to RTAI, a popular dual-OS real-time system, for both kernel based and user space computations.

Tags: Linux Server OS, Application Development
  
whitepaper Linux Kernel do_brk() Vulnerability0000-00-00 iSEC Security Research
  A critical security bug has been found in the Linux kernel 2.4.22 (and earlier) memory management subsystem. This bug has been silently fixed for the 2.4.23 as well as in the 2.6.0-test6 release without any notice to the open source community. While performing a regular audit of the Linux kernel the same bug was found at the end of September 2003 and quickly realized its serious impact on the kernel security. Shortly after the authors were ready with a simple proof-of-concept exploit code. This paper presents the technical details of the do_brk() bug found and the results the research done while writing the exploit code.

Tags: Linux Server OS, Application Development