// Programmet bruker ISO C 2011 (ISO/IEC 9899:2011) og Pthreads (IEEE Std 1003.1c-1995). -*- coding: utf-8 -*-
// Løsning programmert av Trond Endrestøl <Trond.Endrestol@ximalas.info>, 2014-11-06.

// $Ximalas$

#include <errno.h>
#include <pthread.h>
#include <signal.h>
#include <stdbool.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <unistd.h>

#if __STDC_VERSION__ >= 201112L
#include <stdnoreturn.h>
#else
#define noreturn
#endif

#define ANTALL_LIVSTIDSFANGER 19U

static unsigned antallBesok[ANTALL_LIVSTIDSFANGER];

static size_t tellendeLivstidsfange;
static unsigned antallLivstidsfanger;

static pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER;
static pthread_cond_t cond = PTHREAD_COND_INITIALIZER;
static bool brytere[2U];

noreturn void *livstidsfange(void *arg);
void visResultater(void);
void signalhandler(int sig);

noreturn int main(int argc, char **argv)
{
  size_t i;
  pthread_t tid = pthread_self();

  atexit(visResultater);
  signal(SIGINT, signalhandler);

  srandomdev();

  memset((void *)&antallBesok, 0, sizeof(antallBesok));
  brytere[0] = random() & 1;
  brytere[1] = random() & 1;

  tellendeLivstidsfange = random() % ANTALL_LIVSTIDSFANGER;

  printf("bryter %u er i utgangspunktet vippet %s\n", 1U, brytere[0] == true ? "opp" : "ned");
  printf("bryter %u er i utgangspunktet vippet %s\n", 2U, brytere[1] == true ? "opp" : "ned");
  printf("livstidsfange %zu er utpekt som den tellende livstidsfange\n\n", tellendeLivstidsfange + 1);

  puts("maintråden venter på å få låst mutex");
  pthread_mutex_lock(&mutex);
  puts("mutex er låst av maintråden");

  for (i = 0; i < ANTALL_LIVSTIDSFANGER; i++) {
    printf("maintråden oppretter livstidsfange %2zu\n", i + 1);

    if ( (errno = pthread_create(&tid, NULL, livstidsfange, (void *)i)) != 0) {
      fprintf(stderr,
              "%s: pthread_create(&tid, NULL, livstidsfange, (void *)%2zu) = %s (%d)\n",
              argv[0], i, strerror(errno), errno);
      exit(1);
    } // if
  } // for

  // maintråden påtar seg rolla som fengselsdirektøren.
  while (1) {
    puts("fengselsdirektøren låser opp mutex");
    pthread_mutex_unlock(&mutex);
    puts("mutex er låst opp av fengselsdirektøren");

    puts("fengselsdirektøren signalerer livstidsfangene");
    pthread_cond_signal(&cond);
    puts("signal er sendt fra fengselsdirektøren");

    puts("fengselsdirektøren venter på å få låst mutex");
    pthread_mutex_lock(&mutex);
    puts("mutex er låst av fengselsdirektøren");
  } // while
} // main()

noreturn void *livstidsfange(void *arg)
{
  size_t i = (size_t)arg;

  bool harVippetBryter1 = false;
  bool bryter1HarVartOppe = false;

  bool forrigeGangErGyldig = false;
  bool forrigeGang = false;

  // Den tellende livstidsfangen kan allerede nå telle seg selv.
  if (i == tellendeLivstidsfange) {
    antallLivstidsfanger++;
  } // if

  while (1) {
    // Vente på tur.
    printf("livstidsfange %2zu venter på å få låst mutex\n", i + 1);
    pthread_mutex_lock(&mutex);
    printf("livstidsfange %2zu har låst mutex\n", i + 1);

    printf("livstidsfange %2zu venter på signal fra fengselsdirektøren\n", i + 1);
    pthread_cond_wait(&cond, &mutex);
    printf("livstidsfange %2zu har fått signal fra fengselsdirektøren og har låst mutex\n", i + 1);

    // Utføre selve simuleringen ved å sjekke brytere, m.m.
    antallBesok[i]++;
    printf("livstidsfange %2zu har besøkt rommet %u gang%s\n", i + 1, antallBesok[i], antallBesok[i] == 1 ? "" : "er");

    if (i == tellendeLivstidsfange) {
      if (brytere[0] == false) {
        printf("livstidsfange %2zu ser at bryter 1 er nede og vipper opp bryter 1\n", i + 1);
        brytere[0] = true;
      } // if
      else {
        brytere[0] = !brytere[0];
        printf("livstidsfange %2zu vipper %s bryter 1\n", i + 1, brytere[0] == true ? "opp" : "ned");

        if (forrigeGangErGyldig == true && forrigeGang == false) {
          antallLivstidsfanger++;
          printf("livstidsfange %2zu har talt opp %u livstidsfanger\n", i + 1, antallLivstidsfanger);

          if (antallLivstidsfanger == ANTALL_LIVSTIDSFANGER) {
            printf("livstidsfange %2zu avslutter simuleringen\n", i + 1);
            exit(0);
          } // if
        } // if

        forrigeGangErGyldig = true;
        forrigeGang = brytere[0];
      } // else
    } // if
    else { // Vanlig livstidsfange.
      if (brytere[0] == true) {
        printf("livstidsfange %2zu ser at bryter 1 er oppe, mens bryter 2 er %s\n", i + 1, brytere[1] == true ? "oppe" : "nede");
        bryter1HarVartOppe = true;

        brytere[1] = !brytere[1];
        printf("livstidsfange %2zu vipper %s bryter 2\n", i + 1, brytere[1] == true ? "opp" : "ned");
      } // if
      else {
        printf("livstidsfange %2zu ser at bryter 1 er nede, mens bryter 2 er %s\n", i + 1, brytere[1] == true ? "oppe" : "nede");

        if (harVippetBryter1 == false && bryter1HarVartOppe == true) {
          brytere[0] = !brytere[0];
          printf("livstidsfange %2zu vipper %s bryter 1\n", i + 1, brytere[0] == true ? "opp" : "ned");

          harVippetBryter1 = true;
        } // if
        else {
          brytere[1] = !brytere[1];
          printf("livstidsfange %2zu vipper %s bryter 2\n", i + 1, brytere[1] == true ? "opp" : "ned");
        } // else
      } // else
    } // else

    // Tusle ut av rommet.
    printf("livstidsfange %2zu låser opp mutex\n", i + 1);
    pthread_mutex_unlock(&mutex);
    printf("livstidsfange %2zu har låst opp mutex\n", i + 1);
  } // while
} // livstidsfange()

void visResultater(void)
{
  size_t i;

  fflush(stderr);
  fflush(stdout);
  fflush(stderr);
  fflush(stdout);
  puts("\nResultater:\n");

  printf("bryter %u er ved avslutning vippet %s\n", 1U, brytere[0] == true ? "opp" : "ned");
  printf("bryter %u er ved avslutning vippet %s\n", 2U, brytere[1] == true ? "opp" : "ned");
  printf("livstidsfange %2zu var den tellende livstidsfangen\n\n", tellendeLivstidsfange + 1);

  for (i = 0; i < ANTALL_LIVSTIDSFANGER; i++) {
    printf("livstidsfange %2zu: antall besøk: %u\n", i + 1, antallBesok[i]);
  } // for

  fflush(stdout);
  fflush(stdout);
} // visResultater()

void signalhandler(int sig)
{
  if (sig == SIGINT) {
    exit(1);
  } // if
} // signalhandler()

// livstidsfanger.c