semaphore这是操作系统课程的平时积累第一章 引论操作(4)

答：

a. 
Var mutex, empty, full: semaphore:=1, 1, 0;
    gather:
        begin
            repeat
                ……
                gather data in nextp;
                wait(empty);
                wait(mutex);
                buffer:=nextp;
                signal(mutex);
                signal(full);
            until false;
        end
    compute:
        begin
            repeat
                ……
                wait(full);
                wait(mutex);
                nextc:=buffer;
                signal(mutex);
                signal(empty);
                compute data in nextc;
            until false;
        end
b. 
Var empty, full: semaphore:=1, 0;
    gather:
        begin
            repeat
                ……
                gather data in nextp;
                wait(empty);
                buffer:=nextp;
                signal(full);
            until false;
        end
    compute:
        begin
            repeat
                ……
                wait(full);
                nextc:=buffer;
                signal(empty);
                compute data in nextc;
            until false;
        end

答：共享存储器系统、消息传递系统以及管道通信系统。

答：(1)构成消息(2)发送消息(3)接收梢息(4)互斥与同步。

答：在操作系统中引入线程，则是为了减少程序在并发执行时所付出的时空开销，使OS具有更好的并发性，提高CPU的利用率。进程是分配资源的基本单位,而线程则是系统调度的基本单位。

答：(1)调度性。线程在OS 中作为调度和分派的基本单位，进程只作为资源拥有的基本单位。(2)并发性。进程可以并发执行，一个进程的多个线程也可并发执行。(3)拥有资源。进程始终是拥有资源的基本单位，线程只拥有运行时必不可少的资源，本身基本不拥有系统资源，但可以访问隶属进程的资源。(4)系统开销。操作系统在创建、撤消和切换进程时付出的开销显著大于线程。

答：同步功能可以控制程序流并访问共享数据，从而并发执行多个线程。共有四种同步模型：互斥锁、读写锁、条件变量和信号。

本文来自电脑杂谈，转载请注明本文网址：
http://www.pc-fly.com/a/jisuanjixue/article-74326-4.html