Hi Arnaldo | Well, I'd rather prefer a WARN_ON type, probably rate limiting the | printks, so that we can receive reports that something is fishy but | don't panic the machine. I have implemented such a macro and have changed the patch to use it. If it is acceptable, I would like to propose it for general use. Just as I was checking the patch again, Ian's answer arrived -- now I understand why dump_stack() is used and WARN_ON preferred; the macros support this use. Also implemented the enum bit fields suggestion by Eddie. It compiles fine on gcc 4.0.4; however, I am not sure about portability. And I don't have your tool either :-( The following is the revised patch with three macros added, I liked the DCCP_BUG_ON(): --- a/net/dccp/dccp.h +++ b/net/dccp/dccp.h @@ -18,6 +18,15 @@ #include <net/tcp.h> #include "ackvec.h" +#define DCCP_CRIT(fmt, args...) LIMIT_NETDEBUG(KERN_CRIT fmt "at %s:%d/%s()\n",\ + __FILE__, __LINE__, __FUNCTION__, ##args) + +#define DCCP_BUG() do { DCCP_CRIT("DCCP BUG"); dump_stack(); } while (0) + +#define DCCP_BUG_ON(cond) do { if (unlikely((cond) != 0)) \ + DCCP_BUG(); \ + } while (0) + #ifdef MODULE #define DCCP_PRINTK(enable, fmt, args...) do { if (enable) \ printk(fmt, ##args); \ --- a/net/dccp/ccids/ccid3.h +++ b/net/dccp/ccids/ccid3.h @@ -73,6 +73,14 @@ struct ccid3_options_received { u32 ccid3or_receive_rate; }; +/* TFRC sender states */ +enum ccid3_hc_tx_states { + TFRC_SSTATE_NO_SENT = 1, + TFRC_SSTATE_NO_FBACK, + TFRC_SSTATE_FBACK, + TFRC_SSTATE_TERM, +}; + /** struct ccid3_hc_tx_sock - CCID3 sender half connection sock * * @ccid3hctx_state - Sender state @@ -103,7 +111,7 @@ struct ccid3_hc_tx_sock { #define ccid3hctx_t_rto ccid3hctx_tfrc.tfrctx_rto #define ccid3hctx_t_ipi ccid3hctx_tfrc.tfrctx_ipi u16 ccid3hctx_s; - u8 ccid3hctx_state; + enum ccid3_hc_tx_states ccid3hctx_state:8; u8 ccid3hctx_last_win_count; u8 ccid3hctx_idle; struct timeval ccid3hctx_t_last_win_count; @@ -115,6 +123,13 @@ struct ccid3_hc_tx_sock { struct ccid3_options_received ccid3hctx_options_received; }; +/* TFRC receiver states */ +enum ccid3_hc_rx_states { + TFRC_RSTATE_NO_DATA = 1, + TFRC_RSTATE_DATA, + TFRC_RSTATE_TERM = 127, +}; + struct ccid3_hc_rx_sock { struct tfrc_rx_info ccid3hcrx_tfrc; #define ccid3hcrx_x_recv ccid3hcrx_tfrc.tfrcrx_x_recv @@ -122,8 +137,8 @@ struct ccid3_hc_rx_sock { #define ccid3hcrx_p ccid3hcrx_tfrc.tfrcrx_p u64 ccid3hcrx_seqno_nonloss:48, ccid3hcrx_ccval_nonloss:4, - ccid3hcrx_state:8, ccid3hcrx_ccval_last_counter:4; + enum ccid3_hc_rx_states ccid3hcrx_state:8; u32 ccid3hcrx_bytes_recv; struct timeval ccid3hcrx_tstamp_last_feedback; struct timeval ccid3hcrx_tstamp_last_ack; --- a/net/dccp/ccids/ccid3.c +++ b/net/dccp/ccids/ccid3.c @@ -73,14 +73,6 @@ static struct dccp_tx_hist *ccid3_tx_his static struct dccp_rx_hist *ccid3_rx_hist; static struct dccp_li_hist *ccid3_li_hist; -/* TFRC sender states */ -enum ccid3_hc_tx_states { - TFRC_SSTATE_NO_SENT = 1, - TFRC_SSTATE_NO_FBACK, - TFRC_SSTATE_FBACK, - TFRC_SSTATE_TERM, -}; - #ifdef CONFIG_IP_DCCP_CCID3_DEBUG static const char *ccid3_tx_state_name(enum ccid3_hc_tx_states state) { @@ -248,11 +240,8 @@ static void ccid3_hc_tx_no_feedback_time 2 * usecs_div(hctx->ccid3hctx_s, hctx->ccid3hctx_x)); break; - default: - printk(KERN_CRIT "%s: %s, sk=%p, Illegal state (%d)!\n", - __FUNCTION__, dccp_role(sk), sk, hctx->ccid3hctx_state); - dump_stack(); - goto out; + case TFRC_SSTATE_NO_SENT: + DCCP_BUG(); /* can't wait for feedback without having sent */ } sk_reset_timer(sk, &hctx->ccid3hctx_no_feedback_timer, @@ -273,7 +262,7 @@ static int ccid3_hc_tx_send_packet(struc long delay; int rc = -ENOTCONN; - BUG_ON(hctx == NULL || hctx->ccid3hctx_state == TFRC_SSTATE_TERM); + BUG_ON(hctx == NULL); /* Check if pure ACK or Terminating*/ /* @@ -326,12 +315,8 @@ static int ccid3_hc_tx_send_packet(struc /* divide by -1000 is to convert to ms and get sign right */ rc = delay > 0 ? delay : 0; break; - default: - printk(KERN_CRIT "%s: %s, sk=%p, Illegal state (%d)!\n", - __FUNCTION__, dccp_role(sk), sk, hctx->ccid3hctx_state); - dump_stack(); - rc = -EINVAL; - break; + case TFRC_SSTATE_TERM: + DCCP_BUG(); } /* Can we send? if so add options and add to packet history */ @@ -353,7 +338,7 @@ static void ccid3_hc_tx_packet_sent(stru struct ccid3_hc_tx_sock *hctx = ccid3_hc_tx_sk(sk); struct timeval now; - BUG_ON(hctx == NULL || hctx->ccid3hctx_state == TFRC_SSTATE_TERM); + BUG_ON(hctx == NULL); dccp_timestamp(sk, &now); @@ -420,11 +405,8 @@ static void ccid3_hc_tx_packet_sent(stru hctx->ccid3hctx_t_ipi); } break; - default: - printk(KERN_CRIT "%s: %s, sk=%p, Illegal state (%d)!\n", - __FUNCTION__, dccp_role(sk), sk, hctx->ccid3hctx_state); - dump_stack(); - break; + case TFRC_SSTATE_TERM: + DCCP_BUG(); } } @@ -441,7 +423,7 @@ static void ccid3_hc_tx_packet_recv(stru u32 x_recv; u32 r_sample; - BUG_ON(hctx == NULL || hctx->ccid3hctx_state == TFRC_SSTATE_TERM); + BUG_ON(hctx == NULL); /* we are only interested in ACKs */ if (!(DCCP_SKB_CB(skb)->dccpd_type == DCCP_PKT_ACK || @@ -457,6 +439,7 @@ static void ccid3_hc_tx_packet_recv(stru switch (hctx->ccid3hctx_state) { case TFRC_SSTATE_NO_SENT: /* FIXME: what to do here? */ + DCCP_CRIT("action not implemented for state NO_SENT"); return; case TFRC_SSTATE_NO_FBACK: case TFRC_SSTATE_FBACK: @@ -565,11 +548,8 @@ static void ccid3_hc_tx_packet_recv(stru /* set idle flag */ hctx->ccid3hctx_idle = 1; break; - default: - printk(KERN_CRIT "%s: %s, sk=%p, Illegal state (%d)!\n", - __FUNCTION__, dccp_role(sk), sk, hctx->ccid3hctx_state); - dump_stack(); - break; + case TFRC_SSTATE_TERM: + DCCP_BUG(); } } @@ -686,13 +666,6 @@ static void ccid3_hc_tx_exit(struct sock * RX Half Connection methods */ -/* TFRC receiver states */ -enum ccid3_hc_rx_states { - TFRC_RSTATE_NO_DATA = 1, - TFRC_RSTATE_DATA, - TFRC_RSTATE_TERM = 127, -}; - #ifdef CONFIG_IP_DCCP_CCID3_DEBUG static const char *ccid3_rx_state_name(enum ccid3_hc_rx_states state) { @@ -741,11 +714,8 @@ static void ccid3_hc_rx_send_feedback(st delta); } break; - default: - printk(KERN_CRIT "%s: %s, sk=%p, Illegal state (%d)!\n", - __FUNCTION__, dccp_role(sk), sk, hcrx->ccid3hcrx_state); - dump_stack(); - return; + case TFRC_RSTATE_TERM: + DCCP_BUG(); } packet = dccp_rx_hist_find_data_packet(&hcrx->ccid3hcrx_hist); @@ -1004,9 +974,7 @@ static void ccid3_hc_rx_packet_recv(stru u32 p_prev, rtt_prev, r_sample, t_elapsed; int loss; - BUG_ON(hcrx == NULL || - !(hcrx->ccid3hcrx_state == TFRC_RSTATE_NO_DATA || - hcrx->ccid3hcrx_state == TFRC_RSTATE_DATA)); + BUG_ON(hcrx == NULL); opt_recv = &dccp_sk(sk)->dccps_options_received; @@ -1085,11 +1053,8 @@ static void ccid3_hc_rx_packet_recv(stru ccid3_hc_rx_send_feedback(sk); } return; - default: - printk(KERN_CRIT "%s: %s, sk=%p, Illegal state (%d)!\n", - __FUNCTION__, dccp_role(sk), sk, hcrx->ccid3hcrx_state); - dump_stack(); - return; + case TFRC_RSTATE_TERM: + DCCP_BUG(); } /* Dealing with packet loss */ - To unsubscribe from this list: send the line "unsubscribe dccp" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html