CSCI 380 -- Lab 4

A Philosophical Meal

Due: Friday, November 9 @ 11:59 PM

Handout

A tarfile can be acquired here: lab4-handout.tar

Objectives

• correctly solve the dining philosophers problem
• use the built-in sem_t struct and friends
• efficiently resolve resource contention and deadlock in any way you see fit

Files and Terminology

• dining.c -- the driver program
• philosopher.{c,h} -- philosopher class and related functions
• config.h -- configuration file -- you are welcome to change the times (in microseconds)
• table.{c,h} -- table class and related functions.

A table keeps track of the available resources (utensils).

• table_checkin is the function that will ultimately allow a philosopher to acquire its left- and right utensils
• table_checkout is the function that tells the philosopher to deposit their utensils back to the table (therefore, making them available to someone else)
• You will need to augment any changes to table in the header file and source file
• You should only modify table.h and table.c as you see fit.

NOTE: YOU WILL WANT TO IMPLEMENT ALL CHANGES IN table_checkin BEFORE the code I wrote, NOT AFTER

Testing

Invoking make will generate a binary ./dining which requires three inputs:

• N -- the number of philosophers at the table
• seed -- seed to use for random number generation
• time -- time (in seconds) that the simulation should execute for

The program will report valid or invalid at the end

To suppress debug output: make clean && NDEBUG=1 make

Submission

You can invoke make handin to generate a handin.tar file. Upload/submit this file to autolab.

Grading Criteria

This lab will be graded out of 100 points. Please note: only 60 points is autograded

• 60pt - Correct implementation Dining Philosophers
• 20pt - Performance evaluation (entirely based on within average of class)
• 20pt - Writeup