Solving the Santa Claus Problem: a Comparison of Various Concurrent Programming Techniques