BACI System: C-- to PCODE Compiler, 16:59  27 Oct 2005
Source file: zamek.cm  Wed Dec 06 16:21:34 2006
 line  pc
   1    0  int x = 0;
   2    0  
   3    0  
   4    0  monitor m {
   5    0  	int zamek = 0;
   6    0  	condition odemceno;
   7    0  	void mylock()
   8    1  	{
   9    1  	if(zamek == 1)
  10    5   	waitc(odemceno);
  11    8  	zamek = 1;	
  12   11  	}
  13   13  
  14   13  	void myunlock()
  15   14  	{
  16   14  	
  17   14  	zamek = 0;
  18   17  	signalc(odemceno);
  19   19  	}
  20   21  
  21   21  	void incx()
  22   22  	{
  23   22  	x++;
  24   27  	}
  25   29  
  26   29  }
  27   33  
  28   33  void a(){
  29   33  	int i;
  30   33  	for(i=0; i < 50; i++)
  31   47  	{
  32   47  	mylock();
  33   50          x++;
  34   55          myunlock();
  35   58  	}
  36   59  }
  37   60  
  38   60  main()
  39   61  {
  40   61  cobegin { a(); a(); }
  41   69  cout << "X je " << x;
  42   72  }