#include "DataCacheCore.h"
#include "cores/Cut.h"
#include "threads/SingleLock.h"
#include "ServiceBroker.h"