Programs for testing shared-memory communication protocols