// EPOS-- Semaphore Test Program

// This work is licensed under the Creative Commons 
// Attribution-NonCommercial-NoDerivs License. To view a copy of this license, 
// visit http://creativecommons.org/licenses/by-nc-nd/2.0/ or send a letter to 
// Creative Commons, 559 Nathan Abbott Way, Stanford, California 94305, USA.

#include <utility/ostream.h>
#include <thread.h>
#include <semaphore.h>
#include <alarm.h>
#include <display.h>

__USING_SYS

const int iterations = 5; // para diminuir o tempo do teste

Thread * m;
Thread * phil[5];
Semaphore * chopstick[5];

OStream cout;

int philosopher(int n, int l, int c)
{
  Display display;
    
  //     cout << "I'm the philosopher " << n << "\n";
  //     cout << "I'll print at " << l << " x " << c << "\n";
 
  int first = (n < 4)? n : 0;
  int second = (n < 4)? n + 1 : 4;

  for(int i = iterations; i > 0; i--) {
	display.position(l, c);
 	cout << "thinking";
	Alarm::delay(1000000);

	chopstick[first]->p();   // get first chopstick
	chopstick[second]->p();   // get second chopstick
	display.position(l, c);
	cout << " eating ";
	Alarm::delay(500000);
	chopstick[first]->v();   // release first chopstick
	chopstick[second]->v();   // release second chopstick
  }

  return(iterations);
}

int main()
{
  Display display;

  display.clear();
  cout << "The Philosopher's Dinner:\n";

  for(int i = 0; i < 5; i++)
	chopstick[i] = new Semaphore;

  phil[0] = new Thread(&philosopher, 0, 5, 32);
  phil[1] = new Thread(&philosopher, 1, 10, 44);
  phil[2] = new Thread(&philosopher, 2, 16, 39);
  phil[3] = new Thread(&philosopher, 3, 16, 24);
  phil[4] = new Thread(&philosopher, 4, 10, 20);

  cout << "Philosophers are alife and hungry!\n";

  cout << "The dinner is served!\n";
  display.position(7, 44);
  cout << '/';
  display.position(13, 44);
  cout << '\\';
  display.position(16, 35);
  cout << '|';
  display.position(13, 27);
  cout << '/';
  display.position(7, 27);
  cout << '\\';

  display.position(20, 0);
  cout << "Waiting the end!\n"; // diminuir um desconforto psiquico
  for(int i = 0; i < 5; i++) {
	int ret = phil[i]->join();
	display.position(21 + i, 0);
	cout << "Philosopher " << i << " ate " << ret << " times \n";
  }

  cout << "The end!\n";
    
  return 0;
}