FDの範囲が適切ではありません。

[FTL-itoh]

下記コードですが、対象となるfdがfd<2の時に動作しません。

for(k= FD_SETSIZE-1; k >0 ;k--){
if(FD_ISSET(k, src)){
FD_SET(k, target);
if(nfds < k) nfds = k+1;
}
}

LWIP対応版は下記コードに変更しました。
for(k= FD_SETSIZE-1; k >=0 ;k--){
if(FD_ISSET(k, src)){
FD_SET(k, target);
if(nfds <= k) nfds = k+1;
}
}

[n-ando]

おっしゃるように、ちょっとおかしなコードですね。
fdset のコピーと最大数+1を同時におこなうコードのためわかりにくくないっています。

いただいたコードのように、for 文で k>=0 としないと、FD_SETSIZE分を舐めてくれないので、この修正が妥当かと思います。
ただ、そもそも、FD を src から target にコピーするための関数のようなので、配列を後ろから舐める必要はない気もしますが。。。

ご修正いただいたコードと、オリジナルのコードで、nfds がどのようになるか調べてみたのが以下の表です。fd_set の最大数（リストのおしり）を0から5まで変化させてみた結果です。

最大数	nfds(旧コード)	nfds(新コード)
0	1	1
1	1	1
2	1	2
3	3	3
4	4	4
5	5	5

いずれの場合も、FD最大数が0, 1 のとき nfds = 1 となるのがちょっと気持ち悪いです。
この、nfds は copy_fds_set() の戻り値として帰ったあと、select の第1引数にセットされます。
select の第1引数は監視するFDの最大値+1でなければならないので、これだと一つ足りないのではないかと気になりました。

まだ、完全にコードの流れを負っているわけではないのですが、いかがでしょうか？

なお、上の仮定が成り立つなら、素直に以下のように実装しても良い気がいたします。

  int nfds = 0;
  
  for(int k = 0; k < FD_SETSIZE; ++k) {
    if(FD_ISSET(k, src)) {
      FD_SET(k, target);
      nfds = k + 1;
    }
  }
  ++nfds;

[n-ando]

補足ですが、copy_fds_set() 関数の挙動を確認する以下のような疑似コードを作成してみました。

#include <stdio.h>

#define FD_SETSIZE 32
typedef int fd_set[FD_SETSIZE];

int FD_ISSET(int k, fd_set fds)
{
    return fds[k];
}

void FD_SET(int k, fd_set fds)
{
    fds[k] = 1;
}

void FD_INIT(int n, fd_set fds)
{
    for (int i = 0; i < n && i < FD_SETSIZE; i++)
    {
        fds[i] = 1;
    }
}

void FD_ZERO(fd_set fds)
{
    for (int i = 0; i < FD_SETSIZE; i++)
    {
        fds[i] = 0;
    }
}

void FD_PRINT(const char* label, fd_set fds)
{
    printf("FD(%s)= ", label);
    for (int i = 0; i < FD_SETSIZE - 1; i++) {
        printf("%d, ", fds[i]);
    }
    printf("%d\n", fds[FD_SETSIZE - 1]);
}

int copy_fds_set(fd_set target, fd_set src)
{
// オリジナルコード
#if 0
  int k;
  int nfds = 1;

  for(k= FD_SETSIZE-1; k >0 ;k--){
    if(FD_ISSET(k, src)){
      FD_SET(k, target);
      if(nfds < k) nfds = k+1;
    }
  }
#endif
// 修正版コード
#if 0
  int k;
  int nfds = 1;
  
  for(k = FD_SETSIZE - 1; k >= 0; k--) {
    if(FD_ISSET(k, src)) {
      FD_SET(k, target);
      if(nfds <= k) nfds = k + 1;
    }
  }
#endif
// 素直な実装
#if 1
  int nfds = 0;
  
  for(int k = 0; k < FD_SETSIZE; ++k) {
    if(FD_ISSET(k, src)) {
      FD_SET(k, target);
      nfds = k + 1;
    }
  }
  ++nfds;
#endif
  return nfds;
}

int main(void)
{

    fd_set target;
    fd_set src;
    int n;

    for (int n = 0; n < 5; n++)
    {
        int nfds;
        FD_ZERO(target);
        FD_ZERO(src); FD_INIT(n, src);
        nfds = copy_fds_set(target, src);
        FD_PRINT(" src  ", src);
        FD_PRINT("target", target);
        printf("number of fds: %d,\tnfds = %d\n\n", n, nfds);
    }

    return 0;
}

[FTL-itoh]

検証ありがとうございます。
おっしゃる通り下記コードがシンプルで良いと思いますので
下記コードに修正します。
修正後、問題なく動作しています。

for(int k = 0; k < FD_SETSIZE; ++k) {
if(FD_ISSET(k, src)) {
FD_SET(k, target);
nfds = k + 1;
}
}

最後の++nfdsは不要に思えるのですが
私が、何か見落としていますでしょうか？
監視対象の最大fd+1をnfdsという認識です。

現状の結果なのですが
最大数 nfds(旧コード) nfds(新コード)
0 1 1
1 1 2
2 3 3
3 4 4
4 5 5
5 6 6
となると思います。

LWIP環境だとfd=1でnfdsが更新されず動作しないという事に対しての
修正をしたので、
fd=1でnfds=2となるはずです。
if(nfds <= k) nfds = k+1;
で条件に=を追加しています。

ループの方向については、おそらく、FD_SETSIZEがLinux環境とかだと1024なので、
最大値側から走査するほうが良いと判断したのではないでしょうか。
後、kの判定についても
標準入力（fd = 0）
標準出力（fd = 1）
標準エラー（fd = 2）
を排除したいって意図があったのかもしれないと思っています。
それでも2は除けていないので、修正が必要です。
また、今回のようにfd=0から有効なfdとして使用する環境では、
問題となりますので、条件自体を削除するほうが良いと思います。

おっしゃるように、ちょっとおかしなコードですね。 fdset のコピーと最大数+1を同時におこなうコードのためわかりにくくないっています。

いただいたコードのように、for 文で k>=0 としないと、FD_SETSIZE分を舐めてくれないので、この修正が妥当かと思います。 ただ、そもそも、FD を src から target にコピーするための関数のようなので、配列を後ろから舐める必要はない気もしますが。。。

ご修正いただいたコードと、オリジナルのコードで、nfds がどのようになるか調べてみたのが以下の表です。fd_set の最大数（リストのおしり）を0から5まで変化させてみた結果です。

最大数 nfds(旧コード) nfds(新コード)
0 1 1
1 1 1
2 1 2
3 3 3
4 4 4
5 5 5
いずれの場合も、FD最大数が0, 1 のとき nfds = 1 となるのがちょっと気持ち悪いです。 この、nfds は copy_fds_set() の戻り値として帰ったあと、select の第1引数にセットされます。 select の第1引数は監視するFDの最大値+1でなければならないので、これだと一つ足りないのではないかと気になりました。

まだ、完全にコードの流れを負っているわけではないのですが、いかがでしょうか？

なお、上の仮定が成り立つなら、素直に以下のように実装しても良い気がいたします。

int nfds = 0;

for(int k = 0; k < FD_SETSIZE; ++k) {
if(FD_ISSET(k, src)) {
FD_SET(k, target);
nfds = k + 1;
}
}
++nfds;

[n-ando]

検証ありがとうございます。
すみません、select の第1引数をfd の数+1だと思っていました。
最大のfd番号+1ですね。そうすると、おっしゃるようにnfds++; は不要です。
この修正を反映していただければと存じます。