32、深入理解SIP：模型检查的洞察与优化

浮生若梦622

于 2025-11-06 14:56:48 发布

阅读量8

点赞数

CC 4.0 BY-SA版权

分类专栏： IP通信前沿技术探析文章标签： SIP 模型检查可靠临时响应

本文链接：https://blog.youkuaiyun.com/opencv7vision/article/details/154763956

IP通信前沿技术探析专栏收录该内容

39 篇文章 ¥499.90

订阅专栏¥69.90

会员秒杀 ¥9.9 重磅福利

超级会员免费看

深入理解SIP：模型检查的洞察与优化

1. UAC进入确认状态的场景

当用户代理处于确认状态时，可能会接收到更新或 updSucc 消息，使得UAC进入媒体状态为 offering 的确认状态。这种场景中，在UAS代码里，接收成功的更新和发送其响应处于同一个受保护命令中，不能被其他受保护命令的执行分隔，这体现了用户代理需立即响应更新的要求，与之前章节中重新邀请的建模有所不同。此外，还存在一种类似右侧场景的情况，其中 prack 携带 offer ， prackRsp 携带 answer 。

2. 可靠临时响应

可靠临时响应的使用较为复杂。为了清晰说明，下面展示一个有限状态机图（图3），它呈现了可靠临时响应携带SDP字段的所有方式。

graph LR
    classDef startend fill:#F5EBFF,stroke:#BE8FED,stroke-width:2px
    classDef process fill:#E5F6FF,stroke:#73A6FF,stroke-width:2px
    classDef decision fill:#FFF6CC,stroke:#FFBC52,stroke-width:2px

    A([开始]):::startend --> B(flow,flow):::process
    B --> C(flow,offered):::proc