From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,89f9122dd5615559
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,UTF8
Path: 
 g2news1.google.com!news3.google.com!feeder3.cambriumusenet.nl!feed.tweaknews.nl!87.79.20.105.MISMATCH!news.netcologne.de!ramfeed1.netcologne.de!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Fri, 05 Mar 2010 09:03:08 +0100
From: Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10.5; en-US;
 rv:1.9.1.8) Gecko/20100216 Thunderbird/3.0.2
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Presentations on-line - Ada&SPARK for Education&Research
References: <hmjvj6$orr$1@asgard.cs.kuleuven.be>
In-Reply-To: <hmjvj6$orr$1@asgard.cs.kuleuven.be>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Message-ID: <4b90babf$0$7625$9b4e6d93@newsspool1.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 05 Mar 2010 09:03:11 CET
NNTP-Posting-Host: 54b03932.newsspool1.arcor-online.net
X-Trace: 
 DXC=]TGc?nH72cefF8a^:6>b7eic==]BZ:afn4Fo<]lROoRa<`=YMgDjhgb@:>SDEfdW7fPCY\c7>ejVhS@]Y;Y:T]5imJ9FP<9Fi9o
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:9414
Date: 2010-03-05T09:03:11+01:00
List-Id: <comp.lang.ada>

On 3/2/10 10:22 PM, Dirk Craeynest wrote:
> -----------------------------------------------------------------------
>
>                    All presentations available on-line
>
>                    T e c h n o l o g y   U p d a t e :
>                         A d a   a n d   S P A R K
>            f o r   e d u c a t i o n   a n d   r e s e a r c h
>
>         State-of-the-art programming language technology with Ada
>              Formal specifications made practical with SPARK
>
>                            Seminar organized by
>             the Computer Science Department of the K.U.Leuven
>                      and the Ada-Belgium organization
>                with support from AdaCore and Altran Praxis
>
>                  Tuesday, February 23, 2010, 14:00-18:00
>                 K.U.Leuven, Department of Computer Science
>          Celestijnenlaan 200A, B-3001 Leuven (Heverlee), Belgium
>
> http://www.cs.kuleuven.be/~dirk/ada-belgium/events/10/100223-ab-adaspark.html
>       http://distrinet.cs.kuleuven.be/events/AdaEvent/abstracts.html

> - "Ada in Research and Education, an Experience Report"
>    Erhard Pl�dereder, University Stuttgart, Germany


I'm reading a few presentation pages that advertise  the strengths
of Ada. One sheet compares monitor functionalities as present
in Java and Ada.  Java needs much care not to break
a monitor.  Ada is shown not to have this problem.

True?  With some effort, it seems possible to break an Ada
monitor implemented as a protected object.

package Monitor is

    type SynchNode;
    type Linkage is access all synchnode;
    type data is access all integer;

    protected type synchnode is
       procedure Link (x : Linkage);
       procedure Expose (N : out Data);
    private
       Outgoing : aliased Integer := 0;
    end SynchNode;

end Monitor;

package body monitor is

    protected body synchnode is
       procedure link (X : Linkage) is
          View : Data; -- X's data
       begin
          X.Expose(View);
          View.all := View.all + 1;  -- <-- unprotected
       end link;

       procedure Expose (N : out Data) is
       begin
          N := Outgoing'unchecked_access;
       end expose;
    end SynchNode;

end Monitor;