dining

package module

v0.0.0-...-6b2c873 Latest Latest Go to latest Published: Feb 15, 2022 License: MIT Imports: 4 Imported by: 0

Details

dining implements the dining philosophers problem described in C A R Hoare's 1978 paper.

View Source

const (
	Quit
)

This section is empty.

func Fork(forkId uint8, reqs chan ForkReq)

The behaviour of a fork.

func Log(text string)

Pass log entries to the Logger via the channel.

func Logger(log chan string, nolog bool)

Lgger creates the log file and writes the entries passed to via the channel.

func Philosopher(philId uint8,
	room chan RoomReq,
	roomack chan any,
	fork1 chan ForkReq,
	fork2 chan ForkReq,
	forkack chan any,
	quitreq chan any)

Philosopher defines the life of a philosopher, enabled by communication with Forks and the Room.

func Room(reqs chan RoomReq, ack chan any)

Room regulates the attendance of the philosophers.

type ForkReq struct {
	Ack    chan any
	Action uint8
	// contains filtered or unexported fields
}

ForkReq describes a request from a philosopher to a fork.

type RoomReq struct {
	Action uint8
	// contains filtered or unexported fields
}

RoomReq describes a request from a philosopher to the room.

Path	Synopsis
cmd