进程与线程的区别:.进程是资源分配的最小单位;线程是操作系统的最小调度单位。
进程与线程的联系:一个进程可由多个线程组成,进程的资源为其所有线程共享。
构造并发服务器的方法:在父进程中接受客户端连接请求,然后创建一个新的子进程来为每个新客户端提供服务。
进程之间共享文件表,但每个进程都有自己独立的地址空间。这是优点也是缺点。优点是一个进程不可能覆盖另一个进程的地址;而缺点是,进程间为了共享信息,必须使用显式的IPC(进程间通信)机制,这样往往比较慢,因为进程控制和IPC的开销很高。
进程间通信的机制:管道、消息队列、信号量、内存共享、套接字。
进程之间对共享数据的访问:
(1) 创建共享内存
(2) 访问共享内存 -> 系统调用 -> 读取数据
(3)写入共享内存 ->系统调用 -> 写入数据
进程之间的数据都需要系统调用才能应用,这在无形之中就降低了数据的效率。
每个进程开始生命周期都是单一线程,这个线程称为主线程。在某一时刻,主线程创建一个对等线程,在这个时间点开始,两个线程就并发地运行。最后,因为主线程执行一个慢速系统调用,控制就会通过上下文切换传递到对等线程,对等线程会执行一段时间,然后控制传递回主线程,依次类推。
所有运行在同一进程中的线程共享该进程的整个虚拟地址空间,但都有自己的线程上下文,包括唯一的线程ID、栈、栈指针、程序计数器、通用目的寄存器和条件码。
互斥:某一资源同一时间只允许一个访问者对其进行访问
同步:访问者对资源的有序访问。
多线程同步锁机制是多线程编程中最常用的同步机制,用来对多线程间共享的临界区进行保护。
利用信号量实现对共享变量的互斥访问。
共享变量:当且仅当该变量的一个实例被一个以上的线程引用。
线程操作共享变量的三个步骤:
1.加载共享变量到寄存器(L)
2.更新寄存器(U)
3.将更新值写回存储器(S)
对于线程i,操作共享变量cnt内容的指令(Li,Ui,Si)构成了一个关于共享变量cnt的临界区。两个临界区的交集形成的状态空间区域称为不安全区。
P(s):如果s是非零的,共享变量可访问,那么P将s减1,并且立即返回;如果s为零,那么就挂起这个线程,直到s变为非零。
V(s):将s加1,并重启任意一个等待s变为非零的线程。
利用信号量来调度共享资源
生产者-消费都问题
生产者和消费者线程共享一个有n个槽的有限缓冲区。生产者线程反复地生成新的项目,并把它们插入到缓冲区中,消费者线程不断地从缓冲区中取出这些项目,然后使用它们。
typedef struct
{
int *buf;
int n; //最大槽位数
int front; //头指针
int rear; //尾指针
sem_t mutex; //信号量
sem_t slots; //空余槽位数
sem_t items; //可消费的项目数
}sbuf_t;
//插入一个新项目
void sbuf_insert(sbuf_t *sp,int item)
{
P(&sp->slots);
P(&sp->mutex);
sp->buf[(++sp->rear)%(sp->n)] = item;
V(&sp->mutex);
V(&sp->items);
}
//消费一个项目
int sbuf_remove(sbuf_t *sp)
{
int item;
P(&sp->items);
P(&sp->mutex);
item = sp->buf[(++sp->front)%(sp->n)];
V(&sp->mutex);
V(&sp->slots);
return item;
}
线程不安全函数:1.不保护共享变量的函数 2.返回指向静态变量的指针函数。