【Ethernet】車載ネットワーク その43【lwIP疑似受信⑥】

バックナンバーはこちら。
https://www.simulationroom999.com/blog/In-vehicle-network-backnumber/

はじめに
登場人物
IPフラグメントの順番入れ替えの判定をどこでやっているのか？
ip_reass_chain_frag_into_datagram_and_validateの中の完了判定部分
完了判定部分解説
まとめ

はじめに

IPフラグメントの受信フレーム順違いに対応するための設計手法。

登場人物

博識フクロウのフクさん

イラストACにて公開の「kino_k」さんのイラストを使用しています。
https://www.ac-illust.com/main/profile.php?id=iKciwKA9&area=1

エンジニア歴8年の太郎くん

イラストACにて公開の「しのみ」さんのイラストを使用しています。
https://www.ac-illust.com/main/profile.php?id=uCKphAW2&area=1

IPフラグメントの順番入れ替えの判定をどこでやっているのか？

太郎くん

じゃー、IPフラグメントの順番違いをどう対応してるのか説明よろしくー。

フクさん

はいよー。

フクさん

まずは、全部のフレームが揃ったかどうかチェックしているのは
ip_reass_chain_frag_into_datagram_and_validate
って関数になる。
core/ipv4/ip4_frag.c
で定義されてる関数になるね。

太郎くん

ip4_frag.c？
そのまんまな名前のソースコードがあったとは・・・。

ip_reass_chain_frag_into_datagram_and_validateの中の完了判定部分

フクさん

さらに、ip_reass_chain_frag_into_datagram_and_validateの中で完了判定をしている箇所がある。
そこだけのコードを切り抜いてきた。

  /* At this point, the validation part begins: */
  /* If we already received the last fragment */
  if (is_last || ((ipr->flags & IP_REASS_FLAG_LASTFRAG) != 0)) {
    /* and had no holes so far */
    if (valid) {
      /* then check if the rest of the fragments is here */
      /* Check if the queue starts with the first datagram */
      if ((ipr->p == NULL) || (((struct ip_reass_helper *)ipr->p->payload)->start != 0)) {
        valid = 0;
      } else {
        /* and check that there are no holes after this datagram */
        iprh_prev = iprh;
        q = iprh->next_pbuf;
        while (q != NULL) {
          iprh = (struct ip_reass_helper *)q->payload;
          if (iprh_prev->end != iprh->start) {
            valid = 0;
            break;
          }
          iprh_prev = iprh;
          q = iprh->next_pbuf;
        }
        /* if still valid, all fragments are received
         * (because to the MF==0 already arrived */
        if (valid) {
          LWIP_ASSERT("sanity check", ipr->p != NULL);
          LWIP_ASSERT("sanity check",
                      ((struct ip_reass_helper *)ipr->p->payload) != iprh);
          LWIP_ASSERT("validate_datagram:next_pbuf!=NULL",
                      iprh->next_pbuf == NULL);
        }
      }
    }
    /* If valid is 0 here, there are some fragments missing in the middle
     * (since MF == 0 has already arrived). Such datagrams simply time out if
     * no more fragments are received... */
    return valid ? IP_REASS_VALIDATE_TELEGRAM_FINISHED : IP_REASS_VALIDATE_PBUF_QUEUED;
  }