Commit 512137ee authored by Erik Hugne's avatar Erik Hugne Committed by David S. Miller
Browse files

tipc: remove interface state mirroring in bearer 



struct 'tipc_bearer' is a generic representation of the underlying
media type, and exists in a one-to-one relationship to each interface
TIPC is using. The struct contains a 'blocked' flag that mirrors the
operational and execution state of the represented interface, and is
updated through notification calls from the latter. The users of
tipc_bearer are checking this flag before each attempt to send a
packet via the interface.

This state mirroring serves no purpose in the current code base. TIPC
links will not discover a media failure any faster through this
mechanism, and in reality the flag only adds overhead at packet
sending and reception.

Furthermore, the fact that the flag needs to be protected by a spinlock
aggregated into tipc_bearer has turned out to cause a serious and
completely unnecessary deadlock problem.

CPU0                                    CPU1
----                                    ----
Time 0: bearer_disable()                link_timeout()
Time 1:   spin_lock_bh(&b_ptr->lock)      tipc_link_push_queue()
Time 2:   tipc_link_delete()                tipc_bearer_blocked(b_ptr)
Time 3:     k_cancel_timer(&req->timer)       spin_lock_bh(&b_ptr->lock)
Time 4:       del_timer_sync(&req->timer)

I.e., del_timer_sync() on CPU0 never returns, because the timer handler
on CPU1 is waiting for the bearer lock.

We eliminate the 'blocked' flag from struct tipc_bearer, along with all
tests on this flag. This not only resolves the deadlock, but also
simplifies and speeds up the data path execution of TIPC. It also fits
well into our ongoing effort to make the locking policy simpler and
more manageable.

An effect of this change is that we can get rid of functions such as
tipc_bearer_blocked(), tipc_continue() and tipc_block_bearer().
We replace the latter with a new function, tipc_reset_bearer(), which
resets all links associated to the bearer immediately after an
interface goes down.

A user might notice one slight change in link behaviour after this
change. When an interface goes down, (e.g. through a NETDEV_DOWN
event) all attached links will be reset immediately, instead of
leaving it to each link to detect the failure through a timer-driven
mechanism. We consider this an improvement, and see no obvious risks
with the new behavior.

Signed-off-by: default avatarErik Hugne <erik.hugne@ericsson.com>
Reviewed-by: default avatarYing Xue <ying.xue@windriver.com>
Reviewed-by: default avatarPaul Gortmaker <Paul.Gortmaker@windriver.com>
Signed-off-by: default avatarJon Maloy <jon.maloy@ericsson.com>
Signed-off-by: default avatarDavid S. Miller <davem@davemloft.net>
parent b73e9e3c

net/tipc/bcast.c

+0 −6
Original line number Diff line number Diff line
@@ -621,12 +621,6 @@ static int tipc_bcbearer_send(struct sk_buff *buf, struct tipc_bearer *unused1, 
		if (!p)

			break; /* No more bearers to try */



		if (tipc_bearer_blocked(p)) {

			if (!s || tipc_bearer_blocked(s))

				continue; /* Can't use either bearer */

			b = s;

		}



		tipc_nmap_diff(&bcbearer->remains, &b->nodes,

			       &bcbearer->remains_new);

		if (bcbearer->remains_new.count == bcbearer->remains.count)

net/tipc/bearer.c

+3 −30
Original line number Diff line number Diff line
@@ -275,31 +275,6 @@ void tipc_bearer_remove_dest(struct tipc_bearer *b_ptr, u32 dest) 
	tipc_disc_remove_dest(b_ptr->link_req);

}



/*

 * Interrupt enabling new requests after bearer blocking:

 * See bearer_send().

 */

void tipc_continue(struct tipc_bearer *b)

{

	spin_lock_bh(&b->lock);

	b->blocked = 0;

	spin_unlock_bh(&b->lock);

}



/*

 * tipc_bearer_blocked - determines if bearer is currently blocked

 */

int tipc_bearer_blocked(struct tipc_bearer *b)

{

	int res;



	spin_lock_bh(&b->lock);

	res = b->blocked;

	spin_unlock_bh(&b->lock);



	return res;

}



/**

 * tipc_enable_bearer - enable bearer with the given name

 */
@@ -420,17 +395,16 @@ exit: 
}



/**

 * tipc_block_bearer - Block the bearer, and reset all its links

 * tipc_reset_bearer - Reset all links established over this bearer

 */

int tipc_block_bearer(struct tipc_bearer *b_ptr)

int tipc_reset_bearer(struct tipc_bearer *b_ptr)

{

	struct tipc_link *l_ptr;

	struct tipc_link *temp_l_ptr;



	read_lock_bh(&tipc_net_lock);

	pr_info("Blocking bearer <%s>\n", b_ptr->name);

	pr_info("Resetting bearer <%s>\n", b_ptr->name);

	spin_lock_bh(&b_ptr->lock);

	b_ptr->blocked = 1;

	list_for_each_entry_safe(l_ptr, temp_l_ptr, &b_ptr->links, link_list) {

		struct tipc_node *n_ptr = l_ptr->owner;
@@ -456,7 +430,6 @@ static void bearer_disable(struct tipc_bearer *b_ptr) 


	pr_info("Disabling bearer <%s>\n", b_ptr->name);

	spin_lock_bh(&b_ptr->lock);

	b_ptr->blocked = 1;

	b_ptr->media->disable_media(b_ptr);

	list_for_each_entry_safe(l_ptr, temp_l_ptr, &b_ptr->links, link_list) {

		tipc_link_delete(l_ptr);

net/tipc/bearer.h

+1 −5
Original line number Diff line number Diff line
@@ -108,7 +108,6 @@ struct tipc_media { 
 * struct tipc_bearer - TIPC bearer structure

 * @usr_handle: pointer to additional media-specific information about bearer

 * @mtu: max packet size bearer can support

 * @blocked: non-zero if bearer is blocked

 * @lock: spinlock for controlling access to bearer

 * @addr: media-specific address associated with bearer

 * @name: bearer name (format = media:interface)
@@ -130,7 +129,6 @@ struct tipc_media { 
struct tipc_bearer {

	void *usr_handle;			/* initalized by media */

	u32 mtu;				/* initalized by media */

	int blocked;				/* initalized by media */

	struct tipc_media_addr addr;		/* initalized by media */

	char name[TIPC_MAX_BEARER_NAME];

	spinlock_t lock;
@@ -163,8 +161,7 @@ int tipc_register_media(struct tipc_media *m_ptr); 


void tipc_recv_msg(struct sk_buff *buf, struct tipc_bearer *tb_ptr);



int  tipc_block_bearer(struct tipc_bearer *b_ptr);

void tipc_continue(struct tipc_bearer *tb_ptr);

int  tipc_reset_bearer(struct tipc_bearer *b_ptr);



int tipc_enable_bearer(const char *bearer_name, u32 disc_domain, u32 priority);

int tipc_disable_bearer(const char *name);
@@ -194,7 +191,6 @@ void tipc_bearer_remove_dest(struct tipc_bearer *b_ptr, u32 dest); 
struct tipc_bearer *tipc_bearer_find(const char *name);

struct tipc_bearer *tipc_bearer_find_interface(const char *if_name);

struct tipc_media *tipc_media_find(const char *name);

int tipc_bearer_blocked(struct tipc_bearer *b_ptr);

void tipc_bearer_stop(void);



/**

net/tipc/discover.c

+4 −13
Original line number Diff line number Diff line
@@ -239,7 +239,7 @@ void tipc_disc_recv_msg(struct sk_buff *buf, struct tipc_bearer *b_ptr) 
	/* Accept discovery message & send response, if necessary */

	link_fully_up = link_working_working(link);



	if ((type == DSC_REQ_MSG) && !link_fully_up && !b_ptr->blocked) {

	if ((type == DSC_REQ_MSG) && !link_fully_up) {

		rbuf = tipc_disc_init_msg(DSC_RESP_MSG, orig, b_ptr);

		if (rbuf) {

			tipc_bearer_send(b_ptr, rbuf, &media_addr);
@@ -287,16 +287,6 @@ void tipc_disc_remove_dest(struct tipc_link_req *req) 
	disc_update(req);

}



/**

 * disc_send_msg - send link setup request message

 * @req: ptr to link request structure

 */

static void disc_send_msg(struct tipc_link_req *req)

{

	if (!req->bearer->blocked)

		tipc_bearer_send(req->bearer, req->buf, &req->dest);

}



/**

 * disc_timeout - send a periodic link setup request

 * @req: ptr to link request structure
@@ -322,7 +312,8 @@ static void disc_timeout(struct tipc_link_req *req) 
	 * hold at fast polling rate if don't have any associated nodes,

	 * otherwise hold at slow polling rate

	 */

	disc_send_msg(req);

	tipc_bearer_send(req->bearer, req->buf, &req->dest);





	req->timer_intv *= 2;

	if (req->num_nodes)
@@ -368,7 +359,7 @@ int tipc_disc_create(struct tipc_bearer *b_ptr, struct tipc_media_addr *dest, 
	k_init_timer(&req->timer, (Handler)disc_timeout, (unsigned long)req);

	k_start_timer(&req->timer, req->timer_intv);

	b_ptr->link_req = req;

	disc_send_msg(req);

	tipc_bearer_send(req->bearer, req->buf, &req->dest);

	return 0;

}

net/tipc/eth_media.c

+2 −12
Original line number Diff line number Diff line
@@ -199,7 +199,6 @@ static int enable_media(struct tipc_bearer *tb_ptr) 
	tb_ptr->bcast_addr.media_id = TIPC_MEDIA_TYPE_ETH;

	tb_ptr->bcast_addr.broadcast = 1;

	tb_ptr->mtu = dev->mtu;

	tb_ptr->blocked = 0;

	eth_media_addr_set(tb_ptr, &tb_ptr->addr, (char *)dev->dev_addr);

	return 0;

}
@@ -263,20 +262,11 @@ static int recv_notification(struct notifier_block *nb, unsigned long evt, 
	switch (evt) {

	case NETDEV_CHANGE:

		if (netif_carrier_ok(dev))

			tipc_continue(eb_ptr->bearer);

		else

			tipc_block_bearer(eb_ptr->bearer);

		break;

	case NETDEV_UP:

		tipc_continue(eb_ptr->bearer);

			break;

	case NETDEV_DOWN:

		tipc_block_bearer(eb_ptr->bearer);

		break;

	case NETDEV_CHANGEMTU:

	case NETDEV_CHANGEADDR:

		tipc_block_bearer(eb_ptr->bearer);

		tipc_continue(eb_ptr->bearer);

		tipc_reset_bearer(eb_ptr->bearer);

		break;

	case NETDEV_UNREGISTER:

	case NETDEV_CHANGENAME:

CRA Git | Maintained and supported by SUSTech CRA and CCSE