Horae A c++ framework for parallel or distributed program, especially synchronous code block to Execute in specified order (for test purpose) Auto test in order of permutations to verify the concurrency correctness