Re: Feature suggestion: different task schedules

[Dennis Lee Bieber <wlfraed@ix.netcom.com>]

On Sun, 23 Jul 2017 07:19:37 -0700 (PDT), Egil H H <ehh.public@gmail.com>
declaimed the following:

>On Sunday, July 23, 2017 at 2:31:29 PM UTC+2, Victor Porton wrote:
>> It seems that for this we need to introduce something like "multi" accept 
>> statement, 
>
>Do you mean like the selective accept (RM 9.7.1)?
>

	Given my impression was totally the opposite, any proposal from the OP
will need to be completely and clearly defined in behavior in order to
reach a consensus. I was thinking this was something to do with (using
Python's yield as the example) multiple breakpoints (accepts) responding in
sequence but with only a single external name.


	IOW: Python executes code up through the next yield when invoked, and
the object is blocked after the yield returns a value. Ada accept OTOH
blocks waiting for the invocation and continues executing code after the
resultant rendezvous (only be putting all the code within the accept blocks
can you get something similar).

def theName():
	while True:
		x = do_something()
		yield x
			#block after yield
		x = do_something_else()
		yield x
			#block after yield

vs (apologies for the pseudo-Ada syntax)

loop
	#block before accept
	accept theName(out x : sometype) do
		x = do_something;
	end theName;
	#block before accept
	accept theName(out x : sometype) do	
		x = do_something_else;
	end theName;
-- 
	Wulfraed                 Dennis Lee Bieber         AF6VN
    wlfraed@ix.netcom.com    HTTP://wlfraed.home.netcom.com/