C# Parallel and Async Programming

Monday, September 22, 2014 by Rainer Stropek

At BASTA 2014 I will do a full-day C# workshop. One of the topics will be parallel and async programming. In this blog article I share the code of my demo and describe the scenario I will cover: TPL, async/await, profiling of CPU-bound algorithms.

The Scenario

The sample scenario is one that I used multiple times before: Calculating PI using a Monte Carlo Simulation. However, for the BASTA workshop I have completely rewritten the sample code. I also included some demos for upcoming C# 6 features.

You can download the entire sample from my GitHub Samples repository.

Let's start with a trivial, synchronous implementation. During the workshop, I put it in a portable class library as I will use the sample to speak about PCLs and NuGet, too. But this is a topic for another blog article ...

using System;
#if LANG_EXPERIMENTAL
// Note c# 6 using static here
using System.Math;
#endif

namespace PiWithMonteCarlo
{
	/// <summary>
	/// Trivial, synchronous calculation algorithm
	/// </summary>
    public static class TrivialPiCalculator
    {
		public static double Calculate(int iterations)
		{
			int inCircle = 0;
			var random = new Random();
			for (int i = 0; i < iterations; i++)
			{
				var a = random.NextDouble();
				var b = random.NextDouble();

				// Strictly speaking, we do not need Sqrt here. We could simply drop it and still get the
				// same result. However, this sample should demonstrate some perf topics, too. Therefore
				// it stays there just so the program has to do some math.
#if LANG_EXPERIMENTAL
				var c = Sqrt(a * a + b * b);
#else
				var c = Math.Sqrt(a * a + b * b);
#endif
				if (c <= 1)
				{
					inCircle++;
				}
			}

			return ((double)inCircle / iterations) * 4;
		}
    }
}

For comparing the performance of the different calculation algorithms we add a command line test driver:

using System;
using System.Diagnostics;

namespace PiWithMonteCarlo.TestDriver
{
	class Program
	{
		static void Main(string[] args)
		{
			var iterations = 20000000 * Environment.ProcessorCount;

			ExecuteAndPrint("Trivial PI Calculator", TrivialPiCalculator.Calculate, iterations);
			ExecuteAndPrint("\n(Stupid) Parallel.For PI Calculator", ParallelForPiCalculator.Calculate, iterations);
			ExecuteAndPrint("\nParallel.For PI Calculator", EnhancedParallelForPiCalculator.Calculate, iterations);
			ExecuteAndPrint("\nPLinq PI Calculator", PlinqPiCalculator.Calculate, iterations);
			ExecuteAndPrint("\nFast PI Calculator", FastPiCalculator.Calculate, iterations);
		}

		private static void ExecuteAndPrint(string label, Func<int, double> calculation, int iterations)
		{
			Console.WriteLine(label);
			PrintResult(Measure(() => calculation(iterations)), iterations);
		}

		private static void PrintResult(Tuple<double, TimeSpan> r, int iterations)
		{
			Console.WriteLine(
				"{0} ({1:#,##0.0000} sec for {2:#,##0} iterations = {3:#,##0.00} iter/sec)", 
				r.Item1, 
				r.Item2.TotalSeconds, 
				iterations, 
				iterations / r.Item2.TotalSeconds);
		}

		private static Tuple<T, TimeSpan> Measure<T>(Func<T> body)
		{
			var watch = new Stopwatch();
			watch.Start();
			var result = body();
			watch.Stop();
			return new Tuple<T, TimeSpan>(result, watch.Elapsed);
		}
	}
}

Trivial Parallelization

TPL contains a useful construct: Parallel.For. It makes it quite simple to turn a sequential for loop into a parallel algorithm. So let's use it in our sample:

using System;
using System.Threading;
using System.Threading.Tasks;

namespace PiWithMonteCarlo
{
	/// <summary>
	/// Very simple implementation with Parallel.For
	/// </summary>
	public static class ParallelForPiCalculator
	{
		public static double Calculate(int iterations)
		{
			var randomLockObject = new object();
			int inCircle = 0;
			var random = new Random();

			Parallel.For(0, iterations, i =>
				{
					double a, b;
					lock (randomLockObject)
					{
						a = random.NextDouble();
						b = random.NextDouble();
					}

					var c = Math.Sqrt(a * a + b * b);
					if (c <= 1)
					{
						Interlocked.Increment(ref inCircle);
					}
				});

			return ((double)inCircle / iterations) * 4;
		}
	}
}

What do you think, does it use all CPU cores? Will it be faster? Try it using our test driver shown above.

Enhanced Parallel.For

It turns out that our parallel version uses more CPU but is slower. So we have to enhance it. This could look something like this:

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading;
using System.Threading.Tasks;

namespace PiWithMonteCarlo
{
	/// <summary>
	/// Enhanced version of <see cref="ParallelForPiCalculator"/>.
	/// </summary>
	public static class EnhancedParallelForPiCalculator
	{
		public static double Calculate(int iterations)
		{
			var counterLockObject = new object();
			int inCircle = 0;
			var random = new ThreadSafeRandom();

			Parallel.For(0, iterations,
				// doesn't make sense to use more threads than we have processors
				new ParallelOptions() { MaxDegreeOfParallelism = Environment.ProcessorCount }, 
				() => 0, (i, _, tLocal) =>
					{
#if LANG_EXPERIMENTAL
                        // Note C# 6 declarating expression here
                        return tLocal += Math.Sqrt((var a = random.NextDouble()) * a 
                            + (var b = random.NextDouble()) * b) <= 1 ? 1 : 0;
#else
						double a, b;
                        return tLocal += Math.Sqrt((a = random.NextDouble()) * a + (b = random.NextDouble()) * b) <= 1 ? 1 : 0;
#endif
                    },
				subTotal => Interlocked.Add(ref inCircle, subTotal));

			return ((double)inCircle / iterations) * 4;
		}
	}
}

Much better like this, isn't it?

PLINQ

During the workshop I show a PLINQ implementation, too. We discuss the different programming styles and check the performance results.

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading;
using System.Threading.Tasks;

namespace PiWithMonteCarlo
{
	/// <summary>
	/// Monte carlo written with PLINQ
	/// </summary>
	public static class PlinqPiCalculator
	{
		public static double Calculate(int iterations)
		{
			var random = new ThreadSafeRandom();
			var inCircle = ParallelEnumerable.Range(0, iterations)
				// doesn't make sense to use more threads than we have processors
				.WithDegreeOfParallelism(Environment.ProcessorCount)
				.Select(_ =>
				{
					double a, b;
					return Math.Sqrt((a = random.NextDouble()) * a + (b = random.NextDouble()) * b) <= 1;
				})
				.Aggregate<bool, int, int>(
					0, // Seed
					(agg, val) => val ? agg + 1 : agg, // Iterations
					(agg, subTotal) => agg + subTotal, // Aggregating subtotals
					result => result); // No projection of result needed

			return ((double)inCircle / iterations) * 4;
		}
	}
}

Fast Implementation Using Tasks

So let's try what we can achieve if we handcraft the tasks ourselves.

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading;
using System.Threading.Tasks;

namespace PiWithMonteCarlo
{
	public static class FastPiCalculator
	{
		public static double Calculate(int iterations)
		{
			var procCount = Environment.ProcessorCount;
			if (iterations % procCount != 0)
			{
				throw new ArgumentException("Must be a multiple of Environment.ProcessorCount", "iterations");
			}

			// Distribute iterations evenly across processors
			var iterPerProc = iterations / procCount;

			// One array slot per processor
			var inCircleLocal = new int[procCount];
			var tasks = new Task[procCount];
			for (var proc = 0; proc < procCount; proc++)
			{
				var procIndex = proc; // Helper for closure

				// Start one task per processor
				tasks[proc] = Task.Run(() =>
					{
						var inCircleLocalCounter = 0;
						var random = new Random(procIndex);
						for (var index = 0; index < iterPerProc; index++)
						{
							double a, b;
							if (Math.Sqrt((a = random.NextDouble()) * a + (b = random.NextDouble()) * b) <= 1)
							{
								inCircleLocalCounter++;
							}
						}

						inCircleLocal[procIndex] = inCircleLocalCounter;
					});
			}

			Task.WaitAll(tasks);

			var inCircle = inCircleLocal.Sum();
			return ((double)inCircle / iterations) * 4;
		}
	}
}

Go on and compare the different algorithms. Impressed of how much faster the last one is?

Async Programming

During the workshop we spend quite some time discussing the difference between parallel and async programming. The following sample algorithm takes the last implementation shown above and converts it to an easy-to-use async method:

using System;
using System.Diagnostics;
using System.Linq;
using System.Threading;
using System.Threading.Tasks;

namespace PiWithMonteCarlo
{
#if LANG_EXPERIMENTAL
    /// <summary>
    /// Note C# 6 primay constructor and auto-property initializer here
    /// </summary>
	public class PiCalculatorIntermediateResult(long iterations, double resultPi)
    {
		public double ResultPi { get; } = resultPi;
		public long Iterations { get; } = iterations;
	}
#else
	public class PiCalculatorIntermediateResult
	{
        public PiCalculatorIntermediateResult(long iterations, double resultPi)
		{
			this.Iterations = iterations;
			this.ResultPi = resultPi;
		}

		public double ResultPi { get; private set; }
		public long Iterations { get; private set; }
	}
#endif

    /// <summary>
    /// Async version of <see cref="FastPiCalculator"/>.
    /// </summary>
    public class FastPiAsyncCalculator
	{
		public static async Task CalculateAsync(CancellationToken cancellationToken, 
			Func<PiCalculatorIntermediateResult, Task> reportIntermediateResultAsyncCallback,
			Func<Task> stoppedCallback)
		{
			// Number of iterations after which we check if it is time to report results back to caller
			const long timerCheckInterval = 100000;

			// Reserve one thread for UI
			var procCount = Environment.ProcessorCount - 1;
			do
			{
				var watch = new Stopwatch();
				watch.Start();

				// One array slot per processor
				var inCircleArray = new long[procCount];
				var iterationsArray = new long[procCount];
				var tasksArray = new Task[procCount];
				for (var proc = 0; proc < procCount; proc++)
				{
					var procIndex = proc; // Helper for closure

					// Start one task per processor
					tasksArray[proc] = Task.Run(() =>
					{
						long inCircleLocalCounter = 0;
						long iterationsLocalCounter = 0;
						var random = new Random(procIndex);
						for (var index = 0; true; index++)
						{
							iterationsLocalCounter++;
							double a, b;
							if (Math.Sqrt((a = random.NextDouble()) * a + (b = random.NextDouble()) * b) <= 1)
							{
								inCircleLocalCounter++;
							}

							if (index >= timerCheckInterval)
							{
								index = 0;
								lock (watch)
								{
									if (watch.ElapsedMilliseconds >= 1000)
									{
										// Every second we stop calculating and report result back
										break;
									}
								}
							}
						}

						// public local counters in result array
						inCircleArray[procIndex] = inCircleLocalCounter;
						iterationsArray[procIndex] = iterationsLocalCounter;
					});
				}

				// Wait until all processing tasks are done
				await Task.WhenAll(tasksArray).ConfigureAwait(false);

				// Report result back
				var inCircle = inCircleArray.Sum();
				var iterations = iterationsArray.Sum();
				await reportIntermediateResultAsyncCallback(
					new PiCalculatorIntermediateResult(iterations, ((double)inCircle / iterations) * 4));
			}
			while (!cancellationToken.IsCancellationRequested);

			// Report end of calculation back to caller
			await stoppedCallback();
		}
	}
}

Based on that, it is easy to add a platform-independent ViewModel implementation (could be used in a e.g. Windows Store app, WPF, etc.).

using Microsoft.Practices.Prism.Commands;
using Microsoft.Practices.Prism.Mvvm;
using System;
using System.Diagnostics;
using System.Threading;
using System.Threading.Tasks;
using System.Windows.Input;

namespace PiWithMonteCarlo
{
	/// <summary>
	/// Viewmodel that can easily be consumed in XAML-based applications
	/// </summary>
	public class FastPiAsyncCalculatorViewModel : BindableBase
	{
		public FastPiAsyncCalculatorViewModel()
		{
			this.startCommand = new DelegateCommand(
				async () => await this.OnStartCalculation(),
				() => !this.IsCalculating);

			this.stopCommand = new DelegateCommand(
				this.OnStopCalculation,
				() => this.IsCalculating);
		}

		private CancellationTokenSource cts = null;
		private Stopwatch watch = null;
		private static Task finishedTask = Task.FromResult(0);

		private async Task OnStartCalculation()
		{
			if (!this.IsCalculating)
			{
				// Start calculation
				this.IsCalculating = true;
				this.watch = new Stopwatch();
				this.watch.Start();
				this.cts = new CancellationTokenSource(TimeSpan.FromSeconds(30));
				await FastPiAsyncCalculator.CalculateAsync(
					this.cts.Token,
					result =>
					{
						// Navigate back to UI thread to update notification properties
						SynchronizationContext.Current.Post(new SendOrPostCallback(_ =>
						{
							this.CalcualtedPi = result.ResultPi;
							this.Iterations += result.Iterations;
							this.IterationsPerSecond = (double)this.Iterations / this.watch.Elapsed.TotalSeconds;
						}), null);
						return FastPiAsyncCalculatorViewModel.finishedTask;
					},
					() =>
					{
						// Switch state to not calculating
						this.IsCalculating = false;
						return FastPiAsyncCalculatorViewModel.finishedTask;
					});
			}
		}

		private void OnStopCalculation()
		{
			if (this.IsCalculating)
			{
				// Cancel calculation
				this.cts.Cancel();
			}
		}

		#region Bindable properties
		private double calculatedPi;
		public double CalcualtedPi
		{
			get { return this.calculatedPi; }
			private set { SetProperty(ref this.calculatedPi, value); }
		}

		private long iterations;
		public long Iterations
		{
			get { return this.iterations; }
			private set { SetProperty(ref this.iterations, value); }
		}

		private double iterationsPerSecond;
		public double IterationsPerSecond
		{
			get { return this.iterationsPerSecond; }
			private set { SetProperty(ref this.iterationsPerSecond, value); }
		}

		private bool isCalculating;
		public bool IsCalculating
		{
			get { return this.isCalculating; }
			private set 
			{ 
				SetProperty(ref this.isCalculating, value);
				this.startCommand.RaiseCanExecuteChanged();
				this.stopCommand.RaiseCanExecuteChanged();
			}
		}
		#endregion

		#region Bindable commands
		private DelegateCommand startCommand;
		public ICommand StartCommand
		{
			get { return this.startCommand; }
		}

		private DelegateCommand stopCommand;
		public ICommand StopCommand
		{
			get { return this.stopCommand; }
		}
		#endregion
	}
}

Have fun playing around with the code!

comments powered by Disqus

Rainer Stropek

Rainer Stropek

Co-founder, architect, developer

Bio

I am co-founder and CEO of the company software architects and have been serving this role since 2008. At software architects my team and I are developing the award-winning SaaS solution time cockpit. Previously, I founded and led IT consulting firms that worked in the area of developing software solutions based on the Microsoft technology stack.

In my work I focus on .NET development and software architecture. I have written some books and articles on C#, database development, Windows Azure, Windows 8 development, WPF, and Silverlight. Regularly I speak at conferences, do workshops and conduct trainings in Europe and the US. Since 2010 I have been MVP for Windows Azure.

I graduated the Higher Technical School Leonding (AT) for MIS with honors and hold a BSc (Hons) Computer Studies of the University of Derby (UK).

Contact

Twitter: @rstropek
Facebook
Google+
Xing
LinkedIn

Authors