tutorial for concurrent programming techniques (in Ada).

tutorial for concurrent programming techniques (in Ada).

[Mehdi Saada]

Hello.

Is there somewhere such tutorial online ?
Something with the basic techniques, and the use of standard libraries ?
I'm at my first scheduling program, and I'm always telling myself "I would like to do that and that, I saw it somewhere but I've no clue how to do it". Things that are complicated per se, but beginners would gain to see gathered.

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

[Dennis Lee Bieber]

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/ 

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

[Simon Wright]

Dennis Lee Bieber <wlfraed@ix.netcom.com> writes:

> 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)

Or you could do without tasking, either via total bare-metal work like
Maciej Sobczak's http://www.inspirel.com/articles/Ada_On_Cortex.html, or
using an AdaCore 'zero footprint' runtime.

Or you could build a tasking runtime over something like FreeRTOS.

AdaCore had (probably still have) a full runtime built over VxWorks.

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

[Olivier Henley]

On Sunday, May 20, 2018 at 6:53:19 AM UTC-4, Mehdi Saada wrote:
> Hello.
> 
> Is there somewhere such tutorial online ?
> Something with the basic techniques, and the use of standard libraries ?
> I'm at my first scheduling program, and I'm always telling myself "I would like to do that and that, I saw it somewhere but I've no clue how to do it". Things that are complicated per se, but beginners would gain to see gathered.

Not a tutorial per se, but this is an !AWESOME! read:

Concurrent and Real-Time Programming in Ada

You can find it used for 45$ on abebooks:
https://www.abebooks.com/servlet/BookDetailsPL?bi=22614371303&searchurl=isbn%3D0521866979%26sortby%3D17&cm_sp=snippet-_-srp1-_-title1

From what I covered this one also is great. I have not finished it yet...

Building Parallel, Embedded, and Real-Time Applications with Ada (Covers PolyORB, for distributed programming):

https://www.abebooks.com/servlet/BookDetailsPL?bi=20998811506&searchurl=isbn%3D0521197163%26sortby%3D17&cm_sp=snippet-_-srp1-_-title1

Definitely the first one. You will greatly cover tasks, protected objects and real-time scheduling. All along it exemplify how to program different systems like worker pool, futures etc. Worth every penny.

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

[Mehdi Saada]

I wanted to buy the second but it's available for kindle model, and I can't install kindle on my computer because of linux. F$%kin' Amazon, really. I never had to complain about them, but this time !
Being of the same people, I've been supposing the second book covers the first ?

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

[Dennis Lee Bieber]

On Wed, 23 May 2018 02:58:32 -0700 (PDT), Mehdi Saada <00120260a@gmail.com>
declaimed the following:

>I wanted to buy the second but it's available for kindle model, and I can't install kindle on my computer because of linux. F$%kin' Amazon, really. I never had to complain about them, but this time !
>Being of the same people, I've been supposing the second book covers the first ?

	
	If you've been looking via Amazon, you could (at least in the US) use
the "Look Inside" feature to compare the Table of Contents.

	C&RT focuses on some of the more esoteric features of Ada (one chapter
just on "rendezvous" followed by one on using "select", a chapter just on
"requeue", two chapters on scheduling).

	BPERT is more generic; a chapter for protected objects, a chapter for
rendezvous, chapter on distributed systems.


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

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

[Olivier Henley]

On Wednesday, May 23, 2018 at 5:58:34 AM UTC-4, Mehdi Saada wrote:
> I wanted to buy the second but it's available for kindle model, and I can't install kindle on my computer because of linux. F$%kin' Amazon, really. I never had to complain about them, but this time !
> Being of the same people, I've been supposing the second book covers the first ?

The first book goes deeper about concurrency and scheduling. ~300p on concurrency and ~150p on scheduling. (Alan Burns and Andy Wellings)

The second book is ~100p to present the Ada itself (type model, oop etc), ~100p for concurrency, ~100p for distributed computing (PolyORB, Corba, etc) and finally ~100p for real-time and scheduling. (John W. McCormick, Frank Singhoff, Jerome Hugues)

Note: It looks to me they are not the same people.

Best is to buy both. They are very neat book and inspire to do everything using Ada. :)

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

[stumptroll]

On Wednesday, May 23, 2018 at 9:58:34 PM UTC+12, Mehdi Saada wrote:
> I wanted to buy the second but it's available for kindle model, and I can't install kindle on my computer because of linux. F$%kin' Amazon, really. I never had to complain about them, but this time !
> Being of the same people, I've been supposing the second book covers the first ?

Prometheus comes to rescue... Here you go, enjoy:
http://libgen.io/search.php?req=real-time+ada&lg_topic=libgen&open=0&view=simple&res=25&phrase=1&column=def

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

[Olivier Henley]

ok but if I may... as a reminder:

To buy the book is to support both the authors and the publisher for their great work. 

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

[Mehdi Saada]

I mixed up names, sorry.
Wait... what ? Hard to believe this repository is even legal. Those books ain't that old yet !
I respect these authors, but I'm a poor student, without scholarship, no personal income, and I even had to rely on a lover's generosity to get the spark intro and Barnes book. For sure I'll support them as soon as possible.

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

[Mehdi Saada]

You were right, the first book is a gem, even the style of writing appeals me a lot. It seems clearer, closer to the Ada programmer's need, while the other spends seems (more) bent on selling the language to newcomers.

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

[Olivier Henley]

I remember those days, struggling with all the expenses while having very few income. :)