NSIS X. FuInternet-DraftB. SchloerExpires: September, 2006Internet-Draft Univ. Goettingen Expiration Date: December 2006 H. TschofenigSiemensT. TsenovMarch,Siemens June 25, 2006 QoS NSLP State Machinedraft-fu-nsis-qos-nslp-statemachine-03.txtdraft-fu-nsis-qos-nslp-statemachine-04.txt Status of this Memo By submitting this Internet-Draft, each author represents that any applicable patent or other IPR claims of which he or she is aware have been or will be disclosed, and any of which he or she becomes aware will be disclosed, in accordance with Section 6 of BCP 79. Internet-Drafts are working documents of the Internet Engineering Task Force (IETF), its areas, and its working groups. Note that other groups may also distribute working documents as Internet- Drafts. Internet-Drafts are draft documents valid for a maximum of six months and may be updated, replaced, or obsoleted by other documents at any time. It is inappropriate to use Internet-Drafts as reference material or to cite them other than as "work in progress." The list of current Internet-Drafts can be accessed at http://www.ietf.org/ietf/1id-abstracts.txt. The list of Internet-Draft Shadow Directories can be accessed at http://www.ietf.org/shadow.html. This Internet-Draft will expire onFebruaryDecember 25, 2006. Copyright Notice Copyright (C) The Internet Society (2006). All Rights Reserved. Abstract This document describesthea statemachinesmachine for the NSIS Signaling Layer Protocol for Quality-of-Service signaling (QoS NSLP). Aset ofcombined statemachinesmachine for QoS NSLP entities at different locations of a flow pathareis presented in order to illustrate how QoS NSLP may be implemented. Table of Contents 1. Introduction . . . . . . . . . . . . . . . . . . . . . . . . 3 2. Terminology . . . . . . . . . . . . . . . . . . . . . . . . 3 3. Notational conventions used in state diagrams . . . . . . . 3 4. State Machine Symbols . . . . . . . . . . . . . . . . . . .54 5. Common Rules . . . . . . . . . . . . . . . . . . . . . . . . 6 5.1 Common Procedures . . . . . . . . . . . . . . . . . . . . 6 5.2 Common Variables . . . . . . . . . . . . . . . . . . . . .87 5.3ConstantsEvents . . . . . . . . . . . . . . . . . . . . . . . .9. 8 5.4 Assumptions . . . . . . . . . . . . . . . . . . . . . . .98 6. StatemachinesMachine for QoS NSLP nodes . . . . . . . . . . . . . . 8 6.1 State ST_IDLE . . . . . . . . . .10 6.1 Diagram notations. . . . . . . . . . . . 9 6.2 State ST_WR1 . . . . . . . . . . .10 6.2 State machine for QNI QoS NSLP node. . . . . . . . . . . 11 6.3 Statemachine for QNE QoS NSLP nodeST_WR2 . . . . . . . . . . . . .13. . . . . . . . . 12 6.4 Statemachine for QNR QoS NSLP nodeST_INST . . . . . . . . . . .16. . . . . . . . . . . 14 7. Security Considerations . . . . . . . . . . . . . . . . . .1715 8. Open Issues . . . . . . . . . . . . . . . . . . . . . . . .1715 9. Change History . . . . . . . . . . . . . . . . . . . . . . .1715 9.1 Changes in Version -01 . . . . . . . . . . . . . . . . .1715 9.2 Changes in Version -02 . . . . . . . . . . . . . . . . .1815 9.3 Changes in Version -03 . . . . . . . . . . . . . . . . . 16 9.3 Changes in Version -04 . . . . . . . . . . . . . . . . . 16 10. Acknowledgments . . . . . . . . . . . . . . . . . . . . . .1816 11. References . . . . . . . . . . . . . . . . . . . . . . . . .19 12.116 11.1 Normative References . . . . . . . . . . . . . . . . . .19 12.216 11.2 Informative References . . . . . . . . . . . . . . . . .1916 Appendix A. ASCII versions of the state diagrams . . . . . . . .2017 A.1 Statemachine for QNI QoS NSLP node (Figures 2,3).ST_IDLE . . .20. . . . . . . . . . . . . . . . . . 17 A.2 Statemachine for QNE QoS NSLP node (Figure 4,5,6)ST_WR1 . . .22. . . . . . . . . . . . . . . . . . 18 A.3 Statemachine for QNE QoS NSLP node (Figure 7)ST_WR2 . . . . . . . . . . . . . . . . . . . . . 19 A.4 State ST_INST . . . . . . . . . . . . . . . . . . .26. . 20 Authors' Addresses . . . . . . . . . . . . . . . . . . . . .2921 Intellectual Property and Copyright Statements . . . . . . .3022 1. Introduction This document describesthea statemachinesmachine for QoS NSLP [1], trying to show how QoS NSLP can be implemented to support its deployment. The statemachinesmachine described in this documentareis illustrative of how the QoS NSLP protocol defined in [1] may be implemented forthe QNI QoS NSLP node, QNE QoS NSLP nodes, and QNRQoS NSLPnodenodes in the flow path. Where there are differences [1] are authoritative. The statemachinesmachine diagrams are informative only. Implementations may achieve the same results using different methods. According to [1], there are several possibilities for QoS NSLP signaling, at least including the following: - end-to-end signaling vs. scoped signaling - sender-initiated signaling vs. receiver- initiatedsignaling (which need to be incorporated into use scenarios when describing state machine. Note they are represented by way of certain objects/flags in Reserve and Query messages.)signaling. The messages used in the QoS NSLP protocol can be summarized as follows: Requesting message Responding message ------------------------+--------------------------- RESERVE |None or RESERVE or RESPONSE QUERY |RESERVE or RESPONSE RESPONSE |NONE NOTIFY |NONE ------------------------+---------------------------We describe a set of state machines for different roles of entities running QoS NSLP to illustrate how QoS NSLP may be implemented.2. Terminology The key words "MUST", "MUST NOT", "REQUIRED", "SHALL", "SHALL NOT", "SHOULD", "SHOULD NOT", "RECOMMENDED", "MAY", and "OPTIONAL" in this document are to be interpreted as described in [2]. 3. Notational conventions used in state diagrams The following text is reused from [3] and the state diagrams are based on the conventions specified in [4], Section 8.2.1. Additional state machine details are taken from [5]. The complete text is reproduced here: State diagrams are used to represent the operation of the protocol by a number of cooperating state machines each comprising a group of connected, mutually exclusive states. Only one state of each machine can be active at any given time. All permissible transitions between states are represented by arrows, the arrowhead denoting the direction of the possible transition. Labels attached to arrows denote the condition(s) that must be met in order for the transition to take place. All conditions are expressions that evaluate to TRUE or FALSE; if a condition evaluates to TRUE, then the condition is met. The label UCT denotes an unconditional transition (i.e., UCT always evaluates to TRUE). A transition that is global in nature (i.e., a transition that occurs from any of the possible states if the condition attached to the arrow is met) is denoted by an open arrow; i.e., no specific state is identified as the origin of the transition. When the condition associated with a global transition is met, it supersedes all other exit conditions including UCT. The special global condition BEGIN supersedes all other global conditions, and once asserted remains asserted until all state blocks have executed to the point that variable assignments and other consequences of their execution remain unchanged. On entry to a state, the procedures defined for the state (if any) are executed exactly once, in the order that they appear on the page. Each action is deemed to be atomic; i.e., execution of a procedure completes before the next sequential procedure starts to execute. No procedures execute outside of a state block. The procedures in only one state block execute at a time, even if the conditions for execution of state blocks in different state machines are satisfied, and all procedures in an executing state block complete execution before the transition to and execution of any other state block occurs, i.e., the execution of any state block appears to be atomic with respect to the execution of any other state block and the transition condition to that state from the previous state is TRUE when execution commences. The order of execution of state blocks in different state machines is undefined except as constrained by their transition conditions. A variable that is set to a particular value in a state block retains this value until a subsequent state block executes a procedure that modifies the value. On completion of all of the procedures within a state, all exit conditions for the state (including all conditions associated with global transitions) are evaluated continuously until one of the conditions is met. The label ELSE denotes a transition that occurs if none of the other conditions for transitions from the state are met (i.e., ELSE evaluates to TRUE if all other possible exit conditions from the state evaluate to FALSE). Where two or more exit conditions with the same level of precedence become TRUE simultaneously, the choice as to which exit condition causes the state transition to take place is arbitrary. In addition to the above notation, there are a couple of clarifications specific to this document. First, all boolean variables are initialized to FALSE before the state machine execution begins. Second, the following notational shorthand is specific to this document: <variable> = <expression1> | <expression2> | ... Execution of a statement of this form will result in <variable> having a value of exactly one of the expressions. The logic for which of those expressions gets executed is outside of the state machine and could be environmental, configurable, or based on another state machine such as that of the method. 4. State Machine Symbols ( ) Used to force the precedence of operators in Boolean expressions and to delimit the argument(s) of actions within state boxes. ; Used as a terminating delimiter for actions within state boxes. Where a state box contains multiple actions, the order of execution follows the normal English language conventions for reading text. = Assignment action. The value of the expression to the right of the operator is assigned to the variable to the left of the operator. Where this operator is used to define multiple assignments, e.g., a = b = X the action causes the value of the expression following the right-most assignment operator to be assigned to all of the variables that appear to the left of the right-most assignment operator. ! Logical NOT operator. && Logical AND operator. || Logical OR operator. if...then... Conditional action. If the Boolean expression following the if evaluates to TRUE, then the action following the then is executed. { statement 1, ... statement N } Compound statement. Braces are used to group statements that are executed together as if they were a single statement. != Inequality. Evaluates to TRUE if the expression to the left of the operator is not equal in value to the expression to the right. == Equality. Evaluates to TRUE if the expression to the left of the operator is equal in value to the expression to the right. > Greater than. Evaluates to TRUE if the value of the expression to the left of the operator is greater than the value of the expression to the right. <= Less than or equal to. Evaluates to TRUE if the value of the expression to the left of the operator is either less than or equal to the value of the expression to the right. ++ Increment the preceding integer operator by 1. + Arithmetic addition operator. & Bitwise AND operator. 5. Common Rules Throughout the document we use terms defined in the [1], such as flow sender, flow receiver, QUERY, RESERVE or RESPONSE. 5.1 Common Procedurestx_RESERVE(<object>):tx_reserve(): Transmit RESERVE messagewith <object> tx_RESPONSE():tx_response(): Transmit RESPONSE messagetx_QUERY(<object>): Transmit QUERY message with <object> tx_QUERY(w/o<object>):tx_query(): Transmit QUERY messagewithout <object> tx_NOTIFY():tx_notify(): Transmit NOTIFY message install_qos_state(): InstallQoS state(): Install the local QoS state. Refresh QoS state(): Refreshthe local QoS state.Delete QoS state():delete_qos_state(): Delete the local QoS state.Send info to Application():send_info_to_app(): Report information to the application.rx_RESPONSE(): Receive RESPONSE message rx_QUERY(): Receive QUERY message rx_RESERVE(): Receive RESERVE message rx_NOTIFY(): Receive NOTIFY message TIMEOUT_StateLifetime: State lifetime timer expiration TIMEOUT_Refresh: Refresh interval timer expiration TIMEOUT_Response: Wait-Response interval timer expiration tg_QUERY: External trigger to send a QUERY message (typically triggered by the application). tg_RESERVE: External trigger to send a RESERVE message. tg_TEARDOWN: External trigger to clear previously established QoS state (typically triggered by the application). It is translated to a tx_RESERVE(Ton) message. RMF:RMF(): Performs Resource Management Function and returns the following values{AVAIL, NO_AVAIL}.SetRII: Setsis_local(RII): Checks the RII object ofthe messages e.g. the node requests explicit response to thereceived RESPONSE messagebeing sent.if it is requested by current node or other upstream node. Returns values{0,1}. CheckRII:{true, false}. is_local(RSN): Checksthe RIIThe RSN object of the received RESPONSE message if it is requested by currentnode or other upstreamnode. Returns values{LOCAL, NO_LOCAL}. ProcessQUERY:{true, false}. process_query(): Processes a Query message and provides the requested info 5.2 Common Variables RII: Request Identification Information (RII) object.Logical variable representing if the RII is set or not. Takes values {0,1}. SCOPING: Scoping flag of common message header. Takes values {"Next_hop","Whole_path"}.RSN: Reservation Sequence Number (RSN) object. INFO: Info_Spec object. Takes values: -recRSN0x02 -RSN object of the received messageSuccess values -currRSN0x04 -Current stored RSN value for installedTransient Failure values QSPEC: QoSstate. (Assumedspecification object. T-Flag: Tear-Flag. Indicates tobe the one for the direction where thetear down reservation state. A-Flag: Acknowledgement-Flag of common messagecomes from e.g.Upstream/Downstream) ACK: Acknowledgementheader. Takes values {true, false}. R-Flag: Reserve-Init. Indicates a Receiver Initiated Reservation request in a QUERY message. S-Flag: Scoping flag of common message header. Takes values{"On","Off"}.{true="Next_hop", false="Whole_path"}. setRII: If set a RII object will be included into the message. Takes values {true, false}. setACK: If set a RSN object will be included into the message. Takes values {true, false}. ReducedRefresh: Keeps information if Reduced refresh method may be used for refreshing a installed QoS state. Takes value {"On","Off"}.E_SPEC: Error_Spec object. Takes values: - 0x02? - Success values - 0x04? - Transient Failure values QSPEC: QoS specification object.FlowID: Flow ID kept by the installed QoS state. Replace: Replace flag of common message header. Takes values {"On","Off"}. nodepos: Position of the QoS NSLP node. Takes values {"QNI", "QNE", "QNR"}. TOGGLE: Flag to indicate whether the direction of a new message has to be changed compared to the direction of a received one. Takes values {true, false}. DIRECTION: Direction, in which the message has to be sent. Takes values {DOWNSTREAM, UPSTREAM}. SII: Source Identification Information entry. Takes values: - CurrSII - SII entry stored for current installed QoS state. (Assumed to be the one for the direction where the message comes from e.g.Upstream/Downstream) - newSII - SII of the received message is different from the SII stored for the current installed QoS state. 5.3ConstantsEvents EV_TIMEOUT_STATE_LIFETIME: State lifetime timer expiration EV_TIMEOUT_REFRESH: Refresh interval timer expiration EV_TIMEOUT_REFRESH: Wait-Response interval timer expiration EV_TG_QUERY: External trigger to send a QUERY message (typically triggered by the application). EV_TG_RESERVE: External trigger to send a RESERVE message. EV_TG_TEARDOWN: External trigger to clear previously established QoS state (typically triggered by the application). It is translated to a tx_RESERVE(T-Flag) message. EV_RX_RESPONSE: RESPONSE message received EV_RX_QUERY: QUERY message received EV_RX_RESERVE: RESERVE message received EV_RX_NOTIFY: NOTIFY message received 5.4 Assumptions - For simplification not all included objects in a message areshowed.shown. Only those that are significant for the case are showed. State machines do not present handling of messages that are not significant for management of the states such as certain NOTIFY and QUERY messages. - State machines represent handling of messages of the same Session ID and with no protocol errors. Separate parallel instances of the state machines should handle messages for different Session IDs. - Default message handling should be defined for messages with different Session IDs that have impact on current session state and error messages. This is not included in the current version.- ACK flag in the common header is set "On" by default. - Direction of receiving and sending messages is not specified. We assume it is implicit from the context.6. Statemachinesmachine The following section presents the state machine diagrams of QoS NSLPpeers.6.1Diagram notationsState ST_IDLE (see the .pdf version for missing diagram or refer to AppendixAA.1 if reading the .txt version) Figure 1:Diagram notations 6.2Statemachine for QNI QoS NSLP node The following are diagrams of the QNI QoS NSLP node state machine.ST_IDLE (see the .pdf version for missing diagram or refer to Appendix A.1 if reading the .txt version) Figure 2:QNI node: "IDLE" stateState ST_IDLE 6.2 State ST_WR1 (see the .pdf version for missing diagram or refer to AppendixA.1A.2 if reading the .txt version) Figure 3:QNI node: "WAITRESP1", "WAITRESP2" and "QoS state installed" stateState ST_WR1 6.3 Statemachine for QNE QoS NSLP node The following are diagrams of the QNE QoS NSLP node state machine.ST_WR2 (see the .pdf version for missing diagram or refer to Appendix A.2 if reading the .txt version) Figure 4:QNE node: "IDLE" state Notes: 1) Successful reservation without Response request (1a) and with Scoping (1b). 2) Processing of Query msg for Receiver initiated reservation 3) Unsuccessful reservation with/without request for response from previous node in the path. 5) Processing of Query msg triggered by the application layer. 7) Processing of Query msg received from an upstream node.State ST_WR2 (see the .pdf version for missing diagram or refer to Appendix A.2 if reading the .txt version) Figure 5:QNE node: "QoS state installed" state Notes: 4) Unsuccessful reservation. RII requested at the local node. NOTIFY(RSN) is sent further to the upstream nodes. 6) QoSStaterefresh procedures 8) We assume that handling of QoS state lifetime expiration event is based on the local policy of the node. NOTIFY/Reserve(Ton) messages might be sent to other peers. 9) Update QoS state and Re-route functionality (see the .pdf version for missing diagram or refer to Appendix A.2 if reading the .txt version) Figure 6: QNE node: "QoS state installed & WaitRESP1" and "WaitRESP2" statesST_WR2 6.4 Statemachine for QNR QoS NSLP node The following are diagrams of the QNR QoS NSLP node state machine.ST_INST (see the .pdf version for missing diagram or refer to Appendix A.3 if reading the .txt version) Figure7: QNR node Notes: 1) Initiation of Receiver-side reservation 2) Successful Reservation with& without response request from the QNI side 3) Unsuccessful Reservation with & without response request from the QNI side. 5) We assume that handling of QoS state lifetime expiration event is based on the local policy of the node. NOTIFY/Reserve(Ton) messages might be sent to other peers. 6) Successful Reservation update with& without response request from the QNI side.6: State ST_INST 7. Security Considerations This document does not raise new security considerations. Any security concerns with QoS NSLP are likely reflected in security related NSIS work already (such as [1] or [6]). For the time being, the state machines described in this document do not consider the security aspect of QoS NSLP protocol itself. A future versions of this document will add security relevant states and state transitions. 8. Open Issues This document tries to describe possible states and transitions for QoS NSLP according to its current specification [1], Section 5. We found some issues during the development of the state machines. 1.For receiver-initiated reservation, it is unclear who triggers a teardown. 2.Bi-directional reservation is difficult to support as the state machine becomes quite complex (note at one particular point in time the protocol state engine can be only in one state).3.2. How to signal unsuccessful reservation for Receiver initiated reservation (No RII included; a resulting Response(RSN) cannot be forwarded further than the next peer). We use NOTIFY message.4. If QoS state lifetime expires in QNI, should RESERVE(Ton) be sent downstream the path? 5.3. The case of unsuccessful reservation at a QNE node and no RII specified by upstream nodes. According to the spec RESPONSE(RSN) should not be forwarded further than the next peer. Currently we use NOTIFY(RSN) that is sent further to the upstream nodes.6.4. We assume that handling of QoS state lifetime expiration event is based on the local policy of the node. NOTIFY/Reserve(Ton) messages might be sent to other peers.7.5. The draft states that RESERVE message MUST be sent only towards the QNR. This is not the case when re-routing procedure is done and RESERVE(Ton) message should be sent from merging QNE node for deleting the old branch. We believe this is towards the QNI.8.6. Re-routing functionality described in this document is not complete and need further consideration. 9. Change History 9.1 Changes in Version -01 1. Notation of the nodes changed to QNI, QNE and QNR. 2. Description of soft state refresh functionality. 3. Support of ACK flag in the common header. 4. Include of QoS NSLP objects, flags from the common header and entries stored with the installed QoS state in a node: ACK, Replace, RSN, Error_SPEC, QSPEQ, FlowID, SII. 5. Initial description of Re-routing functionality. 6. For support of all listed changes, some notations are changed. 9.2 Changes in Version -02 1. Switch to .pdf format of the draft and include graphic diagrams. 2. Update notation from "Summary refresh" to "Reduced refresh" 3. Description of QoS reservation update/upgrade 9.3 Changes in Version -03 1. Deep review of the state machine archtitecure 9.4 Changes in Version -04 1. Reduced the three state machines of QNI, QNE and QNR to one for all nodes. 2. Introduced new flags to have a finer control of the direction of the message to be sent. 10. Acknowledgments The authors would like to thank Sven Van den Bosch for his feedback. 11. References 11.1. Normative References [1] Manner, J., Karagiannis,G., McDonald, A.G. andS. Van den BoschMcDonald, A., "NSLP for Quality-of-Servicesignaling",Signaling", Internet draft,draft-ietf-nsis-qos-nslp-07, July 2005.draft- ietf-nsis-qos-nslp-09, March 2006. [2] Bradner, S., "Key words for use in RFCs to Indicate Requirement Levels", BCP 14, RFC 2119, March 1997. 11.2. Informative References [3] Vollbrecht, J., Eronen, P., Petroni, N., and Y. Ohba, "State Machines for Extensible Authentication Protocol (EAP) Peer and Authenticator", draft-ietf-eap- statemachine-06 (work in progress), December 2004. [4] Institute of Electrical and Electronics Engineers, "DRAFT Standard for Local and Metropolitan Area Networks: Port- Based Network Access Control (Revision)", IEEE 802-1X-REV/D11, July 2004. [5] Ohba, Y., "State Machines for Protocol for Carrying Authentication for Network Access (PANA)", draft-ohba-pana-statemachine-01 (work in progress), February 2005. [6] Tschofenig, H. and D. Kroeselberg, "Security Threats for NSIS", draft-ietf-nsis-threats-06 (work in progress), October 2004. Appendix A. ASCII versions of state diagrams This appendix contains the state diagrams in ASCII format. Please use the PDF version whenever possible: it is much easier to understand. The notation is as follows: for each state there is a separate table that lists in each row: - an event that triggers a transition, - actions taken as a result of the incoming event, - and the new state at which the transitions ends. A.1. Statemachine for QNI QoS NSLP node (Figures 2,3) ----------- State: IDLE ----------- ConditionST_IDLE Condition: EV_RX_QUERY +-------------------------------------------------------+-----------+ | Action | new StateNote ------------------------+-------------------------+-----------+--- (tg_RESERVE) && |Send info to Application |IDLE|(RMF="NO_AVAIL")+-------------------------------------------------------+-----------+ | | | | If(!R-Flag) { | ST_IDLE |(tg_RESERVE) && |tx_RESERVE(w/oRII), |QoS state|(!setRII)if((nodepos==QNE) && (!S-Flag)) { |Install QoS state, |Instaled|(RMF="AVAIL")|Send info to Application|tx_query(TOGGLE=false); | | | } else { |(tg_RESERVE) && (setRII)|Install QoS state, |QoS state|&&(RMF="AVAIL")|tx_RESERVE(RII) |Installed +|process_query(); ||WAITRESP2| | tx_response(RII, INFO, QSPEC, UPSTREAM); | |(rx_QUERY)&&(R-Flag)&& |tx_RESPONSE(RSN, |IDLE|(RMF="NO_AVAIL")} |INFO_SPEC=0x04| | } | | | | | +-------------------------------------------------------+-----------+ | | |(rx_QUERY) && (R-Flag) |tx_RESERVE(RII), |QoS state| If(R-Flag &&(setRII)(nodepos==QNI) && (RMF()==NO_AVAIL)) { |Install QoS state, |Installed +| (RMF="AVAIL")ST_IDLE |if(RII) tx_RESPONSE(RII,|WAITRESP2| send_info_to_app(); |INFO_SPEC=0x02)| | } | | |(rx_QUERY) && (R-Flag) |Install QoS state, |QoS state| | +-------------------------------------------------------+-----------+ | | | | If((R-Flag &&(!setRII)(nodepos==QNI) && (RMF==AVAIL)) { |tx_RESERVE(w/oRII) |Installed +| (RMF="AVAIL")ST_WR2 |if(RII) tx_RESPONSE(RII,|WAITRESP2| if(setRII==true) { |INFO_SPEC=0x02)| | tx_reserve(RSN, RII, QSPEC, UPSTREAM); | | |(tg_QUERY) && (setRII) |tx_QUERY(RII) |WAITRESP1} else if (setACK==true) { | | | tx_reserve(RSN, QSPEC, UPSTREAM); | | | } | | | } |------------------------+-------------------------+-----------+--- Figure 8 ---------------- State: WAITRESP1 ---------------- Condition Action State ------------------------+-------------------------+-----------+ (TIMEOUT_WaitResp) && |tx_QUERY(RII) |WAITRESP1|(!MaxRetry)| | | +-------------------------------------------------------+-----------+ | | |(TIMEOUT_WaitResp)| If((R-Flag &&|Send info to Application |IDLE(nodepos==QNI) && (RMF==AVAIL) && | ST_INST |(MaxRetry)| (setRII==false) && (setACK==false)) { | | | tx_reserve(RSN, QSPEC, UPSTREAM); | |rx_RESPONSE |Send info to Application |IDLE| } | | |rx_QUERY(RII) |ProcessQUERY |WAITRESP1||tx_RESPONSE(RII)| +-------------------------------------------------------+-----------+ Condition: EV_TG_RESERVE +-------------------------------------------------------+-----------+ |------------------------+-------------------------+-----------+ ---------------- State: QoS state installed + WAITRESP2 ---------------- ConditionAction | new State------------------------+-------------------------+-----------+ (TIMEOUT_WaitResp) && |tx_RESERVE(RII) |QoS state|(!MaxRetry)+-------------------------------------------------------+-----------+ ||installed +|||WAITRESP2| | If(RMF()==NO_AVAIL) { | ST_IDLE |(TIMEOUT_WaitResp) && |Delete QoS state |IDLE|(MaxRetry) |Send info to Applicationsend_info_to_app(); | | | } | |rx_RESPONSE(RII, |Delete QoS state |IDLE|INFO_SPEC="0x04?") |Send info to Application| | +-------------------------------------------------------+-----------+ | | |rx_RESPONSE(RII, |Send info to Application |QoS state | INFO_SPEC="0x02?") |iReducedRefresh="On" |installed| If(RMF()==AVAIL) { | ST_WR2 | |rx_QUERY(RII) |ProcessQUERY |QoS stateif (setRII==true) { ||tx_RESPONSE(RII) |installed +|||WAITRESP2|------------------------+-------------------------+-----------+ ------------------ State: QoS state installed ------------------ Condition Action State Note ------------------------+-------------------------+-----------+--- rx_QUERY(RII) |ProcessQUERY |QoS statetx_reserve(RSN, RII, QSPEC, TOGGLE=false); ||tx_RESPONSE(RII) |installed| | } else if(setACK==true) { | |TIMEOUT_Refresh |If (ReducedRefresh="On") |QoS state| tx_reserve(RSN, QSPEC, TOGGLE=false); |(Tx_RESERVE(RSN)) && |installed| |(ReducedRefresh="Off")} | ||Else| } | |Tx_RESERVE(RSN,QSPEC);| | | +-------------------------------------------------------+-----------+ | |rx_RESPONSE(RSN, |ReducedRefresh="On" |QoS state|INFO_SPEC="0x02?")||installedIf((RMF()==AVAIL) && (setACK==false) && | ST_INST | | (setRII==false)) { |TIMEOUT_StateLifetime |Delete QoS state |IDLE||Send info to Application| tx_reserve(RSN, QSPEC, TOGGLE=false); | | | } |tg_TEARDOWN |Delete QoS state, |IDLE| |tx_RESERVE(Ton)| | +-------------------------------------------------------+-----------+ Condition: EV_RX_RESPONSE +-------------------------------------------------------+-----------+ | Action | new State |rx_NOTIFY(RSN, |Delete QoS state |IDLE+-------------------------------------------------------+-----------+ |INFO_SPEC="0x04?") |Send info to Application| | | If(nodepos==QNE) { | ST_IDLE |(tg_RESERVE) && |tx_RESERVE(w/oRII), |QoS state|(!setRII) &&tx_response(TOGGLE=false); |Update QoS state, |Instaled|(RMF="AVAIL") | Send info to Application|| } | | |(tg_RESERVE) && (setRII)|Update QoS state, |QoS state|&&(RMF="AVAIL") |tx_RESERVE(RII) |Installed +|||WAITRESP2+-------------------------------------------------------+-----------+ Condition: EV_RX_RESERVE +-------------------------------------------------------+-----------+ |------------------------+-------------------------+-----------+--- Figure 9 A.2. State machine for QNE QoS NSLP node (Figures 4,5,6) ----------- State: IDLE ----------- ConditionAction | new StateNote ------------------------+-------------------------+-----------+--- (rx_QUERY) && (!RII) |tx_QUERY(w/oRII) |IDLE |2)| +-------------------------------------------------------+-----------+ | |(rx_QUERY(RII, |ProcessQUERY, |IDLE |7) SCOPING="Next_hop") |Tx_RESPONSE(RII)| | If(RMF()==NO_AVAIL) { | ST_IDLE | |(rx_QUERY) && (RII) |tx_QUERY(w/RII) |IDLE |7)tx_response(info=0x04, TOGGLE=true); | | |(rx_RESERVE(RII)) && |Tx_RESPONSE(RII, |IDLE |3) (RMF="NO_AVAIL")} |INFO_SPEC="0x04?")| | | | +-------------------------------------------------------+-----------+ |(rx_RESERVE) && (!RII)&&|Tx_RESPONSE(RSN, |IDLE |3) (RMF="NO_AVAIL")|INFO_SPEC="0x04?")| | If(RMF()==AVAIL) { | | |(rx_RESPONSE(RII))If((nodepos==QNE) &&|Tx_RESPONSE(RII) |IDLE | (CheckRII="Not_LOCAL")|(S-Flag==false)) { | | | tx_reserve(TOGGLE=false); | |(rx_RESERVE)&& !(setRII)|Install QoS state, |QoS State |1a) && (RMF="AVAIL") |If(ACK="On") |Installed| } |Tx_RESPONSE(RSN,| | If(A-Flag) { |INFO_SPEC="0x02?")| ||If(RII) Tx_RESPONSE(RII)tx_response(RSN, info=0x02, TOGGLE=true); | ||Else Tx_RESPONSE(w/oRII)|| } | | |(rx_RESERVE(SCOPING= |Install QoS state, |QoS State |1b) "Next_hop"))If(RII && ((nodepos==QNR) || ((nodepos==QNE) &&|If(RII) Tx_RESPONSE(RII, |Installed|(RMF="AVAIL")|INFO_SPEC="0x02?")| (S-Flag==true))) { ||Else Tx_RESPONSE(RSN,| | tx_response(RII, info=0x02, TOGGLE=true); |INFO_SPEC="0x02?")| | } | | |(rx_RESERVE) && (setRII)|Install QoS state, |QoS State |4)} | | | | | +-------------------------------------------------------+-----------+ | | | | If((nodepos==QNE) &&(RMF="AVAIL") |Tx_RESiERVE(RII), |Installed +| |If(ACK="On") |WAITRESP1(RMF()==AVAIL)) { | ST_WR2 |Tx_RESPONSE(RSN,| if(setRII==true) start_response_timer(RII); | |INFO_SPEC="0x02?")| if(setACK==true) start_response_timer(RSN); | | | } |(tg_QUERY) && (setRII) |tx_QUERY(RII) |WAITRESP2 |5) ------------------------+-------------------------+-----------+--- Figure 10 ------------------ State: QoS State Installed ------------------ Condition Action State Note ------------------------+-------------------------+-----------+--- rx_RESERVE(Ton) |tx_RESERVE(Ton), |IDLE||Delete QoS state| | | +-------------------------------------------------------+-----------+ | |rx_RESERVE |Refresh QoS state |QoS State |6) |If(ACK="On") |Installed||Tx_RESPONSE(RSN,| If((nodepos==QNE) && (RMF()==AVAIL) && | ST_INST |INFO_SPEC="0x02?")| (setRII==false) && (setACK==false)) | |tx_reserve()| | | +-------------------------------------------------------+-----------+ Condition: EV_TG_QUERY +-------------------------------------------------------+-----------+ | Action |rx_RESPONSE(RSN, |ReducedRefresh="On" |QoSnew State|6) INFO_SPEC="0x02?")||Installed+-------------------------------------------------------+-----------+ | | | |TIMEOUT_Refresh |If (ReducedRefresh="On") |QoS State |6)If((nodepos==QNR) && (R-Flag)) { | ST_WR1 |(Tx_RESERVE(RSN)) |Installed| tx_query(R-Flag, QSPEC, DOWNSTREAM); |&&(ReducedRefresh="Off")|||Else| start_response_timer(); | |Tx_RESERVE(RSN,QSPEC)| } else { | | | tx_query(RII, QSPEC, DOWNSTREAM); |(rx_RESPONSE(RII, |ReducedRefresh="On" |QoS State|INFO_SPEC="0x02?") |rx_RESPONSE(RII, |Installed|&&(ChechRII="NOT_LOCAL")| INFO_SPEC="0x02?")start_response_timer(RII); | | | } | |(TIMEOUT_StateLifetime) |Delete QoS state |IDLE |8)| | |(rx_RESPONSE(RII, |Delete QoS state |QoS+-------------------------------------------------------+-----------+ Figure 7 A.2. State ST_WR1 Condition: EV_RX_RESPONSE +-------------------------------------------------------+-----------+ |INFO_SPEC="0x04?") |tx_RESPONSE(RII,Action | new State |&&(ChechRII="NOT_LOCAL")| INFO_SPEC="0x04?")+-------------------------------------------------------+-----------+ | | | | If(nodepos==QNE) { |rx_RESPONSE(RSN, |Delete QoS state |IDLE|INFO_SPEC="0x04?") |rx_RESPONSE(RSN, |Installed| tx_response(TOGGLE=false); |INFO_SPEC="0x04?")| | } | | |rx_NOTIFY(RSN, |Delete QoS state |IDLEIf(is_local(RII)==true) { |INFO_SPEC="0x04?") |rx_RESPONSE(RSN,| | stop_response_timer(RII); |INFO_SPEC="0x04?")| | } | | |(Rx_RESERVE)&&(currSII) |Update QoS state |QoS State |9) &&(Replace="On") |If (RII) |InstalledIf(is_local(RSN)==true) { |&&(RMF="AVAIL")|Tx_RESERVE(RII,QSPEC)||&&((recRSN>=currRSN) |elsestop_response_timer(RSN); | |||(newFlowID))|Tx_RESERVE(RSN,QSPEC);|} ||If (ACK="On")&&(!RII)| | |tx_RESPONSE(RSN,| +-------------------------------------------------------+-----------+ | |INFO_SPEC="0x02?")| | If(TIMER_PENDING==true) | ST_WR1 | |(Rx_RESERVE)&&(newSII) |Update QoS state |QoS State |9) &&(RMF="AVAIL") |If (RII) |Installed|&&((recRSN>=currRSN)|Tx_RESERVE(RII,QSPEC)|+-------------------------------------------------------+-----------+ |||(newFlowID)) |else| | |Tx_RESERVE(RSN,QSPEC);|If(TIMER_PENDING==false) ||If (ACK="On")&&(!RII)ST_IDLE | | |tx_RESPONSE(RSN,| +-------------------------------------------------------+-----------+ Condition: EV_TIMEOUT_RESPONSE +-------------------------------------------------------+-----------+ | Action |INFO_SPEC="0x02?")new State | +-------------------------------------------------------+-----------+ ||If (Replace="On")| | |tx_Reserve(Ton)If((MAX_RETRY==true) && (TIMER_PENDING==false)) | ST_IDLE | |to currSII| | +-------------------------------------------------------+-----------+ | | |(rx_RESERVE)&& !(setRII)|Update QoS state, |QoS State| If((MAX_RETRY==true) &&(RMF="AVAIL") |If(ACK="On") |Installed |(TIMER_PENDING==true)) |Tx_RESPONSE(RSN,ST_WR1 | | |INFO_SPEC="0x02?")| +-------------------------------------------------------+-----------+ ||If(RII) Tx_RESPONSE(RII)| ||Else Tx_RESPONSE(w/oRII)|| If(MAX_RETRY==false) { | ST_WR1 | |(rx_RESERVE(SCOPING= |Update QoS state, |QoS Statetx_query(DIRECTION); |"Next_hop")) && |If(RII) Tx_RESPONSE(RII, |Installed|(RMF="AVAIL")|INFO_SPEC="0x02?")restart_response_timer(); | ||Else Tx_RESPONSE(RSN,| } | |INFO_SPEC="0x02?")| | | +-------------------------------------------------------+-----------+ Condition: EV_RX_RESERVE +-------------------------------------------------------+-----------+ | Action |(rx_RESERVE) && (setRII)|Update QoS state, |QoSnew State | +-------------------------------------------------------+-----------+ | | | | if((nodepos==QNR) &&(RMF="AVAIL") |Tx_RESPONSE(RII), |Installed +| |If(ACK="On") |WAITRESP1(A-Flag)) { | ST_WR2 | | tx_response(RSN, TOGGLE=true); |Tx_RESPONSE(RSN,| | } | | |INFO_SPEC="0x02?")| | +-------------------------------------------------------+-----------+ | | |(rx_QUERY)| If((nodepos==QNR) &&(!RII) |tx_QUERY(w/oRII) |QoS StateRII)) { | ST_WR2 ||Installed| tx_response(RII, TOGGLE=true); | | |(rx_QUERY(RII, |ProcessQUERY, |QoS State} |SCOPING="Next_hop") |Tx_RESPONSE(RII) |Installed| | | |(rx_QUERY)+-------------------------------------------------------+-----------+ | | | | If((nodepos==QNR) &&(RII) |tx_QUERY(w/RII) |QoS State(!RII) && (!A-Flag)) | ST_INST | ||Installed|------------------------+-------------------------+-----------+---| +-------------------------------------------------------+-----------+ Figure11 ---------------- State: QoS8 A.3. StateInstalled + WAITRESP1 ---------------- ConditionST_WR2 Condition: EV_RX_RESPONSE +-------------------------------------------------------+-----------+ | Action | new StateNote ------------------------+-------------------------+-----------+--- (TIMEOUT_WaitResp) && |tx_RESERVE(RII) |WAITRESP1|(!MaxRetry)+-------------------------------------------------------+-----------+ | | | | If(is_local(RII)==true) { | |(TIMEOUT_WaitResp) && |Delete QoS State,| stop_response_timer(RII); |(MaxRetry) && |tx_RESPONSE(RSN, |IDLE| |INFO_SPEC="0x04?")} | ||Send info to Application| If(is_local(RSN)==true) { | | | stop_response_timer(RSN); | |(rx_RESPONSE(RII, |Delete QoS State, |IDLE|E_SPEC="0x04?")) |tx_RESPONSE(RSN,} | |&&(CheckRII="LOCAL")|INFO_SPEC="0x04?")| ||Send info to Application| If((info==0x02) && (TIMER_PENDING==false)) { | ST_INST | | start_refresh_timer(); | | | } |(rx_RESPONSE(RII, |Send info to Application |QoS State|E_SPEC="0x02?")) |SummaryRefresh="On" |Installed|&&(CheckRII="LOCAL")| | +-------------------------------------------------------+-----------+ | | | |(rx_RESPONSE(RII))If((info==0x02) &&|Tx_RESPONSE(RII) |QoS State(TIMER_PENDING==true)) |(CheckRII="Not_LOCAL")| |Installed +|ST_WR2 ||WAITRESP1| | | +-------------------------------------------------------+-----------+ |(rx_QUERY) && (!RII) |tx_QUERY(w/oRII) |QoS State| ||Installed +|||WAITRESP1If(info==0x04) { | ST_IDLE | | delete_qos_state(); |(rx_QUERY(RII, |ProcessQUERY, |QoS State|SCOPING="Next_hop") |Tx_RESPONSE(RII) |Installed +|||WAITRESP1stop_timers() | | | } | |(rx_QUERY) && (RII) |tx_QUERY(RII) |QoS State| ||Installed +|||WAITRESP1+-------------------------------------------------------+-----------+ Condition: EV_RX_RESERVE +-------------------------------------------------------+-----------+ |------------------------+-------------------------+-----------+--- ---------------- State: WAITRESP2 ---------------- ConditionAction | new StateNote ------------------------+-------------------------+-----------+--- (TIMEOUT_WaitResp)| +-------------------------------------------------------+-----------+ | | | | If((nodepos==QNE) &&|tx_QUERY(RII)(S-Flag==false)) { | |(!MaxRetry)| tx_reserve(TOGGLE=false); | | | } | |(TIMEOUT_WaitResp) && |Send info to Application |IDLE|(MaxRetry)| | | If(T-Flag==true) { | ST_IDLE | |(rx_RESPONSE) && |Send info to Application |IDLEdelete_qos_state(); |(CheckRII="LOCAL")| | stop_timers(); | | | } |(rx_RESPONSE(RII)) && |Tx_RESPONSE(RII) |WAITRESP2|- (CheckRII="Not_LOCAL")|| | | +-------------------------------------------------------+-----------+ | |(rx_QUERY) && (!RII) |tx_QUERY(w/oRII) |WAITRESP2| | If(T-Flag==false) { | ST_WR2 |(rx_QUERY(RII, |ProcessQUERY, |WAITRESP2|SCOPING="Next_hop") |Tx_RESPONSE(RII)tx_response(RII, RSN, TOGGLE=true); | | | restart_refresh_timer(); | |(rx_QUERY) && (RII) |tx_QUERY(w/RII) |WAITRESP2| } | | |------------------------+-------------------------+-----------+--- Figure 12 A.3. State machine for QNR QoS NSLP node (Figure 7) ----------- State: IDLE ----------- Condition| | +-------------------------------------------------------+-----------+ Condition: EV_TIMEOUT_RESPONSE +-------------------------------------------------------+-----------+ | Action | new StateNote ------------------------+-------------------------+-----------+--- rx_QUERY(RII) |tx_RESPONSE(RII) |IDLE| +-------------------------------------------------------+-----------+ | | |(rx_RESERVE)&&(!RII) |Tx_RESPONSE(RSN, |IDLE| If((MAX_RETRY==true) &&(RMF="NO_A")(TIMER_PENDING==false)) { | ST_IDLE |INFO_SPEC="0x04?")| stop_state_timer(); | | | } | |(rx_RESERVE(RII)) |Tx_RESPONSE(RII, |IDLE|&& (RMF="NO_A")|INFO_SPEC="0x04?")| +-------------------------------------------------------+-----------+ | | | |(tg_QUERY)If((MAX_RETRY==true) &&|tx_QUERY(R-Flag) |WAITRESV |1) (R-Flag)(TIMER_PENDING==true)) | ST_WR2 | |&& (RMF="AVAIL")| | +-------------------------------------------------------+-----------+ | | | |(rx_RESERVE(RII)) |Install QoS state |QoS state |2) && (RMF="AVAIL") |Tx_RESPONSE(RII, |installedIf(MAX_RETRY==false) { | ST_WR2 |INFO_SPEC="0x02?")| tx_reserve(DIRECTION); | | | restart_response_timer(); | | | } | |(rx_RESERVE)&&(!RII) |Install QoS state |QoS state |2) && (RMF="AVAIL") |Tx_RESPONSE(RSN, |installed | INFO_SPEC="0x02?")| |------------------------+-------------------------+-----------+--- --------------- State: WAITRESV --------------- Condition| +-------------------------------------------------------+-----------+ Condition: EV_TIMEOUT_REFRESH +-------------------------------------------------------+-----------+ | Action | new StateNote ------------------------+-------------------------+-----------+--- TIMEOUT_WaitResp |Tx_QUERY(R-Flag) |WAITRESV| +-------------------------------------------------------+-----------+ | | |(TIMEOUT_WaitResp) |Send info to Appl. |IDLE|&& (MaxRetry)tx_reserve(RSN, A-Flag, S-Flag, DIRECTION); | ST_WR2 | | start_response_timer(); | | |rx_RESPONSE(RSN, |Send info to Appl. |IDLE|INFO_SPEC="0x04?")| +-------------------------------------------------------+-----------+ Condition: EV_TIMEOUT_STATELIFETIME +-------------------------------------------------------+-----------+ | Action | new State | +-------------------------------------------------------+-----------+ | |(rx_RESERVE)&&(!RII) |Install QoS state |QoS state||Tx_RESPONSE(w/oRII) |installed| stop_timers(); | ST_IDLE | |(rx_RESERVE)&&(RII)) |Install QoSdelete_qos_state(); | | | If(nodepos != QNR) { | | | tx_reserve(T-Flag, DIRECTION); | | | } | | | | | +-------------------------------------------------------+-----------+ Figure 9 A.4. State|QoS stateST_INST Condition: EV_RX_RESERVE +-------------------------------------------------------+-----------+ ||Tx_RESPONSE(RSN, |installedAction | new State |INFO_SPEC="0x02?")+-------------------------------------------------------+-----------+ | | | | If((nodepos==QNE) && (S-Flag==false)) { |rx_QUERY(RII) |tx_RESPONSE(RII) |WAITRESV|------------------------+-------------------------+-----------+--- ------------------ State: QoS state installed ------------------ Condition| tx_reserve(TOGGLE=false); | | | } | | | | | +-------------------------------------------------------+-----------+ | | | | If(T-Flag==true) { | ST_IDLE | | delete_qos_state(); | | | stop_timers(); | | | } | | | | | | If(T-Flag==false) { | ST_WR2 | | tx_response(RII, RSN, TOGGLE=true); | | | restart_refresh_timer(); | | | } | | | | | +-------------------------------------------------------+-----------+ Condition: EV_TIMEOUT_STATELIFETIME +-------------------------------------------------------+-----------+ | Action | new StateNote ------------------------+-------------------------+-----------+---| +-------------------------------------------------------+-----------+ | |TIMEOUT_StateLifetime |Delete QoS state |IDLE |5)| | stop_timers(); |rx_RESERVE(Ton) |Delete QoS state |IDLEST_IDLE | | delete_qos_state(); | |(rx_RESERVE) && (RII) |Update QoS state |QoS state |6) ||(ACK=ON) |Tx_RESPONSE(RII, |installed| If(nodepos != QNR) { |E_SPEC="0x02?")| | tx_reserve(T-Flag, DIRECTION); | | |(rx_RESERVE)&&(!RII) |Update QoS state |QoS state |6) && (RMF="AVAIL") |Tx_RESPONSE(RSN, |installed} | |E_SPEC="0x02?")| | | +-------------------------------------------------------+-----------+ Condition: EV_TIMEOUT_REFRESH +-------------------------------------------------------+-----------+ | Action |rx_QUERY(RII) |tx_RESPONSE(RII) |QoS statenew State | +-------------------------------------------------------+-----------+ | | | | tx_reserve(RSN, A-Flag, S-Flag, DIRECTION); | ST_WR2 ||installed|------------------------+-------------------------+------------start_response_timer(); | | | | | +-------------------------------------------------------+-----------+ Figure1310 Authors' Addresses Xiaoming Fu University of Goettingen Telematics Group Lotzestr. 16-18 Goettingen 37083 Germany Email: fu@cs.uni-goettingen.deBernd Schloer University of Goettingen Telematics Group Lotzestr. 16-18 Goettingen 37083 Germany Email: bschloer@cs.uni-goettingen.deHannes Tschofenig Siemens Otto-Hahn-Ring 6 Munich, Bayern 81739 Germany Email: Hannes.Tschofenig@siemens.com Tseno Tsenov Siemens Otto-Hahn-Ring 6 Munich, Bayern 81739 Germany Email: tseno.tsenov@mytum.de Bernd Schloer University of Goettingen Telematics Group Lotzestr. 16-18 Goettingen 37083 Germany Email: bschloer@cs.uni-goettingen.de Intellectual Property Statement The IETF takes no position regarding the validity or scope of any Intellectual Property Rights or other rights that might be claimed to pertain to the implementation or use of the technology described in this document or the extent to which any license under such rights might or might not be available; nor does it represent that it has made any independent effort to identify any such rights. Information on the procedures with respect to rights in RFC documents can be found in BCP 78 and BCP 79. Copies of IPR disclosures made to the IETF Secretariat and any assurances of licenses to be made available, or the result of an attempt made to obtain a general license or permission for the use of such proprietary rights by implementers or users of this specification can be obtained from the IETF on-line IPR repository at http://www.ietf.org/ipr. The IETF invites any interested party to bring to its attention any copyrights, patents or patent applications, or other proprietary rights that may cover technology that may be required to implement this standard. Please address the information to the IETF at ietf- ipr@ietf.org. Disclaimer of Validity This document and the information contained herein are provided on an "AS IS" basis and THE CONTRIBUTOR, THE ORGANIZATION HE/SHE REPRESENTS OR IS SPONSORED BY (IF ANY), THE INTERNET SOCIETY AND THE INTERNET ENGINEERING TASK FORCE DISCLAIM ALL WARRANTIES, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO ANY WARRANTY THAT THE USE OF THE INFORMATION HEREIN WILL NOT INFRINGE ANY RIGHTS OR ANY IMPLIED WARRANTIES OF MERCHANTABILITY OR FITNESS FOR A PARTICULAR PURPOSE. Copyright Statement Copyright (C) The Internet Society (2006). This document is subject to the rights, licenses and restrictions contained in BCP 78, and except as set forth therein, the authors retain all their rights. Acknowledgement Funding for the RFC Editor function is currently provided by the Internet Society.