线程之间同步_进程互斥和进程同步的概念

常见面试题之操作系统 　　title: 常见面试题之操作系统 　　categories: [操作系统] 　　tags: [面试题] 　　date: 2021/05/12 　　作者：hackett 　　：加班猿 　　1 请你说一下进程与线程的概念，以及为什么要有进程线程，其中有什么区别，他们各自又是怎么同步的 　　基本概念： 　　进程是对运行时程序的封装，是系统进行资源调度和分配的的基本单位，实现了操作系统的并发； 　　线程是进程的子任务，是CPU调度和分派的基本单位，用于保证程序的实时性，实现进程内部的并发；线程是操作系统可识别的最小执行和调度单位。 　　区别： 　　1.一个线程只能属于一个进程，而一个进程可以有多个线程，但至少有一个线程。线程依赖于进程而存在。 　　2.进程在执行过程中拥有独立的内存单，而多个线程共享进程的内存。（资源分配给进程，同一进程的所有线程共享该进程的所有资源。同一进程中的多个线程共享代码段（代码和常量），数据段（全局变量和静态变量），扩展段（堆存储）。但是每个线程拥有自己的栈段，栈段又叫运行时段，用来存放所有局部变量和临时变量。） 　　3.进程是资源分配的最小单位，线程是CPU调度的最小单位； 　　4.系统开销： 由于在创建或撤消进程时，系统都要为之分配或回收资源，如内存空间、I／o设备等。因此，操作系统所付出的开销将显著地大于在创建或撤消线程时的开销。类似地，在进行进程切换时，涉及到整个当前进程CPU环境的保存以及新被调度运行的进程的CPU环境的设置。而线程切换只须保存和设置少量寄存器的内容，并不涉及存储器管理方面的操作。可见，进程切换的开销也远大于线程切换的开销。 　　5.通信：由于同一进程中的多个线程具有相同的地址空间，致使它们之间的同步和通信的实现，也变得比较容易。进程间通信IPC，线程间可以直接读写进程数据段（如全局变量）来进行通信——需要进程同步和互斥手段的辅助，以保证数据的一致性。在有的系统中，线程的切换、同步和通信都无须操作系统内核的干预 　　6.进程编程调试简单可靠性高，但是创建销毁开销大；线程正相反，开销小，切换速度快，但是编程调试相对复杂。 　　7.进程间不会相互影响 ；线程一个线程挂掉将导致整个进程挂掉 　　8.进程适应于多核、多机分布；线程适用于多核 　　进程间通信：管道（是一个内核缓冲区，进程以先进先出从缓冲区存取数据）命名管道FIFO（对应一个磁盘索引节点，任何进程都可以访问）消息队列（对每个消息指定特定的数据类型，可以根据自定义条件接收特定类型的消息）共享内存（效率高，直接读写内存，不需要数据的拷贝）信号量（原子操作，传递数据需要结合共享内存）套接字socket（用于不同机器间的进程通信）信号（用于通知接收进程的某个事件已经发生） 　　2 请问MySQL的端口号是多少，如何修改这个端口号 　　查看端口号： 　　使用命令show global variables like ‘port’;查看端口号 ，mysql的默认端口是3306 　　修改端口号： 　　修改端口号：编辑/etc/my.cnf文件 　　3 请你说一说有了进程，为什么还要有线程？ 　　线程产生的原因： 　　进程可以使多个程序能并发执行，以提高资源的利用率和系统的吞吐量；但是其具有一些缺点： 　　进程在同一时间只能干一件事 　　进程在执行的过程中如果阻塞，整个进程就会挂起，即使进程中有些工作不依赖于等待的资源，仍然不会执行。 　　和进程相比，线程的优势如下： 　　从资源上来讲，线程是一种非常”节俭”的多任务操作方式。在linux系统下，启动一个新的进程必须分配给它独立的地址空间，建立众多的数据表来维护它的代码段、堆栈段和数据段，这是一种”昂贵”的多任务工作方式。 　　从切换效率上来讲，运行于一个进程中的多个线程，它们之间使用相同的地址空间，而且线程间彼此切换所需时间也远远小于进程间切换所需要的时间。据统计，一个进程的开销大约是一个线程开销的30倍左右。 　　从通信机制上来讲，线程间方便的通信机制。对不同进程来说，它们具有独立的数据空间，要进行数据的传递只能通过进程间通信的方式进行，这种方式不仅费时，而且很不方便。线程则不然，由于同一进城下的线程之间贡献数据空间，所以一个线程的数据可以直接为其他线程所用，这不仅快捷，而且方便。 　　除以上优点外，多线程程序作为一种多任务、并发的工作方式，还有如下优点： 　　1、使多CPU系统更加有效。操作系统会保证当线程数不大于CPU数目时，不同的线程运行于不同的CPU上。 　　2、改善程序结构。一个既长又复杂的进程可以考虑分为多个线程，成为几个独立或半独立的运行部分，这样的程序才会利于理解和修改。 　　4 请问单核机器上写多线程程序，是否需要考虑加锁，为什么？ 　　在单核机器上写多线程程序，仍然需要线程锁。因为线程锁通常用来实现线程的同步和通信。在单核机器上的多线程程序，仍然存在线程同步的问题 　　5 请你说一说线程间的同步方式，最好说出具体的系统调用 　　信号量 　　信号量是一种特殊的变量，可用于线程同步。它只取自然数值，并且只支持两种操作： 　　P(SV):如果信号量SV大于0，将它减一；如果SV值为0，则挂起该线程。 　　V(SV)：如果有其他进程因为等待SV而挂起，则唤醒，然后将SV+1；否则直接将SV+1。 　　其系统调用为： 　　sem_wait（sem_t *sem）：以原子操作的方式将信号量减1，如果信号量值为0，则sem_wait将被阻塞，直到这个信号量具有非0值。 　　sem_post（sem_t *sem)：以原子操作将信号量值+1。当信号量大于0时，其他正在调用sem_wait等待信号量的线程将被唤醒。 　　互斥量 　　互斥量又称互斥锁，主要用于线程互斥，不能保证按序访问，可以和条件锁一起实现同步。当进入临界区 时，需要获得互斥锁并且加锁；当离开临界区时，需要对互斥锁解锁，以唤醒其他等待该互斥锁的线程。其主要的系统调用如下： 　　pthread_mutex_init:初始化互斥锁 　　pthread_mutex_destroy：销毁互斥锁 　　pthread_mutex_lock：以原子操作的方式给一个互斥锁加锁，如果目标互斥锁已经被上锁，pthread_mutex_lock调用将阻塞，直到该互斥锁的占有者将其解锁。 　　pthread_mutex_unlock:以一个原子操作的方式给一个互斥锁解锁。 　　条件变量 　　条件变量，又称条件锁，用于在线程之间同步共享数据的值。条件变量提供一种线程间通信机制：当某个共享数据达到某个值时，唤醒等待这个共享数据的一个/多个线程。即，当某个共享变量等于某个值时，调用 signal/broadcast。此时操作共享变量时需要加锁。其主要的系统调用如下： 　　pthread_cond_init:初始化条件变量 　　pthread_cond_destroy：销毁条件变量 　　pthread_cond_signal：唤醒一个等待目标条件变量的线程。哪个线程被唤醒取决于调度策略和优先级。 　　pthread_cond_wait：等待目标条件变量。需要一个加锁的互斥锁确保操作的原子性。该函数中在进入wait状态前首先进行解锁，然后接收到信号后会再加锁，保证该线程对共享资源正确访问。 　　6 游戏服务器应该为每个用户开辟一个线程还是一个进程，为什么？ 　　游戏服务器应该为每个用户开辟一个进程。因为同一进程间的线程会相互影响，一个线程死掉会影响其他线程，从而导致进程崩溃 　　7 请你说一说操作系统中的结构体对齐，字节对齐 　　1、原因： 　　1）平台原因（移植原因）：不是所有的硬件平台都能访问任意地址上的任意数据的；某些硬件平台只能在某些地址处取某些特定类型的数据，否则抛出硬件异常。 　　2）性能原因：数据结构（尤其是栈）应该尽可能地在自然边界上对齐。原因在于，为了访问未对齐的内存，处理器需要作两次内存访问；而对齐的内存访问仅需要一次访问。 　　2、规则： 　　1）数据成员对齐规则：结构(struct)(或联合(union))的数据成员，第一个数据成员放在offset为0的地方，以后每个数据成员的对齐按照#pragma pack指定的数值和这个数据成员自身长度中，比较小的那个进行。 　　2）结构(或联合)的整体对齐规则：在数据成员完成各自对齐之后，结构(或联合)本身也要进行对齐，对齐将按照#pragma pack指定的数值和结构(或联合)最大数据成员长度中，比较小的那个进行。 　　3）结构体作为成员：如果一个结构里有某些结构体成员，则结构体成员要从其内部最大素大小的整数倍地址开始存储。 　　3、定义结构体对齐： 　　可以通过预编译命令#pragma pack(n)，n=1,2,4,8,16来改变这一系数，其中的n就是指定的“对齐系数”。 　　8 请你回答一下静态变量什么时候初始化 　　静态变量存储在虚拟地址空间的数据段和bss段 　　C语言中其在代码执行之前初始化，属于编译期初始化。 　　C++中由于引入对象，对象生成必须调用构造函数，因此C++规定全局或局部静态对象当且仅当对象首次用到时进行构造 　　9 请你说一说用户态和内核态区别 　　用户态和内核态是操作系统的两种运行级别，两者最大的区别就是特权级不同。用户态拥有最低的特权级，内核态拥有较高的特权级。运行在用户态的程序不能直接访问操作系统内核数据结构和程序。内核态和用户态之间的转换方式主要包括：系统调用，异常和中断 　　10 如何设计server，使得能够接收多个客户端的请求 　　多线程，线程池，io复用 　　11 死循环+来连接时新建线程的方法效率有点低，怎么改进？ 　　提前创建好一个线程池，用生产者消费者模型，创建一个任务队列，队列作为临界资源，有了新连接，就挂在到任务队列上，队列为空所有线程睡眠。改进死循环：使用select epoll这样的技术 　　12 怎么唤醒被阻塞的socket线程？ 　　给阻塞时候缺少的资源 　　13 怎样确定当前线程是繁忙还是阻塞？ 　　使用ps命令查看 　　14 请问就绪状态的进程在等待什么？ 　　被调度使用cpu的运行权 　　15 两个进程访问临界区资源，会不会出现都获得自旋锁的情况？ 　　单核cpu，并且开了抢占可以造成这种情况。 　　16 windows消息机制知道吗，请说一说 　　当用户有操作(鼠标，键盘等)时，系统会将这些时间转化为消息。每个打开的进程系统都为其维护了一个消息队列，系统会将这些消息放到进程的消息队列中，而应用程序会循环从消息队列中取出来消息，完成对应的操作 　　17 说一说C++你用到的锁? 　　生产者消费者问题利用互斥锁和条件变量可以很容易解决，条件变量这里起到了替代信号量的作用 　　18 请你说一说C++内存溢出和内存泄漏 　　1、内存溢出 　　指程序申请内存时，没有足够的内存供申请者使用。内存溢出就是你要的内存空间超过了系统实际分配给你的空间，此时系统相当于没法满足你的需求，就会报内存溢出的错误 　　内存溢出原因： 　　内存中加载的数据量过于庞大，如一次从数据库取出过多数据 　　集合类中有对对象的引用，使用完后未清空，使得不能回收 　　代码中存在死循环或循环产生过多重复的对象实体 　　使用的第三方软件中的BUG 　　启动参数内存值设定的过小 　　2、内存泄漏 　　内存泄漏是指由于疏忽或错误造成了程序未能释放掉不再使用的内存的情况。内存泄漏并非指内存在物理上的消失，而是应用程序分配某段内存后，由于设计错误，失去了对该段内存的控制，因而造成了内存的浪费。 　　内存泄漏的分类： 　　1、堆内存泄漏 （Heap leak）。对内存指的是程序运行中根据需要分配通过malloc,realloc new等从堆中分配的一块内存，再是完成后必须通过调用对应的 free或者delete 删掉。如果程序的设计的错误导致这部分内存没有被释放，那么此后这块内存将不会被使用，就会产生Heap Leak。 　　2、系统资源泄露（Resource Leak）。主要指程序使用系统分配的资源比如 Bitmap,handle ,SOCKET等没有使用相应的函数释放掉，导致系统资源的浪费，严重可导致系统效能降低，系统运行不稳定。 　　3、没有将基类的析构函数定义为虚函数。当基类指针指向子类对象时，如果基类的析构函数不是virtual，那么子类的析构函数将不会被调用，子类的资源没有正确是释放，因此造成内存泄露。 　　19 请你来说一说协程? 　　1、概念： 　　协程，又称微线程，纤程，英文名Coroutine。协程看上去也是子程序，但执行过程中，在子程序内部可中断，然后转而执行别的子程序，在适当的时候再返回来接着执行 　　2）协程和线程区别 　　那和多线程比，协程最大的优势就是协程极高的执行效率。因为子程序切换不是线程切换，而是由程序自身控制，因此，没有线程切换的开销，和多线程比，线程数量越多，协程的性能优势就越明显。 　　第二大优势就是不需要多线程的锁机制，因为只有一个线程，也不存在同时写变量冲突，在协程中控制共享资源不加锁，只需要判断状态就好了，所以执行效率比多线程高很多。 　　3）其他 　　在协程上利用多核CPU呢——多进程+协程，既充分利用多核，又充分发挥协程的高效率，可获得极高的性能。 　　Python对协程的支持还非常有限，用在generator中的yield可以一定程度上实现协程。虽然支持不完全，但已经可以发挥相当大的威力了。 　　20 请你说一下僵尸进程？ 　　1）正常进程 　　正常情况下，子进程是通过父进程创建的，子进程再创建新的进程。 　　2）孤儿进程 　　一个父进程退出，而它的一个或多个子进程还在运行，那么那些子进程将成为孤儿进程。孤儿进程将被init进程(进程号为1)所收养，并由init进程对它们完成状态收集工作 　　3）僵尸进程 　　一个进程使用fork创建子进程，如果子进程退出，而父进程并没有调用wait或waitpid子进程的状态信息，那么子进程的进程描述符仍然保存在系统中。这种进程称之为僵尸进程。 　　外部消灭： 　　通过kill发送SIGTERM或者SIGKILL信号消灭产生僵尸进程的进程，它产生的僵死进程就变成了孤儿进程，这些孤儿进程会被init进程接管，init进程会wait()这些孤儿进程，释放它们占用的系统进程表中的资源 　　内部解决： 　　1、子进程退出时向父进程发送SIGCHILD信号，父进程处理SIGCHILD信号。在信号处理函数中调用wait进行处理僵尸进程。 　　2、fork两次，原理是将子进程成为孤儿进程，从而其的父进程变为init进程，通过init进程可以处理僵尸进程。 　　21 请你来介绍一下5种IO模型 　　1.阻塞IO:调用者调用了某个函数，等待这个函数返回，期间什么也不做，不停的去检查这个函数有没有返回，必须等这个函数返回才能进行下一步动作 　　2.非阻塞IO:非阻塞等待，每隔一段时间就去检测IO事件是否就绪。没有就绪就可以做其他事。 　　3.信号驱动IO:信号驱动IO:linux用套接口进行信号驱动IO，安装一个信号处理函数，进程继续运行并不阻塞，当IO时间就绪，进程收到SIGIO信号。然后处理IO事件。 　　http://4.IO复用/多路转接IO:linux用select/poll函数实现IO复用模型，这两个函数也会使进程阻塞，但是和阻塞IO所不同的是这两个函数可以同时阻塞多个IO操作。而且可以同时对多个读操作、写操作的IO函数进行检测。知道有数据可读或可写时，才真正调用IO操作函数 　　5.异步IO:linux中，可以调用aio_read函数告诉内核描述字缓冲区指针和缓冲区的大小、文件偏移及通知的方式，然后立即返回，当内核将数据拷贝到缓冲区后，再通知应用程序。 　　22 请问server端监听端口，但还没有客户端连接进来，此时进程处于什么状态？ 　　这个需要看服务端的编程模型，如果如上一个问题的回答描述的这样，则处于阻塞状态，如果使用了epoll,select等这样的io复用情况下，处于运行状态 　　23 请问C++怎么实现线程池? 　　设置一个生产者消费者队列，作为临界资源 　　24 Linux下怎么得到一个文件的100到200行 　　sed -n ‘100,200p’ inputfile 　　awk ‘NR>=100&&NR<=200{print}’ inputfile 　　head -200 inputfile|tail -100 　　25 请你来说一下awk的使用 　　1）作用： 　　样式扫描和处理语言。它允许创建简短的程序，这些程序读取输入文件、为数据排序、处理数据、对输入执行计算以及生成报表，还有无数其他的功能。 　　2）用法： 　　awk [-F field-separator] ‘commands’ input-file(s) 　　3）内置变量ARGC命令行参数个数ARGV命令行参数排列ENVIRON支持队列中系统环境变量的使用FILENAMEawk浏览的文件名FNR浏览文件的记录数FS设置输入域分隔符，等价于命令行 -F选项NF浏览记录的域的个数NR已读的记录数OFS输出域分隔符ORS输出记录分隔符RS控制记录分隔符 　　如果你觉得文章还不错，记得”点赞” 　　我的【 加班猿 】可以更多内容