CS31 Weekly Lab: Week 10

man, signals, global variables, circular arrays

Week 10 lab topics:

  1. man and apropos
  2. using a C library
  3. signals and signal handler functions
  4. global variables in C
  5. circular arrays (to implement a fixed-size queue)

Create a week10 subdirectory in your weeklylab subdirectory and copy over some files:
    cd cs31/weeklylab		
    pwd
    mkdir week10
    ls
    cd week10
    pwd
    cp ~newhall/public/cs31/week10/* .
    ls
    Makefile  circularqueue.c  globalvars.c  parsecmd.h  parsecmd.o 
    signals.c testparsecmd.c
Using man and apropos
First, we are going to learn how to read manual page using man and searching for commands using apropos man and apropos

Next, let's look at the man page for fork and see what it is telling us:

% man fork
# or, I could specify the man section...I don't need to for fork:
% man 2 fork   # the man page for the system call fork in section 2 of the manual

Using a C library
C libraries consist of two parts:
  1. A header file (libraryname.h). The header file is an ascii file that is readable in vim (or emacs). It contains definitions exported by the library, including global variable definitions, function prototypes, type definitions (like structs), and constant defintions (#defines). The header file is #include'ed at the top of any .c file that use the library. It also contains detailed comments written for users of the library.
  2. The library binary file (.o, .a, or .so). It contains compiled versions of library functions. The binary is built from one or more C source files (.c files). Often times the library source code (its .c files) is not distributed with the library.

The parsecmd library

With the files you copied over is the parsecmd library (parsecmd.h and parsecmd.o) and a test program (testparsecmd.c) that uses the library.

parsecmd is a library that parses a command line string into its substrings.

Open up parsecmd.h in vim and let's look at its contents. You can see a function prototype for the parse_cmd function. Reading the comment tells us that this function takes as input a string, and it parses the string into a list of strings, one string per argument in the input string. There are also constant definitions in the header file. These constants can be used by any code that #includes parsecmd.h.

Note, that the implementation of this function is not given to you. Instead, only a compiled version of the function is provided in parsecmd.o.

To use this library, you need to:

  1. #include it in a C source file (we will look at how this is done in testparsecmd.c).
    #include <stdio.h>        // use this syntax for standard header files
                              // (most located in /usr/include/)
    #include "parsecmd.h"     // use this syntax for other header files
    
  2. link in the library file (parsecmd.o) as part of the gcc command to build the executable (this is included in the Makefile):
     gcc -g -Wall -o testparsecmd testparsecmd.c parsecmd.o
    
Let's open testparsecmd.c and see how it includes the header file and how it makes uses of definitions and function prototypes defined in the parsecmd library. Then, let's compile and run it.

Here is some more information about C libraries (see "Using and Linking C Library Code").

Signals and Signal Handlers
Let's look at the program signals.c. This program has some examples of registering a signal handler function on a signal, and of some examples of ways in which you can send signals to processes (for example, alarm can be used to send a SIGALRM to one's self).

We will try running this and use the kill command to send the process signals:

ps             # get the process' pid, let's say its 345
kill -INT 345  # sends a SIGINT signal to process 345
Let's try running the program and see what it is doing.

The man page for signal lists the signals on this system and describes the signal system call in more detail.

C programming: global variables
Global variables are variables declared outside a function definition. They are always in scope, and the space for them persists for the entire run of the program.

Open globals.c in vim and lets take a look at it.

The static modifier to their declaration limits the scope to functions within this .c file (only those can name these global variables), but there storage space still persists for the entire run of the program.

You should avoid using global variable as much as possible, but sometimes you must use them when you need a value to persist between function calls (beyond the return from the a function that could create it as a local... i.e. there is no function that could be on the call stack and have this as a local). This example is not an obvious need for a global variable, but if this code was being used to implement a library, then there may be a real need for using a global. For now, I just want you to see and use global variables. However, you should avoid using global variables in your program except when explicitly allowed. In general, you should always design functions to take as parameters the values they need; if a function needs a value, pass it in, and if a caller needs a value from the function return it (or pass in pass-by-reference style parameters through which the function can modify the caller's argument values). This makes your code more generic than using globals, and it avoids allocation of space for the entire run of your program when it is not needed.

Circular Arrays in C
A queue is a data structure whose values are ordered in FIFO order (first-in-first-out). New items are added to the end of the queue and removed from the begining of the queue (FIFO semantics for adding and removing).

Together we are going to implement a queue as an fixed-size circular array of int values where each time a new value is added to a full array, it replaces the currently first item in the array (the oldest value added to the queue).

As values are added and removed the first and last bucket index values of the queue change. When the very last bucket is filled the first time, the next value added will replace the value in bucket 0 (the new end of the list) and the first bucket in the list now becomes bucket 1 (the next bucket to replace). When the next value after that is added, it is added to bucket 1 (the new end of the list) and the new start of the list becomes bucket 2. And, so on. This is a circular array implementation of a queue because the first and last bucket indices cycle around the array indexes (0, 1, ..., 4, 0, 1, ..., 4, 0, 1, ...)

For example, for a circular queue of int values of size 5:

after adding values: 3, 6, 17: the queue has 3 elements, and the
                               next bucket to insert into is bucket 3
0   1    2    3    4    
---------------------          first value in the queue is in bucket 0
 3 | 6 | 17 |   |   |
----------------------         last value in the queue is in bucket 2

                                                
after adding values: 10, 4:    the queue has 5 elements, and the
                               next bucket to insert into is bucket 0
0   1    2    3    4   
----------------------         the first value in the queue is in bucket 0
 3 | 6 | 17 | 10 | 4 |
----------------------         the last value in the queue is in bucket 4


after adding the value 7:      the list has 5 elements, and the
                               next bucket to insert into is bucket 1
0   1    2    3    4    
----------------------         the first value in the queue is in bucket 1
 7 | 6 | 17 | 10 | 4 | 
----------------------         the last value in the queue is in bucket 0

after adding the value 9:      the list has  5 elements, and the
                               next bucket to insert into is bucket 2
0   1    2    3    4    
----------------------         the first value in the queue is in bucket 2
 7 | 9 | 17 | 10 | 4 | 
----------------------         the last value in the queue is in bucket 1

printing out the queue from first to last value is:  17  10  4  7  9
In circqueue.c is the starting point of a circular queue implementation. You are going to implement and test two functions:
void add_queue(int value): add a new value to the queue (and update queue state)
                           the value added should replace the first item
                           in the queue if the array is full
void print_queue(): print out the values in the queue from first to last
This code uses global variables for the queue (implemented as an array of ints) and for other state associated with the queue (and feel free to add more state variables if you need them).

This example is not an obvious need for a global variable, but if this code was being used to implement a single queue library, then declaring the queue and its state as a global is necessary (we will discuss globals in more detail later).

For now, I just want you to get some practice with global variables. However, you should always avoid using global variables in your program, and only do so when except explicitly allowed in this class. In general, you should always design functions to take as parameters the values it needs.