3 #include "traceanalysis.h"
7 unsigned long long elapsedtime;
10 class SCAnalysis : public TraceAnalysis {
14 virtual void setExecution(ModelExecution * execution);
15 virtual void analyze(action_list_t *);
16 virtual const char * name();
17 virtual bool option(char *);
18 virtual void finish();
23 void print_list(action_list_t *list);
24 int buildVectors(action_list_t *);
25 bool updateConstraints(ModelAction *act);
26 void computeCV(action_list_t *);
27 action_list_t * generateSC(action_list_t *);
28 bool processRead(ModelAction *read, ClockVector *cv);
29 int getNextActions(ModelAction **array);
30 bool merge(ClockVector *cv, const ModelAction *act, const ModelAction *act2);
31 void check_rf(action_list_t *list);
32 void reset(action_list_t *list);
33 ModelAction* pruneArray(ModelAction**, int);
36 HashTable<const ModelAction *, ClockVector *, uintptr_t, 4 > cvmap;
38 HashTable<const ModelAction *, const ModelAction *, uintptr_t, 4 > badrfset;
39 HashTable<void *, const ModelAction *, uintptr_t, 4 > lastwrmap;
40 SnapVector<action_list_t> threadlists;
41 ModelExecution *execution;
45 struct sc_statistics *stats;