From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,c7a9039a7f23eaaa,start
X-Google-Attributes: gid103376,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news1.google.com!news.glorb.com!news-in-01.newsfeed.easynews.com!news-in-02.newsfeed.easynews.com!easynews.com!easynews!sn-xt-sjc-02!sn-xt-sjc-08!sn-post-sjc-01!supernews.com!corp.supernews.com!not-for-mail
From: Bo Sanden <bsanden@acm.org>
Newsgroups: comp.lang.ada
Subject: Free book on multitasking
Date: Sat, 29 Sep 2007 08:52:12 -0700
Organization: Posted via Supernews, http://www.supernews.com
Message-ID: <13fst5d1hj39b38@corp.supernews.com>
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US;
 rv:1.7.2) Gecko/20040804 Netscape/7.2 (ax)
X-Accept-Language: en-us, en
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
X-Complaints-To: abuse@supernews.com
Xref: g2news2.google.com comp.lang.ada:2221
Date: 2007-09-29T08:52:12-07:00
List-Id: <comp.lang.ada>

Title: MULTITHREADING
Version: 0.9 August 2007
Author: Bo Sanden
License: Permission to copy if author, title and version are acknowledged
Copyright 2007 Bo Sanden, Colorado Technical University
Url: http://home.earthlink.net/~bosanden/Multithreading

This book is intended for designers and programmers of multitask 
software. It introduces the tasking/threading support in Ada and Java 
and presents Entity-Life Modeling, which is an intuitive design approach 
for reactive systems.

Reactive systems include those that operate in real time in the widest 
sense, such as embedded control systems as well as telephone switches; 
interactive systems from automated teller machines and gas pumps to 
travel reservation systems; and event-processing systems such as many 
games. ELM also applies to discrete-event simulations based on the 
process interaction worldview. ELM finds multitask solutions to problems 
that are inherently concurrent.

With Entity-life modeling, you pattern tasks on event threads in the 
problem domain much as an object-oriented program is patterned on 
objects in the problem domain. Most examples are in Ada.

Part I: Foundations
1. Introduction
2. Support for multithreading (Ada 2005, Java and Pthreads)
3. State modeling (practical use of state machines)

Part II: Entity-life modeling
4. Entity-life modeling
5. State-machine implementations
6. Resource sharing
7. Simultaneous exclusive access to multiple resources

Part III: Background and discussion
8. Real-time software architectures. Data-flow design approaches
9. The origins of entity-life modeling