UNIX Threads

Last modified Friday, 23-Jan-2009 01:29:24 UTC.

What are threads?
- A thread (or lightweight process) is a basic unit of CPU utilization; it consists of:
  - Program counter
  - Register set
  - Stack space
- A thread shares with its peer threads its:
  - Code segment
  - Data segment
  - Operating-system resources, e.g., when one thread alters a code segment memory item, all other threads see that, and a file open with one thread is available to others.
- A traditional or heavyweight process is equal to a task with one thread.
- As an OS may supports multiple processes, a process can have multiple threads.
- Benefits of threads vs processes
  - Less time to create a new thread than a process, because the newly created thread uses the current process address space.
  - Less time to terminate a thread than a process.
  - Less time to switch between two threads within the same process, partly because the newly created thread uses the current process address space.
  - Less communication overheads -- communicating between the threads of one process is simple because the threads share everything: address space, in particular. Data produced by one thread is immediately available to all the other threads.
The POSIX Threads Library
- Include pthread.h and link with libpthread
- Creating a (default) thread
  - int pthread_create(pthread_t *tid, const pthread_attr_t *tattr, void*(*start_routine)(void *), void *arg);
  - Creates a thread with attributes specified by attr, within a process.
  - When tattr is NULL the default thread is created with the following attributes:
    - It is unbounded
    - It is not detached
    - It has a a default stack and stack size
    - It inherits the parent's priority
    A default attribute object can also be created with pthread_attr_init()
  - start_routine is the function at which the new thread begins execution. When start_routine returns the thread exits with the exit status set to the value returned by start_routine.
  - When pthread_create is successful the ID of the thread created is stored in the location referred to as tid.
  - pthread_create() returns a zero and exits when it completes successfully. Any other returned value indicates that an error occurred.
  - The arguments passed by pointer in the last argument should reside somewhere stable, e.g., malloc the memory.
- Detaching a thread
  - int pthread_detach(pthread_t thread); - Indicates that storage for the thread can be reclaimed when the thread terminates.
- Terminating a thread
  - Returning from the start_routine
  - By calling pthread_exit(), supplying an exit status
  - By termination with pthread_cancel()
  - Exiting (normally or with exit) from the main thread terminates all threads.
  - If the thread is detached its id, data areas, and exit status are cleaned up.
  - If the thread is not detached, then the thread's ID and the exit status specified by status are retained until the thread is joined.
- ThreadsDetached.c - Simple program that uses threads
- Waiting for non-detached thread termination
  - int pthread_join(thread_t tid, void **status); - Suspends execution of the calling thread until the target thread terminates unless the target thread has already terminated.
  - If status is not NULL, it points to a location that is set to the value passed to pthread_exit() by the terminating thread.
  - If successful the function will return zero.
  - Multiple threads cannot wait for the same thread to terminate. If they try to, one thread returns successfully and the others fail.
  - ThreadsJoin.c - Program that joins threads
- More basic thread functions
  - pthread_t pthread_self(void); - Returns the thread ID of the calling thread.
  - int pthread_equal(pthread_t t1, pthread_t t2); - Returns non-zero if the thread IDs t1 and t2 correspond to the same thread, otherwise it will return zero.
  - int pthread_cancel(pthread_t thread); - Requests that the thread be canceled.
  - int sched_yield(void); - Forces the running process/thread to relinquish the processor.
  - int pthread_setschedparam(pthread_t thread, int policy, const struct sched_param *param); - Sets the scheduling parameters of the thread. The scheduling policy for a thread can either be SCHED_FIFO (first in, first out) or SCHED_RR (round-robin). The thread priority (param->sched_priority) must be at least PTHREAD_MIN_PRIORITY and no more than PTHREAD_MAX_PRIORITY.
  - int pthread_getschedparam(pthread_t thread, int *policy,struct sched_param *param); - Gets the scheduling parameters of the thread.
- ThreadsCancel.c - Thread wars
CSC322 STOPS HERE
Mutexes
- A binary semaphore can be used to provide mutual exclusion during access to shared resources.
- ThreadsCS.c - Program that suffers from shared access problems
- int pthread_mutex_init(pthread_mutex_t * mutex, pthread_mutexattr_t *attr); - Initializes a mutex. Can also be done with
  pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER;
- int pthread_mutex_lock(pthread_mutex_t *mutex); - Locks mutex. If mutex is already locked, the calling thread will block until mutex becomes available.
- int pthread_mutex_trylock(pthread_mutex_t *mutex); - Locks mutex. If mutex is already locked returns an error condition.
- int pthread_mutex_unlock(pthread_mutex_t *mutex); - Unlocks mutex.
- int pthread_mutex_destroy(pthread_mutex_t *mutex); - Frees the resources allocated for mutex.
- ThreadsCSMutex.c - Program that soves the shared access problems
Condition Variables
- Mutexes waste CPU time because a mutex lock sits testing the mutex.
- ThreadsMutex.c - Program that uses mutexes
- Condition variables can be used to put a thread to sleep until another thread wakes it up.
- int pthread_cond_init(pthread_cond_t *cond, const pthread_condattr_t *attr); - Initializes a condition variable. Can also be done with
  pthread_cond_t condition = PTHREAD_COND_INITIALIZER;
- int pthread_cond_wait(pthread_cond_t *cond, pthread_mutex_t *mutex); - Atomically blocks the current thread waiting on cond, and unblocks mutex. The waiting thread unblocks only after another thread calls pthread_cond_signal, or pthread_cond_broadcast with the same condition variable. The thread now has to lock on mutex (possibly has to wait in a tight loop).
- int pthread_cond_timedwait(pthread_cond_t *cond, pthread_mutex_t *mutex, const struct timespec *abstime); - Like pthread_cond_wait, but unblocks after abstime if no thread signals.
- int pthread_cond_signal(pthread_cond_t *cond); - Unblocks one thread waiting for cond.
- int pthread_cond_broadcast(pthread_cond_t *cond); - Unblocks all threads waiting for cond.
- int pthread_cond_destroy(pthread_cond_t *cond); - Frees the resources allocated to cond.
- ThreadsCV.c - Program that uses condition variables
- General semaphores for threads are now easily implemented
- ThreadsSemaphores.c - Program that uses semaphores

Exercises

Exam Style Questions

What is the difference between a thread and a process?
Why do threads have performance advatnages over processes?
What is the difference between user level threads and kernel level threads? Does the POSIX thread library implement user level or kernel level threads?
When a thread is started, by default is it detached or not? If it is detached, what system call can be used to attach it? If it is not detached, what system call can be used to detach it?

What is the exact output from the following program?

/*---------------------------------------------------------------------------*/
#include <stdio.h>
#include <pthread.h>

pthread_t NewThread;
/*---------------------------------------------------------------------------*/
void *StartHere(void *Message) {

    if (pthread_equal(NewThread,pthread_self())) {
        printf("%s\n",(char *)Message);
    }
    return(NULL);
}
/*---------------------------------------------------------------------------*/
int main(int argc,char *argv[]) {


    pthread_create(&NewThread,NULL,StartHere,"Hello There");
    StartHere("Hello");
    StartHere("There");
    pthread_exit(NULL);

}
/*---------------------------------------------------------------------------*/

What system calls can be used to make one thread wait (in a busy loop) for another?
What is the difference between a mutex and a condition variable?
Explain what the pthread_cond_wait function does, from the call until it exits.

What is the output from the following program?

/*---------------------------------------------------------------------------*/
#include <stdio.h>
#include <pthread.h>

pthread_cond_t GunShot;
pthread_mutex_t Mutex;
/*---------------------------------------------------------------------------*/
void *LookAndLeap(void *Dummy) {

    pthread_mutex_lock(&Mutex);
    printf("Wild\n");
    pthread_cond_wait(&GunShot,&Mutex);
    printf("West!!\n");

    return(NULL);
}
/*---------------------------------------------------------------------------*/
int main(int argc,char *argv[]) {

    pthread_t NewThread;

    pthread_cond_init(&GunShot,NULL);
    pthread_mutex_init(&Mutex,NULL);

    pthread_create(&NewThread,NULL,LookAndLeap,NULL);
    pthread_create(&NewThread,NULL,LookAndLeap,NULL);
    sched_yield();
    printf("Woolly\n");
    pthread_cond_broadcast(&GunShot);
    pthread_exit(NULL);
}
/*---------------------------------------------------------------------------*/

UNIX Threads

CSC322 STOPS HERE

Exercises

Exam Style Questions