Writter/Read Nachos pseudo code

Write-Read

ConditionVariable OkToRead
ConditionVariable OkToWrite

Read () {
  //check if there are writers active or waiting
  Lock acquire()
  while (WW + AW > 0) {
     WR++ //contamos como un lector
     OkToRead.wait() //sleep()
     WR--
  }
  AR ++; //active reader
  Lock Release();
  //al salir del bloque se lee de la database;
  DB Read(); 
  Lock Aquire(); //avisar que se va a modificar las variables de estado

  AR --;
  //cuando no hay active writers
  while (AC == 0 && WW > 0) {
    //no deben de haber AW;
    //sacar el wating writer;
    OkToWrite.Notify(); //despierta al siguiente thread, solo puede haber uno.
  }
  Lock Release;
  }
}

Write() {
  Lock Aquire;
  while (AR + AW > 0) {
    WW++ //somos un writer que esta esperando
    OkToWrite wait()
    WW -- //ya no estamos esperando
  }
  AW++
  Lock Release //context switching

  DB Write()
  Lock Aquire()

  AW--
  if (WW > 0) {
    OkToWrite Notify()
  }
  else if (WR > 0) {
      OkToRead NotifyAll()
  }
}