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=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: f891f,78850d82ea9c576
X-Google-Attributes: gidf891f,public
X-Google-Thread: 103376,78850d82ea9c576
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1994-11-25 08:46:49 PST
Path: 
 nntp.gmd.de!xlink.net!howland.reston.ans.net!math.ohio-state.edu!jussieu.fr!univ-lyon1.fr!swidir.switch.ch!epflnews!dinews.epfl.ch!lglsun!nebbe
From: nebbe@lglsun.epfl.ch (Robb Nebbe)
Newsgroups: comp.lang.ada,comp.lang.misc
Subject: Re: Multithreading
Date: 25 Nov 1994 16:22:59 GMT
Organization: Ecole Polytechnique Federale de Lausanne
Sender: nebbe@lglsun3.epfl.ch (Robb Nebbe)
Distribution: world
Message-ID: <1994Nov25.171914@lglsun.epfl.ch>
References: <CyyHLD.BIo@world.std.com>
 <patrick_d_logan.213.000F5784@ccm.jf.intel.com>
 <3ah4c0$rl4@Starbase.NeoSoft.COM>
 <patrick_d_logan.226.000F6995@ccm.jf.intel.com>
 <3avas0$inu@Starbase.NeoSoft.COM>
NNTP-Posting-Host: lglsun3.epfl.ch
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
Xref: nntp.gmd.de comp.lang.ada:16962 comp.lang.misc:9786
Date: 1994-11-25T16:22:59+00:00
List-Id: <comp.lang.ada>

In article <3avas0$inu@Starbase.NeoSoft.COM>, dweller@Starbase.NeoSoft.COM (David Weller) writes:
|> 
|> Offhand I'd say that effect could be achieved by nesting a protected
|> type instance inside a Controlled type:
|> 
|> 	protected type Multi_Thread_Data is ...
|> 
|> 	type GC_Item is new Ada.Finalization.Controlled with record
|> 	   Hidden : Multi_Thread_Data;
|> 	end record;
|> 

I would do it the other way around. I would put a protected type around
a controlled type. I can't come up with a good justification but it
seems more natural to me.

- Robb Nebbe