传统上，Unix操作系统下运行的应用程序、服务器以及其他程序都被称为进程，而Linux也继承了来自unix进程的概念。必须要理解下，程序是指的存储在存储设备上（如磁盘）包含了可执行机器指令（二进制代码）和数据的静态实体；而进程可以认为是已经被OS从磁盘加载到内存上的、动态的、可运行的指令与数据的集合，是在运行的动态实体。这里指的指令和数据的集合可以理解为Linux上ELF文件格式中的.text .data数据段。
那什么是进程组呢？顾名思义，进程组就是一些进程的组合。这些进程并不是孤立的，他们彼此之间或者存在父子、兄弟关系，或者在功能上有相近的联系。
那为啥Linux里要有进程组呢？其实，提供进程组就是为了方便对进程进行管理。假设要完成一个任务，需要同时并发100个进程。当用户处于某种原因要终止这个任务时，要是没有进程组，就需要手动的一个个去杀死这100个进程，并且必须要严格按照进程间父子兄弟关系顺序，否则会扰乱进程树。有了进程组，就可以将这100个进程设置为一个进程组，它们共有1个组号（pgrp），并且有选取一个进程作为组长（通常是“辈分”最高的那个，通常该进程的ID也就作为进程组的ID）。现在就可以通过杀死整个进程组，来关闭这100个进程，并且是严格有序的。
进程必定属于一个进程组，也只能属于一个进程组。 一个进程组中可以包含多个进程。 进程组的生命周期从被创建开始，到其内所有进程终止或离开该组。
内核中，sys_getpgrp()系统调用用来获取当前进程所在进程组号；sys_setpgid(int pid, int pgid)调用用来设置置顶进程pid的进程组号为pgid。
再看下会话。由于Linux是多用户多任务的分时系统，所以必须要支持多个用户同时使用一个操作系统。当一个用户登录一次系统就形成一次会话。每个会话都有一个会话首领（leader），即创建会话的进程。一个会话可包含多个进程组，但只能有一个前台进程组。
sys_setsid()调用能创建一个会话。必须注意的是，只有当前进程不是进程组的组长时，才能创建一个新的会话。调用setsid 之后，该进程成为新会话的leader。
关于加入一个现有组或创建一个新进程组函数setpgid的理解。
原型
#include<unistd.h>
int setpgid(pid_t pid,pid_t pgid);
假设条件：pid1进程属于pgid1进程组；pid2属于pgid2进程组，并且是pgid2进程组组长；另有进程组pgid3，
在pid1进程中调用setpgid（pid2，pgid3）；
a）当pid2和pgid3都>0且不相等时
功能：将pid2进程加入到pgid3组。此时pid2进程脱离pgid2进程组，进入pgid3进程组。
b）当pid2和pgid3都>0且相等时
功能：pid2进程创建新进程组，成为新进程组长（pgid3=pid2）。
c）当pid2＝＝0，pgid>0时
功能：将调用进程pid1加入到pgid3中。此时pid1脱离pgid1，进入pgid3。
d）当pid2>0，pgid＝＝0时
功能：将pid2加入到调用进程所在的pgid1进程组。此时pid2脱离pgid2，进入pgid1。
e）当pid2和pgid3都＝＝0时，返回错误。