Lab PIAPS

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading;
using System.Threading.Tasks;
using System.Windows.Forms;
using System.Data;
using System.IO;

namespace ResRegV1cons
{
    class ResAreBusy : Exception { }
    class ResIdInvalid : Exception { }
    class UnRecommended : Exception { }
    class ResIsBusy : Exception { }
    class ResWasFree : Exception { }
    static class SetUp
    {
        public static string Path; //путь к файлу, сохраняющему модель
        private static void ClearModel()
        {
            Console.WriteLine("Укажите количество ресурсов:");
            try
            {
                Model.vRes_s = new string[Convert.ToInt32(Console.ReadLine())];
                for (int i = 0; i < Model.vRes_s.Length; i++) Model.vRes_s[i] = "F";
                Model.ResList = new List<Tuple<int, int>>();
            }
            catch
            {
                Console.WriteLine("Введено некорректное число!");
                ClearModel();
            }
        }
        private static void GetModel()
        {
            Console.WriteLine("Обновить файл?");
            if (Console.ReadLine().ToUpper() == "Y") ClearModel();
            else
            {
                Model.vRes_s = File.ReadAllLines(Path);
                Model.ResList = new List<Tuple<int, int>>();
            }
        }
        public static bool On()
        {
            try
            {
                if (File.Exists(Directory.GetCurrentDirectory() + @"\Resmod00"))
                {
                    Console.WriteLine("Использовать существующий стандартный файл Resmod00?");
                    if (Console.ReadLine().ToUpper() == "Y")
                    {
                        Path = Directory.GetCurrentDirectory() + @"\Resmod00";
                        GetModel();
                        return true;
                    }
                }
                else
                {
                    Console.WriteLine("Создать стандартный файл?");
                    if (Console.ReadLine().ToUpper() == "Y")
                    {
                        Path = Directory.GetCurrentDirectory() + @"\Resmod00";
                        ClearModel();
                        return true;
                    }
                };
                Console.WriteLine("Введите полный адрес нестандартного файла:");
                Path = Console.ReadLine();
                if (File.Exists(Path))
                {
                    GetModel();
                    return true;
                }
                else
                {
                    ClearModel();
                    return true;
                }
            }
            catch (IOException) { Console.WriteLine("Файл не открылся."); return false; }
            catch (Exception) { Console.WriteLine("Ошибка ввода-вывода."); return false; }
        }
    }
    static class Model
    {

        public static List<Tuple<int, int>> ResList;

        public static string[] vRes_s;//Модель набора ресурсов
        public static void Occupy(string cn)
        {
            if ((Convert.ToInt16(cn) > vRes_s.Length) | (Convert.ToInt16(cn) < 0)) throw new ResIdInvalid();
            if (vRes_s[Convert.ToInt16(cn) - 1] == "B")
            {
                ResIsBusy e = new ResIsBusy();
                e.Data.Add("resID", Convert.ToInt16(cn));
                throw e;
            }
            vRes_s[Convert.ToInt16(cn) - 1] = "B";
            Console.WriteLine("Ресурс стал занятым.");
        }
        public static void Free(string cn)
        {
            if ((Convert.ToInt16(cn) > vRes_s.Length) | (Convert.ToInt16(cn) < 0)) throw new ResIdInvalid();
            if (vRes_s[Convert.ToInt16(cn) - 1] == "F") throw new ResWasFree();
            vRes_s[Convert.ToInt16(cn) - 1] = "F";
            Console.WriteLine("Ресурс освобождён.");
            if (Model.ResList.Count() > 0)
            {
                for (int i = 0; i < Model.ResList.Count(); i++)
                {
                    if (Model.ResList[i].Item1 == Convert.ToInt16(cn))
                    {
                        vRes_s[Convert.ToInt16(cn) - 1] = "B";
                        Model.ResList.RemoveAt(i);
                        Console.WriteLine("Ресурс {0} занят запросом из очереди.", Convert.ToInt16(cn));
                        break;
                    }
                }
            }
        }
        public static string Request()
        {
            int freeCells = 0;
            string freeList = "Свободные ячейки:";
            for (int i = 0; i < vRes_s.Length; i++)
            {
                if (vRes_s[i] == "F")
                {
                    freeList = freeList + "\n" + Convert.ToString(i + 1);
                    freeCells++;
                }

                }
            if (freeCells == 0)
            {
                throw new ResAreBusy(); ;
            }
            return freeList;
        }
    }
    class Program
    {
        static Thread mainMenu;

        static Semaphore sem = new Semaphore(2, 2);
        static DateTime StartTime = DateTime.Now;
        static DateTime StopTime;
        static TimerCallback tm = new TimerCallback(TimeFreeRes);//Таймер для обработки заявок на ресурсе
        static System.Threading.Timer timer = new System.Threading.Timer(tm, null, Timeout.Infinite, Timeout.Infinite);//Вызов таймера для обработки заявок на ресурсе

        static void Main(string[] args)
        {
            while (!SetUp.On()) ;

            mainMenu = new Thread(Menu);
            mainMenu.Start();
        }
        public static void Menu()
        {
            string Command;

            do
            {
                sem.WaitOne();
                Command = "Continue";
                File.WriteAllLines(SetUp.Path, Model.vRes_s);//сохранение модели
                Console.WriteLine("Введите команду:");
                Command = Console.ReadLine();
                sem.WaitOne();
                StopTime = DateTime.Now;
                timer.Change(Timeout.Infinite, Timeout.Infinite);
                Command = Command.ToUpper();
                try
                {
                    if (Command == "REQUEST")
                    {
                        ListTimeChange();
                        Console.WriteLine(Model.Request());
                    }
                        if (Command == "OCCUPY")
                    {
                        ListTimeChange();
                        Console.WriteLine("Введите номер ресурса:");
                        Model.Occupy(Console.ReadLine());
                    };
                    if (Command == "FREE")
                    {
                        ListTimeChange();
                        Console.WriteLine("Введите номер ресурса:");
                        Model.Free(Console.ReadLine());
                    };
                }
                catch (OverflowException) { Console.WriteLine("Такого ресурса нет."); }
                catch (FormatException) { Console.WriteLine("Такого ресурса нет."); }
                catch (ResIdInvalid) { Console.WriteLine("Такого ресурса нет."); }
                catch (ResWasFree) { Console.WriteLine("Ресурс был свободен."); }
                catch (ResAreBusy) { Console.WriteLine("Все ресурсы заняты."); }
                catch (ResIsBusy e)
                {
                    while (true)
                    {
                        Console.WriteLine("Ресурс уже занят. Ожидать его освобождения? Y/N?");
                        string answer = Console.ReadLine();
                        if (answer.ToUpper() == "Y")
                        {
                            int waitTime;
                            while (true)
                            {
                                Console.WriteLine("Введите время ожидания.");
                                try
                                {
                                    waitTime = Convert.ToInt16(Console.ReadLine());
                                    break;
                                }
                                catch
                                {
                                    Console.WriteLine("Неверный ввод, попробуйте снова.");
                                }
                            }
                            Model.ResList.Add(new Tuple<int, int>(Convert.ToInt16(e.Data["resID"]), waitTime));
                            Console.WriteLine("Запрос на ресурс {0} успешно добавлен в очередь.", Convert.ToInt16(e.Data["resID"]));
                            SortList();
                            break;
                        }
                        else if (answer.ToUpper() == "N")
                            break;
                        else
                            Console.WriteLine("Введите ответ снова.");
                    }
                }
                if (Model.ResList.Count() == 0)
                    timer.Change(Timeout.Infinite, Timeout.Infinite);
                else
                {
                    PrintList();
                    timer.Change(Model.ResList[0].Item2 * 1000, Model.ResList[0].Item2 * 1000);
                    StartTime = DateTime.Now;
                }
                sem.Release();
                sem.Release();
            }
            while (Command != "");
        }

        static void TimeFreeRes(object obj)
        {
            StopTime = DateTime.Now;
            sem.WaitOne();
            SendKeys.SendWait("Время ожидания запроса на ресурс истекло!{ENTER}");
            timer.Change(Timeout.Infinite, Timeout.Infinite);
                if (Model.vRes_s[Model.ResList[0].Item1 - 1] == "B")
                {
                    while (true)
                    {
                        Console.WriteLine("Ресурс {0} все еще занят. Ожидать его освобождения далее? Y/N?", Model.ResList[0].Item1);
                        string answer = Console.ReadLine();
                        if (answer.ToUpper() == "Y")
                        {
                            int waitTime;
                            while (true)
                            {
                                Console.WriteLine("Введите время ожидания.");
                                try
                                {
                                    waitTime = Convert.ToInt16(Console.ReadLine());
                                    break;
                                }
                                catch
                                {
                                    Console.WriteLine("Неверный ввод, попробуйте снова.");
                                }
                            }
                            ListTimeChange();
                            Model.ResList.Add(new Tuple<int, int>(Model.ResList[0].Item1, waitTime));
                            Console.WriteLine("Запрос на ресурс {0} успешно продлен.", (Model.ResList[0].Item1));
                            Model.ResList.RemoveAt(0);
                            SortList();
                            Console.WriteLine("Введите команду:");
                            timer.Change(Model.ResList[0].Item2 * 1000, Model.ResList[0].Item2 * 1000);
                            break;
                        }
                        else if (answer.ToUpper() == "N")
                        {
                            Model.ResList.RemoveAt(0);
                            Console.WriteLine("Запрос успешно удален.");
                            ListTimeChange();
                            if (Model.ResList.Count() > 0)
                                timer.Change(Model.ResList[0].Item2 * 1000, Model.ResList[0].Item2 * 1000);
                            else
                                timer.Change(Timeout.Infinite, Timeout.Infinite);
                            Console.WriteLine("Введите команду:");
                            break;
                        }
                        else
                            Console.WriteLine("Введите ответ снова.");
                    }
                }
                else
                {
                    Model.Occupy(Convert.ToString(Model.ResList[0].Item1 - 1));
                    Console.WriteLine("Ресурс {0} теперь занят.", Model.ResList[0].Item1);
                    Model.ResList.RemoveAt(0);
                    ListTimeChange();
                    if (Model.ResList.Count() >= 1)
                        timer.Change(Model.ResList[0].Item2 * 1000, Model.ResList[0].Item2 * 1000);
                    else
                        timer.Change(Timeout.Infinite, Timeout.Infinite);
                }
            StartTime = DateTime.Now;
            sem.Release();
        }

        private static void SortList()
        {
            Model.ResList.Sort((t1, t2) => { return t1.Item2.CompareTo(t2.Item2); });
        }

        private static void PrintList()
        {
            for (int i = 0; i < Model.ResList.Count; i++)
            {
                Console.WriteLine("{0}", Model.ResList[i]);
            }
        }

        private static void ListTimeChange()
        {
            TimeSpan elapsedTime = StopTime.Subtract(StartTime);
            for (int i = 0; i < Model.ResList.Count; i++)
            {
                if (Model.ResList[i].Item2 - ((int)elapsedTime.TotalSeconds) < 0)
                    Model.ResList[i] = new Tuple<int, int>(Model.ResList[i].Item1, 0);
                else
                    Model.ResList[i] = new Tuple<int, int>(Model.ResList[i].Item1, Model.ResList[i].Item2 - ((int)elapsedTime.TotalSeconds));
            }
        }
    }
}