diff options
| author | Felipe Boeira <felipe.boeira@liu.se> | 2019-01-08 18:39:03 +0100 |
|---|---|---|
| committer | Felipe Boeira <felipe.boeira@liu.se> | 2019-01-08 18:39:03 +0100 |
| commit | d4522b8e9854178473adcea0fbb84f23f6e744bd (patch) | |
| tree | fbcf620617c5023154eba3f965b3a982daa64a47 /src/threads/boundedbuffer.h | |
| download | pintos-d4522b8e9854178473adcea0fbb84f23f6e744bd.tar.gz | |
Initial commit
Diffstat (limited to 'src/threads/boundedbuffer.h')
| -rw-r--r-- | src/threads/boundedbuffer.h | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/src/threads/boundedbuffer.h b/src/threads/boundedbuffer.h new file mode 100644 index 0000000..7508d1c --- /dev/null +++ b/src/threads/boundedbuffer.h @@ -0,0 +1,24 @@ +// +// Skeleton of bounded buffer for laboratory assignment 1 for Pintos +// +// Created by Andrzej Bednarski +// +// modified by Vlad Jahundovics for Pintos (translation from C++ to C) + +#ifndef BOUNDEDBUFFER_H +#define BOUNDEDBUFFER_H + +#include "threads/synch.h" + +struct bounded_buffer { + int size; + // You may add other data fields required for the bounded buffer + +}; + +void bb_init(struct bounded_buffer *, int); +int bb_read(struct bounded_buffer *); +void bb_write(struct bounded_buffer *, int); +void bb_destroy(struct bounded_buffer *); + +#endif |
