Ejemplo n.º 1
0
int main(int argc, char *argv[])
/* Process command line. */
{
optionInit(&argc, argv, options);
if (argc != 3)
    usage();
chainIndex(argv[1], argv[2]);
return 0;
}
Ejemplo n.º 2
0
    void ChainArray::flushToDisk(uint id)
    {
      uint diskLength = lengthOnDisk_[id];
      uint cacheLength = cache_[id].size();

      // for t=1 chains only (cold) chains only
      if (chainIndex(id) == 0)
      {
        uint newLength = diskLength + cacheLength;
        VLOG(3) << "Flushing cache of chain " << id << ". new length on disk: " << newLength;
        std::vector<State> statesToBeSaved(std::begin(cache_[id]), std::end(cache_[id]));
        writer_.append(id / numChains(), statesToBeSaved);
        lengthOnDisk_[id] = newLength;
      }

      // Re-initialise the cache
      if (!cache_[id].empty())
      {
        lastState_[id] = cache_[id].back();
        cache_[id].clear();
      }
    }
Ejemplo n.º 3
0
 bool ChainArray::isColdestInStack(uint id) const
 {
   return chainIndex(id) == 0;
 }
Ejemplo n.º 4
0
 bool ChainArray::isHottestInStack(uint id) const
 {
   return chainIndex(id) == numChains() - 1;
 }