Platform dependant internals of ActivationCache