1、操作系统的认识：

　　操作系统就是为“用户提供操作逻辑所有软硬件资源的工具，相当于用户与裸机进行交互的界面”。再次层面上，为了节约有限资源，操作系统的目的提升到了“充分、合理地利用计算机系统的所有软硬件资源，最大限度地让用户使用有限的硬件资源完成更多的事情”。

2、进程、程序、并发、资源共享、互斥、同步、异步、阻塞和非阻塞：

　　进程和程序：进程是程序的依次动态执行，程序是进程的静态文本。进程的生命周期是短暂的，随着创建、执行、睡眠到最后销毁结束，而程序则可以永久的存储在设备商。一个进程可以执行不同的程序，一个程序也可以由多个不同的进程执行。

　　并发：在操作系统中同时存在并行处理的多个进程。对于并发，需要考虑任务的切换或调度（调度的时机或进程下台条件、上台进程选择、调度的实际操作）、保护不同进程不会彼此影响（进程互斥）、不同进程之间的相互协调（进程同步）、不同进程之间的消息传递（进程通信）。

　　资源共享：由于系统中存在并发处理的进程，但是系统的软硬件资源（CPU、存储设备等）是有限的，所以存在多个进程同时使用一份资源。对于资源共享，需要考虑资源的分配、多个进程同时对一份资源请求、资源回收和资源保护等。

　　互斥：多个进程同时竞争只允许给一个进程使用的资源，就会产生互斥，而该资源称为临界资源。解决互斥的方法有锁、开关中断、开关中断+锁和信号量（P、V操作）。

　　同步：一个进程的继续执行，依赖于另一个进程的结果输出或者执行状态，就会产生进程同步，这是如果该进程需要的数据或者信号没有出现，处理器就会停下等待。

　　异步：对于一个进程需要的资源没有准备好，处理器将该进程暂时睡眠，然后处理其他进程，当该进程需要的资源准备完毕，处理器再将该进程唤醒，这种就是进程异步。

　　一般有同步阻塞、异步轮询、一部非阻塞。

3、信号量和P、V操作

　　信号量是一种结构体：

1 struct{2     int value;3     Queue task;4 } sem;

　　对于value:当value>0时，表示临界区资源的剩余量；当value<0时，|value|表示队列task中因等待该临界资源而挂起的进程数。

　　P操作：

1 Process P(sem s){2      s.value --;3      if(s.value < 0){4           sleep();//将该进程放到s.task中          5     }6 }

　　V操作：

1 Process V(sem s){2     s.value ++;3     if(s.value <= 0){4         wakeup();//从s.task队列中唤醒一个进程5     }6 }

　　无论何种情况，在一个完整的系统中，P、V操作总是成对出现。

　　对于互斥：每个临界资源对应一个信号量s，进程在访问临界区前，对s执行P操作，在离开临界区时，对s执行V操作，如下：

　　　　　　进程a　　　　　　　　　　  进程b

　　　　　　……　　　　　　　　　　　　……

　　　　　　P(s)　　　　　　　　　　　 P(s)

　　　　　　临界区s　　　　　　　　　　临界区s

　　　　　　V(s)　　　　　　　　　　　V(s)

　　对于同步，假设进程a需要进程b的输出结果result，该result对应信号量r，当进程a需要result时，对r执行P操作，当进程b产生result时，对r执行V操作。

　　　　　　进程a　　　　　　　　　　  进程b

　　　　　　……　　　　　　　　　　　　……

　　　　　　P(r)　　　　　　　　　　　 产生result

　　　　　　操作result　　　　　　　　  V(r)

4、银行家算法：避免死锁

算法思想：在进程请求资源之前

1、实际资源检测：

　　Request < Need

　　Request < Available

2、假分配检测：

　　假设进行分配，预测是否会产生死锁。

银行家算法更详细介绍见