SR MEM with condition variables
cond