How to ensure that only one instance of a concurrent program runs at a time?