GL_IO_MODE(3TECLA) Interactive Command-line Input Library Functions

NAME


gl_io_mode, gl_raw_io, gl_normal_io, gl_tty_signals, gl_abandon_line,
gl_handle_signal, gl_pending_io - use gl_get_line() from an external
event loop

SYNOPSIS


cc [ flag... ] file... -ltecla [ library... ]
#include <libtecla.h>

int gl_io_mode(GetLine *gl, GlIOMode mode);


int gl_raw_io(GetLine *gl);


int gl_normal_io(GetLine *gl);


int gl_tty_signals(void (*term_handler)(int), void (*susp_handler)(int),
void (*cont_handler)(int), void (*size_handler)(int));


void gl_abandon_line(GetLine *gl);


void gl_handle_signal(int signo, GetLine *gl, int ngl);


GlPendingIO gl_pending_io(GetLine *gl);


DESCRIPTION


The gl_get_line(3TECLA) function supports two different I/O modes.
These are selected by calling the gl_io_mode() function. The mode
argument of gl_io_mode() specifies the new I/O mode and must be one
of the following.

GL_NORMAL_MODE
Select the normal blocking-I/O mode. In this mode
gl_get_line() does not return until either an error
occurs of the user finishes entering a new line.


GL_SERVER_MODE
Select non-blocking server I/O mode. In this mode,
since non-blocking terminal I/O is used, the entry
of each new input line typically requires many
calls to gl_get_line() from an external I/O-driven
event loop.


Newly created GetLine objects start in normal I/O mode, so to switch
to non-blocking server mode requires an initial call to gl_io_mode().

Server I/O Mode
In non-blocking server I/O mode, the application is required to have
an event loop that calls gl_get_line() whenever the terminal file
descriptor can perform the type of I/O that gl_get_line() is waiting
for. To determine which type of I/O gl_get_line() is waiting for, the
application calls the gl_pending_io() function. The return value is
one of the following two enumerated values.

GLP_READ
gl_get_line() is waiting to write a character to the
terminal.


GLP_WRITE
gl_get_line() is waiting to read a character from the
keyboard.


If the application is using either the select(3C) or poll(2) function
to watch for I/O on a group of file descriptors, then it should call
the gl_pending_io() function before each call to these functions to
determine which direction of I/O it should tell them to watch for,
and configure their arguments accordingly. In the case of the
select() function, this means using the FD_SET() macro to add the
terminal file descriptor either to the set of file descriptors to be
watched for readability or the set to be watched for writability.


As in normal I/O mode, the return value of gl_get_line() is either a
pointer to a completed input line or NULL. However, whereas in normal
I/O mode a NULL return value always means that an error occurred, in
non-blocking server mode, NULL is also returned when gl_get_line()
cannot read or write to the terminal without blocking. Thus in non-
blocking server mode, in order to determine when a NULL return value
signifies that an error occurred or not, it is necessary to call the
gl_return_status() function. If this function returns the enumerated
value GLR_BLOCKED, gl_get_line() is waiting for I/O and no error has
occurred.


When gl_get_line() returns NULL and gl_return_status() indicates that
this is due to blocked terminal I/O, the application should call
gl_get_line() again when the type of I/O reported by gl_pending_io()
becomes possible. The prompt, start_line and start_pos arguments of
gl_get_line() will be ignored on these calls. If you need to change
the prompt of the line that is currently being edited, you can call
the gl_replace_prompt(3TECLA) function between calls to
gl_get_line().

Giving Up The Terminal


A complication that is unique to non-blocking server mode is that it
requires that the terminal be left in raw mode between calls to
gl_get_line(). If this were not the case, the external event loop
would not be able to detect individual key-presses, and the basic
line editing implemented by the terminal driver would clash with the
editing provided by gl_get_line(). When the terminal needs to be used
for purposes other than entering a new input line with gl_get_line(),
it needs to be restored to a usable state. In particular, whenever
the process is suspended or terminated, the terminal must be returned
to a normal state. If this is not done, then depending on the
characteristics of the shell that was used to invoke the program, the
user could end up with a hung terminal. To this end, the
gl_normal_io() function is provided for switching the terminal back
to the state that it was in when raw mode was last established.


The gl_normal_io() function first flushes any pending output to the
terminal, then moves the cursor to the start of the terminal line
which follows the end of the incompletely entered input line. At this
point it is safe to suspend or terminate the process, and it is safe
for the application to read and write to the terminal. To resume
entry of the input line, the application should call the gl_raw_io()
function.


The gl_normal_io() function starts a new line, redisplays the
partially completed input line (if any), restores the cursor position
within this line to where it was when gl_normal_io() was called, then
switches back to raw, non-blocking terminal mode ready to continue
entry of the input line when gl_get_line() is next called.


Note that in non-blocking server mode, if gl_get_line() is called
after a call to gl_normal_io(), without an intervening call to
gl_raw_io(), gl_get_line() will call gl_raw_mode() itself, and the
terminal will remain in this mode when gl_get_line() returns.

Signal Handling


In the previous section it was pointed out that in non-blocking
server mode, the terminal must be restored to a sane state whenever a
signal is received that either suspends or terminates the process. In
normal I/O mode, this is done for you by gl_get_line(), but in non-
blocking server mode, since the terminal is left in raw mode between
calls to gl_get_line(), this signal handling has to be done by the
application. Since there are many signals that can suspend or
terminate a process, as well as other signals that are important to
gl_get_line(), such as the SIGWINCH signal, which tells it when the
terminal size has changed, the gl_tty_signals() function is provided
for installing signal handlers for all pertinent signals.


The gl_tty_signals() function uses gl_get_line()'s internal list of
signals to assign specified signal handlers to groups of signals. The
arguments of this function are as follows.

term_handler
This is the signal handler that is used to trap
signals that by default terminate any process that
receives them (for example, SIGINT or SIGTERM).


susp_handler
This is the signal handler that is used to trap
signals that by default suspend any process that
receives them, (for example, SIGTSTP or SIGTTOU).


cont_handler
This is the signal handler that is used to trap
signals that are usually sent when a process resumes
after being suspended (usually SIGCONT). Beware that
there is nothing to stop a user from sending one of
these signals at other times.


size_handler
This signal handler is used to trap signals that are
sent to processes when their controlling terminals
are resized by the user (for example, SIGWINCH).


These arguments can all be the same, if so desired, and SIG_IGN
(ignore this signal) or SIG_DFL (use the system-provided default
signal handler) can be specified instead of a function where
pertinent. In particular, it is rarely useful to trap SIGCONT, so the
cont_handler argument will usually be SIG_DFL or SIG_IGN.


The gl_tty_signals() function uses the POSIX sigaction(2) function to
install these signal handlers, and it is careful to use the sa_mask
member of each sigaction structure to ensure that only one of these
signals is ever delivered at a time. This guards against different
instances of these signal handlers from simultaneously trying to
write to common global data, such as a shared sigsetjmp(3C) buffer or
a signal-received flag. The signal handlers installed by this
function should call the gl_handle_signal().


The signo argument tells this function which signal it is being asked
to respond to, and the gl argument should be a pointer to the first
element of an array of ngl GetLine objects. If your application has
only one of these objects, pass its pointer as the gl argument and
specify ngl as 1.


Depending on the signal that is being handled, this function does
different things.

Process termination signals


If the signal that was caught is one of those that by default
terminates any process that receives it, then gl_handle_signal() does
the following steps.

1. First it blocks the delivery of all signals that can be
blocked (ie. SIGKILL and SIGSTOP cannot be blocked).

2. Next it calls gl_normal_io() for each of the ngl GetLine
objects. Note that this does nothing to any of the GetLine
objects that are not currently in raw mode.

3. Next it sets the signal handler of the signal to its
default, process-termination disposition.

4. Next it re-sends the process the signal that was caught.

5. Finally it unblocks delivery of this signal, which results
in the process being terminated.

Process suspension signals


If the default disposition of the signal is to suspend the process,
the same steps are executed as for process termination signals,
except that when the process is later resumed, gl_handle_signal()
continues, and does the following steps.

1. It re-blocks delivery of the signal.

2. It reinstates the signal handler of the signal to the one
that was displaced when its default disposition was
substituted.

3. For any of the GetLine objects that were in raw mode when
gl_handle_signal() was called, gl_handle_signal() then
calls gl_raw_io(), to resume entry of the input lines on
those terminals.

4. Finally, it restores the signal process mask to how it was
when gl_handle_signal() was called.


Note that the process is suspended or terminated using the original
signal that was caught, rather than using the uncatchable SIGSTOP and
SIGKILL signals. This is important, because when a process is
suspended or terminated, the parent of the process may wish to use
the status value returned by the wait system call to figure out which
signal was responsible. In particular, most shells use this
information to print a corresponding message to the terminal. Users
would be rightly confused if when their process received a SIGPIPE
signal, the program responded by sending itself a SIGKILL signal, and
the shell then printed out the provocative statement, "Killed!".

Interrupting The Event Loop


If a signal is caught and handled when the application's event loop
is waiting in select() or poll(), these functions will be aborted
with errno set to EINTR. When this happens the event loop should call
gl_pending_io() before calling select() or poll() again. It should
then arrange for select() or poll() to wait for the type of I/O that
gl_pending_io() reports. This is necessary because any signal handler
that calls gl_handle_signal() will frequently change the type of I/O
that gl_get_line() is waiting for.


If a signal arrives between the statements that configure the
arguments of select() or poll() and the calls to these functions, the
signal will not be seen by these functions, which will then not be
aborted. If these functions are waiting for keyboard input from the
user when the signal is received, and the signal handler arranges to
redraw the input line to accommodate a terminal resize or the
resumption of the process. This redisplay will be delayed until the
user presses the next key. Apart from puzzling the user, this clearly
is not a serious problem. However there is a way, albeit complicated,
to completely avoid this race condition. The following steps
illustrate this.

1. Block all of the signals that gl_get_line() catches, by
passing the signal set returned by gl_list_signals() to
sigprocmask(2).

2. Call gl_pending_io() and set up the arguments of select()
or poll() accordingly.

3. Call sigsetjmp(3C) with a non-zero savemask argument.

4. Initially this sigsetjmp() statement will return zero,
indicating that control is not resuming there after a
matching call to siglongjmp(3C).

5. Replace all of the handlers of the signals that
gl_get_line() is configured to catch, with a signal
handler that first records the number of the signal that
was caught, in a file-scope variable, then calls
siglongjmp() with a non-zero val argument, to return
execution to the above sigsetjmp() statement. Registering
these signal handlers can conveniently be done using the
gl_tty_signals() function.

6. Set the file-scope variable that the above signal handler
uses to record any signal that is caught to -1, so that we
can check whether a signal was caught by seeing if it
contains a valid signal number.

7. Now unblock the signals that were blocked in step 1. Any
signal that was received by the process in between step 1
and now will now be delivered, and trigger our signal
handler, as will any signal that is received until we
block these signals again.

8. Now call select() or poll().

9. When select returns, again block the signals that were
unblocked in step 7.

If a signal is arrived any time during the above steps,
our signal handler will be triggered and cause control to
return to the sigsetjmp() statement, where this time,
sigsetjmp() will return non-zero, indicating that a signal
was caught. When this happens we simply skip the above
block of statements, and continue with the following
statements, which are executed regardless of whether or
not a signal is caught. Note that when sigsetjmp()
returns, regardless of why it returned, the process signal
mask is returned to how it was when sigsetjmp() was
called. Thus the following statements are always executed
with all of our signals blocked.

10. Reinstate the signal handlers that were displaced in step
5.

11. Check whether a signal was caught, by checking the file-
scope variable that the signal handler records signal
numbers in.

12. If a signal was caught, send this signal to the
application again and unblock only this signal so that it
invokes the signal handler which was just reinstated in
step 10.

13. Unblock all of the signals that were blocked in step 7.

Signals Caught By gl_get_line()
Since the application is expected to handle signals in non-blocking
server mode, gl_get_line() does not attempt to duplicate this when it
is being called. If one of the signals that it is configured to catch
is sent to the application while gl_get_line() is being called,
gl_get_line() reinstates the caller's signal handlers, then
immediately before returning, re-sends the signal to the process to
let the application's signal handler handle it. If the process is not
terminated by this signal, gl_get_line() returns NULL, and a
following call to gl_return_status() returns the enumerated value
GLR_SIGNAL.

Aborting Line Input


Often, rather than letting it terminate the process, applications
respond to the SIGINT user-interrupt signal by aborting the current
input line. This can be accomplished in non-blocking server-I/O mode
by not calling gl_handle_signal() when this signal is caught, but by
calling instead the gl_abandon_line() function. This function
arranges that when gl_get_line() is next called, it first flushes any
pending output to the terminal, discards the current input line,
outputs a new prompt on the next line, and finally starts accepting
input of a new input line from the user.

Signal Safe Functions


Provided that certain rules are followed, the gl_normal_io(),
gl_raw_io(), gl_handle_signal(), and gl_abandon_line() functions can
be written to be safely callable from signal handlers. Other
functions in this library should not be called from signal handlers.
For this to be true, all signal handlers that call these functions
must be registered in such a way that only one instance of any one of
them can be running at one time. The way to do this is to use the
POSIX sigaction() function to register all signal handlers, and when
doing this, use the sa_mask member of the corresponding sigaction
structure to indicate that all of the signals whose handlers invoke
the above functions should be blocked when the current signal is
being handled. This prevents two signal handlers from operating on a
GetLine object at the same time.


To prevent signal handlers from accessing a GetLine object while
gl_get_line() or any of its associated public functions are operating
on it, all public functions associated with gl_get_line(), including
gl_get_line() itself, temporarily block the delivery of signals when
they are accessing GetLine objects. Beware that the only signals that
they block are the signals that gl_get_line() is currently configured
to catch, so be sure that if you call any of the above functions from
signal handlers, that the signals that these handlers are assigned to
are configured to be caught by gl_get_line(). See
gl_trap_signal(3TECLA).

Using Timeouts To Poll


If instead of using select() or poll() to wait for I/O your
application needs only to get out of gl_get_line() periodically to
briefly do something else before returning to accept input from the
user, use the gl_inactivity_timeout(3TECLA) function in non-blocking
server mode to specify that a callback function that returns
GLTO_CONTINUE should be called whenever gl_get_line() has been
waiting for I/O for more than a specified amount of time. When this
callback is triggered, gl_get_line() will return NULL and a following
call to gl_return_status() will return GLR_BLOCKED.


The gl_get_line() function will not return until the user has not
typed a key for the specified interval, so if the interval is long
and the user keeps typing, gl_get_line() might not return for a
while. There is no guarantee that it will return in the time
specified.

ATTRIBUTES


See attributes(7) for descriptions of the following attributes:


+--------------------+-----------------+
| ATTRIBUTE TYPE | ATTRIBUTE VALUE |
+--------------------+-----------------+
|Interface Stability | Evolving |
+--------------------+-----------------+
|MT-Level | MT-Safe |
+--------------------+-----------------+

SEE ALSO


libtecla(3LIB), cpl_complete_word(3TECLA), ef_expand_file(3TECLA),
gl_get_line(3TECLA), pca_lookup_file(3TECLA), attributes(7), tecla(7)

January 18, 2020 GL_IO_MODE(3TECLA)

tribblix@gmail.com :: GitHub :: Privacy