|
Gem #49: Safe and Secure Software: Chapter 10, Safe Concurrency
Author: John Barnes
Abstract:
Gem #49 is the tenth chapter of John Barnes’ new booklet:
Safe and Secure Software: An Introduction to Ada 2005.
Over the coming months, we will be publishing all thirteen chapters of the booklet. In the attachment at the bottom of Gem #30 you can access the contents and bibliography for the entire booklet.
Let’s get started…
In real life many activities happen in parallel. Human beings do thing in parallel with considerable ease. Females seem to do this better than males – perhaps because they have to rock the baby while cooking the food and keeping the tiger out of the cave. The male typically just concentrates on one thing at a time such as catching that rabbit for dinner – or trying to fin his in-law’s cave without asking for directions.
Computers traditionally only do one thing at a time, and the operating system makes it look as if several things are going on in parallel. This is not quite so true these days, since many computers do truly have multiple processors but it still does apply to the vast majority of small computers including those used in process control.
Read Chapter 10 in full
Note: All chapters of this booklet will, in time, be available on the Ada 2005 home page.
 724.8Kb |
Posted
in Ada / Ada 2005 / Ada 2012, Development Log, Devt log - Gem of the Week
Have your own idea for a Gem?
If you have an idea for a Gem you would like to contribute please feel free to contact us at: gems@adacore.com
Christoph Grein said:
The bug with the anonymous array in protected Stack should be corrected.