24、SIP Servlet容器中死锁避免机制解析

SIP Servlet容器中死锁避免机制解析

在SIP（会话发起协议）Servlet容器的运行过程中，死锁是一个常见且棘手的问题。本文将深入探讨SIP Servlet容器中死锁的产生原因、避免策略以及相关的解决方案。

同步合约（Synchronization Contracts）

为了避免SIP Servlet中的死锁问题，我们引入了一种基于面向对象（OO）程序同步模型的方法，即Szumo 3。Szumo 3利用同步合约来支持一类有限的多线程OO应用的组件化开发，这类应用被称为严格排他系统。在严格排他系统中，线程会竞争对动态变化的共享资源集的排他访问权。除了电信应用外，可扩展的Web服务器和带有图形用户界面的交互式应用也属于这一类别。

Szumo采用了Meyer的按合约设计（design-by-contract）方法的原则。它为每个线程关联一个同步合约，该合约描述了客户端和供应方在执行使用共享资源的操作时的权利和责任。这些合约是通过实例化和组合程序员在模块接口中声明的模块级同步约束而形成的。

例如，一个实现呼叫合并服务的Servlet的同步约束可能会声明，在处理合并两个呼叫的请求时，SIP线程需要对与这些呼叫相关的SIP应用会话（SAS）进行排他访问。应用开发者负责验证SIP线程仅在同步约束涵盖的条件下访问这些SAS。开发者在编写Servlet代码时，可以假设在这些条件下对SAS具有排他访问权，而无需编写显式的同步逻辑来获取和释放SAS。这样，同步合约实现了关注点的有效分离。

同步合约在运行时会自动执行和协商。像SCOOP和Szumo这样的合约模型将合约协商的大部分责任分配给运行时系统或中间件，这些系统会根据避免死锁和饥饿的启发式算法来调度