我们的程序执行单元运行分为两种:进程和线程
操作系统会为进程分配独立内存空间,将正在处理的数据和外部隔离,只有该进程能够对这片内存区域进行读写
但是进程访问外部资源需要独占的时候存在排他性,因此需要加锁
线程则为轻量级执行单元,进程内可以创建线程多个线程,可以充分利用资源,线程间共享内存,线程能够充分利用CPU资源
多线程同时访问一片内存空间需要独占写入时候,需要加锁
锁存在的目的为了确保程序顺序正确性和资源排他性,但是带来了管理复杂性
因此不少应用程序为了减少锁会采用单进程单线程的模式,比如Redis,比如Perl Web,比如PHP
为了解决锁的问题包含-隔离和不变性,支持多线程的编程语言都提供了不少机制在应用程序上下文进行同步和锁操作,常见的方式:
1 提供同步原语 - 隔离
2 分配线程独立内存空间 - 隔离
3 等待和唤醒机制 - 隔离
4 针对各种数据结构的读写锁 - 隔离
再后来为了简化编程,引入了基于消息的编程模型