blob: 7508d1ce25315627bcc4ddc888527499bb717822 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
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
|
