一、死锁产生的原因
1、根本原因:多个进程间竞争资源导致的阻塞现象
2、产生条件:
(1)、互斥---某一个资源在同一时刻只能有一个进程占用
(2)、请求与保持条件--进程占用资源的同时提出新的请求
(3)、不剥夺条件---进程在占用资源且没有完成之前,不能被剥夺,只能在完成时释放
(4)、环路等待条件---多个进程间环形等待资源
3、预防方案:打破产生条件其一
(1)、互斥条件通常是无法破坏的
Ⅰ、破坏“占有并等待”条件
① 创建进程时,要求它申请所需的全部资源,系统或满足其所有要求,或什么也不给它(一次性分配”方案)
②要求每个进程提出新的资源申请前,释放它所占有的资源
Ⅱ、破坏“不可抢占”条件
①如果占有某些资源的一个进程进行进一步资源请求被拒绝,则该进程必须释放它最初占有的资源,如果有必要,可再次请求这些资源和另外的资源。
②如果一个进程请求当前被另一个进程占有的一个资源,则操作系统可以抢占另一个进程,要求它释放资源。只有在任意两个进程的优先级都不相同的条件下
Ⅲ、破坏“循环等待”条件
①将系统中的所有资源统一编号,进程可在任何时刻提出资源申请,但所有申请必须按照资源的编号顺序(升序)提出
4、避免死锁---银行家算法(不破坏四个条件):在银行中,客户申请贷款的数量是有限的,每个客户在第一次申请贷款时要声明完成该项目所需的最大资金量,在满足所有贷款要求时,客户应及时归还。银行家在客户申请的贷款数量不超过自己拥有的最大值时,都应尽量满足客户的需要。在这样的描述中,银行家就好比操作系统,资金就是资源,客户就相当于要申请资源的进程。
5、检测死锁
(1)、构建资源分配图---深度优先遍历算法确定是否存在环路:依次将每一个节点作为一棵树的根节点,并进行深度优先搜索,如果再次碰到已经遇到过的节点,那么就算找到了一个环。如果从任何给定的节点出发的弧都被穷举了,那么就回溯到前面的节点。如果回溯到根并且不能再深入下去,那么从当前节点出发的子图中就不包含任何环。如果所有的节点都是如此,那么整个图就不存在环也就是说系统不存在死锁
(2)、构建向量矩阵---利用向量矩阵算法模拟资源分配。这种算法的第一步是寻找可以运行完毕的进程Pi,该进程的特点是它有资源请求并且该请求可被当前的可用资源满足(R矩阵第i行向量小于A)。这一选中的进程随后就被运行完毕,在这段时间内它释放自己持有的所有资源并将它们返回到可用资源库中(将C矩阵的第i行向量加到A)。然后这一进程被标记为完成。如果所有的进程最终都能运行完毕的话,就不存在死锁的情况。
6、死锁恢复
(1)、进程终止:简单地终止一个或多个进程以打破循环等待
Ⅰ、终止所有死锁进程。
Ⅱ、一次只终止一个进程直到取消死锁循环为止。
(2)、资源抢占:从一个或多个死锁进程那里抢占一个或多个资源
Ⅰ、选择一个牺牲品
Ⅱ、回滚
Ⅲ、饥饿(在代价因素中加上回滚次数,回滚的越多则越不可能继续被作为牺牲品)
二、list, vector, map, set的区别和实现(面试只提到了区别)
三、多态
(1)、字面上理解多态:多种状态,具体体现一个接口多种状态,多种状态指的是:实现方法不一样,对于不同的对象(有血缘关系的对象---允许将子类类型的指针赋值给父类类型的指针),接口的多种不同的实现方式即为多态。
例如:
class A
{
virtual void init() = 0;
virtual ~A() = 0;
}
class B : public A
{
public:
virtual void init() override
{
printf("B");
}
}
class C : public A
{
public:
virtual void init() override
{
printf("C");
}
}
A *a = new B();
A *b = new C();
当class A不是纯虚类的时候,如果去掉virtual , 那么a,b调用init的时候会调用A::init(), 只在父类加virtual,子类添加也能达到多态的效果,(因此如果用父类对象指向子类指针 析构函数必须加virtual)但是为了子类函数可读性,最好加上 virtual 和override
对于a, b,都是实例化出来不同的对象,外部调用a,b的init时候,会分别调用B::inti(), C::init(); 这个在面向接口编程是很常见
(2)、实现方法:虚函数,抽象类,覆盖,模板(重载和多态无关)
实现条件:继承、虚函数、父类引用指向子类指针
Ⅰ、虚函数+覆盖
class A
{
public:
A() {}
virtual void init() { std::cout << "A"<< endl; }
};
class B : public A
{
public:
B() {}
virtual void init() override { std::cout << "B"<<endl; }
};
class C : public A
{
public:
C() {}
virtual void init() override { std::cout << "C" << endl; }
};
Ⅱ、抽象类+覆盖
class A
{
public:
A() {}
virtual void init() = 0;
};
class B : public A
{
public:
B() {}
virtual void init() override { std::cout << "B"<<endl; }
};
class C : public A
{
public:
C() {}
virtual void init() override { std::cout << "C" << endl; }
};