The Design of the UNIX Operating System

The Design of the UNIX Operating System
Author: Maurice J. Bach
Publisher:
Total Pages: 471
Release: 1986
Genre: Operating systems (Computers)
ISBN: 9780132017572

This book describes the internal algorithms and the structures that form the basis of the UNIX operating system and their relationship to the programmer interface. The system description is based on UNIX System V Release 2 supported by AT&T, with some features from Release 3.

Advanced UNIX Programming

Advanced UNIX Programming
Author: Marc J. Rochkind
Publisher: Pearson Education
Total Pages: 871
Release: 2004-04-29
Genre: Computers
ISBN: 0132466139

The classic guide to UNIX® programming-completely updated! UNIX application programming requires a mastery of system-level services. Making sense of the many functions-more than 1,100 functions in the current UNIX specification-is a daunting task, so for years programmers have turned to Advanced UNIX Programming for its clear, expert advice on how to use the key functions reliably. An enormous number of changes have taken place in the UNIX environment since the landmark first edition. In Advanced UNIX Programming, Second Edition, UNIX pioneer Marc J. Rochkind brings the book fully up to date, with all-new, comprehensive coverage including: POSIX SolarisTM Linux® FreeBSD Darwin, the MacTM OS X kernel And more than 200 new system calls Rochkind's fully updated classic explains all the UNIX system calls you're likely to need, all in a single volume! Interprocess communication, networking (sockets), pseudo terminals, asynchronous I/O, advanced signals, realtime, and threads Covers the system calls you'll actually use-no need to plow through hundreds of improperly implemented, obsolete, and otherwise unnecessary system calls! Thousands of lines of example code include a Web browser and server, a keystroke recorder/player, and a shell complete with pipelines, redirection, and background processes Emphasis on the practical-ensuring portability, avoiding pitfalls, and much more! Since 1985, the one book to have for mastering UNIX application programming has been Rochkind's Advanced UNIX Programming. Now completely updated, the second edition remains the choice for up-to-the-minute, in-depth coverage of the essential system-level services of the UNIX family of operating systems.

Distributed Operating Systems

Distributed Operating Systems
Author: Andrew S. Tanenbaum
Publisher: Pearson Education India
Total Pages: 610
Release: 1995
Genre: Business & Economics
ISBN: 9788177581799

As distributed computer systems become more pervasive, so does the need for understanding how their operating systems are designed and implemented. Andrew S. Tanenbaums Distributed Operating Systems fulfills this need. Representing a revised and greatly expanded Part II of the best-selling Modern Operating Systems, it covers the material from the original book, including communication, synchronization, processes, and file systems, and adds new material on distributed shared memory, real-time distributed systems, fault-tolerant distributed systems, and ATM networks. It also contains four detailed case studies: Amoeba, Mach, Chorus, and OSF/DCE. Tanenbaums trademark writing provides readers with a thorough, concise treatment of distributed systems.

Hardware Design and Petri Nets

Hardware Design and Petri Nets
Author: Alex Yakovlev
Publisher: Springer Science & Business Media
Total Pages: 335
Release: 2013-04-17
Genre: Technology & Engineering
ISBN: 1475731434

Hardware Design and Petri Nets presents a summary of the state of the art in the applications of Petri nets to designing digital systems and circuits. The area of hardware design has traditionally been a fertile field for research in concurrency and Petri nets. Many new ideas about modelling and analysis of concurrent systems, and Petri nets in particular, originated in theory of asynchronous digital circuits. Similarly, the theory and practice of digital circuit design have always recognized Petri nets as a powerful and easy-to-understand modelling tool. The ever-growing demand in the electronic industry for design automation to build various types of computer-based systems creates many opportunities for Petri nets to establish their role of a formal backbone in future tools for constructing systems that are increasingly becoming distributed, concurrent and asynchronous. Petri nets have already proved very effective in supporting algorithms for solving key problems in synthesis of hardware control circuits. However, since the front end to any realistic design flow in the future is likely to rely on more pragmatic Hardware Description Languages (HDLs), such as VHDL and Verilog, it is crucial that Petri nets are well interfaced to such languages. Hardware Design and Petri Nets is divided into five parts, which cover aspects of behavioral modelling, analysis and verification, synthesis from Petri nets and STGs, design environments based on high-level Petri nets and HDLs, and finally performance analysis using Petri nets. Hardware Design and Petri Nets serves as an excellent reference source and may be used as a text for advanced courses on the subject.

Algorithms and Data Structures for External Memory

Algorithms and Data Structures for External Memory
Author: Jeffrey Scott Vitter
Publisher: Now Publishers Inc
Total Pages: 192
Release: 2008
Genre: Computers
ISBN: 1601981066

Describes several useful paradigms for the design and implementation of efficient external memory (EM) algorithms and data structures. The problem domains considered include sorting, permuting, FFT, scientific computing, computational geometry, graphs, databases, geographic information systems, and text and string processing.

Digital Cities

Digital Cities
Author: Toru Ishida
Publisher: Springer
Total Pages: 452
Release: 2003-06-26
Genre: Computers
ISBN: 3540464220

On the way towards the Information Society, global networks such as the Internet, together with mobile computing, have made wide-area computing over virtual communities a reality. Digital city projects, with the goal of building platforms to support community networking, are going on worldwide. This is the first book devoted to digital cities. It is based on an international symposium held in Kyoto, Japan, in September 1999. The 34 revised full papers presented were carefully selected for inclusion in the book; they reflect the state of the art in this exciting new field of interdisciplinary research and development. The book is divided into parts on design and analysis, digital city experiments, community network experiments, applications, visualization technologies, mobile technologies, and social interaction and communityware.