From: Colin Paul Gloster <Colin_Paul_Gloster@ACM.org>
Subject: Re: Does Ada tasking profit from multi-core cpus?
Date: 7 Mar 2007 10:11:25 GMT
Date: 2007-03-07T10:11:25+00:00 [thread overview]
Message-ID: <esm34d$ivo$1@newsserver.cilea.it> (raw)
In-Reply-To: Y7mdnZMdaZRHJHDYnZ2dnUVZ_ualnZ2d@comcast.com
Tom Moran posted on Mon, 05 Mar 2007 23:33:31 -0600:
"[..]
global_flag : integer := 0;
protected body pt is
function f(id : integer) return natural is
change_count : natural := 0;
begin
global_flag := id;
for i in 1 .. 10_000_000 loop
if global_flag /= id then
change_count := change_count;
global_flag := id;
end if;
end loop;
return change_count;
end f;
end pt;
One task calls pt.f(id=>1) and the other calls pt.f(id=>2). They both
get
a result of zero back from their function call. This was with Gnat
3.15p
Windows 2000 on a dual core Pentium. If I change it from a single
protected object to two instances of a protected type, then the
function
calls are overlapped and return non-zero results.
[..]"
Tom Moran posted on Tue, 06 Mar 2007 12:58:34 -0600:
"[..]
Sorry. That's a typo in trying to pretty-up the code for posting.
The actual code that ran was:
if pt_flag /= id then
result := result+1;
pt_flag := id;
end if;
which, as you see, does indeed do an increment. Which is why
> > If I change it from a single
> > protected object to two instances of a protected type, then the function
> > calls are overlapped and return non-zero results.
[..]"
Was the return statement
return change_count;
or some other item whose value was never changed according to the
semantics of Ada as in your original post in which case the behavior
is still not valid Ada, or did the return statement return something
like result or pt_flag?
Regards,
Colin Paul Gloster
next prev parent reply other threads:[~2007-03-07 10:11 UTC|newest]
Thread overview: 61+ messages / expand[flat|nested] mbox.gz Atom feed top
2007-01-29 11:57 Does Ada tasking profit from multi-core cpus? Gerd
2007-01-29 12:04 ` Georg Bauhaus
2007-01-30 13:55 ` Gerd
2007-02-09 10:18 ` karl
2007-02-09 11:03 ` Stefan Lucks
2007-02-09 11:35 ` Ludovic Brenta
2007-03-04 17:54 ` jpluto
2007-03-05 10:08 ` Ludovic Brenta
2007-03-05 13:12 ` Dmitry A. Kazakov
2007-03-06 5:33 ` tmoran
2007-03-06 8:44 ` Dmitry A. Kazakov
2007-03-07 7:52 ` tmoran
2007-03-07 9:31 ` tmoran
2007-03-06 9:40 ` Colin Paul Gloster
2007-03-06 12:47 ` Jeffrey Creem
2007-03-06 14:44 ` Georg Bauhaus
2007-03-06 16:53 ` Dr. Adrian Wrigley
2007-03-06 18:58 ` tmoran
2007-03-07 10:11 ` Colin Paul Gloster [this message]
2007-03-07 18:47 ` tmoran
2007-03-06 18:51 ` Jeffrey R. Carter
2007-03-16 14:29 ` Arguments for single-mutex-exclusion on protected types (Was: Does Ada tasking profit from multi-core cpus?) Jacob Sparre Andersen
2007-03-17 5:26 ` Jeffrey R. Carter
2007-03-17 17:22 ` Robert A Duff
2007-03-17 17:52 ` Jeffrey R. Carter
2007-03-17 23:06 ` Randy Brukardt
2007-03-18 17:57 ` Robert A Duff
2007-03-19 21:49 ` Randy Brukardt
2007-03-20 0:55 ` Jeffrey R. Carter
2007-03-20 1:36 ` Randy Brukardt
2007-03-20 16:32 ` Jeffrey R. Carter
2007-03-20 17:51 ` Randy Brukardt
2007-03-21 0:10 ` Jeffrey R. Carter
2007-03-26 23:38 ` Robert A Duff
2007-03-26 23:24 ` Robert A Duff
2007-03-17 10:25 ` Dmitry A. Kazakov
2007-03-18 17:15 ` Arguments for single-mutex-exclusion on protected types Jacob Sparre Andersen
2007-03-18 18:50 ` Dmitry A. Kazakov
2007-03-20 12:38 ` Florian Weimer
2007-03-07 3:58 ` Does Ada tasking profit from multi-core cpus? Steve
2007-03-07 8:39 ` Dmitry A. Kazakov
2007-03-08 5:21 ` Randy Brukardt
2007-03-08 10:15 ` Dmitry A. Kazakov
2007-03-08 21:18 ` accuracy (was: Does Ada tasking profit from multi-core cpus?) Björn Persson
2007-03-09 8:33 ` accuracy Dmitry A. Kazakov
2007-03-10 1:39 ` accuracy Randy Brukardt
2007-03-10 9:11 ` accuracy Dmitry A. Kazakov
2007-03-11 3:03 ` accuracy Randy Brukardt
2007-03-11 5:21 ` accuracy tmoran
2007-03-11 8:52 ` accuracy Dmitry A. Kazakov
2007-03-11 13:57 ` accuracy Pascal Obry
2007-03-11 14:16 ` accuracy Dmitry A. Kazakov
2007-03-11 14:37 ` accuracy Pascal Obry
2007-03-11 15:50 ` accuracy Dmitry A. Kazakov
2007-03-11 17:38 ` accuracy Pascal Obry
2007-03-11 18:48 ` accuracy Dmitry A. Kazakov
2007-03-12 20:20 ` accuracy Randy Brukardt
2007-03-13 9:33 ` accuracy Dmitry A. Kazakov
2007-03-10 14:53 ` accuracy Stephen Leake
2007-03-10 18:36 ` accuracy Cesar Rabak
2007-03-05 18:46 ` Does Ada tasking profit from multi-core cpus? Jeffrey R. Carter
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox