שליחה במסרון: A Model for Coherent Distributed Memory For Race Condition Detection