comparison src/signal.c @ 2367:ecf1ebac70d8

[xemacs-hg @ 2004-11-04 23:05:23 by ben] commit mega-patch configure.in: Turn off -Winline and -Wchar-subscripts. Use the right set of cflags when compiling modules. Rewrite ldap configuration to separate the inclusion of lber (needed in recent Cygwin) from the basic checks for the needed libraries. add a function for MAKE_JUNK_C; initially code was added to generate xemacs.def using this, but it will need to be rewritten. add an rm -f for junk.c to avoid weird Cygwin bug with cp -f onto an existing file. Sort list of auto-detected functions and eliminate unused checks for stpcpy, setlocale and getwd. Add autodetection of Cygwin scanf problems BETA: Rewrite section on configure to indicate what flags are important and what not. digest-doc.c, make-dump-id.c, profile.c, sorted-doc.c: Add proper decls for main(). make-msgfile.c: Document that this is old junk. Move proposal to text.c. make-msgfile.lex: Move proposal to text.c. make-mswin-unicode.pl: Convert error-generating code so that the entire message will be seen as a single unrecognized token. mule/mule-ccl.el: Update docs. lispref/mule.texi: Update CCL docs. ldap/eldap.c: Mule-ize. Use EXTERNAL_LIST_LOOP_2 instead of deleted EXTERNAL_LIST_LOOP. * XEmacs 21.5.18 "chestnut" is released. --------------------------------------------------------------- MULE-RELATED WORK: --------------------------------------------------------------- --------------------------- byte-char conversion --------------------------- buffer.c, buffer.h, insdel.c, text.c: Port FSF algorithm for byte-char conversion, replacing broken previous version. Track the char position of the gap. Add functions to do char-byte conversion downwards as well as upwards. Move comments about algorithm workings to internals manual. --------------------------- work on types --------------------------- alloc.c, console-x-impl.h, dump-data.c, dump-data.h, dumper.c, dialog-msw.c, dired-msw.c, doc.c, editfns.c, esd.c, event-gtk.h, event-msw.c, events.c, file-coding.c, file-coding.h, fns.c, glyphs-eimage.c, glyphs-gtk.c, glyphs-msw.c, glyphs-shared.c, glyphs-x.c, glyphs.c, glyphs.h, gui.c, hpplay.c, imgproc.c, intl-win32.c, lrecord.h, lstream.c, keymap.c, lisp.h, libsst.c, linuxplay.c, miscplay.c, miscplay.h, mule-coding.c, nas.c, nt.c, ntheap.c, ntplay.c, objects-msw.c, objects-tty.c, objects-x.c, print.c, process-nt.c, process.c, redisplay.h, select-common.h, select-gtk.c, select-x.c, sgiplay.c, sound.c, sound.h, sunplay.c, sysfile.h, sysdep.c, syswindows.h, text.c, unexnt.c, win32.c, xgccache.c: Further work on types. This creates a full set of types for all the basic semantics of `char' that I have so far identified, so that its semantics can always be identified for the purposes of proper Mule-safe code, and the raw use of `char' always avoided. (1) More type renaming, for consistency of naming. Char_ASCII -> Ascbyte UChar_ASCII -> UAscbyte Char_Binary -> CBinbyte UChar_Binary -> Binbyte SChar_Binary -> SBinbyte (2) Introduce Rawbyte, CRawbyte, Boolbyte, Chbyte, UChbyte, and Bitbyte and use them. (3) New types Itext, Wexttext and Textcount for separating out the concepts of bytes and textual units (different under UTF-16 and UTF-32, which are potential internal encodings). (4) qxestr*_c -> qxestr*_ascii. lisp.h: New; goes with other qxe() functions. #### Maybe goes in a different section. lisp.h: Group generic int-type defs together with EMACS_INT defs. lisp.h: * lisp.h (WEXTTEXT_IS_WIDE) New defns. lisp.h: New type to replace places where int occurs as a boolean. It's signed because occasionally people may want to use -1 as an error value, and because unsigned ints are viral -- see comments in the internals manual against using them. dynarr.c: int -> Bytecount. --------------------------- Mule-izing --------------------------- device-x.c: Partially Mule-ize. dumper.c, dumper.h: Mule-ize. Use Rawbyte. Use stderr_out not printf. Use wext_*(). sysdep.c, syswindows.h, text.c: New Wexttext API for manipulation of external text that may be Unicode (e.g. startup code under Windows). emacs.c: Mule-ize. Properly deal with argv in external encoding. Use wext_*() and Wexttext. Use Rawbyte. #if 0 some old junk on SCO that is unlikely to be correct. Rewrite allocation code in run-temacs. emacs.c, symsinit.h, win32.c: Rename win32 init function and call it even earlier, to initialize mswindows_9x_p even earlier, for use in startup code (XEUNICODE_P). process.c: Use _wenviron not environ under Windows, to get Unicode environment variables. event-Xt.c: Mule-ize drag-n-drop related stuff. dragdrop.c, dragdrop.h, frame-x.c: Mule-ize. text.h: Add some more stand-in defines for particular kinds of conversion; use in Mule-ization work in frame-x.c etc. --------------------------- Freshening --------------------------- intl-auto-encap-win32.c, intl-auto-encap-win32.h: Regenerate. --------------------------- Unicode-work --------------------------- intl-win32.c, syswindows.h: Factor out common options to MultiByteToWideChar and WideCharToMultiByte. Add convert_unicode_to_multibyte_malloc() and convert_unicode_to_multibyte_dynarr() and use. Add stuff for alloca() conversion of multibyte/unicode. alloc.c: Use dfc_external_data_len() in case of unicode coding system. alloc.c, mule-charset.c: Don't zero out and reinit charset Unicode tables. This fucks up dump-time loading. Anyway, either we load them at dump time or run time, never both. unicode.c: Dump the blank tables as well. --------------------------------------------------------------- DOCUMENTATION, MOSTLY MULE-RELATED: --------------------------------------------------------------- EmacsFrame.c, emodules.c, event-Xt.c, fileio.c, input-method-xlib.c, mule-wnnfns.c, redisplay-gtk.c, redisplay-tty.c, redisplay-x.c, regex.c, sysdep.c: Add comment about Mule work needed. text.h: Add more documentation describing why DFC routines were not written to return their value. Add some other DFC documentation. console-msw.c, console-msw.h: Add pointer to docs in win32.c. emacs.c: Add comments on sources of doc info. text.c, charset.h, unicode.c, intl-win32.c, intl-encap-win32.c, text.h, file-coding.c, mule-coding.c: Collect background comments and related to text matters and internationalization, and proposals for work to be done, in text.c or Internals manual, stuff related to specific textual API's in text.h, and stuff related to internal implementation of Unicode conversion in unicode.c. Put lots of pointers to the comments to make them easier to find. s/mingw32.h, s/win32-common.h, s/win32-native.h, s/windowsnt.h, win32.c: Add bunches of new documentation on the different kinds of builds and environments under Windows and how they work. Collect this info in win32.c. Add pointers to these docs in the relevant s/* files. emacs.c: Document places with long comments. Remove comment about exiting, move to internals manual, put in pointer. event-stream.c: Move docs about event queues and focus to internals manual, put in pointer. events.h: Move docs about event stream callbacks to internals manual, put in pointer. profile.c, redisplay.c, signal.c: Move documentation to the Internals manual. process-nt.c: Add pointer to comment in win32-native.el. lisp.h: Add comments about some comment conventions. lisp.h: Add comment about the second argument. device-msw.c, redisplay-msw.c: @@#### comments are out-of-date. --------------------------------------------------------------- PDUMP WORK (MOTIVATED BY UNICODE CHANGES) --------------------------------------------------------------- alloc.c, buffer.c, bytecode.c, console-impl.h, console.c, device.c, dumper.c, lrecord.h, elhash.c, emodules.h, events.c, extents.c, frame.c, glyphs.c, glyphs.h, mule-charset.c, mule-coding.c, objects.c, profile.c, rangetab.c, redisplay.c, specifier.c, specifier.h, window.c, lstream.c, file-coding.h, file-coding.c: PDUMP: Properly implement dump_add_root_block(), which never worked before, and is necessary for dumping Unicode tables. Pdump name changes for accuracy: XD_STRUCT_PTR -> XD_BLOCK_PTR. XD_STRUCT_ARRAY -> XD_BLOCK_ARRAY. XD_C_STRING -> XD_ASCII_STRING. *_structure_* -> *_block_*. lrecord.h: some comments added about dump_add_root_block() vs dump_add_root_block_ptr(). extents.c: remove incorrect comment about pdump problems with gap array. --------------------------------------------------------------- ALLOCATION --------------------------------------------------------------- abbrev.c, alloc.c, bytecode.c, casefiddle.c, device-msw.c, device-x.c, dired-msw.c, doc.c, doprnt.c, dragdrop.c, editfns.c, emodules.c, file-coding.c, fileio.c, filelock.c, fns.c, glyphs-eimage.c, glyphs-gtk.c, glyphs-msw.c, glyphs-x.c, gui-msw.c, gui-x.c, imgproc.c, intl-win32.c, lread.c, menubar-gtk.c, menubar.c, nt.c, objects-msw.c, objects-x.c, print.c, process-nt.c, process-unix.c, process.c, realpath.c, redisplay.c, search.c, select-common.c, symbols.c, sysdep.c, syswindows.h, text.c, text.h, ui-byhand.c: New macros {alloca,xnew}_{itext,{i,ext,raw,bin,asc}bytes} for more convenient allocation of these commonly requested items. Modify functions to use alloca_ibytes, alloca_array, alloca_extbytes, xnew_ibytes, etc. also XREALLOC_ARRAY, xnew. alloc.c: Rewrite the allocation functions to factor out repeated code. Add assertions for freeing dumped data. lisp.h: Moved down and consolidated with other allocation stuff. lisp.h, dynarr.c: New functions for allocation that's very efficient when mostly in LIFO order. lisp.h, text.c, text.h: Factor out some stuff for general use by alloca()-conversion funs. text.h, lisp.h: Fill out convenience routines for allocating various kinds of bytes and put them in lisp.h. Use them in place of xmalloc(), ALLOCA(). text.h: Fill out the convenience functions so the _MALLOC() kinds match the alloca() kinds. --------------------------------------------------------------- ERROR-CHECKING --------------------------------------------------------------- text.h: Create ASSERT_ASCTEXT_ASCII() and ASSERT_ASCTEXT_ASCII_LEN() from similar Eistring checkers and change the Eistring checkers to use them instead. --------------------------------------------------------------- MACROS IN LISP.H --------------------------------------------------------------- lisp.h: Redo GCPRO declarations. Create a "base" set of functions that can be used to generate any kind of gcpro sets -- regular, ngcpro, nngcpro, private ones used in GC_EXTERNAL_LIST_LOOP_2. buffer.c, callint.c, chartab.c, console-msw.c, device-x.c, dialog-msw.c, dired.c, extents.c, ui-gtk.c, rangetab.c, nt.c, mule-coding.c, minibuf.c, menubar-msw.c, menubar.c, menubar-gtk.c, lread.c, lisp.h, gutter.c, glyphs.c, glyphs-widget.c, fns.c, fileio.c, file-coding.c, specifier.c: Eliminate EXTERNAL_LIST_LOOP, which does not check for circularities. Use EXTERNAL_LIST_LOOP_2 instead or EXTERNAL_LIST_LOOP_3 or EXTERNAL_PROPERTY_LIST_LOOP_3 or GC_EXTERNAL_LIST_LOOP_2 (new macro). Removed/redid comments on EXTERNAL_LIST_LOOP. --------------------------------------------------------------- SPACING FIXES --------------------------------------------------------------- callint.c, hftctl.c, number-gmp.c, process-unix.c: Spacing fixes. --------------------------------------------------------------- FIX FOR GEOMETRY PROBLEM IN FIRST FRAME --------------------------------------------------------------- unicode.c: Add workaround for newlib bug in sscanf() [should be fixed by release 1.5.12 of Cygwin]. toolbar.c: bug fix for problem of initial frame being 77 chars wide on Windows. will be overridden by my other ws. --------------------------------------------------------------- FIX FOR LEAKING PROCESS HANDLES: --------------------------------------------------------------- process-nt.c: Fixes for leaking handles. Inspired by work done by Adrian Aichner <adrian@xemacs.org>. --------------------------------------------------------------- FIX FOR CYGWIN BUG (Unicode-related): --------------------------------------------------------------- unicode.c: Add workaround for newlib bug in sscanf() [should be fixed by release 1.5.12 of Cygwin]. --------------------------------------------------------------- WARNING FIXES: --------------------------------------------------------------- console-stream.c: `reinit' is unused. compiler.h, event-msw.c, frame-msw.c, intl-encap-win32.c, text.h: Add stuff to deal with ANSI-aliasing warnings I got. regex.c: Gather includes together to avoid warning. --------------------------------------------------------------- CHANGES TO INITIALIZATION ROUTINES: --------------------------------------------------------------- buffer.c, emacs.c, console.c, debug.c, device-x.c, device.c, dragdrop.c, emodules.c, eval.c, event-Xt.c, event-gtk.c, event-msw.c, event-stream.c, event-tty.c, events.c, extents.c, faces.c, file-coding.c, fileio.c, font-lock.c, frame-msw.c, glyphs-widget.c, glyphs.c, gui-x.c, insdel.c, lread.c, lstream.c, menubar-gtk.c, menubar-x.c, minibuf.c, mule-wnnfns.c, objects-msw.c, objects.c, print.c, scrollbar-x.c, search.c, select-x.c, text.c, undo.c, unicode.c, window.c, symsinit.h: Call reinit_*() functions directly from emacs.c, for clarity. Factor out some redundant init code. Move disallowed stuff that had crept into vars_of_glyphs() into complex_vars_of_glyphs(). Call init_eval_semi_early() from eval.c not in the middle of vars_of_() in emacs.c since there should be no order dependency in the latter calls. --------------------------------------------------------------- ARMAGEDDON: --------------------------------------------------------------- alloc.c, emacs.c, lisp.h, print.c: Rename inhibit_non_essential_printing_operations to inhibit_non_essential_conversion_operations. text.c: Assert on !inhibit_non_essential_conversion_operations. console-msw.c, print.c: Don't do conversion in SetConsoleTitle or FindWindow to avoid problems during armageddon. Put #errors for NON_ASCII_INTERNAL_FORMAT in places where problems would arise. --------------------------------------------------------------- CHANGES TO THE BUILD PROCEDURE: --------------------------------------------------------------- config.h.in, s/cxux.h, s/usg5-4-2.h, m/powerpc.h: Add comment about correct ordering of this file. Rearrange everything to follow this -- put all #undefs together and before the s&m files. Add undefs for HAVE_ALLOCA, C_ALLOCA, BROKEN_ALLOCA_IN_FUNCTION_CALLS, STACK_DIRECTION. Remove unused HAVE_STPCPY, HAVE_GETWD, HAVE_SETLOCALE. m/gec63.h: Deleted; totally broken, not used at all, not in FSF. m/7300.h, m/acorn.h, m/alliant-2800.h, m/alliant.h, m/altos.h, m/amdahl.h, m/apollo.h, m/att3b.h, m/aviion.h, m/celerity.h, m/clipper.h, m/cnvrgnt.h, m/convex.h, m/cydra5.h, m/delta.h, m/delta88k.h, m/dpx2.h, m/elxsi.h, m/ews4800r.h, m/gould.h, m/hp300bsd.h, m/hp800.h, m/hp9000s300.h, m/i860.h, m/ibmps2-aix.h, m/ibmrs6000.h, m/ibmrt-aix.h, m/ibmrt.h, m/intel386.h, m/iris4d.h, m/iris5d.h, m/iris6d.h, m/irist.h, m/isi-ov.h, m/luna88k.h, m/m68k.h, m/masscomp.h, m/mg1.h, m/mips-nec.h, m/mips-siemens.h, m/mips.h, m/news.h, m/nh3000.h, m/nh4000.h, m/ns32000.h, m/orion105.h, m/pfa50.h, m/plexus.h, m/pmax.h, m/powerpc.h, m/pyrmips.h, m/sequent-ptx.h, m/sequent.h, m/sgi-challenge.h, m/symmetry.h, m/tad68k.h, m/tahoe.h, m/targon31.h, m/tekxd88.h, m/template.h, m/tower32.h, m/tower32v3.h, m/ustation.h, m/vax.h, m/wicat.h, m/xps100.h: Delete C_ALLOCA, HAVE_ALLOCA, STACK_DIRECTION, BROKEN_ALLOCA_IN_FUNCTION_CALLS. All of this is auto-detected. When in doubt, I followed recent FSF sources, which also have these things deleted.
author ben
date Thu, 04 Nov 2004 23:08:28 +0000
parents 04bc9d2f42c7
children 3d8143fc88e1
comparison
equal deleted inserted replaced
2366:2a392e0c390a 2367:ecf1ebac70d8
640 640
641 /**********************************************************************/ 641 /**********************************************************************/
642 /* Control-G checking */ 642 /* Control-G checking */
643 /**********************************************************************/ 643 /**********************************************************************/
644 644
645 /* Note: The code to handle QUIT is divided between lisp.h and signal.c. 645 /*
646 There is also some special-case code in the async timer code in 646
647 event-stream.c to notice when the poll-for-quit (and poll-for-sigchld) 647 Info on Control-G checking:
648 timers have gone off. */ 648
649 649 (Info-goto-node "(internals)Control-G (Quit) Checking")
650 /* OK, here's an overview of how this convoluted stuff works: 650 */
651
652 [1] Scattered throughout the XEmacs core code are calls to the macro QUIT;
653 This macro checks to see whether a C-g has recently been pressed and
654 not yet handled, and if so, it handles the C-g by calling signal_quit(),
655 which invokes the standard Fsignal() code, with the error being Qquit.
656 Lisp code can establish handlers for this (using condition-case), but
657 normally there is no handler, and so execution is thrown back to the
658 innermost enclosing event loop. (One of the things that happens when
659 entering an event loop is that a condition-case is established that
660 catches *all* calls to `signal', including this one.)
661
662 [2] How does the QUIT macro check to see whether C-g has been pressed;
663 obviously this needs to be extremely fast. Now for some history.
664 In early Lemacs as inherited from the FSF going back 15 years or
665 more, there was a great fondness for using SIGIO (which is sent
666 whenever there is I/O available on a given socket, tty, etc.).
667 In fact, in GNU Emacs, perhaps even today, all reading of events
668 from the X server occurs inside the SIGIO handler! This is crazy,
669 but not completely relevant. What is relevant is that similar
670 stuff happened inside the SIGIO handler for C-g: it searched
671 through all the pending (i.e. not yet delivered to XEmacs yet)
672 X events for one that matched C-g. When it saw a match, it set
673 Vquit_flag to Qt. On TTY's, C-g is actually mapped to be the
674 interrupt character (i.e. it generates SIGINT), and XEmacs's
675 handler for this signal sets Vquit_flag to Qt. Then, sometime
676 later after the signal handlers finished and a QUIT macro was
677 called, the macro noticed the setting of Vquit_flag and used
678 this as an indication to call signal_quit(). What signal_quit()
679 actually does is set Vquit_flag to Qnil (so that we won't get
680 repeated interruptions from a single C-g press) and then calls
681 the equivalent of (signal 'quit nil).
682
683 [3] Another complication is introduced in that Vquit_flag is actually
684 exported to Lisp as `quit-flag'. This allows users some level of
685 control over whether and when C-g is processed as quit, esp. in
686 combination with `inhibit-quit'. This is another Lisp variable,
687 and if set to non-nil, it inhibits signal_quit() from getting
688 called, meaning that the C-g gets essentially ignored. But not
689 completely: Because the resetting of `quit-flag' happens only
690 in signal_quit(), which isn't getting called, the C-g press is
691 still noticed, and as soon as `inhibit-quit' is set back to nil,
692 a quit will be signalled at the next QUIT macro. Thus, what
693 `inhibit-quit' really does is defer quits until after the quit-
694 inhibitted period.
695
696 [4] Another consideration, introduced by XEmacs, is critical quitting.
697 If you press Control-Shift-G instead of just C-g, `quit-flag' is
698 set to `critical' instead of to t. When QUIT processes this value,
699 it *ignores* the value of `inhibit-quit'. This allows you to quit
700 even out of a quit-inhibitted section of code! Furthermore, when
701 signal_quit() notices that it was invoked as a result of a critical
702 quit, it automatically invokes the debugger (which otherwise would
703 only happen when `debug-on-quit' is set to t).
704
705 [5] Well, I explained above about how `quit-flag' gets set correctly,
706 but I began with a disclaimer stating that this was the old way
707 of doing things. What's done now? Well, first of all, the SIGIO
708 handler (which formerly checked all pending events to see if there's
709 a C-g) now does nothing but set a flag -- or actually two flags,
710 something_happened and quit_check_signal_happened. There are two
711 flags because the QUIT macro is now used for more than just handling
712 QUIT; it's also used for running asynchronous timeout handlers that
713 have recently expired, and perhaps other things. The idea here is
714 that the QUIT macros occur extremely often in the code, but only occur
715 at places that are relatively safe -- in particular, if an error occurs,
716 nothing will get completely trashed.
717
718 [6] Now, let's look at QUIT again.
719
720 UNFINISHED. Note, however, that as of the point when this comment
721 got committed to CVS (mid-2001), the interaction between reading
722 C-g as an event and processing it as QUIT was overhauled to (for
723 the first time) be understandable and actually work correctly.
724 Now, the way things work is that if C-g is pressed while XEmacs is
725 blocking at the top level, waiting for a user event, it will be
726 read as an event; otherwise, it will cause QUIT. (This includes
727 times when XEmacs is blocking, but not waiting for a user event,
728 e.g. accept-process-output and wait_delaying_user_events().)
729 Formerly, this was supposed to happen, but didn't always due to a
730 bizarre and broken scheme, documented in next_event_internal
731 like this:
732
733 If we read a ^G, then set quit-flag but do not discard the ^G.
734 The callers of next_event_internal() will do one of two things:
735
736 -- set Vquit_flag to Qnil. (next-event does this.) This will
737 cause the ^G to be treated as a normal keystroke.
738 -- not change Vquit_flag but attempt to enqueue the ^G, at
739 which point it will be discarded. The next time QUIT is
740 called, it will notice that Vquit_flag was set.
741
742 This required weirdness in enqueue_command_event_1 like this:
743
744 put the event on the typeahead queue, unless
745 the event is the quit char, in which case the `QUIT'
746 which will occur on the next trip through this loop is
747 all the processing we should do - leaving it on the queue
748 would cause the quit to be processed twice.
749
750 And further weirdness elsewhere, none of which made any sense,
751 and didn't work, because (e.g.) it required that QUIT never
752 happen anywhere inside next_event_internal() or any callers when
753 C-g should be read as a user event, which was impossible to
754 implement in practice.
755
756 Now what we do is fairly simple. Callers of next_event_internal()
757 that want C-g read as a user event call begin_dont_check_for_quit().
758 next_event_internal(), when it gets a C-g, simply sets Vquit_flag
759 (just as when a C-g is detected during the operation of QUIT or
760 QUITP), and then tries to QUIT. This will fail if blocked by the
761 previous call, at which point next_event_internal() will return
762 the C-g as an event. To unblock things, first set Vquit_flag to
763 nil (it was set to t when the C-g was read, and if we don't reset
764 it, the next call to QUIT will quit), and then unbind_to() the
765 depth returned by begin_dont_check_for_quit(). It makes no
766 difference is QUIT is called a zillion times in next_event_internal()
767 or anywhere else, because it's blocked and will never signal.
768
769 --ben
770 */
771
772 651
773 /* Defer all checking or processing of C-g. You can do this, for example, 652 /* Defer all checking or processing of C-g. You can do this, for example,
774 if you want to read C-g's as events. (In that case, you should set 653 if you want to read C-g's as events. (In that case, you should set
775 Vquit_flag to Qnil just before you unbind, because it typically gets set 654 Vquit_flag to Qnil just before you unbind, because it typically gets set
776 as a result of reading C-g.) */ 655 as a result of reading C-g.) */