specification problem using Estelle

Thread View: comp.specification

2 messages

[T] Back to Threads [V] Tree View [G] Group Articles

2 total messages Started by Chi-Sharn Wu Thu, 07 Jun 1990 17:49

#125

Author: Chi-Sharn Wu
Date: Thu, 07 Jun 1990 17:49

13 lines
944 bytes

In sliding window protocol, the window buffer stores the unacknowleged 
messages which will be retransmitted when timeout occurs, and multiple
timers are needed since one per message.
Using Estelle to specify the timeout behavior, it seems that only periodical
retransmission of window buffer can be specified using the delay statement
(i.e.,using only one timer). 
Is ther any nice way to specify such multiple independent 
timers using Estelle ?

Thanks for any information.

Chi-Sharn Wu
swu@cs.ucla.edu

Re: specification problem using Estelle

#127

Author: Darren New
Date: Thu, 07 Jun 1990 19:53

16 lines
872 bytes

In article <36061@shemp.CS.UCLA.EDU> swu@oahu.cs.ucla.edu (Chi-Sharn Wu) writes:
>Is ther any nice way to specify such multiple independent 
>timers using Estelle ?

Sure!   Just make a separate transition for each timer.  For example

any i : 1 .. 20
   provided sent[i] and not acked[i]
     delay(mintimeout, maxtimeout)
	name retrans:
	  begin
	     output outip.windowsaved[i]
	  end;

All the delays will run independantly.
		  -- Darren

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads