我们已经知道了协程可以很好的解决异步非阻塞系统的开发问题,那么协程本身到底是什么呢?从定义上来说,协程是一种轻量级的线程,由用户代码来调度和管理,而不是由操作系统内核来进行调度,也就是在用户态进行 。可以直接的理解为就是一个非标准的线程实现,但什么时候切换由用户自己来实现,而不是由操作系统分配 CPU
时间决定。具体来说,Swoole
的每个 Worker 进程
会存在一个协程调度器来调度协程,协程切换的时机就是遇到 I/O
操作或代码显性切换时,进程内以单线程的形式运行协程,也就意味着一个进程内同一时间只会有一个协程在运行且切换时机明确,也就无需处理像多线程编程下的各种同步锁的问题。
单个协程内的代码运行仍是串行的,放在一个 HTTP 协程服务上来理解就是每一个请求是一个协程,举个例子,假设为 请求 A
创建了 协程 A
,为 请求 B
创建了 协程 B
,那么在处理 协程 A
的时候代码跑到了查询 MySQL
的语句上,这个时候 协程 A
则会触发协程切换,协程 A
就继续等待 I/O
设备返回结果,那么此时就会切换到 协程 B
,开始处理 协程 B
的逻辑,当又遇到了一个 I/O
操作便又触发协程切换,再回过来从 协程 A
刚才切走的地方继续执行,如此反复,遇到 I/O
操作就切换到另一个协程去继续执行而非一直阻塞等待。
这里可以发现一个问题就是:在 协程 A
中的 MySQL
查询操作必须得是一个异步非阻塞的操作,否则会由于阻塞导致协程调度器没法切换到另一个协程继续执行,这个也是要在协程编程下需要规避的问题之一。
只需通过 co(callable $callable)
或 go(callable $callable)
函数或 Hyperf\Coroutine\Coroutine::create(callable $callable)
即可创建一个协程,协程内可以使用协程相关的方法和客户端。