论文部分内容阅读
在多道程序环境下，由于进程共享资源和进程之间的合作，使得并发执行的多个进程间可能产生互斥或同步的相互制约关系，如果不采取措施来保证这种制约或依赖关系，不仅影响系统效率，而且还会导致结果的不可再现性。为此，现代操作系统都在内核中设有进程的同步机制，以控制并发执行的各进程间能更有效地共享资源和相互合作，同时使并发进程的执行具有可再现性。信号量机制是操作系统中协调各进程同步与互斥的一种常用工具。