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,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: 103376,71dccc917fab8de0,start
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news2.google.com!Xl.tags.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local2.nntp.dca.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Tue, 07 Dec 2010 05:10:42 -0600
From: David Shochat <shochatd@yahoo.com>
Subject: protected object with no private part
Newsgroups: comp.lang.ada
User-Agent: Pan/0.133 (House of Butterflies)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Message-ID: <U66dnRVn0fyvi2PRnZ2dnUVZ_hWdnZ2d@giganews.com>
Date: Tue, 07 Dec 2010 05:10:42 -0600
X-Usenet-Provider: http://www.giganews.com
X-Trace: 
 sv3-vwCnF3PUce/VeiTdyad0pgTqq/kK2RBkPy71sOT58159epp18u5KwztAEeIb9jngi9O3y8zEG/s9m1C!+7tKaWGGqG1QS8FNomyi/5/kIWMyk1mbKkAzf3MudTt8O9sySmMnfAgyNSCcgfps8sM/Gf7sjQWk
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint
 properly
X-Postfilter: 1.3.40
X-Original-Bytes: 1664
Xref: g2news2.google.com comp.lang.ada:16806
Date: 2010-12-07T05:10:42-06:00
List-Id: <comp.lang.ada>

This is for Ada 95. I have a shared object that declares two protected 
procedures and nothing else. There is nothing in the private part (the 
shared entity I'm trying to control access to is shared memory accessed 
using a non-Ada interface). Can I assume that while one of my tasks is 
executing one of the procedures, it is not possible for another task to 
execute the other? The reason for using OS shared memory is that there is 
another (single-threaded) /process/ that also has to access it. This is 
Rational/IBM Apex with Ada tasks mapped to threads (HP-UX). There is 
locking in use to assure that only one process accesses the shared memory 
at a time.