I think we also need to consider that some of these may be corner cases. The idea of the doc in SIPPING was to document the most common race conditions and the ones that had plagued folks in the past. If we can get feedback from folks that these other cases occur "in the wild" and are not rare cases (and not when there's buggy SW), then it might be quite reasonable to bring this doc back to the WG. Regards, Mary. -----Original Message----- From: sipping-bounces@xxxxxxxx [mailto:sipping-bounces@xxxxxxxx] On Behalf Of Paul Kyzivat Sent: Friday, October 24, 2008 7:10 AM To: Saverio Niccolini Cc: sip@xxxxxxxx; sipping@xxxxxxxx; hasebe.miki@xxxxxxxxxxxxxx Subject: Re: [Sip] INVITE dialogs I think it is up to the wg and the chairs whether the draft is opened up for inclusion of more races. I haven't had time to examine Pamela's document in detail, so I can't speak to the specific races she has found right now. I would not be terribly surprised if there are more. But I am surprised if there are 40 more. Perhaps many of those are variants on a theme and might be viewed by others as some smaller number. Thanks, Paul Saverio Niccolini wrote: >> It would be a very interesting "live fire demonstration" of the value >> of the formalism if it discovered race conditions that we hadn't >> identified by informal means. > > I would not be surprise to discover that race conditions identified by > informal means are much less than the ones identified using a > formalism (even if one using simplifications). > > Paul was saying there is not chance to touch the > draft-ietf-sipping-race-examples > > is there any plan to address the identified new race conditions in > another draft then? (Pamela was speaking of about 40 more...) > > Saverio > _______________________________________________ > Sipping mailing list https://www.ietf.org/mailman/listinfo/sipping > This list is for NEW development of the application of SIP Use > sip-implementors@xxxxxxxxxxxxxxx for questions on current sip Use > sip@xxxxxxxx for new developments of core SIP > _______________________________________________ Sipping mailing list https://www.ietf.org/mailman/listinfo/sipping This list is for NEW development of the application of SIP Use sip-implementors@xxxxxxxxxxxxxxx for questions on current sip Use sip@xxxxxxxx for new developments of core SIP _______________________________________________ Sipping mailing list https://www.ietf.org/mailman/listinfo/sipping This list is for NEW development of the application of SIP Use sip-implementors@xxxxxxxxxxxxxxx for questions on current sip Use sip@xxxxxxxx for new developments of core SIP
