Problem with monitors in C--

Comments

• Lundin

  May 2009

  This is the first time I hear of this "BACI". While I have no idea of the syntax, my guess is that the variable isn't initialized to zero properly.
• IamBMF

  May 2009

  [link=http://inside.mines.edu/fs_home/tcamp/baci/]This is their website.[/link]
  
  In case it helps, if the main is changed from:
  
  [code]
  main()
  {
  cobegin
  {
  method1();
  method2();
  }
  } // main
  [/code]
  
  to:
  
  [code]
  main()
  {
  method1();
  method2();
  } // main
  [/code]
  
  Then it outputs the 'expected' result (and the value in the init block initializes the variable properly in this case). I think this proves the monitor's code right. There could be some interference between cobegin and monitor.
  
  A monitor is a block so that functions on it will only execute one at a time, basically. Ideal for mutual exclusion problems.
  A cobegin a block whose functions will be executed concurrently. For example, you don't know which of the functions will be executed first.
  
  Calling monitor functions inside a cobegin block, I am just trying to make a program where any of the monitor functions may be called first, but only one is running at a time.
  
• IamBMF

  May 2009

  It works now.
  
  [code]
  monitor monSimple
  {
  int variable;
  
  void method1()
  {
  cout << "method1: variable = " << variable << endl;
  variable++;
  cout << "method1: variable = " << variable << endl;
  }
  
  void method2()
  {
  cout << "method2: variable = " << variable << endl;
  variable++;
  cout << "method2: variable = " << variable << endl;
  }
  
  init
  {
  variable = 0;
  }
  
  } //monitor
  
  
  void method1aux()
  {
  method1();
  }
  
  void method2aux()
  {
  method2();
  }
  
  main()
  {
  cobegin
  {
  method1aux();
  method2aux();
  }
  } // main[/code]
  
  Apparently you can't call monitor functions directly from inside a cobegin block (which is something I found by trial and error, it's not in the documentation as far as I can see). So I just enclosed the calls in auxiliary functions and it works.
  
  
  
• Lundin

  May 2009

  That language appears to be quite obscure