[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [bug-gawk] Adding an API hook to enable a select extension
From: |
Andrew J. Schorr |
Subject: |
Re: [bug-gawk] Adding an API hook to enable a select extension |
Date: |
Fri, 31 May 2013 11:14:39 -0400 |
User-agent: |
Mutt/1.5.21 (2010-09-15) |
On Fri, May 31, 2013 at 06:04:59PM +0300, Eli Zaretskii wrote:
> Gawk is about reading input and writing output. The question we
> should be asking ourselves is "why would a Gawk program want to call a
> function like 'select' or 'poll'?" It certainly will have some
> relation to either reading or writing (or both).
That's pretty much inherent in the nature of select. It allows you
to determine when file descriptors are ready for reading or writing...
> I would suggest then
> to try to integrate 'select' into Gawk I/O functionality somehow,
> either through 'getline' or through some redirection operator.
Select is also required for implementing GUI libraries where asynchronous
callback mechanisms are required. In such a case, getline may not
be appropriate.
I am simply proposing to add one API function to enable extensions
to offer I/O multiplexing features. If you'd like to change the core
gawk language, that's a much bigger discussion. Do you have a
specific proposal?
Regards,
Andy
- [bug-gawk] Issue with read timeout on TCP socket, Serge A. Zaitsev, 2013/05/29
- Re: [bug-gawk] Issue with read timeout on TCP socket, Davide Brini, 2013/05/30
- Re: [bug-gawk] Issue with read timeout on TCP socket, Andrew J. Schorr, 2013/05/30
- Re: [bug-gawk] Adding an API hook to enable a select extension, Andrew J. Schorr, 2013/05/30
- Re: [bug-gawk] Adding an API hook to enable a select extension, Eli Zaretskii, 2013/05/31
- Re: [bug-gawk] Adding an API hook to enable a select extension, Andrew J. Schorr, 2013/05/31
- Re: [bug-gawk] Adding an API hook to enable a select extension, Aharon Robbins, 2013/05/31
- Re: [bug-gawk] Adding an API hook to enable a select extension, Eli Zaretskii, 2013/05/31
- Re: [bug-gawk] Adding an API hook to enable a select extension, Andrew J. Schorr, 2013/05/31
- Re: [bug-gawk] Adding an API hook to enable a select extension, Eli Zaretskii, 2013/05/31
- Re: [bug-gawk] Adding an API hook to enable a select extension,
Andrew J. Schorr <=
- Re: [bug-gawk] Adding an API hook to enable a select extension, Eli Zaretskii, 2013/05/31
- Re: [bug-gawk] Adding an API hook to enable a select extension, Andrew J. Schorr, 2013/05/31
- Re: [bug-gawk] Adding an API hook to enable a select extension, Eli Zaretskii, 2013/05/31
- Re: [bug-gawk] Adding an API hook to enable a select extension, Andrew J. Schorr, 2013/05/31
- Re: [bug-gawk] Adding an API hook to enable a select extension, Eli Zaretskii, 2013/05/31
- Re: [bug-gawk] Adding an API hook to enable a select extension, Andrew J. Schorr, 2013/05/31
- Re: [bug-gawk] Adding an API hook to enable a select extension, Manuel Collado, 2013/05/31
- Re: [bug-gawk] Adding an API hook to enable a select extension, Eli Zaretskii, 2013/05/31
- Re: [bug-gawk] Adding an API hook to enable a select extension, Andrew J. Schorr, 2013/05/31
- Re: [bug-gawk] Adding an API hook to enable a select extension, Eli Zaretskii, 2013/05/31