On Fri,  5 Apr 2013 15:42:11 +0200 Nikola Pajkovsky <npajk...@redhat.com> wrote:

> the ipc/msg.c code does all list operations by hand and it open-codes
> the accesses, instead of using for_each_entry.
> 
> ...
>
> --- a/ipc/msg.c
> +++ b/ipc/msg.c
> @@ -237,14 +237,9 @@ static inline void ss_del(struct msg_sender *mss)
>  
>  static void ss_wakeup(struct list_head *h, int kill)
>  {
> -     struct list_head *tmp;
> +     struct msg_sender *mss, *t;
>  
> -     tmp = h->next;
> -     while (tmp != h) {
> -             struct msg_sender *mss;
> -
> -             mss = list_entry(tmp, struct msg_sender, list);
> -             tmp = tmp->next;
> +     list_for_each_entry_safe(mss, t, h, list) {
>               if (kill)
>                       mss->list.next = NULL;
>               wake_up_process(mss->tsk);

urgh, that code is sick.  What's it doing poking around in the
list_head internals?

> @@ -253,14 +248,9 @@ static void ss_wakeup(struct list_head *h, int kill)
>  
>  static void expunge_all(struct msg_queue *msq, int res)
>  {
> -     struct list_head *tmp;
> -
> -     tmp = msq->q_receivers.next;
> -     while (tmp != &msq->q_receivers) {
> -             struct msg_receiver *msr;
> +     struct msg_receiver *msr, *t;
>  
> -             msr = list_entry(tmp, struct msg_receiver, r_list);
> -             tmp = tmp->next;
> +     list_for_each_entry_safe(msr, t, &msq->q_receivers, r_list) {
>               msr->r_msg = NULL;
>               wake_up_process(msr->r_tsk);
>               smp_mb();

I think list_for_each_entry() would suffice here.

> @@ -278,7 +268,7 @@ static void expunge_all(struct msg_queue *msq, int res)
>   */
>  static void freeque(struct ipc_namespace *ns, struct kern_ipc_perm *ipcp)
>  {
> -     struct list_head *tmp;
> +     struct msg_msg *msg;
>       struct msg_queue *msq = container_of(ipcp, struct msg_queue, q_perm);
>  
>       expunge_all(msq, -EIDRM);
> @@ -286,11 +276,7 @@ static void freeque(struct ipc_namespace *ns, struct 
> kern_ipc_perm *ipcp)
>       msg_rmid(ns, msq);
>       msg_unlock(msq);
>  
> -     tmp = msq->q_messages.next;
> -     while (tmp != &msq->q_messages) {
> -             struct msg_msg *msg = list_entry(tmp, struct msg_msg, m_list);
> -
> -             tmp = tmp->next;
> +     list_for_each_entry(msg, &msq->q_messages, m_list) {
>               atomic_dec(&ns->msg_hdrs);
>               free_msg(msg);
>       }

This is buggy isn't it?  list_for_each_entry() will use the
recently-freed `msg'.


--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majord...@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/

Reply via email to