2

我有一个 FIFO 队列、生产者和消费者,我尝试了不同的组合,除了这种安排之外,这些组合都有效。我应该能够使用 3 个生产者、2 个消费者、10 个 FIFO 插槽以及没有信号量开始运行它,然后还可以在信号量激活的情况下运行它。

#include <stdio.h>
#include "oslab_lowlevel_h.h"

int NextPrime( int );

#define FIFO_SIZE 10

/* Declare a structure to hold a producer's starting value,
 * and an integer for the Producer-number (Producer 1, 2 or 3). */
struct Prod {
    int startvalue;
    int id;
};

unsigned int stack1[0x400]; /* Stack for thread 1 */
unsigned int stack2[0x400]; /* Stack for thread 2 */
unsigned int stack3[0x400]; /* Stack for thread 3 */
unsigned int stack4[0x400]; /* Stack for thread 4 */
unsigned int stack5[0x400]; /* Stack for thread 5 */

/* Declare variables for the First-In-First-Out Queue */
int  Fifo[FIFO_SIZE];        /* Array holding FIFO queue data. */
int  rdaddr;                /* Next unread entry when reading from queue. */
int  wraddr;                /* Next free entry when writing into queue. */

/* Declaration of semaphore variables.
 */
int  rdmutex = 1;
int  wrmutex = 1;
int  nrempty = FIFO_SIZE;
int  nrfull = 0;

/*
 * fatal_error
 * 
 * Print a message, then stop execution.
 * This function never returns; after printing
 * the message, it enters an infinite loop.
 */
void fatal_error( char * msg)
{
  printf( "\nFatal error: %s\n", msg );
  while( 1 );
}

/*
 * Sleep
 * 
 * Delay execution by keeping the CPU busy for a while,
 * counting down to zero.
 */
void Sleep (int n)
{
    while (n--);
}

/*
 * Signal
 * 
 * Semaphore operation: add to semaphore,
 * possibly allowing other threads to continue.
 */
void Signal( int *sem )
{
  /* We must disable interrupts, since the operation
   * *sem = *sem + 1
   * will require several machine instructions on Nios2.
   * If we have a timer-interrupt and a thread-switch
   * somewhere in the middle of those machine instructions,
   * the semaphore will be updated twice, or not at all, or
   * in some other erroneous way.
   */
  oslab_begin_critical_region();
  *sem = *sem + 1;
  oslab_end_critical_region();
}

/*
 * Wait
 * 
 * Sempahore operation: check semaphore, and
 * wait if the semaphore value is zero or less.
 */
void Wait( int *sem )
{
  /* Disable interrupts. */
  oslab_begin_critical_region();
  while ( *sem <= 0 )
    {
      /* If we should wait, enable interrupts again. */
      oslab_end_critical_region();

        //oslab_yield(); /* Perhaps we should yield here? */

      /* Disable interrupts again before next iteration in loop. */
      oslab_begin_critical_region();
    }
    /* We have waited long enough - the semaphore-value is now
     * greater than zero. Decrease it. */
    *sem = *sem - 1;
    /* Enable interrupts again. */
    oslab_end_critical_region();
}

/*
 * PutFifo
 * 
 * Insert an integer into the FIFO queue.
 */
void PutFifo( int tal )
{
    //Wait (&nrempty);      /* Wait for nrempty? */
    //Wait (&wrmutex);      /* Wait for wrmutex? */

  Fifo[wraddr] = tal;       /* Write to FIFO array. */
    //  printf("\nPutFifo:  %d ", tal); /* Optional debug output */
     // printf("\nwraddr = %d ", wraddr); /* Optional debug output. */
  wraddr = wraddr + 1;      /* Increase index into FIFO array,
                               to point to the next free position. */
  /* Wrap around the index, if it has reached the end of the array. */
  if (wraddr == FIFO_SIZE ) wraddr = 0;

    //Signal (&wrmutex);    /* Signal wrmutex? */
    //Signal (&nrfull);     /* Signal nrfull? */
}

/*
 * GetFifo
 * 
 * Extract the next integer from the FIFO queue.
 */
int GetFifo( void )
{
  int retval;               /* Declare temporary for return value. */

    //Wait (&nrfull);       /* Wait for nrfull? */
    //Wait (&rdmutex);      /* Wait for rdmutex? */

  retval = Fifo[rdaddr];    /* Get value from FIFO array. */
  //    printf("\nGetFifo:  %d ", retval); /* Optional debug output */
  //    printf("\nrdaddr = %d ", rdaddr); /* Optional debug output */
  rdaddr = rdaddr + 1;      /* Increase index into FIFO array,
                               to point to the next free position. */
  /* Wrap around the index, if it has reached the end of the array. */
  if (rdaddr == FIFO_SIZE ) rdaddr = 0;

    //Signal (&rdmutex);    /* Signal rdmutex? */
    //Signal (&nrempty);    /* Signal nrempty? */

  return (retval);          /* Return value fetched from FIFO. */
}

/*
 * NextPrime
 * 
 * Return the first prime number larger than the integer
 * given as a parameter. The integer must be positive.
 * 
 * *** NextPrime is outside the focus of this assignment. ***
 * The definition of NextPrime can be found at the end of this file.
 * The short declaration here is required by the compiler.
 */
int NextPrime( int );

void Producer( struct Prod * prodstruct )
{
  int next;                 /* Will hold the prime we just produced. */
  int prodid;               /* Tells whether we are producer 1, 2 or 3. */
  next = prodstruct -> startvalue; /* Get starting value from parameter. */
  prodid = prodstruct -> id;/* Get producer number from parameter. */
  while( 1 )                /* Loop forever. */
  {
    next = NextPrime (next);/* Produce a new prime. */
    printf("\nNext Prime from producer %d is %d",prodid,next); /* Informational output. */
    PutFifo(next);          /* Write prime into FIFO. */
  //  oslab_yield();        /* Perhaps we should yield here? */
  }
}

void Consumer( int * tal )
{
  int next;                 /* Will hold the prime we are to consume. */
  int consid = *tal;        /* Tells whether we are consumer 1 or 2. */
  while( 1 )                /* Loop forever. */
  {
    next = GetFifo();       /* Get a newly produced prime from the FIFO. */
    printf("\nConsumer %d gets Prime %d ",consid, next); /* Informational output. */
    Sleep(2000);            /* Symbolic work. */
    //oslab_yield();        /* Perhaps we should yield here? */
  }
}

int main( void )
{
  int new_thread_id; /* Thread ID variable. */
  struct Prod prod1, prod2, prod3;  /* Producer starting-values. */
  int cons1, cons2;                 /* Consumer starting-values. */

  rdaddr = 0;               /* FIFO initialization. */
  wraddr = 0;               /* FIFO initialization. */
  printf("\nSystem starting...");

  prod1.startvalue = 2000;
  prod1.id = 1;

  prod2.startvalue = 5000;
  prod2.id = 2;

  prod3.startvalue = 8000;
  prod3.id = 3;

  cons1 = 1;
  cons2 = 2;

  new_thread_id = oslab_create_thread((void *)Producer, &prod1, &(stack1[0x3ff]));
  if( new_thread_id < 0 ) fatal_error( "cannot start Producer 1" );
  printf("\nProducer %d is created with thread-ID %d", prod1.id, new_thread_id);

  new_thread_id = oslab_create_thread((void *)Producer, &prod2, &(stack2[0x3ff]));
  if( new_thread_id < 0 ) fatal_error( "cannot start Producer 2" );
  printf("\nProducer %d is created with thread-ID %d", prod2.id, new_thread_id);

  new_thread_id = oslab_create_thread((void *)Producer, &prod3, &(stack3[0x3ff]));
  if( new_thread_id < 0 ) fatal_error( "cannot start Producer 3" );
  printf("\nProducer %d is created with thread-ID %d", prod3.id, new_thread_id);

  new_thread_id = oslab_create_thread((void *)Consumer, &cons1, &(stack4[0x3ff]));
  if( new_thread_id < 0 ) fatal_error( "cannot start Consumer 1" );
  printf("\nConsumer %d is created with thread-ID %d", cons1, new_thread_id);

  new_thread_id = oslab_create_thread((void *)Consumer, &cons2, &(stack5[0x3ff]));
  if( new_thread_id < 0 ) fatal_error( "cannot start Consumer 2" );
  printf("\nConsumer %d is created with thread-ID %d", cons2, new_thread_id);

  oslab_idle(); /* Must be called here! */
}



/*
 * NextPrime
 * 
 * Return the first prime number larger than the integer
 * given as a parameter. The integer must be positive.
 */
#define PRIME_FALSE   0     /* Constant to help readability. */
#define PRIME_TRUE    1     /* Constant to help readability. */
int NextPrime( int inval )
{
   int perhapsprime;        /* Holds a tentative prime while we check it. */
   int testfactor;          /* Holds various factors for which we test perhapsprime. */
   int found;               /* Flag, false until we find a prime. */

   if (inval < 3 )          /* Initial sanity check of parameter. */
   {
     if(inval <= 0) return(1);  /* Return 1 for zero or negative input. */
     if(inval == 1) return(2);  /* Easy special case. */
     if(inval == 2) return(3);  /* Easy special case. */
   }
   else
   {
     /* Testing an even number for primeness is pointless, since
      * all even numbers are divisible by 2. Therefore, we make sure
      * that perhapsprime is larger than the parameter, and odd. */
     perhapsprime = ( inval + 1 ) | 1 ;
   }
   /* While prime not found, loop. */
   for( found = PRIME_FALSE; found != PRIME_TRUE; perhapsprime += 2 )
   {
     /* Check factors from 3 up to perhapsprime/2. */
     for( testfactor = 3; testfactor <= (perhapsprime >> 1) + 1; testfactor += 1 )
     {
       found = PRIME_TRUE;      /* Assume we will find a prime. */
       if( (perhapsprime % testfactor) == 0 ) /* If testfactor divides perhapsprime... */
       {
         found = PRIME_FALSE;   /* ...then, perhapsprime was non-prime. */
         goto check_next_prime; /* Break the inner loop, go test a new perhapsprime. */
       }
     }
     check_next_prime:;         /* This label is used to break the inner loop. */
     if( found == PRIME_TRUE )  /* If the loop ended normally, we found a prime. */
     {
       return( perhapsprime );  /* Return the prime we found. */
     } 
   }
   return( perhapsprime );      /* When the loop ends, perhapsprime is a real prime. */
}

当我运行程序时,FIFO 队列的开头被覆盖,当消费者启动时,前 30 个素数似乎丢失了:

Consumer 1 gets Prime 5059 
Consumer 1 gets Prime 5077 
Consumer 1 gets Prime 5081 
Consumer 1 gets Prime 8009 
Consumer 1 gets Prime 8011 
Consumer 1 gets Prime 8017 
Consumer 1 gets Prime 8039 
Consumer 1 gets Prime 8053 
Consumer 1 gets Prime 8059 
Consumer 1 gets Prime 5051 
Consumer 1 gets Prime 5059 
Consumer 1 gets Prime 5077 
Consumer 1 gets Prime 5081 
Consumer 1 gets Prime 8009 
Consumer 1 gets Prime 8011 

如果我使用信号量,我不会遇到这个问题,并且消费者会得到所有的素数。你知道为什么我的这个版本的项目会出现这个问题吗?

更新

现在我将Producer函数更改为调用yield,然后生产者将为生成的每个素数产生收益(因此我认为每个生产者的时间片只会产生一个素数)。

#include <stdio.h>
#include "oslab_lowlevel_h.h"

int NextPrime( int );

#define FIFO_SIZE 10

/* Declare a structure to hold a producer's starting value,
 * and an integer for the Producer-number (Producer 1, 2 or 3). */
struct Prod {
    int startvalue;
    int id;
};

unsigned int stack1[0x400]; /* Stack for thread 1 */
unsigned int stack2[0x400]; /* Stack for thread 2 */
unsigned int stack3[0x400]; /* Stack for thread 3 */
unsigned int stack4[0x400]; /* Stack for thread 4 */
unsigned int stack5[0x400]; /* Stack for thread 5 */

/* Declare variables for the First-In-First-Out Queue */
int  Fifo[FIFO_SIZE];        /* Array holding FIFO queue data. */
int  rdaddr;                /* Next unread entry when reading from queue. */
int  wraddr;                /* Next free entry when writing into queue. */

/* Declaration of semaphore variables.
 * 
 * Sorry for the lack of comments, but part of the purpose of the lab
 * is that you should find things out by reading the actual code. */
int  rdmutex = 1;
int  wrmutex = 1;
int  nrempty = FIFO_SIZE;
int  nrfull = 0;

/*
 * fatal_error
 * 
 * Print a message, then stop execution.
 * This function never returns; after printing
 * the message, it enters an infinite loop.
 */
void fatal_error( char * msg)
{
  printf( "\nFatal error: %s\n", msg );
  while( 1 );
}

/*
 * Sleep
 * 
 * Delay execution by keeping the CPU busy for a while,
 * counting down to zero.
 */
void Sleep (int n)
{
    while (n--);
}


void Signal( int *sem )
{

  oslab_begin_critical_region();
  *sem = *sem + 1;
  oslab_end_critical_region();
}


void Wait( int *sem )
{
  /* Disable interrupts. */
  oslab_begin_critical_region();
  while ( *sem <= 0 )
    {
      /* If we should wait, enable interrupts again. */
      oslab_end_critical_region();

      //  oslab_yield(); /* Perhaps we should yield here? */

      /* Disable interrupts again before next iteration in loop. */
      oslab_begin_critical_region();
    }
    /* We have waited long enough - the semaphore-value is now
     * greater than zero. Decrease it. */
    *sem = *sem - 1;
    /* Enable interrupts again. */
    oslab_end_critical_region();
}

/*
 * PutFifo
 * 
 * Insert an integer into the FIFO queue.
 */
void PutFifo( int tal )
{
  //  Wait (&nrempty);      /* Wait for nrempty? */
  //  Wait (&wrmutex);      /* Wait for wrmutex? */

  Fifo[wraddr] = tal;       /* Write to FIFO array. */
    //  printf("\nPutFifo:  %d ", tal); /* Optional debug output */
    //  printf("\nwraddr = %d ", wraddr); /* Optional debug output. */
  wraddr = wraddr + 1;      /* Increase index into FIFO array,
                               to point to the next free position. */
  /* Wrap around the index, if it has reached the end of the array. */
  if (wraddr == FIFO_SIZE ) wraddr = 0;

  //  Signal (&wrmutex);    /* Signal wrmutex? */
  //  Signal (&nrfull);     /* Signal nrfull? */
}

/*
 * GetFifo
 * 
 * Extract the next integer from the FIFO queue.
 */
int GetFifo( void )
{
  int retval;               /* Declare temporary for return value. */

  //  Wait (&nrfull);       /* Wait for nrfull? */
  //  Wait (&rdmutex);      /* Wait for rdmutex? */

  retval = Fifo[rdaddr];    /* Get value from FIFO array. */
    //  printf("\nGetFifo:  %d ", retval); /* Optional debug output */
    //  printf("\nrdaddr = %d ", rdaddr); /* Optional debug output */
  rdaddr = rdaddr + 1;      /* Increase index into FIFO array,
                               to point to the next free position. */
  /* Wrap around the index, if it has reached the end of the array. */
  if (rdaddr == FIFO_SIZE ) rdaddr = 0;

  //  Signal (&rdmutex);    /* Signal rdmutex? */
  //  Signal (&nrempty);    /* Signal nrempty? */

  return (retval);          /* Return value fetched from FIFO. */
}


int NextPrime( int );

void Producer( struct Prod * prodstruct )
{
  int next;                 /* Will hold the prime we just produced. */
  int prodid;               /* Tells whether we are producer 1, 2 or 3. */
  next = prodstruct -> startvalue; /* Get starting value from parameter. */
  prodid = prodstruct -> id;/* Get producer number from parameter. */
  while( 1 )                /* Loop forever. */
  {
    next = NextPrime (next);/* Produce a new prime. */
    printf("\nNext Prime from producer %d is %d",prodid,next); /* Informational output. */
    PutFifo(next);          /* Write prime into FIFO. */
    oslab_yield();        /* Perhaps we should yield here? */
  }
}

void Consumer( int * tal )
{
  int next;                 /* Will hold the prime we are to consume. */
  int consid = *tal;        /* Tells whether we are consumer 1 or 2. */
  while( 1 )                /* Loop forever. */
  {
    next = GetFifo();       /* Get a newly produced prime from the FIFO. */
    printf("\nConsumer %d gets Prime %d ",consid, next); /* Informational output. */
    Sleep(2000);            /* Symbolic work. */
  //  oslab_yield();        /* Perhaps we should yield here? */ 
  }
}

int main( void )
{
  int new_thread_id; /* Thread ID variable. */
  struct Prod prod1, prod2, prod3;  /* Producer starting-values. */
  int cons1, cons2;                 /* Consumer starting-values. */

  rdaddr = 0;               /* FIFO initialization. */
  wraddr = 0;               /* FIFO initialization. */
  printf("\nSystem starting...");

  prod1.startvalue = 2000;
  prod1.id = 1;

  prod2.startvalue = 5000;
  prod2.id = 2;

  prod3.startvalue = 8000;
  prod3.id = 3;

  cons1 = 1;
  cons2 = 2;

  new_thread_id = oslab_create_thread((void *)Producer, &prod1, &(stack1[0x3ff]));
  if( new_thread_id < 0 ) fatal_error( "cannot start Producer 1" );
  printf("\nProducer %d is created with thread-ID %d", prod1.id, new_thread_id);

  new_thread_id = oslab_create_thread((void *)Producer, &prod2, &(stack2[0x3ff]));
  if( new_thread_id < 0 ) fatal_error( "cannot start Producer 2" );
  printf("\nProducer %d is created with thread-ID %d", prod2.id, new_thread_id);

  new_thread_id = oslab_create_thread((void *)Producer, &prod3, &(stack3[0x3ff]));
  if( new_thread_id < 0 ) fatal_error( "cannot start Producer 3" );
  printf("\nProducer %d is created with thread-ID %d", prod3.id, new_thread_id);

  new_thread_id = oslab_create_thread((void *)Consumer, &cons1, &(stack4[0x3ff]));
  if( new_thread_id < 0 ) fatal_error( "cannot start Consumer 1" );
  printf("\nConsumer %d is created with thread-ID %d", cons1, new_thread_id);

  new_thread_id = oslab_create_thread((void *)Consumer, &cons2, &(stack5[0x3ff]));
  if( new_thread_id < 0 ) fatal_error( "cannot start Consumer 2" );
  printf("\nConsumer %d is created with thread-ID %d", cons2, new_thread_id);


  oslab_idle(); /* Must be called here! */
}

变化是我在代码中评论了oslab_yield(); /* Perhaps we should yield here? */所以现在我想每个时间片只产生一个素数(?)

System starting...
Producer 1 is created with thread-ID 1
Producer 2 is created with thread-ID 2
Producer 3 is created with thread-ID 3
Consumer 1 is created with thread-ID 4
Consumer 2 is created with thread-ID 5
#### Thread yielded after using 1 tick.
Performing thread-switch number 1. The system has been running for 1 ticks.
Switching from thread-ID 0 to thread-ID 1.

Next Prime from producer 1 is 2003
#### Thread yielded after using 5 ticks.
Performing thread-switch number 2. The system has been running for 6 ticks.
Switching from thread-ID 1 to thread-ID 2.

Next Prime from producer 2 is 5003
#### Thread yielded after using 11 ticks.
Performing thread-switch number 3. The system has been running for 17 ticks.
Switching from thread-ID 2 to thread-ID 3.

Next Prime from producer 3 is 8009
#### Thread yielded after using 16 ticks.
Performing thread-switch number 4. The system has been running for 33 ticks.
Switching from thread-ID 3 to thread-ID 4.

Consumer 1 gets Prime 2003 
Consumer 1 gets Prime 5003 
Consumer 1 gets Prime 8009 
Consumer 1 gets Prime 0 
Consumer 1 gets Prime 0 
Consumer 1 gets Prime 0 
Consumer 1 gets Prime 0 
Consumer 1 gets Prime 0 
Consumer 1 gets Prime 0 
Consumer 1 gets Prime 0 
Consumer 1 gets Prime 2003 
Consumer 1 gets Prime 5003 
Consumer 1 gets Prime 8009 
Consumer 1 gets Prime 0 
Consumer 1 gets Prime 0 
Consumer 1 gets Prime 0 
Consumer 1 gets Prime 0 
Consumer 1 gets Prime 0 
Consumer 1 gets Prime 0 
Consumer 1 gets Prime 0 
Consumer 1 gets Prime 2003 
Consumer 1 gets Prime 5003 
Consumer 1 gets Prime 8009 
Consumer 1 gets Prime 0 
Consumer 1 gets Prime 0 
Consumer 1 gets Prime 0 
Consumer 1 gets Prime 0 
Consumer 1 gets Prime 0 
Consumer 1 gets Prime 0 
Consumer 1 gets Prime 0 
Consumer 1 gets Prime 2003 
Consumer 1 gets Prime 5003 
Consumer 1 gets Prime 8009 
Consumer 1 gets Prime 0 
Consumer 1 gets Prime 0 
Consumer 1 gets Prime 0 
Consumer 1 gets Prime 0 
Consumer 1 gets Prime 0 
Performing thread-switch number 5. The system has been running for 133 ticks.
Switching from thread-ID 4 to thread-ID 5.

Consumer 2 gets Prime 0 
Consumer 2 gets Prime 0 
Consumer 2 gets Prime 2003 
Consumer 2 gets Prime 5003 
Consumer 2 gets Prime 8009 
Consumer 2 gets Prime 0 
Consumer 2 gets Prime 0 
Consumer 2 gets Prime 0 
Consumer 2 gets Prime 0 
Consumer 2 gets Prime 0 
Consumer 2 gets Prime 0 
Consumer 2 gets Prime 0 
Consumer 2 gets Prime 2003 
Consumer 2 gets Prime 5003 
Consumer 2 gets Prime 8009 
Consumer 2 gets Prime 0 
Consumer 2 gets Prime 0 
Consumer 2 gets Prime 0 
Consumer 2 gets Prime 0 
Consumer 2 gets Prime 0 
Consumer 2 gets Prime 0 
Consumer 2 gets Prime 0 
Consumer 2 gets Prime 2003 
Consumer 2 gets Prime 5003 
Consumer 2 gets Prime 8009 
Consumer 2 gets Prime 0 
Consumer 2 gets Prime 0 
Consumer 2 gets Prime 0 
Consumer 2 gets Prime 0 
Consumer 2 gets Prime 0 
Consumer 2 gets Prime 0 
Consumer 2 gets Prime 0 
Consumer 2 gets Prime 2003 
Consumer 2 gets Prime 5003 
Consumer 2 gets Prime 8009 
Consumer 2 gets Prime 0 
Consumer 2 gets Prime 0 
Consumer 2 gets Prime 0 
Performing thread-switch number 6. The system has been running for 233 ticks.
Switching from thread-ID 5 to thread-ID 0.

#### Thread yielded after using 0 ticks.
Performing thread-switch number 7. The system has been running for 233 ticks.
Switching from thread-ID 0 to thread-ID 1.

Next Prime from producer 1 is 2011
#### Thread yielded after using 5 ticks.
Performing thread-switch number 8. The system has been running for 238 ticks.
Switching from thread-ID 1 to thread-ID 2.

Next Prime from producer 2 is 5009
#### Thread yielded after using 11 ticks.
Performing thread-switch number 9. The system has been running for 249 ticks.
Switching from thread-ID 2 to thread-ID 3.

Next Prime from producer 3 is 8011
#### Thread yielded after using 16 ticks.
Performing thread-switch number 10. The system has been running for 265 ticks.
Switching from thread-ID 3 to thread-ID 4.

Consumer 1 gets Prime 0 
Consumer 1 gets Prime 0 
Consumer 1 gets Prime 0 
Consumer 1 gets Prime 0 
Consumer 1 gets Prime 2003 
Consumer 1 gets Prime 5003 
Consumer 1 gets Prime 8009 
Consumer 1 gets Prime 2011 
Consumer 1 gets Prime 5009 
Consumer 1 gets Prime 8011 
Consumer 1 gets Prime 0 
Consumer 1 gets Prime 0 
Consumer 1 gets Prime 0 
Consumer 1 gets Prime 0 
Consumer 1 gets Prime 2003 
Consumer 1 gets Prime 5003 
Consumer 1 gets Prime 8009 
Consumer 1 gets Prime 2011 
Consumer 1 gets Prime 5009 
Consumer 1 gets Prime 8011 
Consumer 1 gets Prime 0 
Consumer 1 gets Prime 0 
Consumer 1 gets Prime 0 
Consumer 1 gets Prime 0 
Consumer 1 gets Prime 2003 
Consumer 1 gets Prime 5003 
Consumer 1 gets Prime 8009 
Consumer 1 gets Prime 2011 
Consumer 1 gets Prime 5009 
Consumer 1 gets Prime 8011 
Consumer 1 gets Prime 0 
Consumer 1 gets Prime 0 
Consumer 1 gets Prime 0 
Consumer 1 gets Prime 0 
Consumer 1 gets Prime 2003 
Consumer 1 gets Prime 5003 
Consumer 1 gets Prime 8009 
Consumer 1 gets Prime 
Performing thread-switch number 11. The system has been running for 365 ticks.
Switching from thread-ID 4 to thread-ID 5.

Consumer 2 gets Prime 5009 
Consumer 2 gets Prime 8011 
Consumer 2 gets Prime 0 
Consumer 2 gets Prime 0 
Consumer 2 gets Prime 0 
Consumer 2 gets Prime 0 
Consumer 2 gets Prime 2003 
Consumer 2 gets Prime 5003 
Consumer 2 gets Prime 8009 
Consumer 2 gets Prime 2011 
Consumer 2 gets Prime 5009 
Consumer 2 gets Prime 8011 
Consumer 2 gets Prime 0 
Consumer 2 gets Prime 0 
Consumer 2 gets Prime 0 
Consumer 2 gets Prime 0 
Consumer 2 gets Prime 2003 
Consumer 2 gets Prime 5003 
Consumer 2 gets Prime 8009 
Consumer 2 gets Prime 2011 
Consumer 2 gets Prime 5009 
Consumer 2 gets Prime 8011 
Consumer 2 gets Prime 0 
Consumer 2 gets Prime 0 
Consumer 2 gets Prime 0 
Consumer 2 gets Prime 0 
Consumer 2 gets Prime 2003 
Consumer 2 gets Prime 5003 
Consumer 2 gets Prime 8009 
Consumer 2 gets Prime 2011 
Consumer 2 gets Prime 5009 
Consumer 2 gets Prime 8011 
Consumer 2 gets Prime 0 
Consumer 2 gets Prime 0 
Consumer 2 gets Prime 0 
Consumer 2 gets Prime 0 
Consumer 2 gets Prime 2003 
Consumer 2 gets Prime 5003 
Performing thread-switch number 12. The system has been running for 465 ticks.
Switching from thread-ID 5 to thread-ID 0.

#### Thread yielded after using 0 ticks.
Performing thread-switch number 13. The system has been running for 465 ticks.
Switching from thread-ID 0 to thread-ID 1.

Next Prime from producer 1 is 2017
#### Thread yielded after using 5 ticks.
Performing thread-switch number 14. The system has been running for 470 ticks.
Switching from thread-ID 1 to thread-ID 2.

Next Prime from producer 2 is 5011
#### Thread yielded after using 11 ticks.
Performing thread-switch number 15. The system has been running for 481 ticks.
Switching from thread-ID 2 to thread-ID 3.

Next Prime from producer 3 is 8017
#### Thread yielded after using 16 ticks.
Performing thread-switch number 16. The system has been running for 497 ticks.
Switching from thread-ID 3 to thread-ID 4.
2094 
Consumer 1 gets Prime 8009 
Consumer 1 gets Prime 2011 
Consumer 1 gets Prime 5009 
Consumer 1 gets Prime 8011 
Consumer 1 gets Prime 2017 
Consumer 1 gets Prime 5011 
Consumer 1 gets Prime 8017 
Consumer 1 gets Prime 0 
Consumer 1 gets Prime 2003 
Consumer 1 gets Prime 5003 
Consumer 1 gets Prime 8009 
Consumer 1 gets Prime 2011 
Consumer 1 gets Prime 5009 
Consumer 1 gets Prime 8011 
Consumer 1 gets Prime 2017 
Consumer 1 gets Prime 5011 
Consumer 1 gets Prime 8017 
Consumer 1 gets Prime 0 
Consumer 1 gets Prime 2003 
Consumer 1 gets Prime 5003 
Consumer 1 gets Prime 8009 
Consumer 1 gets Prime 2011 
Consumer 1 gets Prime 5009 
Consumer 1 gets Prime 8011 
Consumer 1 gets Prime 2017 
Consumer 1 gets Prime 5011 
Consumer 1 gets Prime 8017 
4

2 回答 2

2

尼克,你有几个问题。

首先,生产者不能只写入fifo。您需要检查它是否有空间。(这就是 wraddr+1 != rdaddr. Modulo FIFO_SIZE)您还需要消费者检查 fifo 是否为空。(这是 wraddr != rdaddr。模 FIFO_SIZE)

下一个问题涉及调度。oslab调度器是如何实现的?只有一个执行线程吗?如果是这样,它是先发制人的,等等?在任何情况下,如果一个线程通过 PutFifo 的一部分,而下一个线程启动 PutFifo,则无法防止双重更新。事实上,wraddr 可能已损坏,因此您会丢失条目。你可以做一个广义的 Dekker 算法(见维基百科——在页面底部你会看到指向彼得森和其他算法的指针)。消费者方面也有类似的问题。

我认为您的问题是上述两个问题的结合。那么如何解决呢?我会为每个 addr(wr 和 rd)编写一个 Sync 和 Unsync 例程。在封面下,您可以为您想做的第二件事做互斥锁等。你也可以为你想做的第一遍做一个 Dekker 等。将同步放在 PutFifo 之前,将 Unsync 放在 PutFifo 之后。GetFifo 也是如此。

需要帮助请叫我。

于 2013-04-03T15:05:14.560 回答
2
  1. 应该声明您的 FIFO 和信号量变量volatile

  2. 您的代码中没有任何内容调用Wait

于 2013-04-01T16:23:42.823 回答