Mercurial > hg > xemacs-beta
view src/signal.c @ 665:fdefd0186b75
[xemacs-hg @ 2001-09-20 06:28:42 by ben]
The great integral types renaming.
The purpose of this is to rationalize the names used for various
integral types, so that they match their intended uses and follow
consist conventions, and eliminate types that were not semantically
different from each other.
The conventions are:
-- All integral types that measure quantities of anything are
signed. Some people disagree vociferously with this, but their
arguments are mostly theoretical, and are vastly outweighed by
the practical headaches of mixing signed and unsigned values,
and more importantly by the far increased likelihood of
inadvertent bugs: Because of the broken "viral" nature of
unsigned quantities in C (operations involving mixed
signed/unsigned are done unsigned, when exactly the opposite is
nearly always wanted), even a single error in declaring a
quantity unsigned that should be signed, or even the even more
subtle error of comparing signed and unsigned values and
forgetting the necessary cast, can be catastrophic, as
comparisons will yield wrong results. -Wsign-compare is turned
on specifically to catch this, but this tends to result in a
great number of warnings when mixing signed and unsigned, and
the casts are annoying. More has been written on this
elsewhere.
-- All such quantity types just mentioned boil down to EMACS_INT,
which is 32 bits on 32-bit machines and 64 bits on 64-bit
machines. This is guaranteed to be the same size as Lisp
objects of type `int', and (as far as I can tell) of size_t
(unsigned!) and ssize_t. The only type below that is not an
EMACS_INT is Hashcode, which is an unsigned value of the same
size as EMACS_INT.
-- Type names should be relatively short (no more than 10
characters or so), with the first letter capitalized and no
underscores if they can at all be avoided.
-- "count" == a zero-based measurement of some quantity. Includes
sizes, offsets, and indexes.
-- "bpos" == a one-based measurement of a position in a buffer.
"Charbpos" and "Bytebpos" count text in the buffer, rather than
bytes in memory; thus Bytebpos does not directly correspond to
the memory representation. Use "Membpos" for this.
-- "Char" refers to internal-format characters, not to the C type
"char", which is really a byte.
-- For the actual name changes, see the script below.
I ran the following script to do the conversion. (NOTE: This script
is idempotent. You can safely run it multiple times and it will
not screw up previous results -- in fact, it will do nothing if
nothing has changed. Thus, it can be run repeatedly as necessary
to handle patches coming in from old workspaces, or old branches.)
There are two tags, just before and just after the change:
`pre-integral-type-rename' and `post-integral-type-rename'. When
merging code from the main trunk into a branch, the best thing to
do is first merge up to `pre-integral-type-rename', then apply the
script and associated changes, then merge from
`post-integral-type-change' to the present. (Alternatively, just do
the merging in one operation; but you may then have a lot of
conflicts needing to be resolved by hand.)
Script `fixtypes.sh' follows:
----------------------------------- cut ------------------------------------
files="*.[ch] s/*.h m/*.h config.h.in ../configure.in Makefile.in.in ../lib-src/*.[ch] ../lwlib/*.[ch]"
gr Memory_Count Bytecount $files
gr Lstream_Data_Count Bytecount $files
gr Element_Count Elemcount $files
gr Hash_Code Hashcode $files
gr extcount bytecount $files
gr bufpos charbpos $files
gr bytind bytebpos $files
gr memind membpos $files
gr bufbyte intbyte $files
gr Extcount Bytecount $files
gr Bufpos Charbpos $files
gr Bytind Bytebpos $files
gr Memind Membpos $files
gr Bufbyte Intbyte $files
gr EXTCOUNT BYTECOUNT $files
gr BUFPOS CHARBPOS $files
gr BYTIND BYTEBPOS $files
gr MEMIND MEMBPOS $files
gr BUFBYTE INTBYTE $files
gr MEMORY_COUNT BYTECOUNT $files
gr LSTREAM_DATA_COUNT BYTECOUNT $files
gr ELEMENT_COUNT ELEMCOUNT $files
gr HASH_CODE HASHCODE $files
----------------------------------- cut ------------------------------------
`fixtypes.sh' is a Bourne-shell script; it uses 'gr':
----------------------------------- cut ------------------------------------
#!/bin/sh
# Usage is like this:
# gr FROM TO FILES ...
# globally replace FROM with TO in FILES. FROM and TO are regular expressions.
# backup files are stored in the `backup' directory.
from="$1"
to="$2"
shift 2
echo ${1+"$@"} | xargs global-replace "s/$from/$to/g"
----------------------------------- cut ------------------------------------
`gr' in turn uses a Perl script to do its real work,
`global-replace', which follows:
----------------------------------- cut ------------------------------------
: #-*- Perl -*-
### global-modify --- modify the contents of a file by a Perl expression
## Copyright (C) 1999 Martin Buchholz.
## Copyright (C) 2001 Ben Wing.
## Authors: Martin Buchholz <martin@xemacs.org>, Ben Wing <ben@xemacs.org>
## Maintainer: Ben Wing <ben@xemacs.org>
## Current Version: 1.0, May 5, 2001
# This program is free software; you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation; either version 2, or (at your option)
# any later version.
#
# This program is distributed in the hope that it will be useful, but
# WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
# General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with XEmacs; see the file COPYING. If not, write to the Free
# Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
# 02111-1307, USA.
eval 'exec perl -w -S $0 ${1+"$@"}'
if 0;
use strict;
use FileHandle;
use Carp;
use Getopt::Long;
use File::Basename;
(my $myName = $0) =~ s@.*/@@; my $usage="
Usage: $myName [--help] [--backup-dir=DIR] [--line-mode] [--hunk-mode]
PERLEXPR FILE ...
Globally modify a file, either line by line or in one big hunk.
Typical usage is like this:
[with GNU print, GNU xargs: guaranteed to handle spaces, quotes, etc.
in file names]
find . -name '*.[ch]' -print0 | xargs -0 $0 's/\bCONST\b/const/g'\n
[with non-GNU print, xargs]
find . -name '*.[ch]' -print | xargs $0 's/\bCONST\b/const/g'\n
The file is read in, either line by line (with --line-mode specified)
or in one big hunk (with --hunk-mode specified; it's the default), and
the Perl expression is then evalled with \$_ set to the line or hunk of
text, including the terminating newline if there is one. It should
destructively modify the value there, storing the changed result in \$_.
Files in which any modifications are made are backed up to the directory
specified using --backup-dir, or to `backup' by default. To disable this,
use --backup-dir= with no argument.
Hunk mode is the default because it is MUCH MUCH faster than line-by-line.
Use line-by-line only when it matters, e.g. you want to do a replacement
only once per line (the default without the `g' argument). Conversely,
when using hunk mode, *ALWAYS* use `g'; otherwise, you will only make one
replacement in the entire file!
";
my %options = ();
$Getopt::Long::ignorecase = 0;
&GetOptions (
\%options,
'help', 'backup-dir=s', 'line-mode', 'hunk-mode',
);
die $usage if $options{"help"} or @ARGV <= 1;
my $code = shift;
die $usage if grep (-d || ! -w, @ARGV);
sub SafeOpen {
open ((my $fh = new FileHandle), $_[0]);
confess "Can't open $_[0]: $!" if ! defined $fh;
return $fh;
}
sub SafeClose {
close $_[0] or confess "Can't close $_[0]: $!";
}
sub FileContents {
my $fh = SafeOpen ("< $_[0]");
my $olddollarslash = $/;
local $/ = undef;
my $contents = <$fh>;
$/ = $olddollarslash;
return $contents;
}
sub WriteStringToFile {
my $fh = SafeOpen ("> $_[0]");
binmode $fh;
print $fh $_[1] or confess "$_[0]: $!\n";
SafeClose $fh;
}
foreach my $file (@ARGV) {
my $changed_p = 0;
my $new_contents = "";
if ($options{"line-mode"}) {
my $fh = SafeOpen $file;
while (<$fh>) {
my $save_line = $_;
eval $code;
$changed_p = 1 if $save_line ne $_;
$new_contents .= $_;
}
} else {
my $orig_contents = $_ = FileContents $file;
eval $code;
if ($_ ne $orig_contents) {
$changed_p = 1;
$new_contents = $_;
}
}
if ($changed_p) {
my $backdir = $options{"backup-dir"};
$backdir = "backup" if !defined ($backdir);
if ($backdir) {
my ($name, $path, $suffix) = fileparse ($file, "");
my $backfulldir = $path . $backdir;
my $backfile = "$backfulldir/$name";
mkdir $backfulldir, 0755 unless -d $backfulldir;
print "modifying $file (original saved in $backfile)\n";
rename $file, $backfile;
}
WriteStringToFile ($file, $new_contents);
}
}
----------------------------------- cut ------------------------------------
In addition to those programs, I needed to fix up a few other
things, particularly relating to the duplicate definitions of
types, now that some types merged with others. Specifically:
1. in lisp.h, removed duplicate declarations of Bytecount. The
changed code should now look like this: (In each code snippet
below, the first and last lines are the same as the original, as
are all lines outside of those lines. That allows you to locate
the section to be replaced, and replace the stuff in that
section, verifying that there isn't anything new added that
would need to be kept.)
--------------------------------- snip -------------------------------------
/* Counts of bytes or chars */
typedef EMACS_INT Bytecount;
typedef EMACS_INT Charcount;
/* Counts of elements */
typedef EMACS_INT Elemcount;
/* Hash codes */
typedef unsigned long Hashcode;
/* ------------------------ dynamic arrays ------------------- */
--------------------------------- snip -------------------------------------
2. in lstream.h, removed duplicate declaration of Bytecount.
Rewrote the comment about this type. The changed code should
now look like this:
--------------------------------- snip -------------------------------------
#endif
/* The have been some arguments over the what the type should be that
specifies a count of bytes in a data block to be written out or read in,
using Lstream_read(), Lstream_write(), and related functions.
Originally it was long, which worked fine; Martin "corrected" these to
size_t and ssize_t on the grounds that this is theoretically cleaner and
is in keeping with the C standards. Unfortunately, this practice is
horribly error-prone due to design flaws in the way that mixed
signed/unsigned arithmetic happens. In fact, by doing this change,
Martin introduced a subtle but fatal error that caused the operation of
sending large mail messages to the SMTP server under Windows to fail.
By putting all values back to be signed, avoiding any signed/unsigned
mixing, the bug immediately went away. The type then in use was
Lstream_Data_Count, so that it be reverted cleanly if a vote came to
that. Now it is Bytecount.
Some earlier comments about why the type must be signed: This MUST BE
SIGNED, since it also is used in functions that return the number of
bytes actually read to or written from in an operation, and these
functions can return -1 to signal error.
Note that the standard Unix read() and write() functions define the
count going in as a size_t, which is UNSIGNED, and the count going
out as an ssize_t, which is SIGNED. This is a horrible design
flaw. Not only is it highly likely to lead to logic errors when a
-1 gets interpreted as a large positive number, but operations are
bound to fail in all sorts of horrible ways when a number in the
upper-half of the size_t range is passed in -- this number is
unrepresentable as an ssize_t, so code that checks to see how many
bytes are actually written (which is mandatory if you are dealing
with certain types of devices) will get completely screwed up.
--ben
*/
typedef enum lstream_buffering
--------------------------------- snip -------------------------------------
3. in dumper.c, there are four places, all inside of switch()
statements, where XD_BYTECOUNT appears twice as a case tag. In
each case, the two case blocks contain identical code, and you
should *REMOVE THE SECOND* and leave the first.
author | ben |
---|---|
date | Thu, 20 Sep 2001 06:31:11 +0000 |
parents | af57a77cbc92 |
children | 943eaba38521 |
line wrap: on
line source
/* Handling asynchronous signals. Copyright (C) 1992, 1993, 1994 Free Software Foundation, Inc. Copyright (C) 1995, 1996, 2001 Ben Wing. This file is part of XEmacs. XEmacs is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2, or (at your option) any later version. XEmacs is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with XEmacs; see the file COPYING. If not, write to the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */ /* Synched up with: Not synched with FSF. Split out of keyboard.c. */ #include <config.h> #include "lisp.h" #include "console.h" #include "events.h" /* for signal_fake_event() */ #include "frame.h" #include "process.h" #include "sysdep.h" #include "sysfile.h" #include "syssignal.h" #include "systime.h" /* Set to 1 when a quit-check signal (either a SIGIO interrupt or the asynch. timeout for poll-for-quit) occurs. The QUITP macro may look at this. */ volatile int quit_check_signal_happened; /* Count of the number of times a quit-check signal has occurred. Some stuff in event-Xt.c looks at this. */ volatile int quit_check_signal_tick_count; /* Set to 1 when a SIGINT (or SIGQUIT) interrupt is processed. maybe_read_quit_event() looks at this. */ volatile int sigint_happened; /* Set to 1 when an asynch. timeout signal occurs. */ static volatile int async_timeout_happened; /* Set to 1 when a multiple of SLOWED_DOWN_INTERRUPTS_SECS elapses, after slow_down_interrupts() is called. */ static volatile int slowed_interrupt_timeout_happened; /* This is used to synchronize setting the waiting_for_user_input_p flag. */ static volatile int async_timeout_happened_while_emacs_was_blocking; /* See check_quit() for when this is set. */ int dont_check_for_quit; static int poll_for_quit_id; static int poll_for_sigchld_id; /* This variable is used to communicate to a lisp process-filter/sentinel/asynchronous callback (via the function Fwaiting_for_user_input_p below) whether XEmacs was waiting for user-input when that process-filter was called. */ static int waiting_for_user_input_p; static int interrupts_slowed_down; #define SLOWED_DOWN_INTERRUPTS_SECS 15 #define NORMAL_QUIT_CHECK_TIMEOUT_MSECS 250 #define NORMAL_SIGCHLD_CHECK_TIMEOUT_MSECS 250 /* Used so that signals can break out of system calls that aren't naturally interruptible. */ JMP_BUF break_system_call_jump; volatile int can_break_system_calls; static SIGTYPE alarm_signal (int signo); /**********************************************************************/ /* Asynchronous timeout functions */ /**********************************************************************/ /* See the comment in event-stream.c, under major heading "Timeouts", for the difference between low-level (one-shot) and high-level (periodic/resignaling) timeouts. */ /* The pending timers are stored in an ordered list, where the first timer on the list is the first one to fire. Times recorded here are absolute. */ static struct low_level_timeout *async_timer_queue; /* Nonzero means async timers are temporarily suppressed. */ static int async_timer_suppress_count; static void set_one_shot_timer (EMACS_TIME interval) { #ifdef HAVE_SETITIMER struct itimerval it; it.it_value = interval; EMACS_SET_SECS_USECS (it.it_interval, 0, 0); qxe_setitimer (ITIMER_REAL, &it, 0); #else int secs; EMACS_TIME_TO_INT (interval, secs); alarm (secs); #endif } static void reset_interval_timer (void) { EMACS_TIME interval; /* Get the interval to set. If an interval is available, make sure it's not zero (this is a valid return, but it will cause the timer to get disabled, so convert it to a very short time). */ if (get_low_level_timeout_interval (async_timer_queue, &interval)) { if (EMACS_SECS (interval) == 0 && EMACS_USECS (interval) == 0) EMACS_SET_USECS (interval, 1); } else /* A time of 0 means "disable". */ EMACS_SET_SECS_USECS (interval, 0, 0); set_one_shot_timer (interval); } static void init_async_timeouts (void) { set_timeout_signal (SIGALRM, alarm_signal); async_timer_suppress_count = 0; } /* Turn off async timeouts. */ static void stop_async_timeouts (void) { if (async_timer_suppress_count == 0) { /* If timer was on, turn it off. */ EMACS_TIME thyme; EMACS_SET_SECS_USECS (thyme, 0, 0); set_one_shot_timer (thyme); } async_timer_suppress_count++; } /* Turn on async timeouts again. */ static void start_async_timeouts (void) { assert (async_timer_suppress_count > 0); async_timer_suppress_count--; if (async_timer_suppress_count == 0) { /* Some callers turn off async timeouts and then use the alarm for their own purposes; so reinitialize everything. */ set_timeout_signal (SIGALRM, alarm_signal); reset_interval_timer (); } } static void handle_async_timeout_signal (void) { int interval_id; int wakeup_id; Lisp_Object fun, arg; /* No checks for Vinhibit_quit here or anywhere else in this file!!! Otherwise critical quit will not work right. The only check for Vinhibit_quit is in QUIT itself. */ interval_id = pop_low_level_timeout (&async_timer_queue, 0); reset_interval_timer (); if (async_timeout_happened_while_emacs_was_blocking) { async_timeout_happened_while_emacs_was_blocking = 0; waiting_for_user_input_p = 1; } wakeup_id = event_stream_resignal_wakeup (interval_id, 1, &fun, &arg); if (wakeup_id == poll_for_quit_id) { quit_check_signal_happened = 1; quit_check_signal_tick_count++; } else if (wakeup_id == poll_for_sigchld_id) { kick_status_notify (); } else /* call1 GC-protects its arguments */ call1_trapping_errors ("Error in asynchronous timeout callback", fun, arg); waiting_for_user_input_p = 0; } /* The following two functions are the external interface onto creating/deleting asynchronous interval timeouts, and are called by event-stream.c. We call back to event-stream.c using event_stream_resignal_wakeup(), when an interval goes off. */ int signal_add_async_interval_timeout (EMACS_TIME thyme) { int id = add_low_level_timeout (&async_timer_queue, thyme); /* If this timeout is at the head of the queue, then we need to set the timer right now for this timeout. Otherwise, things are fine as-is; after the timers ahead of us are signalled, the timer will be set for us. */ if (async_timer_queue->id == id) reset_interval_timer (); return id; } void signal_remove_async_interval_timeout (int id) { int first = (async_timer_queue && async_timer_queue->id == id); remove_low_level_timeout (&async_timer_queue, id); /* If we removed the timeout from the head of the queue, then we need to reset the interval timer right now. */ if (first) reset_interval_timer (); } /* If alarm() gets called when polling isn't disabled, it will mess up the asynchronous timeouts, and then C-g checking won't work again. Some libraries call alarm() directly, so we override the standard library's alarm() and abort() if the caller of the library function didn't wrap in stop_interrupts()/start_interrupts(). NOTE: We could potentially avoid the need to wrap by adding a one-shot timeout to simulate the alarm(), smashing our signal handler back into place, and calling the library function when the alarm goes off. But do we want to? We're not going to gain the ability to C-g out of library functions this way (unless we forcibly longjmp() out of a signal handler, which is likely to lead to a crash). --ben */ #ifdef HAVE_SETITIMER unsigned int alarm (unsigned int howlong) { struct itimerval old_it, new_it; assert (async_timer_suppress_count > 0); new_it.it_value.tv_sec = howlong; new_it.it_value.tv_usec = 0; new_it.it_interval.tv_sec = 0; new_it.it_interval.tv_usec = 0; qxe_setitimer (ITIMER_REAL, &new_it, &old_it); /* Never return zero if there was a timer outstanding. */ return old_it.it_value.tv_sec + (old_it.it_value.tv_usec > 0 ? 1 : 0); } int qxe_setitimer (int kind, const struct itimerval *itnew, struct itimerval *itold) { #if defined (WIN32_NATIVE) || defined (CYGWIN) /* setitimer() does not exist on native MS Windows, and appears broken on Cygwin. See win32.c. We are emulating the Unix98 setitimer() function, as found in its incarnations on modern versions of Unix. Note however that in the win32.c version, ITNEW and ITOLD must be equal if both are non-zero, due to limitations in the underlying multimedia-timer API. */ return mswindows_setitimer (kind, itnew, itold); #else /* YUCK! glibc defines setitimer's first argument as enum __itimer_which, not int, which causes compile errors if we call setitimer() in the obvious way. */ switch (kind) { case ITIMER_REAL: return setitimer (ITIMER_REAL, itnew, itold); case ITIMER_VIRTUAL: return setitimer (ITIMER_VIRTUAL, itnew, itold); case ITIMER_PROF: return setitimer (ITIMER_PROF, itnew, itold); default: abort (); return 0; } #endif } #endif /* HAVE_SETITIMER */ signal_handler_t set_timeout_signal (int signal_number, signal_handler_t action) { #ifdef CYGWIN_BROKEN_SIGNALS return mswindows_sigset (signal_number, action); #else return EMACS_SIGNAL (signal_number, action); #endif } DEFUN ("waiting-for-user-input-p", Fwaiting_for_user_input_p, 0, 0, 0, /* Return non-nil if XEmacs is waiting for input from the user. This is intended for use by asynchronous timeout callbacks and by asynchronous process output filters and sentinels (not yet implemented in XEmacs). It will always be nil if XEmacs is not inside of an asynchronous timeout or process callback. */ ()) { return waiting_for_user_input_p ? Qt : Qnil; } /**********************************************************************/ /* Enabling/disabling signals */ /**********************************************************************/ static int interrupts_initted; void stop_interrupts (void) { if (!interrupts_initted) return; #if defined(SIGIO) && !defined(BROKEN_SIGIO) unrequest_sigio (); #endif stop_async_timeouts (); } void start_interrupts (void) { if (!interrupts_initted) return; #if defined(SIGIO) && !defined(BROKEN_SIGIO) request_sigio (); #endif start_async_timeouts (); } static void establish_slow_interrupt_timer (void) { EMACS_TIME thyme; EMACS_SET_SECS_USECS (thyme, SLOWED_DOWN_INTERRUPTS_SECS, 0); set_one_shot_timer (thyme); } /* Some functions don't like being interrupted with SIGALRM or SIGIO. Previously we were calling stop_interrupts() / start_interrupts(), but then if the program hangs in one of those functions, e.g. waiting for a connect(), we're really screwed. So instead we just "slow them down". We do this by disabling all interrupts and then installing a timer of length fairly large, like 5 or 10 secs. That way, any "legitimate" connections (which should take a fairly short amount of time) go through OK, but we can interrupt bogus ones. */ void slow_down_interrupts (void) { /* We have to set the flag *before* setting the slowed-down timer, to avoid a race condition -- if the signal occurs between the call to set_one_shot_timer() and the setting of this flag, async_timeout_happened will get set, which will be a Bad Thing if there were no timeouts on the queue. */ interrupts_slowed_down++; if (interrupts_slowed_down == 1) { stop_interrupts (); establish_slow_interrupt_timer (); } } void speed_up_interrupts (void) { if (interrupts_slowed_down > 0) { start_interrupts (); /* Change this flag AFTER fiddling with interrupts, for the same race-condition reasons as above. */ interrupts_slowed_down--; } } /* Cheesy but workable implementation of sleep() that doesn't interfere with our periodic timers. */ void emacs_sleep (int secs) { stop_interrupts (); sleep (secs); start_interrupts (); } /**********************************************************************/ /* The mechanism that drives it all */ /**********************************************************************/ /* called from QUIT when something_happened gets set (as a result of a signal) */ int check_what_happened (void) { something_happened = 0; if (async_timeout_happened) { async_timeout_happened = 0; handle_async_timeout_signal (); } if (slowed_interrupt_timeout_happened) { slowed_interrupt_timeout_happened = 0; establish_slow_interrupt_timer (); } return check_quit (); } #ifdef SIGIO /* Signal handler for SIGIO. */ static void input_available_signal (int signo) { something_happened = 1; /* tell QUIT to wake up */ quit_check_signal_happened = 1; quit_check_signal_tick_count++; EMACS_REESTABLISH_SIGNAL (signo, input_available_signal); SIGRETURN; } #endif /* SIGIO */ /* Actual signal handler for SIGALRM. Called when: -- asynchronous timeouts (added with `add-async-timeout') go off -- when the poll-for-quit timer (used for C-g handling; more or less when SIGIO is unavailable or BROKEN_SIGIO is defined) or poll-for-sigchld timer (used when BROKEN_SIGCHLD is defined) go off. The latter two timers, if set, normally go off every 1/4 of a second -- see NORMAL_QUIT_CHECK_TIMEOUT_MSECS and NORMAL_SIGCHLD_CHECK_TIMEOUT_MSECS. (Both of these timers are treated like other asynchronous timeouts, but special-cased in handle_async_timeout_signal().) -- we called slow_down_interrupts() and SLOWED_DOWN_INTERRUPTS_SECS (or a multiple of it) has elapsed. Note that under Windows, we have no working setitimer(), so we simulate it using the multimedia timeout functions, e.g. timeSetEvent(). See setitimer() in nt.c. Note also that we don't actually *do* anything here (except in the case of can_break_system_calls). Instead, we just set various flags; next time QUIT is called, the flags will cause check_what_happened() to be called, at which point we do everything indicated by the flags. */ static SIGTYPE alarm_signal (int signo) { something_happened = 1; /* tell QUIT to wake up and call check_what_happened() */ if (interrupts_slowed_down) { /* we are in "slowed-down interrupts" mode; the only alarm happening here is the slowed-down quit-check alarm, so we set this flag. Do NOT set async_timeout_happened, because we don't want anyone looking at the timeout queue -- async timeouts are disabled. */ quit_check_signal_happened = 1; quit_check_signal_tick_count++; /* make sure we establish the slow timer again. */ slowed_interrupt_timeout_happened = 1; /* can_break_system_calls is set when we want to break out of non-interruptible system calls. */ if (can_break_system_calls) { /* reset the flag for safety and such. Do this *before* unblocking or reestablishing the signal to avoid potential race conditions. */ can_break_system_calls = 0; #ifndef WIN32_NATIVE /* #### I didn't add this WIN32_NATIVE check. I'm not sure why it's here. But then again, someone needs to review this can_break_system_calls stuff and see if it still makes sense. --ben */ EMACS_UNBLOCK_SIGNAL (signo); EMACS_REESTABLISH_SIGNAL (signo, alarm_signal); LONGJMP (break_system_call_jump, 0); #endif } } else { async_timeout_happened = 1; if (emacs_is_blocking) async_timeout_happened_while_emacs_was_blocking = 1; /* #### This is for QUITP. When it is run, it may not be the place to do arbitrary stuff like run asynch. handlers, but it needs to know whether the poll-for-quit asynch. timeout went off. Rather than put the code in to compute this specially, we just set this flag. Should fix this. */ quit_check_signal_happened = 1; #ifdef HAVE_UNIXOID_EVENT_LOOP signal_fake_event (); #endif } EMACS_REESTABLISH_SIGNAL (signo, alarm_signal); SIGRETURN; } /* Set this for debugging, to have a way to get out */ int stop_character; /* #### not currently implemented */ /* Signal handler for SIGINT and SIGQUIT. On TTY's, one of these two signals will get generated in response to C-g. (When running under X, C-g is handled using the SIGIO handler, which sets a flag telling the QUIT macro to scan the unread events for a ^G.) */ static SIGTYPE interrupt_signal (int sig) { /* This function can call lisp */ /* #### we should NOT be calling lisp from a signal handler, boys and girls */ /* Must preserve main program's value of errno. */ int old_errno = errno; EMACS_REESTABLISH_SIGNAL (sig, interrupt_signal); if (sigint_happened && CONSOLEP (Vcontrolling_terminal) && CONSOLE_LIVE_P (XCONSOLE (Vcontrolling_terminal)) && !emacs_is_blocking) { /* #### this is inherited from GNU Emacs. Do we really want this? --ben */ char c; fflush (stdout); reset_initial_console (); EMACS_UNBLOCK_SIGNAL (sig); #ifdef SIGTSTP /* Support possible in later USG versions */ /* * On systems which can suspend the current process and return to the original * shell, this command causes the user to end up back at the shell. * The "Auto-save" and "Abort" questions are not asked until * the user elects to return to emacs, at which point he can save the current * job and either dump core or continue. */ sys_suspend (); #else /* Perhaps should really fork an inferior shell? But that would not provide any way to get back to the original shell, ever. */ stdout_out ("No support for stopping a process on this operating system;\n"); stdout_out ("you can continue or abort.\n"); #endif /* not SIGTSTP */ stdout_out ("Auto-save? (y or n) "); if (((c = getc (stdin)) & ~040) == 'Y') Fdo_auto_save (Qnil, Qnil); while (c != '\n') c = getc (stdin); stdout_out ("Abort (and dump core)? (y or n) "); if (((c = getc (stdin)) & ~040) == 'Y') abort (); while (c != '\n') c = getc (stdin); stdout_out ("Continuing...\n"); reinit_initial_console (); MARK_FRAME_CHANGED (XFRAME (DEVICE_SELECTED_FRAME (XDEVICE (CONSOLE_SELECTED_DEVICE (XCONSOLE (Vcontrolling_terminal)))))); } else { /* Else request quit when it's safe */ Vquit_flag = Qt; sigint_happened = 1; #ifdef HAVE_UNIXOID_EVENT_LOOP signal_fake_event (); #endif } errno = old_errno; SIGRETURN; } /**********************************************************************/ /* Control-G checking */ /**********************************************************************/ static Lisp_Object restore_dont_check_for_quit (Lisp_Object val) { dont_check_for_quit = XINT (val); return Qnil; } void begin_dont_check_for_quit (void) { specbind (Qinhibit_quit, Qt); record_unwind_protect (restore_dont_check_for_quit, make_int (dont_check_for_quit)); dont_check_for_quit = 1; } /* The effect of this function is to set Vquit_flag if the user pressed ^G and discard the ^G, so as to not notice the same ^G again. */ int check_quit (void) { /* dont_check_for_quit is set in two circumstances: (1) when we are in the process of changing the window configuration. The frame might be in an inconsistent state, which will cause assertion failures if we check for QUIT. (2) when we are reading events, and want to read the C-g as an event. The normal check for quit will discard the C-g, which would be bad. #### C-g is still often read as quit, e.g. if you type C-x C-g (the C-g happens during the sit-for in maybe_echo_keys(); even if we attempt to inhibit quit here, there is still a check later on for QUIT. To fix this properly requires a fairly substantial overhaul of the quit-checking code, which is probably not worth it.) We should *not* conditionalize on Vinhibit_quit, or critical-quit (Control-Shift-G) won't work right. */ if (dont_check_for_quit) return 0; if (quit_check_signal_happened) { quit_check_signal_happened = 0; event_stream_quit_p (); return 1; } else return 0; } void init_poll_for_quit (void) { #if !defined (SIGIO) && !defined (DONT_POLL_FOR_QUIT) /* Check for C-g every 1/4 of a second. #### This is just a guess. Some investigation will have to be done to see what the best value is. The best value is the smallest possible value that doesn't cause a significant amount of running time to be spent in C-g checking. */ if (!poll_for_quit_id) poll_for_quit_id = event_stream_generate_wakeup (NORMAL_QUIT_CHECK_TIMEOUT_MSECS, NORMAL_QUIT_CHECK_TIMEOUT_MSECS, Qnil, Qnil, 1); #endif /* not SIGIO and not DONT_POLL_FOR_QUIT */ } #if 0 /* not used anywhere */ void reset_poll_for_quit (void) { #if !defined (SIGIO) && !defined (DONT_POLL_FOR_QUIT) if (poll_for_quit_id) { event_stream_disable_wakeup (poll_for_quit_id, 1); poll_for_quit_id = 0; } #endif /* not SIGIO and not DONT_POLL_FOR_QUIT */ } #endif /* 0 */ #if defined(HAVE_UNIX_PROCESSES) && !defined(SIGCHLD) static void init_poll_for_sigchld (void) { /* Check for terminated processes every 1/4 of a second. #### This is just a guess. Some investigation will have to be done to see what the best value is. The best value is the smallest possible value that doesn't cause a significant amount of running time to be spent in process-termination checking. */ poll_for_sigchld_id = event_stream_generate_wakeup (NORMAL_SIGCHLD_CHECK_TIMEOUT_MSECS, NORMAL_SIGCHLD_CHECK_TIMEOUT_MSECS, Qnil, Qnil, 1); } #endif /* not SIGCHLD */ /************************************************************************/ /* initialization */ /************************************************************************/ /* If we've been nohup'ed, keep it that way. This allows `nohup xemacs &' to work. More generally, if a normally fatal signal has been redirected to SIG_IGN by our invocation environment, trust the environment. This keeps xemacs from being killed by a SIGQUIT intended for a different process after having been backgrounded under a non-job-control shell! */ static void handle_signal_if_fatal (int signo) { if (EMACS_SIGNAL (signo, fatal_error_signal) == SIG_IGN) EMACS_SIGNAL (signo, SIG_IGN); } void init_signals_very_early (void) { /* Catch all signals that would kill us. Don't catch these signals in batch mode if not initialized. On some machines, this sets static data that would make signal fail to work right when the dumped Emacs is run. */ if (noninteractive && !initialized) return; handle_signal_if_fatal (SIGILL); /* ANSI */ handle_signal_if_fatal (SIGABRT); /* ANSI */ handle_signal_if_fatal (SIGFPE); /* ANSI */ handle_signal_if_fatal (SIGSEGV); /* ANSI */ handle_signal_if_fatal (SIGTERM); /* ANSI */ #ifdef SIGHUP handle_signal_if_fatal (SIGHUP); /* POSIX */ #endif #ifdef SIGQUIT handle_signal_if_fatal (SIGQUIT); /* POSIX */ #endif #ifdef SIGTRAP handle_signal_if_fatal (SIGTRAP); /* POSIX */ #endif #ifdef SIGUSR1 handle_signal_if_fatal (SIGUSR1); /* POSIX */ #endif #ifdef SIGUSR2 handle_signal_if_fatal (SIGUSR2); /* POSIX */ #endif #ifdef SIGPIPE handle_signal_if_fatal (SIGPIPE); /* POSIX */ #endif #ifdef SIGALRM /* This will get reset later, once we're capable of handling it properly. */ handle_signal_if_fatal (SIGALRM); /* POSIX */ #endif #ifdef SIGBUS handle_signal_if_fatal (SIGBUS); /* XPG5 */ #endif #ifdef SIGSYS handle_signal_if_fatal (SIGSYS); /* XPG5 */ #endif #ifdef SIGXCPU handle_signal_if_fatal (SIGXCPU); /* XPG5 */ #endif #ifdef SIGXFSZ handle_signal_if_fatal (SIGXFSZ); /* XPG5 */ #endif #ifdef SIGVTALRM handle_signal_if_fatal (SIGVTALRM); /* XPG5 */ #endif #ifdef SIGPROF /* Messes up the REAL profiler */ /* handle_signal_if_fatal (SIGPROF); */ /* XPG5 */ #endif #ifdef SIGHWE handle_signal_if_fatal (SIGHWE); #endif #ifdef SIGPRE handle_signal_if_fatal (SIGPRE); #endif #ifdef SIGORE handle_signal_if_fatal (SIGORE); #endif #ifdef SIGUME handle_signal_if_fatal (SIGUME); #endif #ifdef SIGDLK handle_signal_if_fatal (SIGDLK); #endif #ifdef SIGCPULIM handle_signal_if_fatal (SIGCPULIM); #endif #ifdef SIGIOT handle_signal_if_fatal (SIGIOT); #endif #ifdef SIGEMT handle_signal_if_fatal (SIGEMT); #endif #ifdef SIGLOST handle_signal_if_fatal (SIGLOST); #endif #ifdef SIGSTKFLT /* coprocessor stack fault under Linux */ handle_signal_if_fatal (SIGSTKFLT); #endif #ifdef SIGUNUSED /* exists under Linux, and will kill process! */ handle_signal_if_fatal (SIGUNUSED); #endif #ifdef AIX /* 20 is SIGCHLD, 21 is SIGTTIN, 22 is SIGTTOU. */ #ifndef _I386 handle_signal_if_fatal (SIGIOINT); #endif handle_signal_if_fatal (SIGGRANT); handle_signal_if_fatal (SIGRETRACT); handle_signal_if_fatal (SIGSOUND); handle_signal_if_fatal (SIGMSG); #endif /* AIX */ #ifdef SIGDANGER /* This just means available memory is getting low. */ EMACS_SIGNAL (SIGDANGER, memory_warning_signal); #endif } void syms_of_signal (void) { DEFSUBR (Fwaiting_for_user_input_p); } void init_interrupts_late (void) { if (!noninteractive) { EMACS_SIGNAL (SIGINT, interrupt_signal); #ifdef HAVE_TERMIO /* On systems with TERMIO, C-g is set up for both SIGINT and SIGQUIT and we can't tell which one it will give us. */ EMACS_SIGNAL (SIGQUIT, interrupt_signal); #endif /* HAVE_TERMIO */ init_async_timeouts (); #ifdef SIGIO EMACS_SIGNAL (SIGIO, input_available_signal); # ifdef SIGPOLL /* XPG5 */ /* Some systems (e.g. Motorola SVR4) losingly have different values for SIGIO and SIGPOLL, and send SIGPOLL instead of SIGIO. On those same systems, an uncaught SIGPOLL kills the process. */ EMACS_SIGNAL (SIGPOLL, input_available_signal); # endif #elif !defined (DONT_POLL_FOR_QUIT) init_poll_for_quit (); #endif } #if defined(HAVE_UNIX_PROCESSES) && !defined(SIGCHLD) init_poll_for_sigchld (); #endif EMACS_UNBLOCK_ALL_SIGNALS (); interrupts_initted = 1; }