New Reserve Books Now Available @ EnggLib2

RESERVE BOOKS

Design of multithreaded software : the entity-life modeling approach
Recommending faculty: Prof. Joy Reyes-Madamba (CoE 198)

Author Bo I. Sandén
Place of Publication Hoboken, N.J.
Date of Publication c2011
Publisher John Wiley & Sons

This book assumes familiarity with threads (in a language such as Ada, C#, or Java) and introduces the entity-life modeling (ELM) design approach for certain kinds of multithreaded software. ELM focuses on “reactive systems,” which continuously interact with the problem environment. These “reactive systems” include embedded systems, as well as such interactive systems as cruise controllers and automated teller machines.

Part I covers two fundamentals: program-language thread support and state diagramming. These are necessary for understanding ELM and are provided primarily for reference. Part II covers ELM from different angles. Part III positions ELM relative to other design approaches.

Reactive software must respond to events in the world as they occur. To deal with this, ELM defines an event thread as a series of event occurrences that are separated in time. As the book reveals, event threads become the basis for software threads, leading to thread architectures that can be understood intuitively in problem-domain terms. Readers will discover how ELM captures the logic of event threads in terms of states, providing two patterns for designing software threads based on state diagrams and their activities.

Event threads in the domain can also form patterns. The text explains how ELM identifies the resource-user-thread pattern and the resource-guard-thread pattern, both addressing resource sharing by multiple domain entities. It also covers the case where entities need simultaneous exclusive access to more than one resource, and shows how ELM deals with deadlock prevention.

Design of Multithreaded Software is intended for software designers, architects, and researchers as well as systems designers, programmers, and engineers interested in a practical account of this novel approach.


Engineering a compiler, 2nd ed.
Recommending faculty: Prof. Joy Reyes-Madamba (CoE 198, CS 133, CS 150)

Authors Keith D. Cooper, Linda Torczon
Place of Publication Amsterdam; Boston
Date of Publication c2012
Publisher Elsevier/Morgan Kaufmann

This entirely revised second edition of Engineering a Compiler is full of technical updates and new material covering the latest developments in compiler technology. In this comprehensive text you will learn important techniques for constructing a modern compiler. Leading educators and researchers Keith Cooper and Linda Torczon combine basic principles with pragmatic insights from their experience building state-of-the-art compilers. They will help you fully understand important techniques such as compilation of imperative and object-oriented languages, construction of static single assignment forms, instruction scheduling, and graph-coloring register allocation.

  • In-depth treatment of algorithms and techniques used in the front end of a modern compiler
  • Focus on code optimization and code generation, the primary areas of recent research and development
  • Improvements in presentation including conceptual overviews for each chapter, summaries and review questions for sections, and prominent placement of definitions for new terms
  • Examples drawn from several different programming languages, including Java, C, C++, and FORTRAN.

Leave a Reply