IPC 面面观

SEL4  通过Endpoint实现的进程间的通信方法,  IPC Endpoint：用来辅助进程间IPC，有两种类型的IPC Endpoint，一种是Synchronous Endpoint，另一种是Asynchronous Endpoint，顾名思义，一种是同步的，即在信息没有被接受时会阻塞发送消息的线程，另一种是异步的，只能传递短消息，但不会发生阻塞。----------“IPC uses synchronous and asynchronous endpoints (port-like destinations without in-kernelbu_ering) for inter-thread communication, with RPC facilitated  via reply capabilities.”

MACH: 通过 锁 和信号量机制来进程通信----“As an OS X kernel programmer, you have many ch