comp.lang.ada
 help / color / mirror / Atom feed
From: "Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>
Subject: Re: Loops and parallel execution
Date: Wed, 26 Jan 2011 02:06:57 +0100
Date: 2011-01-26T02:06:57+01:00	[thread overview]
Message-ID: <op.vpv5dvb1ule2fv@garhos> (raw)
In-Reply-To: 1ge2i0esmav4i$.1jv4tflkkh9rf.dlg@40tude.net

Le Tue, 25 Jan 2011 22:32:57 +0100, Dmitry A. Kazakov  
<mailbox@dmitry-kazakov.de> a écrit:

> On Tue, 25 Jan 2011 18:36:29 +0100, Georg Bauhaus wrote:
>
>> If a compiler detects two independent paths inside a loop,
>
> I don't see any application for this. Can you remember the last time you
> wrote such loop? I cannot.
I can see one: a kind of compiler optimization. I use to though about  
something similar to what Georg exposed (except not strictly with loops),  
which I called “micro-parallelism”. There are many case in an application  
where some short sequence of instructions or groups of instructions does  
not need to be sequenced. Typically I notice this when I do not know which  
order to give these to make the source clear, as many orders would be  
equivalent. Unfortunately, tasking is inefficient here (too much  
overhead). You talked about Occam which I do not know (just the  
principle), but could be fine, yes.

This kind of parallelism requires to be handled at low level (CPU or  
else). This could be either marked explicitly by the author or detected by  
the compiler as Georg suggested, as a kind of compiler optimization.

-- 
Si les chats miaulent et font autant de vocalises bizarres, c’est pas pour  
les chiens.

“I am fluent in ASCII” [Warren 2010]



  parent reply	other threads:[~2011-01-26  1:06 UTC|newest]

Thread overview: 22+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2011-01-25 15:40 Loops and parallel execution Georg Bauhaus
2011-01-25 16:37 ` Dmitry A. Kazakov
2011-01-25 17:36   ` Georg Bauhaus
2011-01-25 17:38     ` Georg Bauhaus
2011-01-25 21:32     ` Dmitry A. Kazakov
2011-01-25 22:07       ` Georg Bauhaus
2011-01-26  1:31         ` Yannick Duchêne (Hibou57)
2011-01-26  9:04         ` Dmitry A. Kazakov
2011-01-26  1:06       ` Yannick Duchêne (Hibou57) [this message]
2011-01-26 10:08         ` Dmitry A. Kazakov
2011-01-31 13:01         ` Paul Colin Gloster
2011-02-06 20:06           ` Yannick Duchêne (Hibou57)
2011-02-07 11:43             ` Nicholas Paul Collin Gloster
2011-01-26  8:46 ` Egil Høvik
2011-01-26 10:47   ` Georg Bauhaus
2011-02-14 23:27     ` Tuck
2011-02-15 21:10       ` Georg Bauhaus
2011-01-26 11:29 ` Peter C. Chapin
2011-01-26 21:57 ` Randy Brukardt
2011-01-27 23:01   ` tmoran
2011-01-29  0:23     ` Randy Brukardt
2011-02-06 20:10       ` Yannick Duchêne (Hibou57)
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox