早期的Unix通信只有管道与信号,管道的缺点:

所载送的信息是无格式的字节流,不知道分界线在哪,也没通信规范,另外缺乏控制手段,比如保温优先级,管道机制的大小只有1页,管道很容易写满而读取没有及时,发送者只能休眠,强化了管道机制同步要求.另外管道机制开销不少,尤其是当发送信息量很少时,平均每个字节所耗费的代价非常高

Linux内核为系统IPC提供了一个统一的系统调用ipc()

  1. int ipc(unsigned int call,int firtst,int second,int third,void*ptr,int firth);
其中第一个参数为具体的操作码
  1. #define SEMOP		 1
    2. 

  2. #define SEMGET		 2
    3. 

  3. #define SEMCTL		 3
    4. 

  4. #define MSGSND		11
    5. 

  5. #define MSGRCV		12
    6. 

  6. #define MSGGET		13
    7. 

  7. #define MSGCTL		14
    8. 

  8. #define SHMAT		21
    9. 

  9. #define SHMDT		22
    10. 

  10. #define SHMGET		23
    11. 

  11. #define SHMCTL		24
操作码SEM开头的都是信号量设定,MSG开头则是消息队列,"SHM"开头则是共享内存区设定,其他参数因具体操作而不同,不过为了方便使用,c语言库函数分别提供了semget,msgget,msgsnd等库函数,这些库函数把其调用统一成了系统调用ipc.
内核入口为sys_ipc()





消息队列并没有纳入文件系统范畴,所以并不占用打开文件号,内核有个全局的数据结构msg_ids.专门用来管理报文队列
static struct ipc_ids msg_ids;
    2. 

  2. struct ipc_ids {
    3. 

  3. 	int size;
    4. 

  4. 	int in_use;
    5. 

  5. 	int max_id;
    6. 

  6. 	unsigned short seq;
    7. 

  7. 	unsigned short seq_max;
    8. 

  8. 	struct semaphore sem;	
    9. 

  9. 	spinlock_t ary;
    10. 

  10. 	struct ipc_id* entries;//指向一个结构数组
    11. 

  11. };
//ipc_id如下定义
    2. 

  2. struct ipc_id {
    3. 

  3. 	struct kern_ipc_perm* p;
    4. 

  4. };
kern_ipc_perm结构如下定义
    2. 

  2. /* used by in-kernel data structures */
    3. 

  3. struct kern_ipc_perm
    4. 

  4. {
    5. 

  5. 	key_t		key;//建值
    6. 

  6. 	uid_t		uid;
    7. 

  7. 	gid_t		gid;
    8. 

  8. 	uid_t		cuid;
    9. 

  9. 	gid_t		cgid;
    10. 

  10. 	mode_t		mode; 
    11. 

  11. 	unsigned long	seq;
    12. 

  12. };


每个报文队列都有个队列头,msg_queue数据结构
    2. 

  2. /* one msq_queue structure for each present queue on the system */
    3. 

  3. struct msg_queue {
    4. 

  4. 	struct kern_ipc_perm q_perm;
    5. 

  5. 	time_t q_stime;			/* last msgsnd time */
    6. 

  6. 	time_t q_rtime;			/* last msgrcv time */
    7. 

  7. 	time_t q_ctime;			/* last change time */
    8. 

  8. 	unsigned long q_cbytes;		/* current number of bytes on queue */
    9. 

  9. 	unsigned long q_qnum;		/* number of messages in queue */
    10. 

  10. 	unsigned long q_qbytes;		/* max number of bytes on queue */
    11. 

  11. 	pid_t q_lspid;			/* pid of last msgsnd */
    12. 

  12. 	pid_t q_lrpid;			/* last receive pid */
    13. 

    14. 

  14. 	struct list_head q_messages;
    15. 

  15. 	struct list_head q_receivers;
    16. 

  16. 	struct list_head q_senders;
    17. 

  17. };
每个msg_queue数据结构唯一对应着一个报文队列,这些数据结构以及结构之间的关系可以如下总结:
全局ipc_ids数据结构的msg_ids是系统中所有报文队列的总根,总跟的指针entries指向一个ipc_id结构数组,数组中的每个元素都是ipc_id数据结构,结构中有个指针p指向一个kern_ipc_perm数据结构,由于kern_ipc_perm数据结构是报文队列头msg_queue的第一个成分,数组元素的指针p实际指向一个报文对哦,数组大小已经决定了可以建立的报文队列数目

消息队列的创建或获取(msgget)
  1. //可以用于2个目的,通过给定的key创建队列,通过给定的key查找已存在队列
    2. 

  2. asmlinkage long sys_msgget (key_t key, int msgflg)
    3. 

  3. {
    4. 

  4. 	int id, ret = -EPERM;
    5. 

  5. 	struct msg_queue *msq;//队列
    6. 

  6. 	
    7. 

  7. 	down(&msg_ids.sem);
    8. 

  8. 	if (key == IPC_PRIVATE) //自己私用,无条件创建一个报文队列
    9. 

  9. 		ret = newque(key, msgflg);//根据key与msgflg
    10. 

  10. 	else if ((id = ipc_findkey(&msg_ids, key)) == -1) { /* key没有找到key not used */
    11. 

  11. 		if (!(msgflg & IPC_CREAT))//没找到,但没设定IPC_CREAT那就返回错误
    12. 

  12. 			ret = -ENOENT;
    13. 

  13. 		else//设定了就创建报文队列
    14. 

  14. 			ret = newque(key, msgflg);
    15. 

  15. 	} else if (msgflg & IPC_CREAT && msgflg & IPC_EXCL) {//同时设定了IPC_CREAT与IPC_EXCL返回错误
    16. 

  16. 		ret = -EEXIST;
    17. 

  17. 	} else {
    18. 

  18. 		msq = msg_lock(id);
    19. 

  19. 		if(msq==NULL)
    20. 

  20. 			BUG();
    21. 

  21. 		if (ipcperms(&msq->q_perm, msgflg))//检查访问权限是否符合规则
    22. 

  22. 			ret = -EACCES;
    23. 

  23. 		else
    24. 

  24. 			ret = msg_buildid(id, msq->q_perm.seq);//将数组下标转换一体化的标识号
    25. 

  25. 		msg_unlock(id);
    26. 

  26. 	}
    27. 

  27. 	up(&msg_ids.sem);
    28. 

  28. 	return ret;//返回标识号
    29. 

  29. }
查看具体的队列创建函数newque()
    2. 

  2. static int newque (key_t key, int msgflg)
    3. 

  3. {
    4. 

  4. 	int id;
    5. 

  5. 	struct msg_queue *msq;//队列头
    6. 

    7. 

  7. 	msq  = (struct msg_queue *) kmalloc (sizeof (*msq), GFP_KERNEL);//分配结构
    8. 

  8. 	if (!msq) 
    9. 

  9. 		return -ENOMEM;
    10. 

  10. 	id = ipc_addid(&msg_ids, &msq->q_perm, msg_ctlmni);//分配一个标识号
    11. 

  11. 	if(id == -1) {
    12. 

  12. 		kfree(msq);
    13. 

  13. 		return -ENOSPC;
    14. 

  14. 	}//以下是报文队列头各种初始化
    15. 

  15. 	msq->q_perm.mode = (msgflg & S_IRWXUGO);
    16. 

  16. 	msq->q_perm.key = key;//key值
    17. 

  17.    
    18. 

  18. 	msq->q_stime = msq->q_rtime = 0;
    19. 

  19. 	msq->q_ctime = CURRENT_TIME;
    20. 

  20. 	msq->q_cbytes = msq->q_qnum = 0;
    21. 

  21. 	msq->q_qbytes = msg_ctlmnb;
    22. 

  22. 	msq->q_lspid = msq->q_lrpid = 0;
    23. 

  23. 	INIT_LIST_HEAD(&msq->q_messages);
    24. 

  24. 	INIT_LIST_HEAD(&msq->q_receivers);
    25. 

  25. 	INIT_LIST_HEAD(&msq->q_senders);
    26. 

  26. 	msg_unlock(id);
    27. 

  27.   //将标识号转换为一个一体化的标识号,因为实际分配的id实际是数组下标会重复使用
    28. 

  28. 	return msg_buildid(id,msq->q_perm.seq);
    29. 

  29. }
每个已建立的报文队列由一个标识号来代表,报文队列的标识号是全局的,所以必须把这全局范围内的唯一性,标识号由ipc_addid()分配,
    2. 

  2. /**
    3. 

  3.  *	ipc_addid 	-	add an IPC identifier
    4. 

  4.  *	@ids: IPC identifier set
    5. 

  5.  *	@new: new IPC permission set
    6. 

  6.  *	@size: new size limit for the id array
    7. 

  7.  *
    8. 

  8.  *	Add an entry 'new' to the IPC arrays. The permissions object is
    9. 

  9.  *	initialised and the first free entry is set up and the id assigned
    10. 

  10.  *	is returned. The list is returned in a locked state on success.
    11. 

  11.  *	On failure the list is not locked and -1 is returned.
    12. 

  12.  */
    13. 

  13.               //全局队列管理结构    新创建的队列头的这个结构 
    14. 

  14. int ipc_addid(struct ipc_ids* ids, struct kern_ipc_perm* new, int size)
    15. 

  15. {
    16. 

  16. 	int id;
    17. 

    18. 

  18. 	size = grow_ary(ids,size);//增加管理数组的大小
    19. 

  19. 	for (id = 0; id < size; id++) {
    20. 

  20. 		if(ids->entries[id].p == NULL)//总根看管理数组的哪个为空
    21. 

  21. 			goto found;
    22. 

  22. 	}
    23. 

  23. 	return -1;
    24. 

  24. found:
    25. 

  25. 	ids->in_use++;//已使用++
    26. 

  26. 	if (id > ids->max_id)//最大的key值
    27. 

  27. 		ids->max_id = id;
    28. 

    29. 

  29. 	new->cuid = new->uid = current->euid;//uid赋值
    30. 

  30. 	new->gid = new->cgid = current->egid;//gid赋值
    31. 

    32. 

  32. 	new->seq = ids->seq++;//序列号
    33. 

  33. 	if(ids->seq > ids->seq_max)//超过了最大的限定
    34. 

  34. 		ids->seq = 0;//从0开始继续
    35. 

    36. 

  36. 	spin_lock(&ids->ary);
    37. 

  37. 	ids->entries[id].p = new;//挂钩,新创建的报文头与总跟挂钩成功
    38. 

  38. 	return id;
    39. 

  39. }
库函数msgsnd-报文发送
参与通信双方通过mssget创建了一个报文队列后或取得该队列的标识号以后就可以向该队列发送或接收报文了
发送格式为msgbuf
    2. 

  2. /* message buffer for msgsnd and msgrcv calls */
    3. 

  3. struct msgbuf {
    4. 

  4. 	long mtype;         /* type of message */
    5. 

  5. 	char mtext[1];      /* message text */
    6. 

  6. };
内核保存消息队列的格式
  1. /* one msg_msg structure for each message */
    2. 

  2. struct msg_msg {
    3. 

  3. 	struct list_head m_list; 
    4. 

  4. 	long  m_type;//类型        
    5. 

  5. 	int m_ts;           /*长度 message text size */
    6. 

  6. 	struct msg_msgseg* next;
    7. 

  7. 	/* the actual message follows immediately */
    8. 

  8. };


    2. 

  2. struct msg_msgseg {
    3. 

  3. 	struct msg_msgseg* next;
    4. 

  4. 	/* the next part of the message follows immediately */
    5. 

  5. };
分配一页,第一个除去msg_msg其他的用于保存消息,如果不够继续分配一页除去msg_msg_seq以此类推


  1.                           //标识号     发送格式            //大小       //标志位
    2. 

  2. asmlinkage long sys_msgsnd (int msqid, struct msgbuf *msgp, size_t msgsz, int msgflg)
    3. 

  3. {
    4. 

  4. 	struct msg_queue *msq;//队列头
    5. 

  5. 	struct msg_msg *msg;//内核保存信息的格式
    6. 

  6. 	long mtype;
    7. 

  7. 	int err;
    8. 

  8. 	            //消息不可以超过8k
    9. 

  9. 	if (msgsz > msg_ctlmax || (long) msgsz < 0 || msqid < 0)
    10. 

  10. 		return -EINVAL;
    11. 

  11. 	if (get_user(mtype, &msgp->mtype))//从用户空间拷贝到内核
    12. 

  12. 		return -EFAULT; 
    13. 

  13. 	if (mtype < 1)
    14. 

  14. 		return -EINVAL;
    15. 

    16. 

  16. 	msg = load_msg(msgp->mtext, msgsz);//分配缓冲区保存消息(从用户拷贝到内核)
    17. 

  17. 	if(IS_ERR(msg))
    18. 

  18. 		return PTR_ERR(msg);
    19. 

    20. 

  20. 	msg->m_type = mtype;//消息类型
    21. 

  21. 	msg->m_ts = msgsz;//消息大小
    22. 

    23. 

  23. 	msq = msg_lock(msqid);//根据给定的标号msg_msg找到相应的报文队列,将其数据结构上锁
    24. 

  24. 	err=-EINVAL;
    25. 

  25. 	if(msq==NULL)
    26. 

  26. 		goto out_free;
    27. 

  27. retry:
    28. 

  28. 	err= -EIDRM;
    29. 

  29. 	if (msg_checkid(msq,msqid))//验证下id号
    30. 

  30. 		goto out_unlock_free;
    31. 

    32. 

  32. 	err=-EACCES;
    33. 

  33. 	if (ipcperms(&msq->q_perm, S_IWUGO)) //检查是否有权限向这个队列发送报文
    34. 

  34. 		goto out_unlock_free;
    35. 

  35. //当前报文大小+当前队列统计的字节数超过了报文队列的总容量.或者报文的个数超过了限制,那就不可以发送了
    36. 

  36. 	if(msgsz + msq->q_cbytes > msq->q_qbytes ||
    37. 

  37. 		1 + msq->q_qnum > msq->q_qbytes) {
    38. 

  38. 		struct msg_sender s;
    39. 

    40. 

  40. 		if(msgflg&IPC_NOWAIT) {//是否等待,不等待直接退出
    41. 

  41. 			err=-EAGAIN;
    42. 

  42. 			goto out_unlock_free;
    43. 

  43. 		}
    44. 

  44. 		ss_add(msq, &s);//挂载到报文队列q_sender链,这样可以通过此链找到休眠正在等待发送的进程
    45. 

  45. 		msg_unlock(msqid);
    46. 

  46. 		schedule();//调度
    47. 

  47. 		current->state= TASK_RUNNING;
    48. 

    49. 

  49. 		msq = msg_lock(msqid);
    50. 

  50. 		err = -EIDRM;
    51. 

  51. 		if(msq==NULL)
    52. 

  52. 			goto out_free;
    53. 

  53. 		ss_del(&s);//删除
    54. 

  54. 		
    55. 

  55. 		if (signal_pending(current)) {
    56. 

  56. 			err=-EINTR;
    57. 

  57. 			goto out_unlock_free;
    58. 

  58. 		}
    59. 

  59. 		goto retry;//重新运行一遍
    60. 

  60. 	}
    61. 

    62. 

  62. 	if(!pipelined_send(msq,msg)) {//如果有相关进程正在读这个报文就不用放入队列了
    63. 

  63. 		/* noone is waiting for this message, enqueue it */
    64. 

  64. 		list_add_tail(&msg->m_list,&msq->q_messages);//链入队列
    65. 

  65. 		msq->q_cbytes += msgsz;//总数++
    66. 

  66. 		msq->q_qnum++;//数目++
    67. 

  67. 		atomic_add(msgsz,&msg_bytes);
    68. 

  68. 		atomic_inc(&msg_hdrs);
    69. 

  69. 	}
    70. 

  70. 	
    71. 

  71. 	err = 0;
    72. 

  72. 	msg = NULL;
    73. 

  73. 	msq->q_lspid = current->pid;
    74. 

  74. 	msq->q_stime = CURRENT_TIME;
    75. 

    76. 

  76. out_unlock_free:
    77. 

  77. 	msg_unlock(msqid);
    78. 

  78. out_free:
    79. 

  79. 	if(msg!=NULL)
    80. 

  80. 		free_msg(msg);
    81. 

  81. 	return err;
    82. 

  82. }
load_msg用于消息分割,在内核保存,见上图
  1.                               //报文的源
    2. 

  2. static struct msg_msg* load_msg(void* src, int len)
    3. 

  3. {
    4. 

  4. 	struct msg_msg* msg;
    5. 

  5. 	struct msg_msgseg** pseg;
    6. 

  6. 	int err;
    7. 

  7. 	int alen;
    8. 

    9. 

  9. 	alen = len;
    10. 

  10. 	if(alen > DATALEN_MSG)//一页减去msg结构大小
    11. 

  11. 		alen = DATALEN_MSG;
    12. 

    13. 

  13. 	msg = (struct msg_msg *) kmalloc (sizeof(*msg) + alen, GFP_KERNEL);//一个报文的头
    14. 

  14. 	if(msg==NULL)
    15. 

  15. 		return ERR_PTR(-ENOMEM);
    16. 

    17. 

  17. 	msg->next = NULL;
    18. 

    19. 

  19. 	if (copy_from_user(msg+1, src, alen)) {//从msg的尾部开始拷贝
    20. 

  20. 		err = -EFAULT;
    21. 

  21. 		goto out_err;
    22. 

  22. 	}
    23. 

    24. 

  24. 	len -= alen;//剩余长度
    25. 

  25. 	src = ((char*)src)+alen;//剩余源头
    26. 

  26. 	pseg = &msg->next;//指向下一个页
    27. 

  27. 	while(len > 0) {//还有剩余长度
    28. 

  28. 		struct msg_msgseg* seg;
    29. 

  29. 		alen = len;
    30. 

  30. 		if(alen > DATALEN_SEG)//是否超过page-msgseg
    31. 

  31. 			alen = DATALEN_SEG;
    32. 

  32. 		seg = (struct msg_msgseg *) kmalloc (sizeof(*seg) + alen, GFP_KERNEL);//获取一页
    33. 

  33. 		if(seg==NULL) {
    34. 

  34. 			err=-ENOMEM;
    35. 

  35. 			goto out_err;
    36. 

  36. 		}
    37. 

  37. 		*pseg = seg;//链接
    38. 

  38. 		seg->next = NULL;
    39. 

  39. 		if(copy_from_user (seg+1, src, alen)) {//继续拷贝
    40. 

  40. 			err = -EFAULT;
    41. 

  41. 			goto out_err;
    42. 

  42. 		}
    43. 

  43. 		pseg = &seg->next;
    44. 

  44. 		len -= alen;
    45. 

  45. 		src = ((char*)src)+alen;
    46. 

  46. 	}
    47. 

  47. 	return msg;
    48. 

    49. 

  49. out_err:
    50. 

  50. 	free_msg(msg);
    51. 

  51. 	return ERR_PTR(err);
    52. 

  52. }


    2. 

  2. /* one msg_sender for each sleeping sender */
    3. 

  3. struct msg_sender {
    4. 

  4. 	struct list_head list;
    5. 

  5. 	struct task_struct* tsk;
    6. 

  6. };


ss_add(msq, &s);//挂载到报文队列q_sender链,这样可以通过此链找到休眠正在等待发送的进程
    2. 

  2. static inline void ss_add(struct msg_queue* msq, struct msg_sender* mss)
    3. 

  3. {
    4. 

  4. 	mss->tsk=current;//获取当前队列的进程运行的进程
    5. 

  5. 	current->state=TASK_INTERRUPTIBLE;//设置为可中断睡眠状态
    6. 

  6. 	list_add_tail(&mss->list,&msq->q_senders);//添加到队尾
    7. 

  7. }
如果有相关进程正在读这个报文就不用放入队列了
    2. 

  2. int inline pipelined_send(struct msg_queue* msq, struct msg_msg* msg)
    3. 

  3. {
    4. 

  4. 	struct list_head* tmp;
    5. 

    6. 

  6. 	tmp = msq->q_receivers.next;//聚集正在睡眠等待接收的读进程
    7. 

  7. 	while (tmp != &msq->q_receivers) {//表示有
    8. 

  8. 		struct msg_receiver* msr;
    9. 

  9. 		msr = list_entry(tmp,struct msg_receiver,r_list);
    10. 

  10. 		tmp = tmp->next;
    11. 

  11. 		if(testmsg(msg,msr->r_msgtype,msr->r_mode)) {//类型是否匹配
    12. 

  12. 			list_del(&msr->r_list);
    13. 

  13. 			if(msr->r_maxsize < msg->m_ts) {//读的缓冲区是否够用
    14. 

  14. 				msr->r_msg = ERR_PTR(-E2BIG);
    15. 

  15. 				wake_up_process(msr->r_tsk);//不够用则将进程唤醒,让其出错返回
    16. 

  16. 			} else {
    17. 

  17. 				msr->r_msg = msg;//有的话,直接读取
    18. 

  18. 				msq->q_lspid = msr->r_tsk->pid;
    19. 

  19. 				msq->q_rtime = CURRENT_TIME;
    20. 

  20. 				wake_up_process(msr->r_tsk);
    21. 

  21. 				return 1;
    22. 

  22. 			}
    23. 

  23. 		}
    24. 

  24. 	}
    25. 

  25. 	return 0;
    26. 

  26. }
 

消息队列接收msgrcv
  1.                             //标识号   用户空间缓冲区       大小
    2. 

  2. asmlinkage long sys_msgrcv (int msqid, struct msgbuf *msgp, size_t msgsz,
    3. 

  3. 			    long msgtyp, int msgflg)//msgtyp消息类型,
    4. 

  4. {
    5. 

  5. 	struct msg_queue *msq;//队列头
    6. 

  6. 	struct msg_receiver msr_d;//接收的需要睡眠的进程
    7. 

  7. 	struct list_head* tmp;
    8. 

  8. 	struct msg_msg* msg, *found_msg;
    9. 

  9. 	int err;
    10. 

  10. 	int mode;
    11. 

    12. 

  12. 	if (msqid < 0 || (long) msgsz < 0)
    13. 

  13. 		return -EINVAL;
    14. 

  14. 	mode = convert_mode(&msgtyp,msgflg);
    15. 

    16. 

  16. 	msq = msg_lock(msqid);//根据报文队列标识号,找到具体队列
    17. 

  17. 	if(msq==NULL)
    18. 

  18. 		return -EINVAL;
    19. 

  19. retry:
    20. 

  20. 	err=-EACCES;
    21. 

  21. 	if (ipcperms (&msq->q_perm, S_IRUGO))//检测是否具有权限
    22. 

  22. 		goto out_unlock;
    23. 

    24. 

  24. 	tmp = msq->q_messages.next;
    25. 

  25. 	found_msg=NULL;
    26. 

  26. 	while (tmp != &msq->q_messages) {//遍历完
    27. 

  27. 		msg = list_entry(tmp,struct msg_msg,m_list);//根据队列当前项找到其指针
    28. 

  28. 		if(testmsg(msg,msgtyp,mode)) {
    29. 

  29. 			found_msg = msg;//查找到了消息
    30. 

  30. 			if(mode == SEARCH_LESSEQUAL && msg->m_type != 1) {
    31. 

  31. 				found_msg=msg;
    32. 

  32. 				msgtyp=msg->m_type-1;//将type减到比这个报文的类型值更小,看能否找到更小的
    33. 

  33. 			} else {
    34. 

  34. 				found_msg=msg;
    35. 

  35. 				break;
    36. 

  36. 			}
    37. 

  37. 		}
    38. 

  38. 		tmp = tmp->next;
    39. 

  39. 	}
    40. 

  40. 	if(found_msg) {
    41. 

  41. 		msg=found_msg;
    42. 

  42. 		if ((msgsz < msg->m_ts) && !(msgflg & MSG_NOERROR)) {//如果接收大小小于报文大小,出错
    43. 

  43. 			err=-E2BIG;
    44. 

  44. 			goto out_unlock;
    45. 

  45. 		}
    46. 

  46. 		list_del(&msg->m_list);//否则将该报文从队列脱链
    47. 

  47. 		msq->q_qnum--;
    48. 

  48. 		msq->q_rtime = CURRENT_TIME;
    49. 

  49. 		msq->q_lrpid = current->pid;
    50. 

  50. 		msq->q_cbytes -= msg->m_ts;
    51. 

  51. 		atomic_sub(msg->m_ts,&msg_bytes);
    52. 

  52. 		atomic_dec(&msg_hdrs);
    53. 

  53. 		ss_wakeup(&msq->q_senders,0);//将发送的睡眠等待进程全部唤醒,因为拿出了一个报文
    54. 

  54. 		msg_unlock(msqid);
    55. 

  55. out_success:
    56. 

  56. 		msgsz = (msgsz > msg->m_ts) ? msg->m_ts : msgsz;
    57. 

  57. 		if (put_user (msg->m_type, &msgp->mtype) ||//实际接收的报文类型,通过put_user送回用户空间
    58. 

  58. 		    store_msg(msgp->mtext, msg, msgsz)) {//将实际接收到的复制到用户空间
    59. 

  59. 			    msgsz = -EFAULT;
    60. 

  60. 		}
    61. 

  61. 		free_msg(msg);//释放内核缓存
    62. 

  62. 		return msgsz;
    63. 

  63. 	} else//报文队列还没有报文可供接收
    64. 

  64. 	{
    65. 

  65. 		struct msg_queue *t;
    66. 

  66. 		/* no message waiting. Prepare for pipelined
    67. 

  67. 		 * receive.
    68. 

  68. 		 */
    69. 

  69. 		if (msgflg & IPC_NOWAIT) {//不等待直接返回错误
    70. 

  70. 			err=-ENOMSG;
    71. 

  71. 			goto out_unlock;
    72. 

  72. 		}
    73. 

  73. 		list_add_tail(&msr_d.r_list,&msq->q_receivers);//链入等待接收队列进程
    74. 

  74. 		msr_d.r_tsk = current;//保存各种信息
    75. 

  75. 		msr_d.r_msgtype = msgtyp;
    76. 

  76. 		msr_d.r_mode = mode;
    77. 

  77. 		if(msgflg & MSG_NOERROR)
    78. 

  78. 			msr_d.r_maxsize = INT_MAX;
    79. 

  79. 		 else
    80. 

  80. 		 	msr_d.r_maxsize = msgsz;
    81. 

  81. 		msr_d.r_msg = ERR_PTR(-EAGAIN);
    82. 

  82. 		current->state = TASK_INTERRUPTIBLE;
    83. 

  83. 		msg_unlock(msqid);//解锁并调度
    84. 

  84. //当前进程一旦睡下,以下需要等待进程通过pipelined_send()向其发送报文,并且选择这个进程作为接收进程才会被唤醒
    85. 

  85. 		schedule();
    86. 

  86. 		current->state = TASK_RUNNING;
    87. 

  87.       
    88. 

  88. 		msg = (struct msg_msg*) msr_d.r_msg;
    89. 

  89. 		if(!IS_ERR(msg)) //表示已经成功接收
    90. 

  90. 			goto out_success;
    91. 

  91.    //以下是因为缓冲区太小,唤醒了睡眠进程依旧无法接收,而是被信号唤醒的错误处理
    92. 

  92. 		t = msg_lock(msqid);//对报文加锁,隐藏着等待,可能被其他进程抢先锁住该队列
    93. 

  93. 		if(t==NULL)
    94. 

  94. 			msqid=-1;
    95. 

  95. 		msg = (struct msg_msg*)msr_d.r_msg;
    96. 

  96. 		if(!IS_ERR(msg)) {//在锁住队列之前,还有可能接收到其他进程pipelined_send发来的报文
    97. 

  97. 			/* our message arived while we waited for
    98. 

  98. 			 * the spinlock. Process it.
    99. 

  99. 			 *///所以还需要检查下是否成功接收到报文
    100. 

  100. 			if(msqid!=-1)
    101. 

  101. 				msg_unlock(msqid);
    102. 

  102. 			goto out_success;
    103. 

  103. 		}
    104. 

  104. 		err = PTR_ERR(msg);
    105. 

  105. 		if(err == -EAGAIN) {//要将本进程的msg_receiver结构拖链,并且看是否有信号处理
    106. 

  106. 			if(msqid==-1)
    107. 

  107. 				BUG();
    108. 

  108. 			list_del(&msr_d.r_list);
    109. 

  109. 			if (signal_pending(current))//如果没有信号处理,则跳转到retry重新开始
    110. 

  110. 				err=-EINTR;
    111. 

  111. 			 else
    112. 

  112. 				goto retry;
    113. 

  113. 		}
    114. 

  114. 	}
    115. 

  115. out_unlock:
    116. 

  116. 	if(msqid!=-1)
    117. 

  117. 		msg_unlock(msqid);
    118. 

  118. 	return err;
    119. 

  119. }
msgctl()报文机制的控制与设置
管道的缺点在于缺乏对管道的控制手段,也缺乏获取其状态的信息(例如,有多少个字节已经在管道中等待读取)的手段,msgctl就是为报文队列提供了这样的手段
  1. long sys_msgctl(int msqid,int cmd,struct msqid_ds*buf);
cmd为具体的操作码
  1. /* 
    2. 

  2.  * Control commands used with semctl, msgctl and shmctl 
    3. 

  3.  * see also specific commands in sem.h, msg.h and shm.h
    4. 

  4.  */
    5. 

  5. #define IPC_RMID 0     /* remove resource关闭报文队列 */
    6. 

  6. #define IPC_SET  1     /* set ipc_perm options 改变ipc设施的相关状态与属性*/
    7. 

  7. #define IPC_STAT 2     /* get ipc_perm options 获取状态*/
    8. 

  8. #define IPC_INFO 3     /* see ipcs 统计信息*/
以上命令码并不是专门为报文队列设置,也适用于sysv ipc的其他两种机制,对于具体的机制还可能补充其他专用命令.
msg专用命令
  1. /* ipcs ctl commands */
    2. 

  2. #define MSG_STAT 11
    3. 

  3. #define MSG_INFO 12
调用参数buf是一个msgid_ds结构指针,此结构适用于ipc_stat与ipc_set.
    2. 

  2. /* Obsolete, used only for backwards compatibility and libc5 compiles */
    3. 

  3. struct msqid_ds {
    4. 

  4. 	struct ipc_perm msg_perm;
    5. 

  5. 	struct msg *msg_first;		/* first message on queue,unused  */
    6. 

  6. 	struct msg *msg_last;		/* last message in queue,unused */
    7. 

  7. 	__kernel_time_t msg_stime;	/* last msgsnd time */
    8. 

  8. 	__kernel_time_t msg_rtime;	/* last msgrcv time */
    9. 

  9. 	__kernel_time_t msg_ctime;	/* last change time */
    10. 

  10. 	unsigned long  msg_lcbytes;	/* Reuse junk fields for 32 bit */
    11. 

  11. 	unsigned long  msg_lqbytes;	/* ditto */
    12. 

  12. 	unsigned short msg_cbytes;	/* current number of bytes on queue */
    13. 

  13. 	unsigned short msg_qnum;	/* number of messages in queue */
    14. 

  14. 	unsigned short msg_qbytes;	/* max number of bytes on queue */
    15. 

  15. 	__kernel_ipc_pid_t msg_lspid;	/* pid of last msgsnd */
    16. 

  16. 	__kernel_ipc_pid_t msg_lrpid;	/* last receive pid */
    17. 

  17. };
当命令为ipc_info时,指向一个msginfo结构
  1. /* buffer for msgctl calls IPC_INFO, MSG_INFO */
    2. 

  2. struct msginfo {
    3. 

  3. 	int msgpool;
    4. 

  4. 	int msgmap; 
    5. 

  5. 	int msgmax; 
    6. 

  6. 	int msgmnb; 
    7. 

  7. 	int msgmni; 
    8. 

  8. 	int msgssz; 
    9. 

  9. 	int msgtql; 
    10. 

  10. 	unsigned short  msgseg; 
    11. 

  11. };



    2. 

  2. asmlinkage long sys_msgctl (int msqid, int cmd, struct msqid_ds *buf)
    3. 

  3. {
    4. 

  4. 	int err, version;
    5. 

  5. 	struct msg_queue *msq;
    6. 

  6. 	struct msq_setbuf setbuf;
    7. 

  7. 	struct kern_ipc_perm *ipcp;
    8. 

  8. 	
    9. 

  9. 	if (msqid < 0 || cmd < 0)
    10. 

  10. 		return -EINVAL;
    11. 

    12. 

  12. 	version = ipc_parse_version(&cmd);//判断是64位版本还是32位版本
    13. 

    14. 

  14. 	switch (cmd) {//根据不同类型选择不同操作
    15. 

  15. 	case IPC_INFO: //合在一起
    16. 

  16. 	case MSG_INFO: 
    17. 

  17. 	{ 
    18. 

  18. 		struct msginfo msginfo;
    19. 

  19. 		int max_id;
    20. 

  20. 		if (!buf)
    21. 

  21. 			return -EFAULT;
    22. 

  22. 		/* We must not return kernel stack data.
    23. 

  23. 		 * due to padding, it's not enough
    24. 

  24. 		 * to set all member fields.
    25. 

  25. 		 */
    26. 

  26. 		memset(&msginfo,0,sizeof(msginfo));	
    27. 

  27. 		msginfo.msgmni = msg_ctlmni;
    28. 

  28. 		msginfo.msgmax = msg_ctlmax;
    29. 

  29. 		msginfo.msgmnb = msg_ctlmnb;
    30. 

  30. 		msginfo.msgssz = MSGSSZ;
    31. 

  31. 		msginfo.msgseg = MSGSEG;
    32. 

  32. 		down(&msg_ids.sem);
    33. 

  33. 		if (cmd == MSG_INFO) {
    34. 

  34. 			msginfo.msgpool = msg_ids.in_use;
    35. 

  35. 			msginfo.msgmap = atomic_read(&msg_hdrs);
    36. 

  36. 			msginfo.msgtql = atomic_read(&msg_bytes);
    37. 

  37. 		} else {
    38. 

  38. 			msginfo.msgmap = MSGMAP;
    39. 

  39. 			msginfo.msgpool = MSGPOOL;
    40. 

  40. 			msginfo.msgtql = MSGTQL;
    41. 

  41. 		}
    42. 

  42. 		max_id = msg_ids.max_id;
    43. 

  43. 		up(&msg_ids.sem);
    44. 

  44. 		if (copy_to_user (buf, &msginfo, sizeof(struct msginfo)))//从内核拷贝到用户空间
    45. 

  45. 			return -EFAULT;
    46. 

  46. 		return (max_id < 0) ? 0: max_id;
    47. 

  47. 	}
    48. 

  48. 	case MSG_STAT://stat状态相关操作
    49. 

  49. 	case IPC_STAT:
    50. 

  50. 	{
    51. 

  51. 		struct msqid64_ds tbuf;
    52. 

  52. 		int success_return;
    53. 

  53. 		if (!buf)
    54. 

  54. 			return -EFAULT;
    55. 

  55. 		if(cmd == MSG_STAT && msqid > msg_ids.size)
    56. 

  56. 			return -EINVAL;
    57. 

    58. 

  58. 		memset(&tbuf,0,sizeof(tbuf));
    59. 

    60. 

  60. 		msq = msg_lock(msqid);
    61. 

  61. 		if (msq == NULL)
    62. 

  62. 			return -EINVAL;
    63. 

    64. 

  64. 		if(cmd == MSG_STAT) {
    65. 

  65. 			success_return = msg_buildid(msqid, msq->q_perm.seq);
    66. 

  66. 		} else {
    67. 

  67. 			err = -EIDRM;
    68. 

  68. 			if (msg_checkid(msq,msqid))//id检查
    69. 

  69. 				goto out_unlock;
    70. 

  70. 			success_return = 0;
    71. 

  71. 		}
    72. 

  72. 		err = -EACCES;
    73. 

  73. 		if (ipcperms (&msq->q_perm, S_IRUGO))//权限判断
    74. 

  74. 			goto out_unlock;
    75. 

    76. 

  76. 		kernel_to_ipc64_perm(&msq->q_perm, &tbuf.msg_perm);
    77. 

  77. 		tbuf.msg_stime  = msq->q_stime;
    78. 

  78. 		tbuf.msg_rtime  = msq->q_rtime;
    79. 

  79. 		tbuf.msg_ctime  = msq->q_ctime;
    80. 

  80. 		tbuf.msg_cbytes = msq->q_cbytes;
    81. 

  81. 		tbuf.msg_qnum   = msq->q_qnum;
    82. 

  82. 		tbuf.msg_qbytes = msq->q_qbytes;
    83. 

  83. 		tbuf.msg_lspid  = msq->q_lspid;
    84. 

  84. 		tbuf.msg_lrpid  = msq->q_lrpid;
    85. 

  85. 		msg_unlock(msqid);
    86. 

  86. 		if (copy_msqid_to_user(buf, &tbuf, version))//从内核拷贝到用户
    87. 

  87. 			return -EFAULT;
    88. 

  88. 		return success_return;
    89. 

  89. 	}
    90. 

  90. 	case IPC_SET://set命令操作
    91. 

  91. 		if (!buf)
    92. 

  92. 			return -EFAULT;
    93. 

  93. 		if (copy_msqid_from_user (&setbuf, buf, version))//从用户拷贝到内核
    94. 

  94. 			return -EFAULT;
    95. 

  95. 		break;
    96. 

  96. 	case IPC_RMID:
    97. 

  97. 		break;
    98. 

  98. 	default:
    99. 

  99. 		return  -EINVAL;
    100. 

  100. 	}
    101. 

    102. 

  102. 	down(&msg_ids.sem);
    103. 

  103. 	msq = msg_lock(msqid);
    104. 

  104. 	err=-EINVAL;
    105. 

  105. 	if (msq == NULL)
    106. 

  106. 		goto out_up;
    107. 

    108. 

  108. 	err = -EIDRM;
    109. 

  109. 	if (msg_checkid(msq,msqid))
    110. 

  110. 		goto out_unlock_up;
    111. 

  111. 	ipcp = &msq->q_perm;
    112. 

  112. 	err = -EPERM;
    113. 

  113. 	if (current->euid != ipcp->cuid && 
    114. 

  114. 	    current->euid != ipcp->uid && !capable(CAP_SYS_ADMIN))//是否有权限操作
    115. 

  115. 	    /* We _could_ check for CAP_CHOWN above, but we don't */
    116. 

  116. 		goto out_unlock_up;
    117. 

    118. 

  118. 	switch (cmd) {
    119. 

  119. 	case IPC_SET:
    120. 

  120. 	{
    121. 

  121. 		if (setbuf.qbytes > msg_ctlmnb && !capable(CAP_SYS_RESOURCE))
    122. 

  122. 			goto out_unlock_up;
    123. 

  123. 		msq->q_qbytes = setbuf.qbytes;
    124. 

    125. 

  125. 		ipcp->uid = setbuf.uid;
    126. 

  126. 		ipcp->gid = setbuf.gid;
    127. 

  127. 		ipcp->mode = (ipcp->mode & ~S_IRWXUGO) | 
    128. 

  128. 			(S_IRWXUGO & setbuf.mode);
    129. 

  129. 		msq->q_ctime = CURRENT_TIME;
    130. 

  130. 		/* sleeping receivers might be excluded by
    131. 

  131. 		 * stricter permissions.
    132. 

  132. 		 */
    133. 

  133. 		expunge_all(msq,-EAGAIN);//使所有正在等待此队列接收报文的进程都出错返回
    134. 

  134. 		/* sleeping senders might be able to send
    135. 

  135. 		 * due to a larger queue size.
    136. 

  136. 		 */
    137. 

  137. 		ss_wakeup(&msq->q_senders,0);//将所有正在等待此队列发送报文的进程都唤醒,进行新一轮尝试
    138. 

  138. 		msg_unlock(msqid);
    139. 

  139. 		break;
    140. 

  140. 	}
    141. 

  141. 	case IPC_RMID:
    142. 

  142. 		freeque (msqid); //将所有正在等待的发送还是接收的进程全部唤醒,让其出错返回
    143. 

  143. 		break;
    144. 

  144. 	}
    145. 

  145. 	err = 0;
    146. 

  146. out_up:
    147. 

  147. 	up(&msg_ids.sem);
    148. 

  148. 	return err;
    149. 

  149. out_unlock_up:
    150. 

  150. 	msg_unlock(msqid);
    151. 

  151. 	goto out_up;
    152. 

  152. out_unlock:
    153. 

  153. 	msg_unlock(msqid);
    154. 

  154. 	return err;
    155. 

  155. }
ipc_rmid对应操作:freeque (msqid); //将所有正在等待的发送还是接收的进程全部唤醒,让其出错返回
    2. 

  2. static void freeque (int id)
    3. 

  3. {
    4. 

  4. 	struct msg_queue *msq;
    5. 

  5. 	struct list_head *tmp;
    6. 

    7. 

  7. 	msq = msg_rmid(id);
    8. 

    9. 

  9. 	expunge_all(msq,-EIDRM);//将所有读写的从链表拖链,让其出错返回
    10. 

  10. 	ss_wakeup(&msq->q_senders,1);//唤醒
    11. 

  11. 	msg_unlock(id);
    12. 

  12. 		
    13. 

  13. 	tmp = msq->q_messages.next;
    14. 

  14. 	while(tmp != &msq->q_messages) {//将所有报文释放
    15. 

  15. 		struct msg_msg* msg = list_entry(tmp,struct msg_msg,m_list);
    16. 

  16. 		tmp = tmp->next;
    17. 

  17. 		atomic_dec(&msg_hdrs);
    18. 

  18. 		free_msg(msg);
    19. 

  19. 	}
    20. 

  20. 	atomic_sub(msq->q_cbytes, &msg_bytes);
    21. 

  21. 	kfree(msq);//是否队列头
    22. 

  22. }




Linux内核情景分析之消息队列的更多相关文章

  1. linux内核情景分析之execve()

    用来描述用户态的cpu寄存器在内核栈中保存情况.可以获取用户空间的信息 struct pt_regs { long ebx; //可执行文件路径的指针(regs.ebx中 long ecx; //命令 ...

  2. [8]windows内核情景分析--窗口消息

    消息与钩子 众所周知,Windows系统是消息驱动的,现在我们就来看Windows的消息机制. 早期的Windows的窗口图形机制是在用户空间实现的,后来为了提高图形处理效率,将这部分移入内核空间,在 ...

  3. Linux内核情景分析的alloc_pages

    NUMA结构的alloc_pages ==================== mm/numa.c 43 43 ==================== 43 #ifdef CONFIG_DISCON ...

  4. linux内核情景分析之exit与Wait

    //第一层系统调用 asmlinkage long sys_exit(int error_code) { do_exit((error_code&0xff)<<8); } 其主体是 ...

  5. linux内核情景分析之内核中的互斥操作

    信号量机制: struct sempahore是其结构,定义如下 struct semaphore { atomic_t count;//资源数目 int sleepers;//等待进程数目 wait ...

  6. linux内核情景分析之信号实现

    信号在进程间通信是异步的,每个进程的task_struct结构有一个sig指针,指向一个signal_struct结构 定义如下 struct signal_struct { atomic_t cou ...

  7. Linux内核情景分析之异常访问,用户堆栈的扩展

    情景假设: 在堆内存中申请了一块内存,然后释放掉该内存,然后再去访问这块内存.也就是所说的野指针访问. 当cpu产生页面错误时,会把失败的线性地址放在cr2寄存器.线性地址缺页异常的4种情况 1.如果 ...

  8. linux内核情景分析之强制性调度

    从系统调用返回到用户空间是否调度,从ret_with_reschedule可看出,是否真正调度,取决于当前进程的pcb中的need_resched是否设置为1,那如何设置为1取决于以下几种情况: 时间 ...

  9. linux内核情景分析之匿名管道

    管道的机制由pipe()创建,由pipe()所建立的管道两端都在同一进程.所以必须在fork的配合下,才可以在具有亲缘关系的进程通信 /* * sys_pipe() is the normal C c ...

随机推荐

  1. java.lang.ClassCastException: com.sun.proxy.$Proxy53 cannot be cast to cn.service.impl.WorkinggServiceImpl

    java.lang.ClassCastException: com.sun.proxy.$Proxy53 cannot be cast to cn.service.impl.WorkinggServi ...

  2. 3 个用于数据科学的顶级 Python 库

    使用这些库把 Python 变成一个科学数据分析和建模工具. Python 的许多特性,比如开发效率.代码可读性.速度等使之成为了数据科学爱好者的首选编程语言.对于想要升级应用程序功能的数据科学家和机 ...

  3. visio画图ER图表和字段注释

    最近年底属于验收的项目很多,大多数写文档中,数据库的设计ER图是比不可少的.下面记一下几个常用的用法.以下用的市visio版本为2007,由于菜单样式新版本可能有所不同,请对照相应功能进行操作! 1. ...

  4. pandas知识点（汇总和计算描述统计）

    调用DataFrame的sum方法会返还一个含有列的Series: In [5]: df = DataFrame([[1.4,np.nan],[7.1,-4.5],[np.nan,np.nan],[0 ...

  5. 最近使用Nginx的一点新得

    1.基本的负载配置 Nginx最简单的配置模块如下 upstream name{ server ip:port; server ip:port; } server { listen 80; serve ...

  6. F#周报2019年第25期

    新闻 Azure Notebook概览 SpecFlow 3就在这里了! 使用新的Try .NET模版创建交互式文档 逐渐演化的.NET Core框架 Dylan与Linebreakers Oslo ...

  7. JS的跨域理解

    前言 周一的学院点开题被批的很惨,换了个校长,各种被抓严,班上已经有两个同学打算休学了.哎,这周的聚会可能是大家集聚的最后一次吧.熬着吧,还是学习我的前端,不管老板学校咋逼了,找个好工作才是王道.今天 ...

  8. 48、android代码架构总结

    之前是按功能模块进行分类,现在随着功能模块越来越多,代码层次不再清晰,所以修改了工程结构: 之前: 经过修改现在: 1.更严谨的遵循mvc架构 bean目录存放的是数据模型 ui存储的是activit ...

  9. 【Remove Elements】cpp

    题目: Given an array and a value, remove all instances of that value in place and return the new lengt ...

  10. MOTCF 没时间解释了 条件竞争漏洞

    moctf 没时间解释了 条件竞争漏洞 题目链接 条件竞争: 在本题目中,上传文件的时候服务器无条件的接收任何类型的文件,但是你上传之后服务器会给你的文件内容修改为too slow. 比如你上传了一句 ...