3

私は喫煙者問題に取り組んでいます。

Monitor クラスのみを使用することになっています。シグナル/セマフォなし。(はい、これは学校用ですが、宿題ではありません。実技試験のための自由な練習であり、本当に準備する必要があるため、このプログラムを機能させると非常に役立ちます)。

私の問題は、どのオブジェクトを「ロック」するかなどがわからないことです(ご覧のとおり、これとランダムなオブジェクトだけですでに多くのことを試しました)

4 つのスレッド、1 つのディーラー、3 つのスモーカーがあります。ディーラークラスとスモーカークラスがあります。現時点では、すべての喫煙者が Monitor.Wait() に移動し、1 つまたは 2 つの成分を持っています。ディーラーが成分をテーブルに配置するたびに Monitor.PulseAll() を呼び出しても、再びそこから抜け出すことはありません。これは、間違ったオブジェクトをパラメーターとして使用しているためだと思いますが、まったくわかりません。

テキストボックスと文字列は、ほとんどの場合、私の WPF クラスでデータを提供するために使用されます。

喫煙者クラス: ドイツ語の変数名をお許しください。(tabak = タバコ、papier = 紙、streichhölzer = firethingies、zutat = 材料、rauchzeit = Smoketime)

class Raucher
{
    enum Zutaten { Tabak, Papier, Streichhölzer, Leer };

    public static Random r = new Random();
    int id;
    String status = "";
    public static int rauchzeit, rauchzeitvar, drehzeit, drehzeitvar;
    TextBox txtbox;
    Zutaten zutat1;
    Zutaten zutat2;
    Zutaten zutat3;
    public static Dealer dealer;


    public Raucher(Int32 id, Int32 rauchzeit, Int32 rauchzeitvar, Int32 drehzeit, Int32 drehzeitvar, TextBox status1, TextBox status2, TextBox status3, Dealer dealer)
    {
        this.id = id;
        Raucher.rauchzeit = rauchzeit;
        Raucher.rauchzeitvar = rauchzeitvar;
        Raucher.drehzeit = drehzeit;
        Raucher.drehzeitvar = drehzeitvar;
        Raucher.dealer = dealer;
        status = "Warten";
        switch (id)
        {
            case (0):
                txtbox = status1;
                zutat1 = Zutaten.Tabak;
                break;
            case (1):
                txtbox = status2;
                zutat1 = Zutaten.Papier;
                break;
            case (2):
                txtbox = status3;
                zutat1 = Zutaten.Streichhölzer;
                break;
        }
        zutat2 = Zutaten.Leer;
        zutat3 = Zutaten.Leer;
    }

    public void updateText()
    {
        try
        {
            txtbox.Dispatcher.BeginInvoke(
              System.Windows.Threading.DispatcherPriority.Normal
              , new System.Windows.Threading.DispatcherOperationCallback(delegate
              {
                  txtbox.Text = status;
                  switch (status)
                  {
                      case "Drehen":
                          txtbox.Background = Brushes.White;
                          break;
                      case "Rauchen":
                          txtbox.Background = Brushes.Green;
                          break;
                      case "Warten":
                          txtbox.Background = Brushes.Red;
                          break;
                  }

                  txtbox.UpdateLayout();
                  return null;
              }), null);
        }
        catch (Exception ex)
        {
            System.Diagnostics.Debug.WriteLine(ex.ToString());
        }
    }

    public static readonly object _locker = new object();

    public void Go()
    {
        while (true)
        {
            lock (_locker)
            {
                Console.WriteLine("Tabak: " + dealer.tabak);
                Console.WriteLine("Papier: " + dealer.papier);
                Console.WriteLine("Streichhölzer: " + dealer.streichhölzer);
                if (!dealer.tabak && !dealer.papier && !dealer.streichhölzer)
                {
                        Monitor.PulseAll(_locker);                
                }
                if (zutat1 == Zutaten.Tabak)
                {
                    if (dealer.papier && zutat2 == Zutaten.Leer)
                    {
                        dealer.takePapier();
                        zutat2 = Zutaten.Papier;
                    }
                    if (dealer.streichhölzer && zutat3 == Zutaten.Leer)
                    {
                        dealer.takeStreichhölzer();
                        zutat3 = Zutaten.Streichhölzer;
                    }
                    if (zutat2 == Zutaten.Papier && zutat3 == Zutaten.Streichhölzer)
                    {
                        status = "Drehen";
                        updateText();
                        Thread.Sleep(r.Next(drehzeit - drehzeitvar, drehzeit + drehzeitvar));
                        status = "Rauchen";
                        updateText();
                        Thread.Sleep(r.Next(rauchzeit - rauchzeitvar, rauchzeit + rauchzeitvar));
                        zutat2 = Zutaten.Leer;
                        zutat3 = Zutaten.Leer;
                    }
                    else
                    {
                        Monitor.Wait(_locker);
                    }
                }
                if (zutat1 == Zutaten.Papier)
                {
                    if (dealer.tabak && zutat2 == Zutaten.Leer)
                    {
                        dealer.takeTabak();
                        zutat2 = Zutaten.Tabak;
                    }
                    if (dealer.streichhölzer && zutat3 == Zutaten.Leer)
                    {
                        dealer.takeStreichhölzer();
                        zutat3 = Zutaten.Streichhölzer;
                    }
                    if (zutat2 == Zutaten.Tabak && zutat3 == Zutaten.Streichhölzer)
                    {
                        status = "Drehen";
                        updateText();
                        Thread.Sleep(r.Next(drehzeit - drehzeitvar, drehzeit + drehzeitvar));
                        status = "Rauchen";
                        updateText();
                        Thread.Sleep(r.Next(rauchzeit - rauchzeitvar, rauchzeit + rauchzeitvar));
                        zutat2 = Zutaten.Leer;
                        zutat3 = Zutaten.Leer;
                    }
                    else
                    {
                        Monitor.Wait(_locker);
                    }
                }
                if (zutat1 == Zutaten.Streichhölzer)
                {
                    if (dealer.papier && zutat2 == Zutaten.Leer)
                    {
                        dealer.takePapier();
                        zutat2 = Zutaten.Papier;
                    }
                    if (dealer.tabak && zutat3 == Zutaten.Leer)
                    {
                        dealer.takeTabak();
                        zutat3 = Zutaten.Tabak;
                    }
                    if (zutat2 == Zutaten.Papier && zutat3 == Zutaten.Tabak)
                    {
                        status = "Drehen";
                        updateText();
                        Thread.Sleep(r.Next(drehzeit - drehzeitvar, drehzeit + drehzeitvar));
                        status = "Rauchen";
                        updateText();
                        Thread.Sleep(r.Next(rauchzeit - rauchzeitvar, rauchzeit + rauchzeitvar));
                        zutat2 = Zutaten.Leer;
                        zutat3 = Zutaten.Leer;
                    }
                    else
                    {
                        Monitor.Wait(_locker);
                    }
                }
            }
        }
    }
}

ディーラークラス:

class Dealer
{
    public static Random r = new Random();
    public Boolean tabak = false;
    public Boolean papier = false;
    public Boolean streichhölzer = false;
    public String zutaten;

    public Boolean isEmpty()
    {
        return !(tabak || papier || streichhölzer);
    }

    public void setTabak()
    {
        tabak = true;
    }

    public void setPapier()
    {
        papier = true;
    }

    public void setStreichhölzer()
    {
        streichhölzer = true;
    }

    public void takeTabak()
    {
        tabak = false;
    }

    public void takePapier()
    {
        papier = false;
    }

    public void takeStreichhölzer()
    {
        streichhölzer = false;
    }

    TextBox status;

    public Dealer(TextBox status)
    {
        this.status = status;
    }

    public static readonly object _locker = new object();

    public void Go()
    {
        while (true)
        {
            if (isEmpty())
            {
                lock (this)
                {
                    if (!tabak && !papier && !streichhölzer)
                    {
                        int zahl1 = r.Next(0, 3);
                        int zahl2 = r.Next(0, 3);
                        while (zahl1 == zahl2)
                        {
                            zahl2 = r.Next(0, 3);
                        }
                        switch (zahl1)
                        {
                            case (0):
                                setTabak();
                                break;
                            case (1):
                                setPapier();
                                break;
                            case (2):
                                setStreichhölzer();
                                break;
                        }
                        switch (zahl2)
                        {
                            case (0):
                                setTabak();
                                break;
                            case (1):
                                setPapier();
                                break;
                            case (2):
                                setStreichhölzer();
                                break;
                        }
                        updateText();
                        Monitor.PulseAll(this);
                    }
                }
            }
        }
    }

    public void updateText()
    {
        try
        {
            status.Dispatcher.BeginInvoke(
              System.Windows.Threading.DispatcherPriority.Normal
              , new System.Windows.Threading.DispatcherOperationCallback(delegate
              {
                  zutaten = "";
                  if (tabak)
                  {
                      zutaten += " Tabak ";
                  }
                  if (papier)
                  {
                      zutaten += " Papier ";
                  }
                  if (streichhölzer)
                  {
                      zutaten += " Streichhölzer ";
                  }
                  status.Text = zutaten;
                  status.UpdateLayout();
                  return null;
              }), null);
        }
        catch (Exception ex)
        {
            System.Diagnostics.Debug.WriteLine(ex.ToString());
        }
    }
}
4

1 に答える 1