Ucztujący filozofowie 0.912

#!/usr/bin/bash
# -*- coding: utf-8 -*-


quiet_run() {
  "$@" >/dev/null 2>&1
}

c_locale_run() {
  LC_ALL="C.UTF-8" LANG="C.UTF-8" LANGUAGE="C" "$@"
}


is_int() {
  c_locale_run quiet_run printf "%d" "$1"
}


is_float() {
  c_locale_run quiet_run printf "%f" "$1"
}

log() {
  DATE_MAIN=`date +"%F %T.%N"`
  echo "[""$DATE_MAIN"" ""$LOG_IDENTITY""PID-""$BASHPID""] " "$@"
}

run_philosopher() {
 PHILOSOPHER_ID=$1
TABLE_PATH=$2
MAX_MEALS=$3
EATING_TIME=$4
SLEEPING_TIME=$5


MESSAGE=""
  MESSAGE="$MESSAGE""Script file: "`realpath -- "$0"`"; "

  if [[ "$PHILOSOPHER_ID" -eq "0" ]]
  then
    LOG_IDENTITY="Main"
    MESSAGE="$MESSAGE""Context: ""$LOG_IDENTITY""; "
  else
    MESSAGE="$MESSAGE""Context: ""$LOG_IDENTITY""; "
    if [[ "$PHILOSOPHER_ID" -eq "$PHILOSOPHERS_COUNT" ]]
    then
      FORK_B="$PHILOSOPHER_ID"
      FORK_A="1"
    else
      FORK_A="$PHILOSOPHER_ID"
      FORK_B=$[PHILOSOPHER_ID+1]
    fi
    FORK_A_PATH=`realpath -- "$TABLE_PATH""/""$FORK_A"`
    FORK_B_PATH=`realpath -- "$TABLE_PATH""/""$FORK_B"`
  fi

  MESSAGE="$MESSAGE""Table path: \`\`""$TABLE_PATH""''; "
  if [[ "$PHILOSOPHER_ID" -ne "0" ]]
  then
    MESSAGE="$MESSAGE""Primary fork: ""$FORK_A_PATH""; "
    MESSAGE="$MESSAGE""Secondary fork: ""$FORK_B_PATH""; "
  fi
  MESSAGE="$MESSAGE""Philosophers count: ""$PHILOSOPHERS_COUNT""; "
  MESSAGE="$MESSAGE""Maximum meals: ""$MAX_MEALS""; "

  if [[ -z $EATING_TIME ]]
  then
    MESSAGE="$MESSAGE""Eating time: randomized; "
  else
    MESSAGE="$MESSAGE""Eating time: ""$EATING_TIME""s; "
  fi

  if [[ -z $SLEEPING_TIME ]]
  then
    MESSAGE="$MESSAGE""Sleeping time: randomized; "
  else
    MESSAGE="$MESSAGE""Sleeping time: ""$SLEEPING_TIME""s; "
  fi

  log "FID#$PHILOSOPHER_ID ""^^^START^^^ ""$MESSAGE"

  HALF_TIME=$[(MAX_MEALS+1)/2]
  MEALS_CONSUMED=0

  for MEAL_ID in `seq 1 "$MAX_MEALS"`
  do
    ACTUAL_EATING_TIME=${EATING_TIME:-`random_time`}
    ACTUAL_SLEEPING_TIME=${SLEEPING_TIME:-`random_time`}

    log "FID#$PHILOSOPHER_ID ""FID#$PHILOSOPHER_ID ""Trying to acquire Fork WID#""$FORK_A"
    (
      flock -x 9
       log "FID#$PHILOSOPHER_ID ""Fork WID#""$FORK_A"" acquired successfully(exclusive lock put on fork "$FORK_A")"

      log "FID#$PHILOSOPHER_ID ""Trying to acquire Fork WID#""$FORK_B(trying to put exclusive lock on fork "$FORK_B")"
      (
        flock -x 10
        log "FID#$PHILOSOPHER_ID ""Fork WID#""$FORK_B"" acquired successfully(exclusive lock put on fork "$FORK_B")"

         log "FID#$PHILOSOPHER_ID ""Eating Meal#""$MEAL_ID "" started, it will take ""$ACTUAL_EATING_TIME""s"
         sleep "$ACTUAL_EATING_TIME"
         log "FID#$PHILOSOPHER_ID ""Eating Meal#""$MEAL_ID "" finished"
      ) 10>"$FORK_B_PATH"
      log "FID#$PHILOSOPHER_ID ""Putting Fork WID#""$FORK_A"" back(exclusive lock droped from fork "$FORK_B")"

    ) 9>"$FORK_A_PATH"
    log "FID#$PHILOSOPHER_ID ""Putting Fork WID#""$FORK_B"" back(exclusive lock droped from fork "$FORK_B")"

    MEALS_CONSUMED=$[MEALS_CONSUMED+1]

      log "FID#$PHILOSOPHER_ID ""Sleeping after Meal#""$MEAL_ID "" started, it will take ""$ACTUAL_SLEEPING_TIME""s"
      sleep "$ACTUAL_SLEEPING_TIME"
      log "FID#$PHILOSOPHER_ID ""Sleeping after Meal#""$MEAL_ID "" finished"

    if [[ "$MEAL_ID" -eq "$HALF_TIME" ]]
    then
      log "FID#$PHILOSOPHER_ID ""---POŁOWA--- Meals consumed: ""$MEALS_CONSUMED"
      echo > "$TABLE_LOCK"
      read line < "$TABLE_LOCK""1"
      log "FID#$PHILOSOPHER_ID ""Barrier is passed."

    fi
  done

  log "FID#$PHILOSOPHER_ID ""___STOP___ Meals consumed: ""$MEALS_CONSUMED"
}



random_time() {
  echo "0.""$RANDOM"
}




#Scrypt start
while getopts ":s:f:n:k:r:i:" OPT
  do
    case "$OPT" in
      s)
          FAIL=false
          mkdir -p -- "$OPTARG" || FAIL=true

          if "$FAIL"
          then
            log "Cannot parse \`\`""$OPTARG""'' as table path."
            exit 1
          else
            TABLE_PATH="$OPTARG"
          fi
        ;;
      f)
          FAIL=false
          is_int "$OPTARG" || FAIL=true
          [[ "$OPTARG" -ge "2" ]] || FAIL=true

          if "$FAIL"
          then
            log "Cannot parse \`\`""$OPTARG""'' as number of philosopers."
            exit 1
          else
            PHILOSOPHERS_COUNT="$OPTARG"
          fi
        ;;
      n)
          FAIL=false
          is_int "$OPTARG" || FAIL=true
          [[ "$OPTARG" -ge "0" ]] || FAIL=true

          if "$FAIL"
          then
            log "Cannot parse \`\`""$OPTARG""'' as maximum number meals."
            exit 1
          else
            MAX_MEALS="$OPTARG"
          fi
        ;;
      k)
          FAIL=false
          is_float "$OPTARG" || FAIL=true

          if (( $(echo "$OPTARG<0" | bc) )); then
          FAIL=true
          fi

          if "$FAIL"
          then
            log "Cannot parse \`\`""$OPTARG""'' as eating time."
            exit 1
          else
            EATING_TIME="$OPTARG"
          fi
        ;;
      r)
          FAIL=false
          is_float "$OPTARG" || FAIL=true
          if (( $(echo "$OPTARG<0" | bc) )); then
          FAIL=true
          fi
          if "$FAIL"
          then
            log "Cannot parse \`\`""$OPTARG""'' as sleeping time."
            exit 1
          else
            SLEEPING_TIME="$OPTARG"
          fi
        ;;
      i)
          FAIL=false
          is_int "$OPTARG" || FAIL=true
          [[ "$OPTARG" -ge "1" ]] || FAIL=true

          if "$FAIL"
          then
            log "Cannot parse \`\`""$OPTARG""'' as philosopher ID."
            exit 1
          else
            PHILOSOPHER_ID="$OPTARG"
            LOG_IDENTITY="FID#""$PHILOSOPHER_ID"
          fi
        ;;
      \:)
          log "\`\`""-$OPTARG""'' requires some value."
          exit 1
        ;;
      \?)
          log "\`\`""-$OPTARG""'' is not a valid argument."
          exit 1
        ;;
    esac
  done

  #EXISTING TABLE ISN'T GUAREANTED TO BE CORRECT. FOR INSTANCE, SOME FORKS COULD BE STILL LOKED BY OTHER PHILOSOPHERS
  TABLE_PATH=${TABLE_PATH:-`mktemp -d -p . --suffix="-stol"`}
  TABLE_PATH=`realpath -- "$TABLE_PATH"`
  PHILOSOPHERS_COUNT=${PHILOSOPHERS_COUNT:-5}
  MAX_MEALS=${MAX_MEALS:-7}
  PHILOSOPHER_ID=${PHILOSOPHER_ID:-0}
  TABLE_LOCK="$TABLE_PATH""/table.lock"

  if [[ "$PHILOSOPHER_ID" -gt "$PHILOSOPHERS_COUNT" ]]
  then
    log "Philosopher ID greater than number of philosophers (\`\`""$PHILOSOPHER_ID""'' vs \`\`""$PHILOSOPHERS_COUNT""'')."
    exit 1
  fi

mkfifo "$TABLE_LOCK"
    if [ $? -ne 0 ]; then
        log "Failed to create pipe, exiting program with exit code 3..."
        exit 3;
    fi
mkfifo "$TABLE_LOCK""1"
    if [ $? -ne 0 ]; then
        log "Failed to create pipe, exiting program with exit code 3..."
        exit 3;
    fi
a=( $(shuf -e $(seq 1 "$PHILOSOPHERS_COUNT")) )
for i in "${a[@]}"
do

   log `hostname`" STARTUJE FILOZOF...  "$i" "$TABLE_PATH" "$MAX_MEALS" "$EATING_TIME" "$SLEEPING_TIME""
   run_philosopher "$i" "$TABLE_PATH" "$MAX_MEALS" "$EATING_TIME" "$SLEEPING_TIME" &
done
for i in `seq 1 "$PHILOSOPHERS_COUNT"`
do
 read line < "$TABLE_LOCK"
done
for i in `seq 1 "$PHILOSOPHERS_COUNT"`
do
 echo > "$TABLE_LOCK""1"
done

for CPID in `pgrep -P "$$" | xargs`
do
  wait "$CPID"
done

log "___STOP___"