We will discuss the connection between Linux kernel scheduler behavior and non-deterministic nature of multi-threaded and multi-process programs. We will look at the issues faced by a multi-core programmer, and look at Maze, a new concurrent development tool. We will discuss Maze architecture and look at the tool in operation.
The target audience is software engineers, CS students and researchers, and anybody else who is interested in parallel programming, software testing, and debugging. Participants are expected to be familiar with the concept of a Linux process. The examples will be in C with the use of POSIX threads API.
Roni Simonian has been programming in UNIX and Linux environments for over 16 years. In 2008 she founded Ariadne LLC with the goal of creating Maze - a Linux-based tool for debugging and stress-testing multicore programs. Roni is a Linux enthusiast, her favorite distributions are Fedora and Ubuntu.