step2.cs

这五个程序都经实验

/// <disclaimer>
/// This software is protected by your own conscience (c).
/// You can use it however you want and wherever you want.
/// You are allowed to change this code, copy this code, or delete this code.
/// You can buy this code; sell this code; present this code to your mom on her birthday.
/// You can replace author抯 name with your own. You also can replace all the code with your own leaving
/// only author抯 name.
/// The only thing you cannot do, is to violate this license agreement. You simply are not able to.
/// </disclaimer>
/// <author>
/// Sergei Zotin 
/// [e-mail]
/// Burnaby, BC, Canada
/// Feel free to contact me for bug reports, feature requests and contract offers.
/// </author>
/// <version>1.6</version>

using System;
using System.Threading;
using ZEN.Threading;

class A
{
	private B b;
	private int x;
	private int y;

	public B TheB
	{
		// NEW: We change all lock(this) to LockManager.Lock(this) to resolve deadlocks
		get
		{
			LockManager.Lock ( this );
			try
			{
				return b;
			}
			finally
			{
				LockManager.Unlock ( this );
			}
		}

		// NEW: We change all lock(this) to LockManager.Lock(this) to resolve deadlocks
		set
		{
			LockManager.Lock ( this );
			try
			{
				b = value;
			}
			finally
			{
				LockManager.Unlock ( this );
			}
		}
	}

	public int X
	{
		// NEW: We change all lock(this) to LockManager.Lock(this) to resolve deadlocks
		get
		{
			LockManager.Lock ( this );
			try
			{
				return x;
			}
			finally
			{
				LockManager.Unlock ( this );
			}
		}

		// NEW: We change all lock(this) to LockManager.Lock(this) to resolve deadlocks
		set
		{
			LockManager.Lock ( this );
			try
			{
				Thread.Sleep ( 10 ); // just to increase the odds of a deadlock
				x = value;
				b.X = value;
			}
			finally
			{
				LockManager.Unlock ( this );
			}
		}
	}

	public int Y
	{
		// NEW: We change all lock(this) to LockManager.Lock(this) to resolve deadlocks
		get
		{
			LockManager.Lock ( this );
			try
			{
				return y;
			}
			finally
			{
				LockManager.Unlock ( this );
			}
		}

		// NEW: We change all lock(this) to LockManager.Lock(this) to resolve deadlocks
		set
		{
			LockManager.Lock ( this );
			try
			{
				Thread.Sleep ( 10 ); // just to increase the odds of a deadlock
				y = value;
			}
			finally
			{
				LockManager.Unlock ( this );
			}
		}
	}
}

class B
{
	private A a;
	private int x;
	private int y;

	public A TheA
	{
		// NEW: We change all lock(this) to LockManager.Lock(this) to resolve deadlocks
		get
		{
			LockManager.Lock ( this );
			try
			{
				return a;
			}
			finally
			{
				LockManager.Unlock ( this );
			}
		}

		// NEW: We change all lock(this) to LockManager.Lock(this) to resolve deadlocks
		set
		{
			LockManager.Lock ( this );
			try
			{
				a = value;
			}
			finally
			{
				LockManager.Unlock ( this );
			}
		}
	}

	public int X
	{
		// NEW: We change all lock(this) to LockManager.Lock(this) to resolve deadlocks
		get
		{
			LockManager.Lock ( this );
			try
			{
				return x;
			}
			finally
			{
				LockManager.Unlock ( this );
			}
		}

		// NEW: We change all lock(this) to LockManager.Lock(this) to resolve deadlocks
		set
		{
			LockManager.Lock ( this );
			try
			{
				Thread.Sleep ( 10 ); // just to increase the odds of a deadlock
				x = value;
			}
			finally
			{
				LockManager.Unlock ( this );
			}
		}
	}

	public int Y
	{
		// NEW: We change all lock(this) to LockManager.Lock(this) to resolve deadlocks
		get
		{
			LockManager.Lock ( this );
			try
			{
				return y;
			}
			finally
			{
				LockManager.Unlock ( this );
			}
		}

		// NEW: We change all lock(this) to LockManager.Lock(this) to resolve deadlocks
		set
		{
			LockManager.Lock ( this );
			try
			{
				Thread.Sleep ( 10 ); // just to increase the odds of a deadlock
				y = value;
				a.Y = value;
			}
			finally
			{
				LockManager.Unlock ( this );
			}
		}
	}
}

class Step2
{
	private A a;
	private B b;

	private Step2 ( A _a, B _b )
	{
		a = _a;
		b = _b;
		a.TheB = b;
		b.TheA = a;
	}

	// NEW: Now we need to catch exceptions, because a.X = i may throw DeadlockException.
	private void RunX ()
	{
		try
		{
			for ( int i = 0; i < 20; i++ )
			{
				a.X = i;
				System.Console.WriteLine ( "Thread X: a.X={0}; b.X={1}", a.X, b.X );
			}
		}
		catch ( Exception exc )
		{
			System.Console.WriteLine ( "Fatal error in thread {0}: {1}", Thread.CurrentThread.Name, exc.Message );
		}
	}

	// NEW: Now we need to catch exceptions, because b.Y = i may throw DeadlockException.
	private void RunY ()
	{
		try
		{
			for ( int i = 0; i < 20; i++ )
			{
				b.Y = i;
				System.Console.WriteLine ( "Thread Y: a.Y={0}; b.Y={1}", a.Y, b.Y );
			}
		}
		catch ( Exception exc )
		{
			System.Console.WriteLine ( "Fatal error in thread {0}: {1}", Thread.CurrentThread.Name, exc.Message );
		}
	}

	[STAThread]
	static void Main ( string[] args )
	{
		A a = new A();
		B b = new B();
		Step2 step2 = new Step2 ( a, b );

		LockManager.Log = System.Console.Out;

		Thread threadX = new Thread ( new ThreadStart ( step2.RunX ) );
		Thread threadY = new Thread ( new ThreadStart ( step2.RunY ) );

		threadX.Name = "X";
		threadY.Name = "Y";

		threadX.Start ();
		threadY.Start ();

		threadX.Join ();
		threadY.Join ();

		System.Console.WriteLine ( "Press Enter..." );
		System.Console.In.Read();
		System.Environment.Exit ( 0 );
	}
}