Montag, 12. Mai 2008

Concurrency in Ada

Ada is renown for its concurrency support. Parallel programming is a difficult
issue in all aspects. It is difficult to learn, to design, to program, to validate, but
for all, it is most difficult to reuse.

Yesterday I finished the version 3.0 of the Simple Components for Ada, where I tried
to summarize my experience and ideas in this area. The library among other things
contains some basic gears for dealing with concurrency.

The section 9 is devoted to implementation of some lock-free data
structures. These become more popular with new multi-core architectures.
Though Ada was not designed to provide lock-free primitives on the low-level,
for that obvious reason that this would be non-portable. It still has necessary
tools. Here I mean the pragma Atomic, which allows many interesting things to do.

The section 10 contains implementations of locking synchronization primitives.
Protected objects introduced in Ada 95 is an excellent mechanism of a great
power. Especially interesting is to explore the requeue statement. Events,
pulse events, arrays of events, mutexes, arrays of mutexes let be implemented
as protected objects. Using the requeue statement one can do a lot of things,
which appear impossible at the first glance. For example, this section
presents a programming pattern for using entry parameters in the barriers of.
It also discusses how race condition and deadlocks can be avoided when using
protected objects.

Two classical problems are considered on examples: the checkpoint
synchronization problem, and the dining philosophers one.

It is free as only it can be, the license is GMGPL I hope you will enjoy it.

http://www.dmitry-kazakov.de/ada/components.htm

7 Kommentare:

Martin hat gesagt…

Thanks Dmitry, that might come helpfull with my new 8 Core MacPro ;-).

Multi core programming will become more an more important with "quad core for the masses" just around the corner and it is good to see that Ada is set for the challenges ahead.

Martin

marco hat gesagt…

To all data analyst, data managers, software engineers and data miners.


Take the online survey for Molecular Algorithm: A Better Approach in Data Integration

Computer Science hat gesagt…

Nice Topic

I hope you take a look to my blog

http://ebook44free.blogspot.com/

It is about FREE eBooks

Thanks..,

Matthew Tripp hat gesagt…

The wheel of Buddhist terms poster Velcro modular wall mural game. Doctoral dissertation for philosophy, title: The Interpenetration of Buddhist Practice and Classroom Teaching. Technocracy Ethics USA censorship Chinese military intelligence genius clones.

PARASITIC SPECIES INFESTATION alien robot telescope spaceship: audiobook getting things done (GTD is the tag), the first few tracks of PALE BLUE DOT are good, as we transition to a knowledge based global society

as computing power increases exponentially and ubiquitous web enabled sensors allow for immersion in context relevant buddhist or ethics perspective, national broadband plan...

dharmaprinting.com augmented reality sociology subject index and table of contents Chinese military intelligence genius clones life energy word abacus sustainability transmission measurement context mapping twitter.com/globalcide is me Google for EXTINCTCULTURE please let me know what you think about this topic computer.org/pervasive (FOLDING@HOME and BIONIC software's, engineering 450 million new species to make deserts habitable or telepathic ecosystem maintenance) autodesk inventor prototyping software for genetics use the audio book list on audibles.com to build course of life coaching training young orphan people to be CIA certified ethical hackers download free at nowtorrents.com because if the current post world war 2 education system was meant to produce factory workers (not critical thinking curriculum video from best teacher nationally then teachers answer questions and do research while the kids watch, pause for Q+A, the videos podshifter software for iTunesU ) how much worse is this continuation of using the bible koran instead of critical mass ecosystem dynamics physics logistics?

google for flashcard database

subliminal education psychological profiling HDTV prenhall.com/dabbagh/

MIT OCW designing your life. The art of war flashcard deck, wikipedia article audio book the 48 laws of power... RAW stem cells movies: Eagle EYE, Minority Report, (gps and audio recording + all video survelance to DVR on web for all probation and parole ankle monitors, put more people on them and use software to monitor them, the probation or parolee pays for the ankle monitor and then gives it back to the probation office then the next probation pays for it again, thus buying another one) broadcom is makeing new version of these chips every two months now GPS + Bluetooth + WiFi + FM combo chip)
audio + video security DVR in juvinile prisons with audiobooks streaming leave the headphones you buy behind for the next inmate

lifehack.org/articles/productivity/the-ultimate-student-resource-list.html

selfmadescholar.com/b/self-education-resource-list

web 2.0 directories: ziipa.com and go2web20.net USE THE TAGS cloud, also lifehacker.com and lifehack.org SHARE 99ebooks.blogspot.com via: care2.com/click2donate or thehungersite.com and gizmodo.com/tag/ecomodo click every tab every day with iMacro, smarterfox, delicious, colorful tabs, TOOMANYTABS, WebMynd extensions for the new firefox 3.5 browser.

youtube.com/homeproject

Unknown hat gesagt…

Hello,


For leveraging traffic from the internet, I have manually collected a list of quality blogs and sites with whom I am interested in getting associated.

I liked your Site/blog and i'm interested in having my blog's text link in your blog roll or Friends Section.

To process this link exchange please place my blog on your home page using the
below info

Title: Multithreaded TCP Proxy Tunnel


Url: http://www.adamsinfo.com/multithreaded-tcp-proxy-tunnel/

And send me your link info with confirmation of my link so that I could place
you link on my blog. We will make link back to you on our home page (PR 5).

I hope I will hear from you as soon as possible.
Sincerely,
Webmaster
Adamsinfo.com
seo@apnicsolutions.com

John hat gesagt…

Thanks!. Good Information but if u want more information about open source technology than u can visit this one it is helpful.

http://www.drcsystems.com/

jhon apps hat gesagt…

where is Ada Sittuated ?
and let me know some more information about that.

iphone developer