Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1752445AbXBIWBn (ORCPT ); Fri, 9 Feb 2007 17:01:43 -0500 Received: (majordomo@vger.kernel.org) by vger.kernel.org id S1752449AbXBIWBn (ORCPT ); Fri, 9 Feb 2007 17:01:43 -0500 Received: from smtp.osdl.org ([65.172.181.24]:49291 "EHLO smtp.osdl.org" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1752445AbXBIWBl (ORCPT ); Fri, 9 Feb 2007 17:01:41 -0500 Date: Fri, 9 Feb 2007 14:00:49 -0800 From: Andrew Morton To: Russell King Cc: David Woodhouse , Alexey Dobriyan , linux-kernel@vger.kernel.org, drepper@redhat.com Subject: Re: -mm merge plans for 2.6.21 Message-Id: <20070209140049.9e1e8463.akpm@linux-foundation.org> In-Reply-To: <20070209214944.GA16158@flint.arm.linux.org.uk> References: <20070208150710.1324f6b4.akpm@linux-foundation.org> <1171042535.29713.96.camel@pmac.infradead.org> <20070209134516.2367a7aa.akpm@linux-foundation.org> <20070209214944.GA16158@flint.arm.linux.org.uk> X-Mailer: Sylpheed version 2.2.7 (GTK+ 2.8.6; i686-pc-linux-gnu) Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Sender: linux-kernel-owner@vger.kernel.org X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 18136 Lines: 645 On Fri, 9 Feb 2007 21:49:44 +0000 Russell King wrote: > On Fri, Feb 09, 2007 at 01:45:16PM -0800, Andrew Morton wrote: > > On Fri, 09 Feb 2007 17:35:35 +0000 > > David Woodhouse wrote: > > > > > On Thu, 2007-02-08 at 15:07 -0800, Andrew Morton wrote: > > > > lutimesat-simplify-utime2.patch > > > > lutimesat-extend-do_utimes-with-flags.patch > > > > lutimesat-actual-syscall-and-wire-up-on-i386.patch > > > > > > > > Do we want this? Ulrich says so. Will merge, I guess. > > > > > > I would strongly recommend that in the general case, you don't merge new > > > system calls unless the corresponding compat_ system call is > > > implemented. > > > > Good point. > > > > > This makes sure that people adding system calls will design the API for > > > the new system call appropriately, rather than trying to implement > > > compat support as an afterthought and only then realising that they wish > > > the original had been done differently. We've seen examples of this > > > where it would have been _trivial_ to adjust the API slightly to make > > > compat syscalls a non-issue, but the developer just didn't _think_ about > > > it until the syscall was set in stone. > > > > > > This new system call seems to need compat_ support but lacks it, so I > > > would suggest you shouldn't merge it just yet. > > > > OK, thanks. > > urgh, new system calls... wonder if they fit in the ARM ABI... Looks > fine. What's the ARM ABI? > Are there any other new syscalls sitting around in -mm ? Yes, the AIO listio additions: From: Bharata B Rao This patch provides POSIX listio support by means of a new system call. long lio_submit(aio_context_t ctx_id, int mode, long nr, struct iocb __user * __user *iocbpp, struct sigevent __user *event) This system call is similar to the io_submit() system call, but takes two more arguments. 'mode' argument can be LIO_WAIT or LIO_NOWAIT. 'event' argument specifies the signal notification mechanism. This patch is built on support provided by the aio signal notification patch by Sebastien. The following two structures together provide the support for grouping iocbs belonging to a list (lio). struct aio_notify { struct task_struct *target; __u16 signo; __u16 notify; sigval_t value; struct sigqueue *sigq; }; struct lio_event { atomic_t lio_users; struct aio_notify lio_notify; }; A single lio_event struct is maintained for the list of iocbs. lio_users holds the number of requests attached to this lio and lio_notify has the necessary information for generating completion notification signal. If the mode is LIO_WAIT, the event argument is ignored and the system call waits until all the requests of the lio are completed. If the mode is LIO_NOWAIT, the system call returns immediately after submitting the io requests and may optionally notify the process on list io completion depending on the event argument. Signed-off-by: S_bastien Dugu_ Signed-off-by: Laurent Vivier Signed-off-by: Bharata B Rao Cc: Bharata B Rao Cc: Christoph Hellwig Cc: Suparna Bhattacharya Cc: Zach Brown Cc: Oleg Nesterov Cc: Badari Pulavarty Cc: Benjamin LaHaise Cc: Jean Pierre Dion Cc: Andi Kleen Signed-off-by: Andrew Morton --- arch/i386/kernel/syscall_table.S | 1 arch/x86_64/ia32/ia32entry.S | 4 fs/aio.c | 188 +++++++++++++++++++++++++---- fs/compat.c | 119 +++++++++++++++--- include/asm-i386/unistd.h | 3 include/asm-x86_64/unistd.h | 4 include/linux/aio.h | 14 +- include/linux/aio_abi.h | 5 include/linux/syscalls.h | 2 9 files changed, 295 insertions(+), 45 deletions(-) diff -puN arch/i386/kernel/syscall_table.S~add-listio-syscall-support arch/i386/kernel/syscall_table.S --- a/arch/i386/kernel/syscall_table.S~add-listio-syscall-support +++ a/arch/i386/kernel/syscall_table.S @@ -319,3 +319,4 @@ ENTRY(sys_call_table) .long sys_move_pages .long sys_getcpu .long sys_epoll_pwait + .long sys_lio_submit /* 320 */ diff -puN arch/x86_64/ia32/ia32entry.S~add-listio-syscall-support arch/x86_64/ia32/ia32entry.S --- a/arch/x86_64/ia32/ia32entry.S~add-listio-syscall-support +++ a/arch/x86_64/ia32/ia32entry.S @@ -726,8 +726,10 @@ ia32_sys_call_table: .quad compat_sys_get_robust_list .quad sys_splice .quad sys_sync_file_range - .quad sys_tee + .quad sys_tee /* 315 */ .quad compat_sys_vmsplice .quad compat_sys_move_pages .quad sys_getcpu + .quad quiet_ni_syscall /* sys_epoll_wait */ + .quad compat_sys_lio_submit ia32_syscall_end: diff -puN fs/aio.c~add-listio-syscall-support fs/aio.c --- a/fs/aio.c~add-listio-syscall-support +++ a/fs/aio.c @@ -416,6 +416,7 @@ static struct kiocb fastcall *__aio_get_ req->ki_ctx = ctx; req->ki_cancel = NULL; req->ki_retry = NULL; + req->ki_lio = NULL; req->ki_dtor = NULL; req->private = NULL; req->ki_iovec = NULL; @@ -997,6 +998,72 @@ out_unlock: return -EINVAL; } +/* + * lio_notify + * When all iocbs belonging to an lio are complete, this initiates + * the completion notification for the lio. + * + * NOTE: lio is freed here after the last iocb completes, but only + * for LIO_NOWAIT case. In case of LIO_WAIT, the submitting thread + * waits for iocbs to complete and later frees the lio. + */ +void lio_notify(struct lio_event *lio) +{ + int ret; + + ret = atomic_dec_and_test(&lio->lio_users); + + if (unlikely(ret) && lio->lio_notify.notify != SIGEV_NONE) { + /* last one -> notify process */ + if (aio_send_signal(&lio->lio_notify)) + __sigqueue_free(lio->lio_notify.sigq); + kfree(lio); + } +} + +/* + * lio_create + * Allocates a lio_event structure which groups the iocbs belonging + * to the lio and sets up the completion notification. + * + * Case 1: LIO_NOWAIT and NULL sigevent - No need to group the iocbs + * and hence lio_event is not created. + * Case 2: LIO_NOWAIT and sigvent - lio_event is created and notification + * mechanism is setup. + * Case 3: LIO_WAIT - lio_event is created and sigevent is ignored. + */ +struct lio_event *lio_create(struct sigevent __user *user_event, + int mode) +{ + int ret = 0; + struct lio_event *lio = NULL; + + if (unlikely((mode == LIO_NOWAIT) && !user_event)) + return lio; + + lio = kzalloc(sizeof(*lio), GFP_KERNEL); + + if (!lio) + return ERR_PTR(-EAGAIN); + + /* + * Grab an initial ref on the lio to avoid races between + * submission and completion. + */ + atomic_set(&lio->lio_users, 1); + + lio->lio_notify.notify = SIGEV_NONE; + + if (user_event && (mode == LIO_NOWAIT)) { + ret = aio_setup_sigevent(&lio->lio_notify, user_event); + if (ret) { + kfree(lio); + return ERR_PTR(ret); + } + } + return lio; +} + /* aio_complete * Called when the io request on the given iocb is complete. * Returns true if this is the last user of the request. The @@ -1045,6 +1112,9 @@ int fastcall aio_complete(struct kiocb * * when the event got cancelled. */ if (kiocbIsCancelled(iocb)) { + if (iocb->ki_lio) + lio_notify(iocb->ki_lio); + if (iocb->ki_notify.sigq) __sigqueue_free(iocb->ki_notify.sigq); goto put_rq; @@ -1087,6 +1157,8 @@ int fastcall aio_complete(struct kiocb * __sigqueue_free(iocb->ki_notify.sigq); } + if (iocb->ki_lio) + lio_notify(iocb->ki_lio); put_rq: /* everything turned out well, dispose of the aiocb. */ ret = __aio_put_req(ctx, iocb); @@ -1631,7 +1703,7 @@ static int aio_wake_function(wait_queue_ } int fastcall io_submit_one(struct kioctx *ctx, struct iocb __user *user_iocb, - struct iocb *iocb) + struct iocb *iocb, struct lio_event *lio) { struct kiocb *req; struct file *file; @@ -1692,6 +1764,9 @@ int fastcall io_submit_one(struct kioctx goto out_sigqfree; } + /* Attach this iocb to its lio */ + req->ki_lio = lio; + ret = aio_setup_iocb(req); if (ret) @@ -1719,6 +1794,48 @@ out_put_req: return ret; } +static int io_submit_group(struct kioctx *ctx, long nr, + struct iocb __user * __user *iocbpp, struct lio_event *lio) +{ + int i; + long ret = 0; + + /* + * AKPM: should this return a partial result if some of the IOs were + * successfully submitted? + */ + for (i = 0; i < nr; i++) { + struct iocb __user *user_iocb; + struct iocb tmp; + + if (unlikely(__get_user(user_iocb, iocbpp + i))) { + ret = -EFAULT; + break; + } + + if (unlikely(copy_from_user(&tmp, user_iocb, sizeof(tmp)))) { + ret = -EFAULT; + break; + } + + if (lio) + atomic_inc(&lio->lio_users); + + ret = io_submit_one(ctx, user_iocb, &tmp, lio); + if (ret) { + if (lio) { + /* + * In case of listio, continue with + * the subsequent requests + */ + atomic_dec(&lio->lio_users); + } else + break; + } + } + return i ? i : ret; +} + /* sys_io_submit: * Queue the nr iocbs pointed to by iocbpp for processing. Returns * the number of iocbs queued. May return -EINVAL if the aio_context @@ -1736,7 +1853,6 @@ asmlinkage long sys_io_submit(aio_contex { struct kioctx *ctx; long ret = 0; - int i; if (unlikely((nr*sizeof(*iocbpp)) < 0)) return -EINVAL; @@ -1750,31 +1866,61 @@ asmlinkage long sys_io_submit(aio_contex return -EINVAL; } - /* - * AKPM: should this return a partial result if some of the IOs were - * successfully submitted? - */ - for (i=0; iwait, atomic_read(&lio->lio_users) == 0); + kfree(lio); } +out_put_ctx: put_ioctx(ctx); - return i ? i : ret; + + return ret; } /* lookup_kiocb diff -puN fs/compat.c~add-listio-syscall-support fs/compat.c --- a/fs/compat.c~add-listio-syscall-support +++ a/fs/compat.c @@ -644,24 +644,13 @@ out: return ret; } -asmlinkage long -compat_sys_io_submit(aio_context_t ctx_id, int nr, u32 __user *iocb) +static int compat_io_submit_group(struct kioctx *ctx, long nr, + u32 __user *iocb, struct lio_event *lio) { - struct kioctx *ctx; - long ret = 0; int i; + long ret = 0; - if (unlikely((nr * sizeof(u32)) < 0)) - return -EINVAL; - - if (unlikely(!access_ok(VERIFY_READ, iocb, (nr * sizeof(u32))))) - return -EFAULT; - - ctx = lookup_ioctx(ctx_id); - if (unlikely(!ctx)) - return -EINVAL; - - for (i=0; ilio_users); + + ret = io_submit_one(ctx, user_iocb, &tmp, lio); + if (ret) { + if (lio) { + /* + * In case of listio, continue with + * the subsequent requests + */ + atomic_dec(&lio->lio_users); + } else + break; + } + + } + return i ? i : ret; +} +asmlinkage long +compat_sys_io_submit(aio_context_t ctx_id, int nr, u32 __user *iocb) +{ + struct kioctx *ctx; + long ret = 0; + + if (unlikely((nr*sizeof(u32)) < 0)) + return -EINVAL; + + if (unlikely(!access_ok(VERIFY_READ, iocb, (nr * sizeof(u32))))) + return -EFAULT; + + ctx = lookup_ioctx(ctx_id); + if (unlikely(!ctx)) + return -EINVAL; + + ret = compat_io_submit_group(ctx, nr, iocb, NULL); put_ioctx(ctx); - return i ? i: ret; + return ret; +} + +asmlinkage long +compat_sys_lio_submit(aio_context_t ctx_id, int mode, int nr, u32 __user *iocb, + struct compat_sigevent __user *sig_user) +{ + struct kioctx *ctx; + struct lio_event *lio = NULL; + struct sigevent __user *event = NULL; + long ret = 0; + + if (unlikely((nr*sizeof(u32)) < 0)) + return -EINVAL; + + if (unlikely(!access_ok(VERIFY_READ, iocb, (nr * sizeof(u32))))) + return -EFAULT; + + ctx = lookup_ioctx(ctx_id); + if (unlikely(!ctx)) + return -EINVAL; + + if (sig_user) { + struct sigevent kevent; + event = compat_alloc_user_space(sizeof(struct sigevent)); + if (get_compat_sigevent(&kevent, sig_user) || + copy_to_user(event, &kevent, sizeof(struct sigevent))) { + ret = -EFAULT; + goto out_put_ctx; + } + } + + lio = lio_create(event, mode); + + ret = PTR_ERR(lio); + if (IS_ERR(lio)) + goto out_put_ctx; + + ret = compat_io_submit_group(ctx, nr, iocb, lio); + + /* If we failed to submit even one request just return */ + if (ret < 0) { + if (lio) + kfree(lio); + goto out_put_ctx; + } + + /* + * Drop extra ref on the lio now that we're done submitting requests. + */ + if (lio) + lio_notify(lio); + + if (mode == LIO_WAIT) { + wait_event(ctx->wait, atomic_read(&lio->lio_users) == 0); + kfree(lio); + } + +out_put_ctx: + put_ioctx(ctx); + return ret; } struct compat_ncp_mount_data { diff -puN include/asm-i386/unistd.h~add-listio-syscall-support include/asm-i386/unistd.h --- a/include/asm-i386/unistd.h~add-listio-syscall-support +++ a/include/asm-i386/unistd.h @@ -325,10 +325,11 @@ #define __NR_move_pages 317 #define __NR_getcpu 318 #define __NR_epoll_pwait 319 +#define __NR_lio_submit 320 #ifdef __KERNEL__ -#define NR_syscalls 320 +#define NR_syscalls 321 #define __ARCH_WANT_IPC_PARSE_VERSION #define __ARCH_WANT_OLD_READDIR diff -puN include/asm-x86_64/unistd.h~add-listio-syscall-support include/asm-x86_64/unistd.h --- a/include/asm-x86_64/unistd.h~add-listio-syscall-support +++ a/include/asm-x86_64/unistd.h @@ -619,8 +619,10 @@ __SYSCALL(__NR_sync_file_range, sys_sync __SYSCALL(__NR_vmsplice, sys_vmsplice) #define __NR_move_pages 279 __SYSCALL(__NR_move_pages, sys_move_pages) +#define __NR_lio_submit 280 +__SYSCALL(__NR_lio_submit, sys_lio_submit) -#define __NR_syscall_max __NR_move_pages +#define __NR_syscall_max __NR_lio_submit #ifndef __NO_STUBS #define __ARCH_WANT_OLD_READDIR diff -puN include/linux/aio.h~add-listio-syscall-support include/linux/aio.h --- a/include/linux/aio.h~add-listio-syscall-support +++ a/include/linux/aio.h @@ -63,6 +63,11 @@ struct aio_notify { struct sigqueue *sigq; }; +struct lio_event { + atomic_t lio_users; + struct aio_notify lio_notify; +}; + /* is there a better place to document function pointer methods? */ /** * ki_retry - iocb forward progress callback @@ -117,6 +122,8 @@ struct kiocb { __u64 ki_user_data; /* user's data for completion */ struct wait_bit_queue ki_wait; loff_t ki_pos; + /* lio this iocb might be attached to */ + struct lio_event *ki_lio; atomic_t ki_bio_count; /* num bio used for this iocb */ void *private; @@ -225,12 +232,15 @@ struct mm_struct; extern void FASTCALL(exit_aio(struct mm_struct *mm)); extern struct kioctx *lookup_ioctx(unsigned long ctx_id); extern int FASTCALL(io_submit_one(struct kioctx *ctx, - struct iocb __user *user_iocb, struct iocb *iocb)); + struct iocb __user *user_iocb, struct iocb *iocb, + struct lio_event *lio)); +struct lio_event *lio_create(struct sigevent __user *user_event, int mode); +void lio_notify(struct lio_event *lio); /* semi private, but used by the 32bit emulations: */ struct kioctx *lookup_ioctx(unsigned long ctx_id); int FASTCALL(io_submit_one(struct kioctx *ctx, struct iocb __user *user_iocb, - struct iocb *iocb)); + struct iocb *iocb, struct lio_event *lio)); #define get_ioctx(kioctx) do { \ BUG_ON(atomic_read(&(kioctx)->users) <= 0); \ diff -puN include/linux/aio_abi.h~add-listio-syscall-support include/linux/aio_abi.h --- a/include/linux/aio_abi.h~add-listio-syscall-support +++ a/include/linux/aio_abi.h @@ -45,6 +45,11 @@ enum { IOCB_CMD_PWRITEV = 8, }; +enum { + LIO_WAIT = 0, + LIO_NOWAIT = 1, +}; + /* read() from /dev/aio returns these structures. */ struct io_event { __u64 data; /* the data field from the iocb */ diff -puN include/linux/syscalls.h~add-listio-syscall-support include/linux/syscalls.h --- a/include/linux/syscalls.h~add-listio-syscall-support +++ a/include/linux/syscalls.h @@ -317,6 +317,8 @@ asmlinkage long sys_io_getevents(aio_con struct timespec __user *timeout); asmlinkage long sys_io_submit(aio_context_t, long, struct iocb __user * __user *); +asmlinkage long sys_lio_submit(aio_context_t, int, long, + struct iocb __user * __user *, struct sigevent __user *); asmlinkage long sys_io_cancel(aio_context_t ctx_id, struct iocb __user *iocb, struct io_event __user *result); asmlinkage ssize_t sys_sendfile(int out_fd, int in_fd, _ - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/