【通信系统设计】呼叫设计模式简述

一、状态机(State machine)

呼叫处理的协议一般使用SDL来描述，而SDL是基于状态机的，所以使用FSM来实现是很清晰的。
一个FSM包含：
State
Event
Event handler

使用了Flyweight设计模式，实现为singleton，系统共享
FSM
State
Event handler

二、Run to Completion

呼叫处理过程会和系统的其他部分共享资源。使用轮询抢占式的调度方式，必须使用Semaphore来保护共享资源，这样会降低处理效率(线程切换，获取释放Semaphore等)而且极容易引起bug。
RtC的含义是当一个状态机在处理消息时，让其一直运行下去直到完成处理。在状态机等待下一个消息时，线程被调度出去(调用Pause交出控制权，加入到调度队列的尾部)。
在处理过程中，Scheduler将不会抢占它，在代码中通过一个全局锁runToCompletionLock来实现。
所有Run to Completion的线程都竞争同一个锁，这时Scheduler就不会抢占一个Locked的线程而去运行另一个，也就是说这个Locked线程运行方式为Unpreemptably。
定义LockTimeout来保证一个事务不会运行过长，而使得其他线程可以得到调度。
在呼叫处理过程中，遇到阻塞操作时，调用EnterBlockingOperation和ExitBlockingOperation来调度线程。
工作线程运行完事务后休眠，然后IO线程接收到外部消息后唤醒工作线程。这通过全局的appLock和conditionVariable来实现。
线程最长在unpreemptable下运行