boundedbuffer.h

nachos test nachos 有关实验

#include "synch-sleep.h"
#include <malloc.h>
class BoundedBuffer {
   public:
     // create a bounded buffer with a limit of 'maxsize' bytes
     BoundedBuffer(int maxsize);
     ~BoundedBuffer();
     // read 'size' bytes from the bounded buffer, storing into 'data'.
     // ('size' may be greater than 'maxsize')
     void Read(void *data, int size);
     
     // write 'size' bytes from 'data' into the bounded buffer.
     // ('size' may be greater than 'maxsize')
     void Write(void *data, int size);
   private:
        int buffersize;
        int readyRead;
        int readyWrite;
        void *buffer;
        char *bufferend;
        char *nextin;
        char *nextout;
        Lock *lock;			// enforce mutual exclusive access to the table
        Condition *notreadyRead;	
        Condition *notreadyWrite;

};