Dear all,
I'm currently working on a research project, called CARRIOCAS, which aims at
providing dynamically reconfigurable high speed network for high-performance
applications where PCEP is used for path computation. My work in the project
is to do modeling, validation, verification, and testing of PCEP. PCEP was
described in a formal language IF and some properties were validated. I have
some questions that were found during my work. The questions will be posted
in four separate emails including this one.
I found that there is a case that never happens in OpenWait state. Is there
anybody who can give me any advice if I'm missing something? The detailed
case is as follows.
In Appendix A, when a system in OpenWait state receives an Open message from
its peer where no errors are detected, OpenRetry is 0, the session
characteristics are unacceptable but negotiable, and LocalOK=1, the system
restarts the OpenWait timer and stays in the OpenWait state.
According to our experiments, we found that the above case cannot happen. We
analyzed the reason and the result is as follows: we can have LocalOK=1 only
when the system in KeepWait state receives a Keepalive message from its
peer. Since the system can move to KeepWait state only after receiving an
Open message from its peer in OpenWait state, the OpenRetry value is always
more than 0 if we have LocalOK=1.
Thanks in advance!
Iksoon
_______________________________________________
Pce mailing list
[email protected]
https://www.ietf.org/mailman/listinfo/pce
