Re: tutorial for concurrent programming techniques (in Ada).

[Dennis Lee Bieber <wlfraed@ix.netcom.com>]

On Sun, 20 May 2018 03:53:18 -0700 (PDT), Mehdi Saada <00120260a@gmail.com>
declaimed the following:

>Hello.
>
>Is there somewhere such tutorial online ?

	Well... 

https://en.wikibooks.org/wiki/Ada_Style_Guide/Concurrency
https://en.wikibooks.org/wiki/Ada_Programming/Tasking

	Though in truth, one should have some familiarity with general tasking
concepts (semaphores, mutex, critical section) -- which used to be part of
any course in Operating Systems.

	Mostly concerned with hard real-time:
https://www.amazon.com/Concurrent-Real-Time-Programming-Alan-Burns/dp/0521866979/ref=sr_1_1?ie=UTF8&qid=1526825181&sr=8-1&keywords=alan+burns+ada
https://www.amazon.com/Analysable-Real-Time-Systems-Programmed-Ada/dp/1530265509/ref=sr_1_2?ie=UTF8&qid=1526825220&sr=8-2&keywords=alan+burns+ada
(hmm, time for a new book, methinks)
https://www.amazon.com/Real-Time-Systems-Programming-Languages/dp/0201729881/ref=sr_1_3?ie=UTF8&qid=1526825302&sr=8-3&keywords=alan+burns+ada

	More general...
https://www.adacore.com/papers/a-comparison-of-the-concurrency-and-real-time-features-of-ada-95-and-java
https://www.amazon.com/Communicating-Sequential-Processes-International-Computing/dp/0131532715/ref=sr_1_1?s=books&ie=UTF8&qid=1526825540&sr=1-1&keywords=communicating+sequential+processes
http://greenteapress.com/wp/semaphores/ (semaphores can be modeled in Ada
using protected objects; though I seem to recall textbooks pre-Ada95
showing how to do them via rendezvous and tasks)


>Something with the basic techniques, and the use of standard libraries ?

	Ada's tasking model is built into the language itself, and is not a
library (except as affected by the degree of the run-time system and OS
features -- bare-board development requires one to provide a run-time that
supports tasking natively, whereas Linux/Windows development punts from the
run-time to the OS).



-- 
	Wulfraed                 Dennis Lee Bieber         AF6VN
	wlfraed@ix.netcom.com    HTTP://wlfraed.home.netcom.com/