tracer.hpp

Go to the documentation of this file.

/* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
/*
 *  Main authors:
 *     Christian Schulte <schulte@gecode.org>
 *
 *  Copyright:
 *     Christian Schulte, 2016
 *
 *  This file is part of Gecode, the generic constraint
 *  development environment:
 *     http://www.gecode.org
 *
 *  Permission is hereby granted, free of charge, to any person obtaining
 *  a copy of this software and associated documentation files (the
 *  "Software"), to deal in the Software without restriction, including
 *  without limitation the rights to use, copy, modify, merge, publish,
 *  distribute, sublicense, and/or sell copies of the Software, and to
 *  permit persons to whom the Software is furnished to do so, subject to
 *  the following conditions:
 *
 *  The above copyright notice and this permission notice shall be
 *  included in all copies or substantial portions of the Software.
 *
 *  THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
 *  EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
 *  MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
 *  NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
 *  LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
 *  OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
 *  WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
 *
 */

namespace Gecode {

  class TracerBase : public HeapAllocated {
  protected:
    GECODE_KERNEL_EXPORT
    static Support::Mutex m;
  };

  template<class View> class ViewTraceRecorder;

  template<class View>
  class ViewTracer : public TracerBase {
    template<class ViewForTraceRecorder> friend class ViewTraceRecorder;
  private:
    void _init(const Space& home, const ViewTraceRecorder<View>& t);
    void _prune(const Space& home, const ViewTraceRecorder<View>& t,
                const ViewTraceInfo& vti,
                int i, typename TraceTraits<View>::TraceDelta& d);
    void _fail(const Space& home, const ViewTraceRecorder<View>& t);
    void _fix(const Space& home, const ViewTraceRecorder<View>& t);
    void _done(const Space& home, const ViewTraceRecorder<View>& t);
  public:
    ViewTracer(void);
    virtual void init(const Space& home,
                      const ViewTraceRecorder<View>& t) = 0;
    virtual void prune(const Space& home,
                       const ViewTraceRecorder<View>& t,
                       const ViewTraceInfo& vti,
                       int i, typename TraceTraits<View>::TraceDelta& d) = 0;
    virtual void fail(const Space& home,
                      const ViewTraceRecorder<View>& t) = 0;
    virtual void fix(const Space& home,
                     const ViewTraceRecorder<View>& t) = 0;
    virtual void done(const Space& home,
                      const ViewTraceRecorder<View>& t) = 0;
    virtual ~ViewTracer(void);
  };




  class Tracer : public TracerBase {
    friend class Space;
  private:
    void _propagate(const Space& home, const PropagateTraceInfo& pti);
    void _commit(const Space& home, const CommitTraceInfo& cti);
  public:
    Tracer(void);
    virtual void propagate(const Space& home,
                           const PropagateTraceInfo& pti) = 0;
    virtual void commit(const Space& home,
                        const CommitTraceInfo& cti) = 0;
    virtual ~Tracer(void);
  };


  class  GECODE_KERNEL_EXPORT StdTracer : public Tracer {
  protected:
    std::ostream& os;
  public:
    StdTracer(std::ostream& os = std::cerr);
    virtual void propagate(const Space& home,
                           const PropagateTraceInfo& pti);
    virtual void commit(const Space& home,
                        const CommitTraceInfo& cti);
    static StdTracer def;
  };


  /*
   * View tracer
   */

  template<class View>
  forceinline
  ViewTracer<View>::ViewTracer(void) {
  }

  template<class View>
  forceinline void
  ViewTracer<View>::_init(const Space& home,
                          const ViewTraceRecorder<View>& t) {
    m.acquire();
    init(home,t);
    m.release();
  }
  template<class View>
  forceinline void
  ViewTracer<View>::_prune(const Space& home,
                           const ViewTraceRecorder<View>& t,
                           const ViewTraceInfo& vti,
                           int i, typename TraceTraits<View>::TraceDelta& d) {
    m.acquire();
    prune(home,t,vti,i,d);
    m.release();
  }
  template<class View>
  forceinline void
  ViewTracer<View>::_fail(const Space& home,
                          const ViewTraceRecorder<View>& t) {
    m.acquire();
    fail(home,t);
    m.release();
  }
  template<class View>
  forceinline void
  ViewTracer<View>::_fix(const Space& home,
                         const ViewTraceRecorder<View>& t) {
    m.acquire();
    fix(home,t);
    m.release();
  }
  template<class View>
  forceinline void
  ViewTracer<View>::_done(const Space& home,
                          const ViewTraceRecorder<View>& t) {
    m.acquire();
    done(home,t);
    m.release();
  }

  template<class View>
  forceinline
  ViewTracer<View>::~ViewTracer(void) {
  }


  /*
   * Tracer
   */

  forceinline
  Tracer::Tracer(void) {
  }

  forceinline void
  Tracer::_propagate(const Space& home,
                     const PropagateTraceInfo& pti) {
    m.acquire();
    propagate(home,pti);
    m.release();
  }
  forceinline void
  Tracer::_commit(const Space& home,
                  const CommitTraceInfo& cti) {
    m.acquire();
    commit(home,cti);
    m.release();
  }

  forceinline
  Tracer::~Tracer(void) {
  }

}

// STATISTICS: kernel-trace