Re: [MirageOS-devel] How to implement protocols?

[Hannes Mehnert <hannes@xxxxxxxxxxx>]

On 11/14/2015 16:48, Richard Mortier wrote:
> One thing I mentioned off-list, but would be interested in a wider
> opinion on, is how best to handle timers, eg., for retransmission.
> What seems to be the best thought I have on this so far is to turn the
> appropriate responses from the pure core into a "transmission thread"
> that will transmit and then retransmit packets according to whatever
> schedule is mandated, and will be cancelled by suitable subsequent
> response from the pure core. But other suggestions (or examples)
> welcome!

What about:
Pure protocol logic should provide
 [ `Sent of buffer ;
   `Retransmit of buffer -> bool * int * buffer ]

Where now each incoming packet is processed by the cancel function of
retransmit.  A timer is installed which handles the retransmission.

I have no good answer here since I haven't played around with timing too
much.  But keeping the concrete time/clock out of the core sounds
appealing to me (and at the same time, do not leak protocol logic in the
effectful thing).

hannes

Attachment: signature.asc
Description: OpenPGP digital signature

_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel