From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S965225AbXBFA2W (ORCPT ); Mon, 5 Feb 2007 19:28:22 -0500 Received: (majordomo@vger.kernel.org) by vger.kernel.org id S965286AbXBFA2V (ORCPT ); Mon, 5 Feb 2007 19:28:21 -0500 Received: from agminet01.oracle.com ([141.146.126.228]:27307 "EHLO agminet01.oracle.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S965225AbXBFA2U (ORCPT ); Mon, 5 Feb 2007 19:28:20 -0500 Message-ID: <45C7CB80.4040402@oracle.com> Date: Mon, 05 Feb 2007 16:27:44 -0800 From: Scot McKinley User-Agent: Mozilla/5.0 (X11; U; SunOS sun4u; en-US; rv:1.5a) Gecko/20030527 X-Accept-Language: en-us, en MIME-Version: 1.0 To: Linus Torvalds CC: bert hubert , Davide Libenzi , Ingo Molnar , Zach Brown , Linux Kernel Mailing List , linux-aio@kvack.org, Suparna Bhattacharya , Benjamin LaHaise Subject: Re: [PATCH 2 of 4] Introduce i386 fibril scheduling References: <20070201083611.GC18233@elte.hu> <20070202104900.GA13941@elte.hu> <20070202222110.GA1212@elte.hu> <20070205213618.GA30923@outpost.ds9a.nl> In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Brightmail-Tracker: AAAAAQAAAAI= X-Brightmail-Tracker: AAAAAQAAAAI= X-Whitelist: TRUE X-Whitelist: TRUE Sender: linux-kernel-owner@vger.kernel.org X-Mailing-List: linux-kernel@vger.kernel.org As Joel mentioned earlier, from an Oracle perspective, one of the key things we are looking for is a nice clean *common* wait point. We don't really care whether this common wait point is the old libaio:async-poll, epoll, or "wait_for_async". And if "wait_for_async" has the added benefit of scaling, all the better. However, it is desirable for that common wait-routine to have the ability to return explicit completions, instead of requiring a follow-on call to some other query/wait for events/completions for each of the different type of async submissions done (poll, pid, i/o, ...). Obviously not a "must-have", but desirable. It is also desirable (if possible) to have immediate completions (either immediate errs or async submissions that complete synchronously) communicated at submission time, instead of via the common wait-routine. Finally, it is agreed that neg-errno is a much better approach for the return code. The threading/concurrency issues associated w/ the current unix errno has always been buggy area for Oracle Networking code. Regards, -Scot Linus Torvalds wrote: >On Mon, 5 Feb 2007, bert hubert wrote: > > >>>From my end as an application developer, yes please. Either make it >>perfectly ok to have thousands of outstanding asynchronous system calls (I >>work with thousands of separate sockets), or allow me to select/poll/epoll >>on the "async fd". >> >> > >No can do. > >Allocating an fd is actually too expensive, exactly because a lot of these >operations are supposed to be a few hundred ns, and taking locks is simply >a bad idea. > >But if you want to, we could have a *separate* "convert async cookie to >fd" so that you can poll for it, or something. > >I doubt very many people want to do that. It would tend to simply be nicer >to do > > async(poll); > async(waitpid); > async(.. wait foranything else ..) > >followed by a > > wait_for_async(); > >That's just a much NICER approach, I would argue. And it automatically >and very naturally solves the "wait for different kinds of events" >question, in a way that "poll()" never did (except by turning all events >into file descriptors or signals). > > > >>Alternatively, something like SIGIO ('SIGASYS'?) might be considered, but, >>well, the fd might be easier. >> >> > >Again. NO WAY. Signals are just damn expensive. At most, it would be an >option again, but if you want high performance, signals simply aren't very >good. They are also a nice way to make your user-space code very racy. > > > >>In fact, perhaps the communication channel might simply *be* an fd. Queueing >>up syscalls sounds remarkably like sending datagrams. >> >> > >I'm the first to say that file descriptors is the UNIX way, but so are >processes, and I think this is MUCH better done as a "process" interface. >In other words, instead of doing it as a filedescriptor, do it as a >"micro-fork/exec", and have the "wait()" equivalent. It's just that we >don't fork a "real process", and we don't exec a "real program", we just >exec a single system call. > >If you think of it in those terms, it all makes sense *without* any file >descriptors what-so-ever, and the "wait_for_async()" interface also makes >a ton of sense (it really *is* "waitpid()" for the system call). > > Linus > >-- >To unsubscribe, send a message with 'unsubscribe linux-aio' in >the body to majordomo@kvack.org. For more info on Linux AIO, >see: http://www.kvack.org/aio/ >Don't email: aart@kvack.org > >