Message ID | 7eb23b19-5136-ee5f-2027-b2cc85540675@ya.ru (mailing list archive) |
---|---|
State | Changes Requested |
Delegated to: | Netdev Maintainers |
Headers | show |
Series | unix: Add ioctl(SIOCUNIXGRABFDS) to grab files of receive queue skbs | expand |
From: Kirill Tkhai <tkhai@ya.ru> Date: Tue, 16 Aug 2022 00:22:07 +0300 > When a fd owning a counter of some critical resource, say, of a mount, > it's impossible to umount that mount and disconnect related block device. > That fd may be contained in some unix socket receive queue skb. > > Despite we have an interface for detecting such the sockets queues > (/proc/[PID]/fdinfo/[fd] shows non-zero scm_fds count if so) and > it's possible to kill that process to release the counter, the problem is > that there may be several processes, and it's not a good thing to kill > each of them. > > This patch adds a simple interface to grab files from receive queue, > so the caller may analyze them, and even do that recursively, if grabbed > file is unix socket itself. So, the described above problem may be solved > by this ioctl() in pair with pidfd_getfd(). > > Note, that the existing recvmsg(,,MSG_PEEK) is not suitable for that > purpose, since it modifies peek offset inside socket, and this results > in a problem in case of examined process uses peek offset itself. > Additional ptrace freezing of that task plus ioctl(SO_PEEK_OFF) won't help > too, since that socket may relate to several tasks, and there is no > reliable and non-racy way to detect that. Also, if the caller of such > trick will die, the examined task will remain frozen forever. The new > suggested ioctl(SIOCUNIXGRABFDS) does not have such problems. > > The realization of ioctl(SIOCUNIXGRABFDS) is pretty simple. The only > interesting thing is protocol with userspace. Firstly, we let userspace > to know the number of all files in receive queue skbs. Before calling SIOCUNIXGRABFDS, we have to know nr_all by reading /proc/[PID]/fdinfo/[fd] to properly set nr_grab and nr_skip? I'd use the same interface so that we can get it by passing 0 to todo. > Then we receive > fds one by one starting from requested offset. We return number of > received fds if there is a successfully received fd, and this number > may be less in case of error or desired fds number lack. Userspace > may detect that situations by comparison of returned value and > out.nr_all minus in.nr_skip. Looking over different variant this one > looks the best for me (I considered returning error in case of error > and there is a received fd. Also I considered returning number of > received files as one more member in struct unix_ioc_grab_fds). > > Signed-off-by: Kirill Tkhai <tkhai@ya.ru> > --- > include/uapi/linux/un.h | 12 ++++++++ > net/unix/af_unix.c | 70 +++++++++++++++++++++++++++++++++++++++++++++++ > 2 files changed, 82 insertions(+) > > diff --git a/include/uapi/linux/un.h b/include/uapi/linux/un.h > index 0ad59dc8b686..995b358263dd 100644 > --- a/include/uapi/linux/un.h > +++ b/include/uapi/linux/un.h > @@ -11,6 +11,18 @@ struct sockaddr_un { > char sun_path[UNIX_PATH_MAX]; /* pathname */ > }; > > +struct unix_ioc_grab_fds { > + struct { > + int nr_grab; > + int nr_skip; We can save the first validation by using unsigned int. > + int *fds; > + } in; > + struct { > + int nr_all; unsigned int? > + } out; > +}; > + > #define SIOCUNIXFILE (SIOCPROTOPRIVATE + 0) /* open a socket file with O_PATH */ > +#define SIOCUNIXGRABFDS (SIOCPROTOPRIVATE + 1) /* grab files from recv queue */ > > #endif /* _LINUX_UN_H */ > diff --git a/net/unix/af_unix.c b/net/unix/af_unix.c > index bf338b782fc4..3c7e8049eba1 100644 > --- a/net/unix/af_unix.c > +++ b/net/unix/af_unix.c > @@ -3079,6 +3079,73 @@ static int unix_open_file(struct sock *sk) > return fd; > } > > +static int unix_ioc_grab_fds(struct sock *sk, struct unix_ioc_grab_fds __user *uarg) > +{ > + int i, todo, skip, count, all, err, done = 0; > + struct unix_sock *u = unix_sk(sk); > + struct unix_ioc_grab_fds arg; > + struct sk_buff *skb = NULL; > + struct scm_fp_list *fp; > + > + if (copy_from_user(&arg, uarg, sizeof(arg))) > + return -EFAULT; > + > + skip = arg.in.nr_skip; > + todo = arg.in.nr_grab; > + > + if (skip < 0 || todo <= 0) If we accept 0 as a special value for todo: if (skip < 0 || todo < 0) And, unsigned int saves this. > + return -EINVAL; > + if (mutex_lock_interruptible(&u->iolock)) > + return -EINTR; > + > + all = atomic_read(&u->scm_stat.nr_fds); > + err = -EFAULT; > + /* Set uarg->out.nr_all before the first file is received. */ > + if (put_user(all, &uarg->out.nr_all)) > + goto unlock; > + err = 0; > + if (all <= skip) If we accept 0 as a special value for todo: if (all <= skip || !todo) > + goto unlock; > + if (all - skip < todo) > + todo = all - skip; > + while (todo) { > + spin_lock(&sk->sk_receive_queue.lock); > + if (!skb) > + skb = skb_peek(&sk->sk_receive_queue); > + else > + skb = skb_peek_next(skb, &sk->sk_receive_queue); > + spin_unlock(&sk->sk_receive_queue.lock); > + > + if (!skb) > + goto unlock; > + > + fp = UNIXCB(skb).fp; > + count = fp->count; > + if (skip >= count) { > + skip -= count; > + continue; > + } > + > + for (i = skip; i < count && todo; i++) { > + err = receive_fd_user(fp->fp[i], &arg.in.fds[done], 0); > + if (err < 0) > + goto unlock; > + done++; > + todo--; > + } > + skip = 0; > + } > +unlock: > + mutex_unlock(&u->iolock); > + > + /* Return number of fds (non-error) if there is a received file. */ > + if (done) > + return done; return err; You set 0 to err before the loop. > + if (err < 0) > + return err; > + return 0; > +} > + > static int unix_ioctl(struct socket *sock, unsigned int cmd, unsigned long arg) > { > struct sock *sk = sock->sk; > @@ -3113,6 +3180,9 @@ static int unix_ioctl(struct socket *sock, unsigned int cmd, unsigned long arg) > } > break; > #endif > + case SIOCUNIXGRABFDS: > + err = unix_ioc_grab_fds(sk, (struct unix_ioc_grab_fds __user *)arg); > + break; > default: > err = -ENOIOCTLCMD; > break;
On 16.08.2022 20:31, Kuniyuki Iwashima wrote: > From: Kirill Tkhai <tkhai@ya.ru> > Date: Tue, 16 Aug 2022 00:22:07 +0300 >> When a fd owning a counter of some critical resource, say, of a mount, >> it's impossible to umount that mount and disconnect related block device. >> That fd may be contained in some unix socket receive queue skb. >> >> Despite we have an interface for detecting such the sockets queues >> (/proc/[PID]/fdinfo/[fd] shows non-zero scm_fds count if so) and >> it's possible to kill that process to release the counter, the problem is >> that there may be several processes, and it's not a good thing to kill >> each of them. >> >> This patch adds a simple interface to grab files from receive queue, >> so the caller may analyze them, and even do that recursively, if grabbed >> file is unix socket itself. So, the described above problem may be solved >> by this ioctl() in pair with pidfd_getfd(). >> >> Note, that the existing recvmsg(,,MSG_PEEK) is not suitable for that >> purpose, since it modifies peek offset inside socket, and this results >> in a problem in case of examined process uses peek offset itself. >> Additional ptrace freezing of that task plus ioctl(SO_PEEK_OFF) won't help >> too, since that socket may relate to several tasks, and there is no >> reliable and non-racy way to detect that. Also, if the caller of such >> trick will die, the examined task will remain frozen forever. The new >> suggested ioctl(SIOCUNIXGRABFDS) does not have such problems. >> >> The realization of ioctl(SIOCUNIXGRABFDS) is pretty simple. The only >> interesting thing is protocol with userspace. Firstly, we let userspace >> to know the number of all files in receive queue skbs. > > Before calling SIOCUNIXGRABFDS, we have to know nr_all by reading > /proc/[PID]/fdinfo/[fd] to properly set nr_grab and nr_skip? > > I'd use the same interface so that we can get it by passing 0 to > todo. Yes, this make sense >> Then we receive >> fds one by one starting from requested offset. We return number of >> received fds if there is a successfully received fd, and this number >> may be less in case of error or desired fds number lack. Userspace >> may detect that situations by comparison of returned value and >> out.nr_all minus in.nr_skip. Looking over different variant this one >> looks the best for me (I considered returning error in case of error >> and there is a received fd. Also I considered returning number of >> received files as one more member in struct unix_ioc_grab_fds). >> >> Signed-off-by: Kirill Tkhai <tkhai@ya.ru> >> --- >> include/uapi/linux/un.h | 12 ++++++++ >> net/unix/af_unix.c | 70 +++++++++++++++++++++++++++++++++++++++++++++++ >> 2 files changed, 82 insertions(+) >> >> diff --git a/include/uapi/linux/un.h b/include/uapi/linux/un.h >> index 0ad59dc8b686..995b358263dd 100644 >> --- a/include/uapi/linux/un.h >> +++ b/include/uapi/linux/un.h >> @@ -11,6 +11,18 @@ struct sockaddr_un { >> char sun_path[UNIX_PATH_MAX]; /* pathname */ >> }; >> >> +struct unix_ioc_grab_fds { >> + struct { >> + int nr_grab; >> + int nr_skip; > > We can save the first validation by using unsigned int. This int was for uniformity for fd type. But since this is not a strict connection, we may use unsigned >> + int *fds; >> + } in; >> + struct { >> + int nr_all; > > unsigned int? > > >> + } out; >> +}; >> + >> #define SIOCUNIXFILE (SIOCPROTOPRIVATE + 0) /* open a socket file with O_PATH */ >> +#define SIOCUNIXGRABFDS (SIOCPROTOPRIVATE + 1) /* grab files from recv queue */ >> >> #endif /* _LINUX_UN_H */ >> diff --git a/net/unix/af_unix.c b/net/unix/af_unix.c >> index bf338b782fc4..3c7e8049eba1 100644 >> --- a/net/unix/af_unix.c >> +++ b/net/unix/af_unix.c >> @@ -3079,6 +3079,73 @@ static int unix_open_file(struct sock *sk) >> return fd; >> } >> >> +static int unix_ioc_grab_fds(struct sock *sk, struct unix_ioc_grab_fds __user *uarg) >> +{ >> + int i, todo, skip, count, all, err, done = 0; >> + struct unix_sock *u = unix_sk(sk); >> + struct unix_ioc_grab_fds arg; >> + struct sk_buff *skb = NULL; >> + struct scm_fp_list *fp; >> + >> + if (copy_from_user(&arg, uarg, sizeof(arg))) >> + return -EFAULT; >> + >> + skip = arg.in.nr_skip; >> + todo = arg.in.nr_grab; >> + >> + if (skip < 0 || todo <= 0) > > If we accept 0 as a special value for todo: > > if (skip < 0 || todo < 0) > > And, unsigned int saves this. > > >> + return -EINVAL; >> + if (mutex_lock_interruptible(&u->iolock)) >> + return -EINTR; >> + >> + all = atomic_read(&u->scm_stat.nr_fds); >> + err = -EFAULT; >> + /* Set uarg->out.nr_all before the first file is received. */ >> + if (put_user(all, &uarg->out.nr_all)) >> + goto unlock; >> + err = 0; >> + if (all <= skip) > > If we accept 0 as a special value for todo: > > if (all <= skip || !todo) > >> + goto unlock; >> + if (all - skip < todo) >> + todo = all - skip; >> + while (todo) { >> + spin_lock(&sk->sk_receive_queue.lock); >> + if (!skb) >> + skb = skb_peek(&sk->sk_receive_queue); >> + else >> + skb = skb_peek_next(skb, &sk->sk_receive_queue); >> + spin_unlock(&sk->sk_receive_queue.lock); >> + >> + if (!skb) >> + goto unlock; >> + >> + fp = UNIXCB(skb).fp; >> + count = fp->count; >> + if (skip >= count) { >> + skip -= count; >> + continue; >> + } >> + >> + for (i = skip; i < count && todo; i++) { >> + err = receive_fd_user(fp->fp[i], &arg.in.fds[done], 0); >> + if (err < 0) >> + goto unlock; >> + done++; >> + todo--; >> + } >> + skip = 0; >> + } >> +unlock: >> + mutex_unlock(&u->iolock); >> + >> + /* Return number of fds (non-error) if there is a received file. */ >> + if (done) >> + return done; > > return err; > > You set 0 to err before the loop. > >> + if (err < 0) >> + return err; >> + return 0; >> +} >> + >> static int unix_ioctl(struct socket *sock, unsigned int cmd, unsigned long arg) >> { >> struct sock *sk = sock->sk; >> @@ -3113,6 +3180,9 @@ static int unix_ioctl(struct socket *sock, unsigned int cmd, unsigned long arg) >> } >> break; >> #endif >> + case SIOCUNIXGRABFDS: >> + err = unix_ioc_grab_fds(sk, (struct unix_ioc_grab_fds __user *)arg); >> + break; >> default: >> err = -ENOIOCTLCMD; >> break;
diff --git a/include/uapi/linux/un.h b/include/uapi/linux/un.h index 0ad59dc8b686..995b358263dd 100644 --- a/include/uapi/linux/un.h +++ b/include/uapi/linux/un.h @@ -11,6 +11,18 @@ struct sockaddr_un { char sun_path[UNIX_PATH_MAX]; /* pathname */ }; +struct unix_ioc_grab_fds { + struct { + int nr_grab; + int nr_skip; + int *fds; + } in; + struct { + int nr_all; + } out; +}; + #define SIOCUNIXFILE (SIOCPROTOPRIVATE + 0) /* open a socket file with O_PATH */ +#define SIOCUNIXGRABFDS (SIOCPROTOPRIVATE + 1) /* grab files from recv queue */ #endif /* _LINUX_UN_H */ diff --git a/net/unix/af_unix.c b/net/unix/af_unix.c index bf338b782fc4..3c7e8049eba1 100644 --- a/net/unix/af_unix.c +++ b/net/unix/af_unix.c @@ -3079,6 +3079,73 @@ static int unix_open_file(struct sock *sk) return fd; } +static int unix_ioc_grab_fds(struct sock *sk, struct unix_ioc_grab_fds __user *uarg) +{ + int i, todo, skip, count, all, err, done = 0; + struct unix_sock *u = unix_sk(sk); + struct unix_ioc_grab_fds arg; + struct sk_buff *skb = NULL; + struct scm_fp_list *fp; + + if (copy_from_user(&arg, uarg, sizeof(arg))) + return -EFAULT; + + skip = arg.in.nr_skip; + todo = arg.in.nr_grab; + + if (skip < 0 || todo <= 0) + return -EINVAL; + if (mutex_lock_interruptible(&u->iolock)) + return -EINTR; + + all = atomic_read(&u->scm_stat.nr_fds); + err = -EFAULT; + /* Set uarg->out.nr_all before the first file is received. */ + if (put_user(all, &uarg->out.nr_all)) + goto unlock; + err = 0; + if (all <= skip) + goto unlock; + if (all - skip < todo) + todo = all - skip; + while (todo) { + spin_lock(&sk->sk_receive_queue.lock); + if (!skb) + skb = skb_peek(&sk->sk_receive_queue); + else + skb = skb_peek_next(skb, &sk->sk_receive_queue); + spin_unlock(&sk->sk_receive_queue.lock); + + if (!skb) + goto unlock; + + fp = UNIXCB(skb).fp; + count = fp->count; + if (skip >= count) { + skip -= count; + continue; + } + + for (i = skip; i < count && todo; i++) { + err = receive_fd_user(fp->fp[i], &arg.in.fds[done], 0); + if (err < 0) + goto unlock; + done++; + todo--; + } + skip = 0; + } +unlock: + mutex_unlock(&u->iolock); + + /* Return number of fds (non-error) if there is a received file. */ + if (done) + return done; + if (err < 0) + return err; + return 0; +} + static int unix_ioctl(struct socket *sock, unsigned int cmd, unsigned long arg) { struct sock *sk = sock->sk; @@ -3113,6 +3180,9 @@ static int unix_ioctl(struct socket *sock, unsigned int cmd, unsigned long arg) } break; #endif + case SIOCUNIXGRABFDS: + err = unix_ioc_grab_fds(sk, (struct unix_ioc_grab_fds __user *)arg); + break; default: err = -ENOIOCTLCMD; break;
When a fd owning a counter of some critical resource, say, of a mount, it's impossible to umount that mount and disconnect related block device. That fd may be contained in some unix socket receive queue skb. Despite we have an interface for detecting such the sockets queues (/proc/[PID]/fdinfo/[fd] shows non-zero scm_fds count if so) and it's possible to kill that process to release the counter, the problem is that there may be several processes, and it's not a good thing to kill each of them. This patch adds a simple interface to grab files from receive queue, so the caller may analyze them, and even do that recursively, if grabbed file is unix socket itself. So, the described above problem may be solved by this ioctl() in pair with pidfd_getfd(). Note, that the existing recvmsg(,,MSG_PEEK) is not suitable for that purpose, since it modifies peek offset inside socket, and this results in a problem in case of examined process uses peek offset itself. Additional ptrace freezing of that task plus ioctl(SO_PEEK_OFF) won't help too, since that socket may relate to several tasks, and there is no reliable and non-racy way to detect that. Also, if the caller of such trick will die, the examined task will remain frozen forever. The new suggested ioctl(SIOCUNIXGRABFDS) does not have such problems. The realization of ioctl(SIOCUNIXGRABFDS) is pretty simple. The only interesting thing is protocol with userspace. Firstly, we let userspace to know the number of all files in receive queue skbs. Then we receive fds one by one starting from requested offset. We return number of received fds if there is a successfully received fd, and this number may be less in case of error or desired fds number lack. Userspace may detect that situations by comparison of returned value and out.nr_all minus in.nr_skip. Looking over different variant this one looks the best for me (I considered returning error in case of error and there is a received fd. Also I considered returning number of received files as one more member in struct unix_ioc_grab_fds). Signed-off-by: Kirill Tkhai <tkhai@ya.ru> --- include/uapi/linux/un.h | 12 ++++++++ net/unix/af_unix.c | 70 +++++++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 82 insertions(+)