常见并发模型
- 进程&线程(Apache) C10K
- 异步非阻塞(Nginx,Libevent,Node.js)
- 底层即epoll协程(Golang,Erlang,Lua)
Golang并发实现
- 程序并发执行(goroutine)
- 多个goroutine间的数据同步和通信(channels)
- 多个channel选择数据读取或者写入(select)
channel的机制是先进先出,如果你给channel赋值了,那么必须要读取它的值,不然就会造成阻塞,当然这个只对无缓冲的channel有效。
并发和并行
- 并发是指同一时刻,系统通过调度,来回切换交替的运行多个任务,“看起来”是同时进行
- 并行是指同一时刻,两个任务真正的同时进行
进程协程和线程的区别
- 进程拥有自己独立的堆和栈,既不共享堆,亦不共享栈,进程由操作系统调度。
- 线程拥有自己独立的栈和共享的堆,共享堆,不共享栈,线程亦由操作系统调度(标准线程是的)。
- 协程和线程一样共享堆,不共享栈,协程由程序员在协程的代码里显示调度。
- 进程和其他两个的区别还是很明显的。
协程和线程的区别
- 协程避免了无意义的调度,由此可以提高性能,但也因此,程序员必须自己承担调度的责任,同时,协程也失去了标准线程使用多CPU的能力。
打个比方,假设有一个操作系统,是单核的,系统上没有其他的程序需要运行,有两个线程 A 和 B ,A 和 B 在单独运行时都需要 10 秒来完成自己的任务,而且任务都是运算操作,A B 之间也没有竞争和共享数据的问题。现在 A B 两个线程并行,操作系统会不停的在 A B 两个线程之间切换,达到一种伪并行的效果,假设切换的频率是每秒一次,切换的成本是 0.1 秒(主要是栈切换),总共需要 20 + 19 * 0.1 = 21.9 秒。如果使用协程的方式,可以先运行协程 A ,A 结束的时候让位给协程 B ,只发生一次切换,总时间是 20 + 1 * 0.1 = 20.1 秒。如果系统是双核的,而且线程是标准线程,那么 A B 两个线程就可以真并行,总时间只需要 10 秒,而协程的方案仍然需要 20.1 秒。
结论:单核使用协程,多核使用线程
golang线程示例,chan用法 https://blog.csdn.net/netdxy/article/details/54564436
var i = 3
go func(a int) {
fmt.Println(a)
fmt.Println("1")
}(i)
fmt.Println("2")
time.Sleep(1*time.Second)
这里会打印出2、3、1 , 如果不加sleep只会打印2,因为程序会有优先执行主线程,主线程执行完程序立即退出,子线程里面的就不会执行,加了sleep可以让主线程休眠1秒,那程序有足够的时间去执行子线程。