CS110: Principles of Computer Systems

Autumn 2021
Jerry Cain
PDF

Lecture 11: Introduction to Signals

• The previous lecture formally introduced the signal and the signal handler.
  • Signals are broad-brushstroke messages sent to a process to announce that something happened that the process should hear about.
  • Signals are most often sent by the kernel, though other processes can forward signals to other processes as long as they have permission to do so.  Processes can even send themselves signals, as with the raise(SIGSTOP) call in assign3's trace.cc.
  • Signals handlers are functions designed to handle the arrival of a signal.  The signal handler often probes the surrounding process or the OS to gather information about what actually happened.
    • Signals like SIGSEGV and SIGFPE are considered to be synchronous and generally sent because the recipient of the signal committed some code crime.  Synchronous signal handlers are typically invoked immediately, within the same time slice, after the offending instruction is executed.
    • Signals like SIGCHLD and SIGINT are considered to be asynchronous and are typically sent because something external to the process occurred.  Asynchronous signals handlers are generally invoked at the beginning of the recipient's next time slice—that is, the next time it's given processor time.
      • If the recipient is incidentally on the CPU when the signal arrives, it can be executed immediately, but it's typically deferred until its next time slice begins.

This slide was written by Ryan Eberhardt and edited by Jerry.

Lecture 11: Signals and Signal Handling, Take II

• Asynchronous signal handling has its shortcomings!

  • Signal handlers are difficult to use properly, and the consequences can be severe. Some regard signals to be one of the worst parts of Unix’s design.

    • This installment of Ghosts of Unix Past explains why asynchronous signal handling can be such a headache.

    • The article's primary point: The trouble with signal handlers is that they can be invoked at a really, really bad time (e.g. while the main execution flow is in the middle of a malloc call, or accessing a complex data structure).

  • Here's a short program illustrating the dangers.
    
    
    
    
    
    
    
     
  • What if I type CTRL-C from the terminal while main execution is in the middle of that for loop? Whatever happens, it will bring sadness.

This slide was written by Ryan Eberhardt and edited by Jerry.

Lecture 11: Signals and Signal Handling, Take II

• Signal handlers are particularly dangerous, because you can rarely predict when a signal will arrive and whether the handler will execute during a window when the surrounding memory space is in an inconsistent or incompatible state.
• The code below is farcically unsafe and could theoretically cause any one of several problems—segmentation fault and deadlock are easily explained, but in principle the code could erase your entire hard drive.
  
  
  
  
  
  
  
   

• The code looks harmless enough, but the deadlock and segfault scenarios are more immediately apparent if you understand that printf calls vsprintf, and vsprintf is not reentrant.

This slide was written by Ryan Eberhardt and edited by Jerry.

Lecture 11: Signals and Signal Handling, Take II

• Previous iterations of CS110 have emphasized asynchronous signal handling and the various techniques that can be used to make it safe (or rather, less unsafe).
• If we're truly model signal handler citizens, our signal handler implementations should limit themselves to only rely on signal-handler-safe functions, a list of which is presented here.
  • That list is actually fairly long, but most of the functions listed are system calls.  There are very few libc (and no stdlibc++) functions in that list.
     
• This quarter, we're going to circumvent the unpredictability and the cases that come with signal handlers and take a new approach.
• We'll instead handle all asynchronous signals of interest within the main flow of execution, without using the signal function.
• In general, we will not monitor synchronous signals like SIGSEGV, SIGFPE, SIGBUS, and SIGILL, primarily because
  • there's little one can do in response to these particular signals, because the program is likely ending no matter what we do, and
  • the default signal handlers fundamentally do the correct thing anyway, and they do so using only signal-handler-safe functions

This slide was written by Ryan Eberhardt and edited by Jerry.

Lecture 11: Signals and Signal Handling, Take II

• We'll follow these three steps when dealing with signals:
  • First, build a set of signals to include precisely those you're interested in monitoring, as with:
    
    
     
    • The sigset_t is a data type designed to model a set of signals.  It's really just a 32-bit int that's not so much a number as it is an array of 32 Booleans.
      • Our flavor of Linux supports less than 32 signals, and each of them is backed by some number between 0 and 31, inclusive.  
      • sigset_t membership of a particular signal amounts to whether a dedicated bit is a 0 or a 1.
      • The sigemptyset function is vital here, because it zeroes out the entire set to leave you with the empty signal set.  Forget this, and you'll inherit a random set of signals and be sad.
      • The sigaddset function works as you might expect: It updates the supplied sigset_t to include the specific signal if it wasn't already present.
    • monitoredSignals can travel through the main execution flow and always represent the set of signals we're paying attention to.

This slide was written by Ryan Eberhardt and edited by Jerry.

Lecture 11: Signals and Signal Handling, Take II

• We'll follow these three steps when dealing with signals:
  • First, build a set of signals to include precisely those you're interested in monitoring, as with:
    
    
     
  • Second, inform the OS to suspend the delivery of these signals until further notice.
     
    • We don't want any of the signals we're monitoring to invoke any built-in behavior (e.g. stopping the program when CTRL-Z is pressed).  The OS still compiles a list of any signals that have arrived, but it won't act on them.  Such signals are called deferred or pending.
    • sigprocmask is short for signal process mask, and it's used here to suppress the delivery of (i.e. "block") any signals in the monitored set until further notice.
      • SIG_BLOCK formally states we'd like to add the monitored signal set to any others already being suppressed. SIG_UNBLOCK subtracts the monitored signal set from the list being suppressed.
      • The third argument can be used to collect the set of signals being blocked prior to the sigprocmask call. Here, we pass in NULL as a statement that we don't need that information.

This slide was written by Ryan Eberhardt and edited by Jerry.

Lecture 11: Signals and Signal Handling, Take II

• We'll follow these three steps when dealing with signals:
  • First, build a set of signals to include precisely those you're interested in monitoring, as with:
    
    
     
  • Second, inform the OS to suspend the delivery of these signals until further notice.
    
     
  • Finally, call sigwait, which is prepared to halt program execution until one of the signals being monitored arrives (although it returns immediately if one is pending)
    
     
    • Whether a monitored signal arrives immediately or eventually, the signal is placed in the space whose location is shared via sigwait's second argument.
    • Once sigwait returns and advertises what signal surfaced, you can process that signal inline—that is, synchronously—and avoid the ill-defined consequences of asynchronous signal handlers.

This slide was written by Ryan Eberhardt and edited by Jerry.

Lecture 11: Signals and Signal Handling, Take II

• We'll follow these three steps when dealing with signals:
  • First, build a set of signals to include precisely those you're interested in monitoring, as with:
    
    
     
  • Second, inform the OS to suspend the delivery of these signals until further notice.
    
     
  • Finally, call sigwait, which is prepared to halt program execution until one of the signals being monitored arrives (although it returns immediately if one is pending)
    
    
     
  • Want to see this work? Check out this cplayground.
    • The default behavior of CTRL-C and CTRL-Z are suppressed and effectively overridden, because they're monitored by the program and they're never permitted to activate the default SIGINT and SIGTSTP handlers.
    • Still want to end the program? Type CTRL-\.  SIGQUIT isn't being monitored or suppressed, so its default handler executes to terminate the program.

This slide was written by Ryan Eberhardt and edited by Jerry.

Lecture 11: Signals and Signal Handling, Take II

• Presented over the next several slides is a substantial reorganization of the five-children example we covered last time.  
  • Remember that the parent process models a dad who takes his kids to Disneyland so he can take naps, which presumably he can't do at home.
  • Dad's five children run unsupervised throughout Disneyland until they tire out, at which point they return to papa, who's sleeping on a bench by the entrance.
  • Dad wakes up every so often—or rather, every five seconds—to poll for children. When he counts all five, the whole family goes home.
     
• Our new approach to monitoring and synchronously handling signals requires the parent process pay attention to two signal types:
  1. SIGCHLD: because the process modeling dad only learns one or more child processes has finished because the OS delivers a SIGCHLD.
  2. SIGALRM: because dad sleeps in five seconds intervals until five kids show up. Inlining snooze(5) calls into a while loop around a sigwait call would interfere with the timely bookkeeping we want if we're to track the number of child processes that've finished, so we instead rely on timers to fire SIGALRMs at five-second intervals.

Lecture 11: Signals and Signal Handling, Take II

• Here's the same Disneyland example using this new programming model:

Lecture 11: Signals and Signal Handling, Take II

• And here's the rest of main:
  
  
  
  
  
  
  
  
  
  
  
  
   
• Note we keep looping and sigwaiting until we're confident dad has counted to five.
• With each iteration, we decide why sigwait returned and then dispatch accordingly.
• reapChildProcesses operates much like it did last lecture, but here it's executed synchronously. All code is executed asynchronously, so we don't need any globals. 
• We've yet to implement letDadSleep and wakeUpDad, but it's reasonable to expect that the first schedules a SIGALRM and the second responds to one. 

Lecture 11: Signals and Signal Handling, Take II

• Here are the three outstanding functions of content that need to be discussed:
  
  
  
  
  
  
  
  
  
  
  
   
  • letDadSleep is a wrapper around setAlarm, which itself relies on setitimer (short for set interval timer) to ask that a SIGALRM be sent after duration seconds.
    • That {0, 0} is a sentinel telling setitimer to schedule a one-shot alarm instead of one repeatedly fired at regular intervals.
    • The ITIMER_REAL constant tells the OS to monitor the amount of wall clock time that's passing (as opposed to, say, user and/or system time).
  • Notice how dad lets himself sleep more if he wakes up to find less than 5 kids.

Lecture 11 Coda: Playing Classical Guitar

• Most Linux distributions include a command line utility called play that can be used to sound the pluck of a guitar string for a specified length of time.
  • The following line, for example, plays a middle C that lasts for 1.5 seconds:
    
     

  • To play the same pitch one octave higher for 0.75 seconds, you’d invoke:
     

  • Feeling jazzy? Here's the Bb7(#11) chord big bands blast at the end of many standards.
    
    
    
     

  • The last token of "play -qn synth 1.5 pluck C4" specifies the pitch and octave and will always be some note drawn from the traditional Western music scale—e.g. C2, D2, E2, F2, G2, A2, B2, C3, although # and b can be appended to alter the pitch half a tone, as with C# or Bb.

  • Some notes last longer than others.  The exact duration is dictated by the number that sits in between "synth" and "pluck".

Lecture 11 Coda: Playing Classical Guitar

• For this example, we're going to create a CLI classical guitarist!
  • We'll model a classical guitar song as a vector of notes, sorted by start time.
  • By scheduling fork and execvp to invoke play for each note at the appropriate times, our program will be able to play an entire piece from start to finish.
    
    
    
     
  • We'll rely on SIGCHLD and synchronously manage calls to waitpid to reap system resources as our play processes exit.
  • We'll also tap the same SIGALRM signal we used to wake Disneyland dad up.
    • The primary difference? Our timers will schedule SIGALRM's to fire at varying times that, in general, won't be evenly spaced.
    • Each timer—we'll rely on the same exact setAlarm function we wrote for dad—will prompt one or more notes to be played for their due durations.
    • It’s uncommon for a guitarist to play only one note at a time. More often, they pluck several strings to play multiple, musically compatible notes simultaneously.

Lecture 11 Coda: Playing Classical Guitar

• Fundamentally, our program needs to load a song into memory, maintain a cursor to separate what's been played from what hasn't, and then gracefully terminate when the performance has ended.
  • The song is initialized from a file formatted like the one you
    see on the right.

  • The first note always has an effective start time of 0.0.

  • Neighboring notes may have the same start time if they’re all
    intended to be played together (even if their durations vary).

  • The fact that the second set of notes starts at t = 0.5 seconds means we'd call setAlarm(0.5) after spawning off a single child process for that first C4.

  • When the SIGALRM signal is fired, we know the time has come to spawn off two more child processes—one to play a D4, and a second to play a B3—before calling setAlarm(0.5) again to schedule some E4/C4/Bb3 chord.

    • In programming terms, the function we implement to synchronously handle any SIGALRMs will fork off new play processes and set additional timers.

  • Presented across the next several slides is the full program that plays an entire piece on classical guitar.

Lecture 11 Coda: Playing Classical Guitar

• Here's the main function and the core of the playSong function that decomposes it:

Lecture 11 Coda: Playing Classical Guitar

• Here's the main function and the core of the playSong function that decomposes it: