comp.lang.ada
 help / color / mirror / Atom feed
From: onox <denkpadje@gmail.com>
Subject: Re: Reference counter in smart pointers are not updated properly when used by multiple tasks
Date: Thu, 1 Feb 2018 11:37:04 -0800 (PST)
Date: 2018-02-01T11:37:04-08:00	[thread overview]
Message-ID: <2a706673-45d2-4cfa-805f-4a7d0086f721@googlegroups.com> (raw)
In-Reply-To: <p4v9b8$8o1$1@dont-email.me>

On Thursday, February 1, 2018 at 3:48:10 PM UTC+1, Jeffrey R. Carter wrote:
> Set's parameter Free is an anonymous access-to-subprogram parameter; one is not 
> supposed to be able to assign those and call them later, but that is exactly 
> what this code does. Is this code legal? GNAT compiles it fine. If it is legal, 
> should it be?

I hope so. When I instantiate the Orka.Smart_Pointers package, I do not know how to free the Object_Type (access to an interface). Only when I call Set I know how to free the object (access to a tagged type implementing the interface).

  reply	other threads:[~2018-02-01 19:37 UTC|newest]

Thread overview: 12+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2018-02-01  5:52 Reference counter in smart pointers are not updated properly when used by multiple tasks onox
2018-02-01  8:39 ` Dmitry A. Kazakov
2018-02-01 10:01   ` onox
2018-02-01 10:28     ` onox
2018-02-01 10:51       ` Dmitry A. Kazakov
2018-02-01 10:57     ` Dmitry A. Kazakov
2018-02-01  8:41 ` Simon Wright
2018-02-01 14:48 ` Jeffrey R. Carter
2018-02-01 19:37   ` onox [this message]
2018-02-01 20:12     ` Jeffrey R. Carter
2018-02-02  0:09   ` Randy Brukardt
2018-02-01 19:04 ` Robert A Duff
replies disabled

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