Inferno Programming with Limbo
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 programsBuilding multi-threaded applications with LimboImplementing user level file servers in LimboNetworking in Inferno and constructing networked applications in LimboGraphical applications in InfernoAugmenting Limbo applications with modules written in the C programming languageCryptographic facilities provided by InfernoTools for verification of concurrent multi-threaded programs, such as model checkersRelevant manual pages and Limbo module definitions