—操作系统的四大特征:并发、虚拟、共享和异步。

—操作系统所具有的五大功能:处理机管理、存储器管理、设备管理、文件管理和用户接口。

 

进程

•结构特征

     为使程序能并发执行,应为之配置一进程控制块,即PCB。进程实体由程序段、相关的数据段和PCB三部分构成。创建进程实质上就是创建进程实体中的PCB,撤销进程实质上就是撤销进程的PCB。

 

进程控制java 进程控制块的作用_进程控制java

进程控制块的作用:

进程控制块是进程存在的标志,当系统或父进程创建一个进程时,实际上就是为其建立一个进程控制块。

      进程控制块既能标识进程的存在,又能刻画出进程的动态特征,它是一个进程仅有的被系统真正感知的部分。对操作系统而言,所有进程控制块将构成并发执行控制和维护系统工作的依据。

 

进程控制块中的信息

•进程标识符

进程标识符用于唯一地标识一个进程。

(1)内部标识符。在所有的操作系统中,都为每一个进程赋予一个唯一的数字标识符,它通常是一个进程的序号。

(2)外部标识符  由创建者提供,通常是由用户在访问该进程时使用。

•处理机状态

处理机状态信息主要是由处理机的各种寄存器中的内容组成的。 处理机运行时,许多信息都存放在寄存器中。当处理机被中断时,所有这些信息都必须保存在PCB中,以便该进程重新执行时,能从断点继续执行。这些寄存器包括:

通用寄存器:用于暂存信息;

指令计数器:存放了要访问的下一条指令的地址;

程序状态字PSW:其中包含了状态信息,如条件码、执行方式、终端屏蔽标志等;

用户栈指针:每个用户进程都有一个或若干个与之相关的系统栈,用于存放过程和系统调用参数及调用地址。

•进程调度信息

在PCB中还存放一些与进程调度和进程对换有关的信息,包括:

进程状态  指明进程的当前状态,作为进程调度和对换时的依据;

进程优先级 优先级高的进程应先获得处理机

进程调度所需的其它信息  与所采用的进程调度算法有关,比如,进程已等待CPU的时间总和、进程已执行的时间总和等;

事件 即阻塞原因,指进程由执行状态转变为阻塞状态所等待发生的事件。

•进程控制信息

程序和数据的地址: 指进程的程序和数据所在的内存或外存地址,以便再调度到该程序执行时,能从PCB中找到其程序和数据;

进程同步和通信机制:指实现进程同步和通信必需的机制,如消息队列指针、信号量等;

资源清单:是一张列出了使用CPU以外的、进程所需的全部资源及已经分配到该进程的资源的清单;

链接指针:它给出了本进程(PCB)所在队列中的下一个进程的PCB的首地址。

进程队列:不同状态进程分别组成队列,有:运行队列、就绪队列、等待队列

 

引起创建进程的事件

§用户登录 在分时系统中,用户在终端键入登录命令后,如果是合法用户,系统将为该终端建立一个进程,并把它插入到就绪队列中。

§作业调度 在批处理系统中,当作业调度程序按一定的算法调度到某作业时,便将该作业装入内存,为它分配必要的资源,并立即为它创建进程,再插入到就绪队列中。

§提供服务 当运行中的用户程序提出某种请求后,系统将专门创建一个进程来提供用户所需要的服务。例如,运行过程中要求打印,系统会创建一个打印进程与该用户进程并发执行。

§应用请求 指的是基于应用程序的需求,为它创建一个新进程,以便使新进程以并发运行方式完成特定任务。通过这种方式可以使得几个操作并发执行,以加速任务的完成。

 

进程的创建

一旦操作系统发现了要求创建进程的事件后,便调用进程创建原语Creat( )来创建进程。进程 的创建需要经历以下步骤:

§申请空白PCB。

§为新进程分配资源

§初始化进程控制块

§将新进程插入到就绪队列

 

进程的终止

1)正常结束

2)异常结束 

3)外界干预  

进程的终止过程

       当系统中出现了要求终止进程的某事件后,OS便调用进程终止原语来终止进程。其步骤包括:

1. 根据被终止进程的标识符,从PCB集合中检索出该进程的PCB,从中读出该进程的状态;

2. 若被终止进程正处于执行状态,应立即终止该进程的执行,并置调度标志为真,用于指示该进程被终止后应重新进行调度;

3. 若该进程还有子孙进程,还应将其所有子孙进程予以终止,以防他们成为不可控制的进程;

4. 将被终止进程所拥有的全部资源,或者归还给父进程,或者归还给系统;

5. 将被终止进程(它的PCB)从所在队列(或链表)中移出,等待其他程序来搜集信息。

 

进程同步

几个进程若共享同一临界资源,它们必须以互斥的方式使用这个临界资源,即当一个进程正在使用临界资源且尚未使用完毕时,其他进程必须推迟对该资源的进一步操作,在当前进程的使用完成之前,不能从中插进去使用这个临界资源,否则将会造成信息混乱和操作出错。 

 

临界区

不论是硬件临界资源,还是软件临界资源,多个进程必须互斥地对它进行访问。

临界区:每个进程中访问临界资源的那段代码称为临界区。

 

信号量机制

  1. 整型信号量

思想:定义一个整型量S,除初始化外,仅能通过两个标准的原子操作wait(S)和signal(S)来访问。

wait(S): while S≤0 do no-op;
             S:=S-1;
signal(S):   S:=S+1;

2. 记录型信号量

产生的原因:在整型信号量机制中的wait操作,只要是信号量S≤0,就会不断地测试。因此,该机制并未遵循“让权等待”的准则,而是使进程处于“忙等”的状态。

思想:用整型变量value代表资源的数目。用进程链表L来链接等待访问临界资源的进程。

记录型信号量的定义:

 

type semaphore=record
                  value: integer;
                      L: list of process;
                  end

记录型信号量的P、V操作

Procedure wait(S)
  Var S: semaphore;
  begin
S.value:= S.value-1;
If S.value<0 then block(S.L)
end
 
Procedure signal(S)
  Var S: semaphore;
  begin
S.value:= S.value+1;
If S.value≤0 then wakeup(S.L)
end

关于记录型信号量的几点说明:

•每次执行完wait操作后,若S.value<0时,说明该类资源已分配完毕,因此进程应调用block原语,进行自我阻塞,放弃处理机,并插入到信号量链表S.L中。

•每次执行完signal操作后,若S.value≤0时,则表示在该信号量链表中,仍有等待该资源的进程被阻塞,故还应调用wakeup原语,将S.L链表中的第一个等待进程唤醒。

•若S.value的初值为1,表示只允许一个进程访问临界资源,此时的信号量转化为互斥信号量。

 

信号量的应用

为使得多个进程能互斥地访问某临界资源,只需为该资源设置一互斥信号量mutex,并设其初始值为1,然后将各进程访问该资源的临界区CS置于wait(mutex)和signal(mutex)操作之间即可。

1.生产者与消费者问题

问题描述:

     在生产者和消费者之间的公用缓冲池中,具有n个缓冲区,这是可利用互斥信号量mutex实现诸进程对缓冲池的互斥使用;利用信号量empty和full分别表示缓冲池中空缓冲区和满缓冲区的数量。又假定这些生产者和消费者相互等效,只要缓冲池未满,生产者便可将消息送入缓冲池;只要缓冲池未空,消费者便可从缓冲池中取走一个消息。

Var mutex,empty,full: semaphore :=1,n,0;
    buffer: array [0,…,n-1] of item;
    in,out: integer:=0,0;
begin
   parbegin
   procedure: begin
                         repeat
                          …
                         produce an item nextp;
                           …
                           wait(empty);
                            wait(mutex);
                            buffer(in):=nextp;
                            in=(in+1) mod n;
                            signal(mutex);
                            signal(full);
                            until false;
     end
consumer: begin
                         repeat
                         wait(full);
                          wait(mutex);
                          nextc:=buffer(out);
                          out:=(out+1) mod n;
                           signal(mutex);
                           signal(empty);
            consumer the item in nextc;
                        until false;
                           end    
                 parend
end

3.读者与写者问题

问题描述:允许多个读进程同时读一个共享对象,因为读操作不会使数据文件混乱。但不允许一个Writer进程和其他Reader进程或Writer进程同时访问共享对象。因为这种访问将会引起混乱。

为实现Reader和Writer进程间在读或写时的互斥而设置了一个互斥信号量Wmutex。另外,再设置一个整型变量readcount表示正在读的进程数目。

Var rmutex,wmutex:semaphore:=1,1;
      readcount:integer:=0;
      begin
      parbegin
      Reader: begin
                    repeat
                    wait(rmutex);
                    if readcount=0 then wait(wmutex);
                       readcount:=readcount+1;
                       signal(rmutex);
                           …
                       perform read operation;
                           …

                     wait(rmutex);
                    readcount:=readcount-1
                    if readcount=0 then signal(wmutex);
                    signal(rmutex);
                until false;
end
writer: begin
       repeat
       wait(wmutex); perform write operation;
signal(wmutex);
until false;
  end
parend
end