Inferno Programming with Limbo

ISBN-13: 9780470843529 / Angielski / Miękka / 2003 / 384 str.

Phillip Stanley-Marbell

Opis

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

Spis treści

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.

O autorze

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.

Blurb

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