# HG changeset patch
# User Merten Sach <msach@mailbox.tu-berlin.de>
# Date 1324396100 -3600
# Node ID 64a2c6ae21dbf0a29f8209629cda60556aa3d09c
# Parent  258ff77b64b18a728f295983f5e04d70bd02b83f
padding before mutexes in semantic environment

diff -r 258ff77b64b1 -r 64a2c6ae21db VPThread.h
--- a/VPThread.h	Fri Dec 16 20:03:16 2011 +0100
+++ b/VPThread.h	Tue Dec 20 16:48:20 2011 +0100
@@ -137,6 +137,7 @@
    int32             numVirtPr;
    int32             nextCoreToGetNewPr;
    int32             primitiveStartTime;
+   char              padding[CACHELINE_SIZE];
 
       //Specific to this semantic layer
    VPThdMutex      **mutexDynArray;