1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181
|
/*
* Copyright (C) 2013, 2014, 2015 by the Konclude Developer Team.
*
* This file is part of the reasoning system Konclude.
* For details and support, see <http://konclude.com/>.
*
* Konclude is free software: you can redistribute it and/or modify it under
* the terms of version 2.1 of the GNU Lesser General Public License (LGPL2.1)
* as published by the Free Software Foundation.
*
* You should have received a copy of the GNU Lesser General Public License
* along with Konclude. If not, see <http://www.gnu.org/licenses/>.
*
* Konclude is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. For more
* details, see GNU Lesser General Public License.
*
*/
#ifndef KONCLUDE_REASONER_KERNEL_CACHE_CSIGNATURESATISFIABLEEXPANDERCACHE_H
#define KONCLUDE_REASONER_KERNEL_CACHE_CSIGNATURESATISFIABLEEXPANDERCACHE_H
// Libraries includes
#include <QHash>
#include <QMutex>
#include <QSemaphore>
// Namespace includes
#include "CacheSettings.h"
#include "CSatisfiableCache.h"
#include "CSignatureSatisfiableExpanderCacheHasher.h"
#include "CSignatureSatisfiableExpanderCacheSlotItem.h"
#include "CSignatureSatisfiableExpanderCacheEntry.h"
#include "CSignatureSatisfiableExpanderCacheContext.h"
#include "CSignatureSatisfiableExpanderCacheReader.h"
#include "CSignatureSatisfiableExpanderCacheEntryExpandWriteData.h"
#include "CSignatureSatisfiableExpanderCacheEntrySatisfiableBranchWriteData.h"
#include "CCacheStatistics.h"
// Other includes
#include "Concurrent/CThread.h"
#include "Config/CConfiguration.h"
#include "Config/CConfigDataReader.h"
#include "Reasoner/Kernel/Cache/Events/CWriteCachedDataEvent.h"
#include "Reasoner/Kernel/Cache/Events/CWriteExpandCachedEvent.h"
#include "Reasoner/Kernel/Cache/Events/CWriteSatisfiableBranchCachedEvent.h"
#include "Utilities/Memory/CObjectMemoryPoolAllocator.h"
#include "Utilities/Memory/CObjectParameterizingAllocator.h"
#include "Utilities/Memory/CMemoryPoolContainerAllocationManager.h"
#include "Context/CContextBase.h"
// Logger includes
#include "Logger/CLogger.h"
//#define KONCLUCE_SATISFIBALE_EXPANDER_CACHE_DIRECT_WRITING
namespace Konclude {
using namespace Config;
using namespace Concurrent;
using namespace Context;
using namespace Utilities::Memory;
namespace Reasoner {
namespace Kernel {
namespace Cache {
using namespace Events;
/*!
*
* \class CSignatureSatisfiableExpanderCache
* \author Andreas Steigmiller
* \version 0.1
* \brief TODO
*
*/
class CSignatureSatisfiableExpanderCache : public CThread, public CSatisfiableCache {
// public methods
public:
//! Constructor
CSignatureSatisfiableExpanderCache(CConfiguration* config, QString threadIdentifierName = "Satisfiable-Expander-Cache", CWatchDog *watchDogThread = 0);
//! Destructor
virtual ~CSignatureSatisfiableExpanderCache();
CSignatureSatisfiableExpanderCacheReader* createCacheReader();
CSignatureSatisfiableExpanderCacheWriter* createCacheWriter();
CSignatureSatisfiableExpanderCache* writeCachedData(CSignatureSatisfiableExpanderCacheEntryWriteData* writeData, CMemoryPool* memoryPools);
CSignatureSatisfiableExpanderCache* writeExpandCached(cint64 prevSignature, cint64 newSignature, CCACHINGLIST<CCacheValue>* cacheValueList, CCACHINGHASH<cint64,cint64>* depHash, CMemoryPool* memoryPools);
CSignatureSatisfiableExpanderCache* writeSatisfiableBranchCached(cint64 signature, CCACHINGLIST<CCacheValue>* cacheValueList, CCACHINGLIST<CCacheValue>* branchedList, CMemoryPool* memoryPools);
CCacheStatistics* getCacheStatistics();
// protected methods
protected:
bool isCachingDataExpandable(CSignatureSatisfiableExpanderCacheContext* context, CSignatureSatisfiableExpanderCacheEntry* entry, cint64 signature, CCACHINGLIST<CCacheValue>* cacheValueList);
void writeExpanderCachingData(CSignatureSatisfiableExpanderCacheContext* context, CSignatureSatisfiableExpanderCacheEntry* entry, bool extending, CCACHINGLIST<CCacheValue>* cacheValueList, CCACHINGHASH<cint64,cint64>* depHash);
bool writeExpanderCachingData(CSignatureSatisfiableExpanderCacheContext* context, cint64 prevSignature, cint64 newSignature, CCACHINGLIST<CCacheValue>* cacheValueList, CCACHINGHASH<cint64,cint64>* depHash);
void addExpanderCachingData(CSignatureSatisfiableExpanderCacheContext* context, const CCacheValue& cacheValue, CCACHINGHASH<cint64,CExpanderCacheValueLinker*>* newTagHash, CCACHINGHASH<cint64,cint64>* depHash, CCACHINGHASH<cint64,CCacheValue>* tagCacheValueHash, CExpanderCacheValueLinker*& lastExpCacheValueLinker, CExpanderCacheValueLinker*& firstExpCacheValueLinker);
bool writeSatisfiableBranchedCachingData(CSignatureSatisfiableExpanderCacheContext* context, cint64 signature, CCACHINGLIST<CCacheValue>* cacheValueList, CCACHINGLIST<CCacheValue>* branchedValueList);
void createReaderSlotUpdate(CSignatureSatisfiableExpanderCacheContext* context);
void cleanUnusedSlots(CSignatureSatisfiableExpanderCacheContext* context);
virtual bool processCustomsEvents(QEvent::Type type, CCustomEvent *event);
cint64 getRequiredSignatureReferCountForNextCacheEntryCreation(CSignatureSatisfiableExpanderCacheContext* context);
cint64 canCreateCacheEntryForSignature(cint64 singature, CSignatureSatisfiableExpanderCacheContext* context);
// protected variables
protected:
CCACHINGHASH<cint64,CSignatureSatisfiableExpanderCacheRedirectionItem*>* mSigItemHash;
CCACHINGSET<cint64>* mIncompatibleSigSet;
CCACHINGSET<cint64>* mAlreadyExpSigSet;
// currently not used
CCACHINGHASH<CSignatureSatisfiableExpanderCacheHasher,CSignatureSatisfiableExpanderCacheRedirectionItem*>* mHasherItemHash;
CCACHINGHASH<cint64,cint64>* mSignatureReferCountSet;
cint64 mNextCacheEntryRequiredSignatureRefCount;
cint64 mNextMemoryLevelRequiredSignatureRefCount;
cint64 mNextCacheEntryRequiredSignatureReferenceCountIncrease;
cint64 mNextMemoryLevelIncreaseForRequiredSignatureReferenceCount;
cint64 mWriteDataCount;
cint64 mStartWriteCollectCount;
cint64 mNextWriteCollectCount;
cint64 mCollectCount;
CMemoryPool* mCollectMemoryPools;
CSignatureSatisfiableExpanderCacheEntryWriteData* mCollectWriteData;
CCacheStatistics mCacheStat;
CSignatureSatisfiableExpanderCacheSlotItem* mSlotLinker;
CSignatureSatisfiableExpanderCacheReader* mReaderLinker;
QMutex mReaderSyncMutex;
CSignatureSatisfiableExpanderCacheContext mContext;
CConfiguration* mConfig;
// private methods
private:
// private variables
private:
};
}; // end namespace Cache
}; // end namespace Kernel
}; // end namespace Reasoner
}; // end namespace Konclude
#endif // KONCLUDE_REASONER_KERNEL_CACHE_CSIGNATURESATISFIABLEEXPANDERCACHE_H
|