Inferno Programming with Limbo

The first complete developer's guide to this exciting new breakthrough technology.

The Inferno operating system is ideal for building interactive applications for set-top boxes, PDAs, palm-tops, and other networked devices that have limited computing resources, but need to handle multimedia such as streaming audio and video. This book provides a comprehensive guide to this technology.

* Written by the host of the Inferno/Limbo FAQ
*This is the first complete developer's guide to building Inferno applications with Limbo
*Each chapter lists common programming pitfalls to avoid
*Each chapter also features an in-depth analysis of a complete sample application that uses the particular concepts covered in it

Das Betriebssystem Inferno ist hervorragend zur Erstellung von Anwendungen für Set-Top-Boxen, PDAs, Palm Tops und andere vernetzte Endgeräte mit begrenzten Ressourcen geeignet - insbesondere, wenn Multimedia-Anwendungen wie Streaming Audio und Video bewältigt werden müssen. Limbo ist die Programmiersprache von Inferno. Ein ausgewiesener Experte stellt Ihnen hier das erste komplette Entwicklungshandbuch für Limbo-Applikationen unter Inferno zur Verfügung. Ausdrücklich wird auf häufige Fehlerquellen bei der Programmierung hingewiesen. Eine Beispielapplikation, die alle behandelten Konzepte nutzt, wird tiefgreifend analysiert. Preface.

Introduction.

An Overview of Limbo.

Data Types.

Using Modules.

System I/O.

Programming with Threads.

Channels.

Styx Servers.

Networking.

Cryptographic Facilities.

Graphics.

Appendix A Limbo Language Grammar.

Appendix B Module Reference.

Appendix C Selected Manual Pages.

Bibliography.

Index.

Phillip Stanley-Marbell is a Ph.D. student at Carnegie Mellon University, and maintains the Inferno/Limbo FAQ. He has been an Inferno user since its original release, and has worked on two commercial products that used Inferno. Inferno Programming with Limbo is the first complete developer’s guide to programming for the Inferno operating system. Developed at Lucent's Bell Labs, Inferno enables cross-platform, portable, distributed application development that is well suited for networked applications on resource constrained, embedded systems. Limbo is its programming language.

This book will provide you with an introduction to Inferno, and everything you need to know about building applications with Limbo.

The book focuses on the pragmatic aspects of developing Inferno applications with the Limbo language. It includes complete source code for several application examples, ranging from a text editor, file servers and network servers, to graphical applications such as games. Common programming pitfalls are revealed and in-depth analysis of complete sample applications are given.

Also covered in the text are sections on:

• Accessing Inferno system facilities from Limbo programs
• Building multi-threaded applications with Limbo
• Implementing user level file servers in Limbo
• Networking in Inferno and constructing networked applications in Limbo
• Graphical applications in Inferno
• Augmenting Limbo applications with modules written in the C programming language
• Cryptographic facilities provided by Inferno
• Tools for verification of concurrent multi-threaded programs, such as model checkers
• Relevant manual pages and Limbo module definitions