I have no objections.
///jon

--- Julia Lawall <[EMAIL PROTECTED]> a écrit :

> From: Julia Lawall <[EMAIL PROTECTED]>
> 
> The file net/tipc/port.c takes a lock using the
> function tipc_port_lock and
> then releases the lock sometimes using
> tipc_port_unlock and sometimes using
> spin_unlock_bh(p_ptr->publ.lock).  tipc_port_unlock
> simply does the
> spin_unlock_bh, but it seems cleaner to use it
> everywhere.
> 
> 
> The problem was fixed using the following semantic
> patch.
> (http://www.emn.fr/x-info/coccinelle/)
> 
> // <smpl>
> @@
> struct port *p_ptr;
> @@
> 
>    p_ptr = tipc_port_lock(...)
>    ...
> (
>    p_ptr = tipc_port_lock(...);
> |
> ?- spin_unlock_bh(p_ptr->publ.lock);
> +  tipc_port_unlock(p_ptr);
> )
> // </smpl>
> 
> Signed-off-by: Julia Lawall <[EMAIL PROTECTED]>
> ---
> 
> diff -u -p a/net/tipc/port.c b/net/tipc/port.c
> --- a/net/tipc/port.c 2008-01-01 10:43:55.000000000
> +0100
> +++ b/net/tipc/port.c 2008-01-04 10:51:05.000000000
> +0100
> @@ -340,7 +340,7 @@ int tipc_portunreliable(u32 ref,
> unsigne
>       if (!p_ptr)
>               return -EINVAL;
>       *isunreliable = port_unreliable(p_ptr);
> -     spin_unlock_bh(p_ptr->publ.lock);
> +     tipc_port_unlock(p_ptr);
>       return TIPC_OK;
>  }
> 
> @@ -369,7 +369,7 @@ int tipc_portunreturnable(u32
> ref, unsig
>       if (!p_ptr)
>               return -EINVAL;
>       *isunrejectable = port_unreturnable(p_ptr);
> -     spin_unlock_bh(p_ptr->publ.lock);
> +     tipc_port_unlock(p_ptr);
>       return TIPC_OK;
>  }
> 
> @@ -843,7 +843,7 @@ static void
> port_dispatcher_sigh(void *d
>                               u32 peer_port = port_peerport(p_ptr);
>                               u32 peer_node = port_peernode(p_ptr);
> 
> -                             spin_unlock_bh(p_ptr->publ.lock);
> +                             tipc_port_unlock(p_ptr);
>                               if (unlikely(!connected)) {
>                                       if (unlikely(published))
>                                               goto reject;
> @@ -867,7 +867,7 @@ static void
> port_dispatcher_sigh(void *d
>               case TIPC_DIRECT_MSG:{
>                               tipc_msg_event cb = up_ptr->msg_cb;
> 
> -                             spin_unlock_bh(p_ptr->publ.lock);
> +                             tipc_port_unlock(p_ptr);
>                               if (unlikely(connected))
>                                       goto reject;
>                               if (unlikely(!cb))
> @@ -882,7 +882,7 @@ static void
> port_dispatcher_sigh(void *d
>               case TIPC_NAMED_MSG:{
>                               tipc_named_msg_event cb = up_ptr->named_msg_cb;
> 
> -                             spin_unlock_bh(p_ptr->publ.lock);
> +                             tipc_port_unlock(p_ptr);
>                               if (unlikely(connected))
>                                       goto reject;
>                               if (unlikely(!cb))
> @@ -913,7 +913,7 @@ err:
>                               u32 peer_port = port_peerport(p_ptr);
>                               u32 peer_node = port_peernode(p_ptr);
> 
> -                             spin_unlock_bh(p_ptr->publ.lock);
> +                             tipc_port_unlock(p_ptr);
>                               if (!connected || !cb)
>                                       break;
>                               if (msg_origport(msg) != peer_port)
> @@ -929,7 +929,7 @@ err:
>               case TIPC_DIRECT_MSG:{
>                               tipc_msg_err_event cb = up_ptr->err_cb;
> 
> -                             spin_unlock_bh(p_ptr->publ.lock);
> +                             tipc_port_unlock(p_ptr);
>                               if (connected || !cb)
>                                       break;
>                               skb_pull(buf, msg_hdr_sz(msg));
> @@ -942,7 +942,7 @@ err:
>                               tipc_named_msg_err_event cb =
>                                       up_ptr->named_err_cb;
> 
> -                             spin_unlock_bh(p_ptr->publ.lock);
> +                             tipc_port_unlock(p_ptr);
>                               if (connected || !cb)
>                                       break;
>                               dseq.type =  msg_nametype(msg);
> @@ -1107,7 +1107,7 @@ int tipc_portimportance(u32
> ref, unsigne
>       if (!p_ptr)
>               return -EINVAL;
>       *importance = (unsigned
> int)msg_importance(&p_ptr->publ.phdr);
> -     spin_unlock_bh(p_ptr->publ.lock);
> +     tipc_port_unlock(p_ptr);
>       return TIPC_OK;
>  }
> 
> @@ -1122,7 +1122,7 @@ int
> tipc_set_portimportance(u32 ref, uns
>       if (!p_ptr)
>               return -EINVAL;
>       msg_set_importance(&p_ptr->publ.phdr, (u32)imp);
> -     spin_unlock_bh(p_ptr->publ.lock);
> +     tipc_port_unlock(p_ptr);
>       return TIPC_OK;
>  }
> 
> 
>
-------------------------------------------------------------------------
> This SF.net email is sponsored by: Microsoft
> Defy all challenges. Microsoft(R) Visual Studio
> 2005.
>
http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
> _______________________________________________
> tipc-discussion mailing list
> [email protected]
>
https://lists.sourceforge.net/lists/listinfo/tipc-discussion
> 


-------------------------------------------------------------------------
Check out the new SourceForge.net Marketplace.
It's the best place to buy or sell services for
just about anything Open Source.
http://ad.doubleclick.net/clk;164216239;13503038;w?http://sf.net/marketplace
_______________________________________________
tipc-discussion mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/tipc-discussion

Reply via email to