| [a80f419] | 1 | /* | 
|---|
|  | 2 | * Cacheable.hpp | 
|---|
|  | 3 | * | 
|---|
|  | 4 | *  Created on: Feb 2, 2010 | 
|---|
|  | 5 | *      Author: crueger | 
|---|
|  | 6 | */ | 
|---|
|  | 7 |  | 
|---|
|  | 8 | #ifndef CACHEABLE_HPP_ | 
|---|
|  | 9 | #define CACHEABLE_HPP_ | 
|---|
|  | 10 |  | 
|---|
| [70672e3] | 11 | // include config.h | 
|---|
|  | 12 | #ifdef HAVE_CONFIG_H | 
|---|
|  | 13 | #include <config.h> | 
|---|
|  | 14 | #endif | 
|---|
|  | 15 |  | 
|---|
| [e2e035e] | 16 | #include "Observer/Observable.hpp" | 
|---|
|  | 17 | #include "Observer/Observer.hpp" | 
|---|
| [a80f419] | 18 | #include <boost/function.hpp> | 
|---|
|  | 19 | #include <boost/shared_ptr.hpp> | 
|---|
|  | 20 |  | 
|---|
| [9b8fa4] | 21 | #include "CodePatterns/Assert.hpp" | 
|---|
| [a80f419] | 22 |  | 
|---|
|  | 23 | #ifndef NO_CACHING | 
|---|
|  | 24 |  | 
|---|
|  | 25 | template<typename T> | 
|---|
|  | 26 | class Cacheable : public Observer | 
|---|
|  | 27 | { | 
|---|
|  | 28 | // we define the states of the cacheable so we can do very fast state-checks | 
|---|
|  | 29 | class State{ | 
|---|
|  | 30 | public: | 
|---|
|  | 31 | State(Cacheable *_owner) : | 
|---|
|  | 32 | busy(false), | 
|---|
|  | 33 | owner(_owner) | 
|---|
|  | 34 | {} | 
|---|
|  | 35 | virtual T& getValue()=0; | 
|---|
|  | 36 | virtual void invalidate()=0; | 
|---|
|  | 37 | virtual bool isValid()=0; | 
|---|
|  | 38 | virtual void enter()=0; | 
|---|
|  | 39 | bool isBusy(){ | 
|---|
|  | 40 | return busy; | 
|---|
|  | 41 | } | 
|---|
|  | 42 | virtual std::string getName()=0; | 
|---|
|  | 43 | protected: | 
|---|
|  | 44 | bool busy; | 
|---|
|  | 45 | Cacheable *owner; | 
|---|
|  | 46 | }; | 
|---|
|  | 47 |  | 
|---|
|  | 48 | class InvalidState : public State{ | 
|---|
|  | 49 | public: | 
|---|
|  | 50 | InvalidState(Cacheable *_owner): | 
|---|
|  | 51 | State(_owner) | 
|---|
|  | 52 | {} | 
|---|
|  | 53 |  | 
|---|
|  | 54 | virtual T& getValue(){ | 
|---|
|  | 55 | // set the state to valid | 
|---|
|  | 56 | State::owner->switchState(State::owner->validState); | 
|---|
|  | 57 | // get the value from the now valid state | 
|---|
|  | 58 | return State::owner->state->getValue(); | 
|---|
|  | 59 | } | 
|---|
|  | 60 |  | 
|---|
|  | 61 | virtual void invalidate(){ | 
|---|
|  | 62 | // nothing to do on this message | 
|---|
|  | 63 | } | 
|---|
|  | 64 |  | 
|---|
|  | 65 | virtual bool isValid(){ | 
|---|
|  | 66 | return false; | 
|---|
|  | 67 | } | 
|---|
|  | 68 |  | 
|---|
|  | 69 | virtual void enter(){ | 
|---|
|  | 70 | // nothing to do when entering this | 
|---|
|  | 71 | } | 
|---|
|  | 72 |  | 
|---|
|  | 73 | virtual std::string getName(){ | 
|---|
|  | 74 | return "invalid"; | 
|---|
|  | 75 | } | 
|---|
|  | 76 | }; | 
|---|
|  | 77 |  | 
|---|
|  | 78 | class ValidState : public State{ | 
|---|
|  | 79 | public: | 
|---|
|  | 80 | ValidState(Cacheable *_owner) : | 
|---|
|  | 81 | State(_owner) | 
|---|
|  | 82 | {} | 
|---|
|  | 83 |  | 
|---|
|  | 84 | virtual T& getValue(){ | 
|---|
|  | 85 | return content; | 
|---|
|  | 86 | } | 
|---|
|  | 87 |  | 
|---|
|  | 88 | virtual void invalidate(){ | 
|---|
|  | 89 | State::owner->switchState(State::owner->invalidState); | 
|---|
|  | 90 | } | 
|---|
|  | 91 |  | 
|---|
|  | 92 | virtual bool isValid(){ | 
|---|
|  | 93 | return true; | 
|---|
|  | 94 | } | 
|---|
|  | 95 |  | 
|---|
|  | 96 | virtual void enter(){ | 
|---|
|  | 97 | State::busy= true; | 
|---|
|  | 98 | // as soon as we enter the valid state we recalculate | 
|---|
|  | 99 | content = State::owner->recalcMethod(); | 
|---|
|  | 100 | State::busy = false; | 
|---|
|  | 101 | } | 
|---|
|  | 102 |  | 
|---|
|  | 103 | virtual std::string getName(){ | 
|---|
|  | 104 | return "valid"; | 
|---|
|  | 105 | } | 
|---|
|  | 106 | private: | 
|---|
|  | 107 | T content; | 
|---|
|  | 108 | }; | 
|---|
|  | 109 |  | 
|---|
|  | 110 | class DestroyedState : public State { | 
|---|
|  | 111 | public: | 
|---|
|  | 112 | DestroyedState(Cacheable *_owner) : | 
|---|
|  | 113 | State(_owner) | 
|---|
|  | 114 | {} | 
|---|
|  | 115 |  | 
|---|
|  | 116 | virtual T& getValue(){ | 
|---|
|  | 117 | ASSERT(0,"Cannot get a value from a Cacheable after it's Observable has died"); | 
|---|
|  | 118 | // we have to return a grossly invalid reference, because no value can be produced anymore | 
|---|
|  | 119 | return *(static_cast<T*>(0)); | 
|---|
|  | 120 | } | 
|---|
|  | 121 |  | 
|---|
|  | 122 | virtual void invalidate(){ | 
|---|
|  | 123 | ASSERT(0,"Cannot invalidate a Cacheable after it's Observable has died"); | 
|---|
|  | 124 | } | 
|---|
|  | 125 |  | 
|---|
|  | 126 | virtual bool isValid(){ | 
|---|
|  | 127 | ASSERT(0,"Cannot check validity of a Cacheable after it's Observable has died"); | 
|---|
|  | 128 | return false; | 
|---|
|  | 129 | } | 
|---|
|  | 130 |  | 
|---|
|  | 131 | virtual void enter(){ | 
|---|
|  | 132 | // nothing to do when entering this state | 
|---|
|  | 133 | } | 
|---|
|  | 134 |  | 
|---|
|  | 135 | virtual std::string getName(){ | 
|---|
|  | 136 | return "destroyed"; | 
|---|
|  | 137 | } | 
|---|
|  | 138 | }; | 
|---|
|  | 139 |  | 
|---|
|  | 140 |  | 
|---|
|  | 141 | typedef boost::shared_ptr<State> state_ptr; | 
|---|
|  | 142 |  | 
|---|
|  | 143 | public: | 
|---|
|  | 144 | Cacheable(Observable *_owner, boost::function<T()> _recalcMethod, std::string name); | 
|---|
|  | 145 | virtual ~Cacheable(); | 
|---|
|  | 146 |  | 
|---|
|  | 147 | const bool isValid() const; | 
|---|
|  | 148 | const T operator*() const; | 
|---|
|  | 149 |  | 
|---|
|  | 150 | // methods implemented for base-class Observer | 
|---|
|  | 151 | void update(Observable *subject); | 
|---|
|  | 152 | void subjectKilled(Observable *subject); | 
|---|
|  | 153 | private: | 
|---|
|  | 154 | void switchState(state_ptr newState); | 
|---|
|  | 155 |  | 
|---|
|  | 156 | mutable state_ptr state; | 
|---|
|  | 157 | // pre-defined state so we don't have to construct to much | 
|---|
|  | 158 | state_ptr invalidState; | 
|---|
|  | 159 | state_ptr validState; | 
|---|
|  | 160 | // destroyed state is not predefined, because we rarely enter that state and never leave | 
|---|
|  | 161 |  | 
|---|
|  | 162 | Observable *owner; | 
|---|
|  | 163 | boost::function<T()> recalcMethod; | 
|---|
|  | 164 |  | 
|---|
|  | 165 | // de-activated copy constructor | 
|---|
|  | 166 | Cacheable(const Cacheable&); | 
|---|
|  | 167 | }; | 
|---|
|  | 168 |  | 
|---|
|  | 169 |  | 
|---|
|  | 170 | template<typename T> | 
|---|
|  | 171 | Cacheable<T>::Cacheable(Observable *_owner, boost::function<T()> _recalcMethod, std::string name) : | 
|---|
|  | 172 | Observer(name + "(Cached)"), | 
|---|
|  | 173 | owner(_owner), | 
|---|
|  | 174 | recalcMethod(_recalcMethod) | 
|---|
|  | 175 | { | 
|---|
|  | 176 | // create all states needed for this object | 
|---|
|  | 177 | invalidState = state_ptr(new InvalidState(this)); | 
|---|
|  | 178 | validState = state_ptr(new ValidState(this)); | 
|---|
|  | 179 | state = invalidState; | 
|---|
|  | 180 | // we sign on with the best(=lowest) priority, so cached values are recalculated before | 
|---|
|  | 181 | // anybody else might ask for updated values | 
|---|
| [8fe1e2] | 182 | owner->signOn(this,Observable::PriorityLevel(int(-20))); | 
|---|
| [a80f419] | 183 | } | 
|---|
|  | 184 |  | 
|---|
|  | 185 | // de-activated copy constructor | 
|---|
|  | 186 | template<typename T> | 
|---|
|  | 187 | Cacheable<T>::Cacheable(const Cacheable&){ | 
|---|
|  | 188 | ASSERT(0,"Cacheables should never be copied"); | 
|---|
|  | 189 | } | 
|---|
|  | 190 |  | 
|---|
|  | 191 | template<typename T> | 
|---|
|  | 192 | const T Cacheable<T>::operator*() const{ | 
|---|
|  | 193 | // we can only use the cacheable when the owner is not changing at the moment | 
|---|
|  | 194 | if(!owner->isBlocked()){ | 
|---|
|  | 195 | return state->getValue(); | 
|---|
|  | 196 | } | 
|---|
|  | 197 | else{ | 
|---|
|  | 198 | return recalcMethod(); | 
|---|
|  | 199 | } | 
|---|
|  | 200 | } | 
|---|
|  | 201 |  | 
|---|
|  | 202 | template<typename T> | 
|---|
|  | 203 | Cacheable<T>::~Cacheable() | 
|---|
|  | 204 | { | 
|---|
|  | 205 | owner->signOff(this); | 
|---|
|  | 206 | } | 
|---|
|  | 207 |  | 
|---|
|  | 208 | template<typename T> | 
|---|
|  | 209 | const bool Cacheable<T>::isValid() const{ | 
|---|
|  | 210 | return state->isValid(); | 
|---|
|  | 211 | } | 
|---|
|  | 212 |  | 
|---|
|  | 213 | template<typename T> | 
|---|
|  | 214 | void Cacheable<T>::update(Observable *subject) { | 
|---|
|  | 215 | state->invalidate(); | 
|---|
|  | 216 | } | 
|---|
|  | 217 |  | 
|---|
|  | 218 | template<typename T> | 
|---|
|  | 219 | void Cacheable<T>::subjectKilled(Observable *subject) { | 
|---|
|  | 220 | state_ptr destroyed = state_ptr(new DestroyedState(this)); | 
|---|
|  | 221 | switchState(destroyed); | 
|---|
|  | 222 | } | 
|---|
|  | 223 |  | 
|---|
|  | 224 | template<typename T> | 
|---|
|  | 225 | void Cacheable<T>::switchState(state_ptr newState){ | 
|---|
|  | 226 | ASSERT(!state->isBusy(),"LOOP DETECTED: Cacheable state switched while recalculating.\nDid the recalculation trigger the Observable?"); | 
|---|
|  | 227 | #ifdef LOG_OBSERVER | 
|---|
|  | 228 | observerLog().addMessage() << "## Cacheable " << observerLog().getName(this) << " changed state (" << state->getName() | 
|---|
| [2c11c1] | 229 | << "->" << newState->getName() << ")"; | 
|---|
| [a80f419] | 230 | #endif | 
|---|
|  | 231 | state = newState; | 
|---|
|  | 232 | state->enter(); | 
|---|
|  | 233 | } | 
|---|
|  | 234 |  | 
|---|
|  | 235 | #else | 
|---|
|  | 236 | template<typename T> | 
|---|
|  | 237 | class Cacheable : public Observer | 
|---|
|  | 238 | { | 
|---|
|  | 239 | public: | 
|---|
|  | 240 | Cacheable(Observable *_owner, boost::function<T()> _recalcMethod,std::string name); | 
|---|
|  | 241 | virtual ~Cacheable(); | 
|---|
|  | 242 |  | 
|---|
|  | 243 | const bool isValid() const; | 
|---|
|  | 244 | const T operator*() const; | 
|---|
|  | 245 |  | 
|---|
|  | 246 | // methods implemented for base-class Observer | 
|---|
|  | 247 | void update(Observable *subject); | 
|---|
|  | 248 | void subjectKilled(Observable *subject); | 
|---|
|  | 249 | private: | 
|---|
|  | 250 |  | 
|---|
|  | 251 | boost::function<T()> recalcMethod; | 
|---|
|  | 252 | }; | 
|---|
|  | 253 |  | 
|---|
|  | 254 | template<typename T> | 
|---|
|  | 255 | Cacheable<T>::Cacheable(Observable *_owner, boost::function<T()> _recalcMethod, std::string name) : | 
|---|
|  | 256 | Observer(name), | 
|---|
|  | 257 | recalcMethod(_recalcMethod) | 
|---|
|  | 258 | {} | 
|---|
|  | 259 |  | 
|---|
|  | 260 | template<typename T> | 
|---|
|  | 261 | const T Cacheable<T>::operator*() const{ | 
|---|
|  | 262 | return recalcMethod(); | 
|---|
|  | 263 | } | 
|---|
|  | 264 |  | 
|---|
|  | 265 | template<typename T> | 
|---|
|  | 266 | Cacheable<T>::~Cacheable() | 
|---|
|  | 267 | {} | 
|---|
|  | 268 |  | 
|---|
|  | 269 | template<typename T> | 
|---|
|  | 270 | const bool Cacheable<T>::isValid() const{ | 
|---|
|  | 271 | return true; | 
|---|
|  | 272 | } | 
|---|
|  | 273 |  | 
|---|
|  | 274 | template<typename T> | 
|---|
|  | 275 | void Cacheable<T>::update(Observable *subject) { | 
|---|
|  | 276 | ASSERT(0, "Cacheable::update should never be called when caching is disabled"); | 
|---|
|  | 277 | } | 
|---|
|  | 278 |  | 
|---|
|  | 279 | template<typename T> | 
|---|
|  | 280 | void Cacheable<T>::subjectKilled(Observable *subject){ | 
|---|
|  | 281 | ASSERT(0, "Cacheable::subjectKilled should never be called when caching is disabled"); | 
|---|
|  | 282 | } | 
|---|
|  | 283 | #endif | 
|---|
|  | 284 |  | 
|---|
|  | 285 | #endif /* CACHEABLE_HPP_ */ | 
|---|