Trace.hpp 15 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478
  1. /**
  2. * @file utils/Trace.hpp
  3. * @author See the AUTHORS file
  4. */
  5. /*
  6. * Copyright (C) 2012-2019 ULCO http://www.univ-littoral.fr
  7. *
  8. * This program is free software: you can redistribute it and/or modify
  9. * it under the terms of the GNU General Public License as published by
  10. * the Free Software Foundation, either version 3 of the License, or
  11. * (at your option) any later version.
  12. *
  13. * This program is distributed in the hope that it will be useful,
  14. * but WITHOUT ANY WARRANTY; without even the implied warranty of
  15. * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  16. * GNU General Public License for more details.
  17. *
  18. * You should have received a copy of the GNU General Public License
  19. * along with this program. If not, see <http://www.gnu.org/licenses/>.
  20. */
  21. #ifndef ARTIS_UTILS_TRACE
  22. #define ARTIS_UTILS_TRACE
  23. #include <algorithm>
  24. #include <iterator>
  25. #include <memory>
  26. #include <mutex>
  27. #include <sstream>
  28. #include <string>
  29. #include <vector>
  30. #include <map>
  31. #include <artis/utils/DateTime.hpp>
  32. #include <artis/kernel/Any.hpp>
  33. #if WIN32
  34. #include <iso646.h>
  35. #endif
  36. //fwd decl for friend classes in TraceElement
  37. namespace artis {
  38. namespace kernel {
  39. template<typename T, typename U, typename V, typename W>
  40. class AbstractCoupledModel;
  41. template<typename T, typename U, typename V>
  42. class AbstractAtomicModel;
  43. template<typename Time, typename Parameters>
  44. class AbstractModel;
  45. template<typename T, typename U, typename V>
  46. class Internals;
  47. template<typename T, typename U, typename V>
  48. class Externals;
  49. }
  50. }
  51. namespace artis {
  52. namespace utils {
  53. enum TraceType {
  54. NONE = 0, CHECK = 1, CONSTRUCT, SUBMODEL_ADD, INTERNAL_DECL,
  55. EXTERNAL_DECL, INTERNAL_LINK, INIT, START, BEFORE_COMPUTE,
  56. COMPUTE, PUT, AFTER_COMPUTE, DESTRUCT, KERNEL
  57. };
  58. static const std::vector<std::string> TraceTypesStr = {
  59. "none", "check", "construct", "submodel_add", "internal_decl",
  60. "external_decl", "internal_link", "init", "start", "before_compute",
  61. "compute", "put", "after_compute", "destruct", "kernel"};
  62. class KernelInfo {
  63. public:
  64. static std::map<std::string, int> elt_dictionary;
  65. static std::vector<std::string> elt_names;
  66. static unsigned int term(const std::string& v)
  67. {
  68. if (elt_dictionary.find(v) == elt_dictionary.end()) {
  69. elt_dictionary[v] = elt_names.size();
  70. elt_names.push_back(v);
  71. }
  72. return elt_dictionary[v];
  73. }
  74. static const std::string& term(unsigned int i) { return elt_names[i]; }
  75. KernelInfo()
  76. :
  77. _internal_var(false), _empty(true)
  78. {
  79. set_var("");
  80. set_value("");
  81. set_tgt_model("");
  82. set_tgt_internal_var("");
  83. }
  84. KernelInfo(const std::string& var, bool internal_var,
  85. const std::string& value)
  86. :
  87. _internal_var(internal_var), _empty(false)
  88. {
  89. set_var(var);
  90. set_value(value);
  91. set_tgt_model("");
  92. set_tgt_internal_var("");
  93. }
  94. KernelInfo(const std::string& var, const std::string& tgt_model,
  95. const std::string& tgt_internal_var)
  96. :
  97. _internal_var(true), _empty(false)
  98. {
  99. set_var(var);
  100. set_value("");
  101. set_tgt_model(tgt_model);
  102. set_tgt_internal_var(tgt_internal_var);
  103. }
  104. KernelInfo(const std::string& var, bool internal_var)
  105. :
  106. _internal_var(internal_var), _empty(false)
  107. {
  108. set_var(var);
  109. set_value("");
  110. set_tgt_model("");
  111. set_tgt_internal_var("");
  112. }
  113. KernelInfo(const std::string& tgt_model)
  114. :
  115. _internal_var(false), _empty(false)
  116. {
  117. set_var("");
  118. set_value("");
  119. set_tgt_model(tgt_model);
  120. set_tgt_internal_var("");
  121. }
  122. void set_var(const std::string& v) { _var = KernelInfo::term(v); }
  123. void set_value(const std::string& v) { _value = KernelInfo::term(v); }
  124. void set_tgt_model(const std::string& v) { _tgt_model = KernelInfo::term(v); }
  125. void set_tgt_internal_var(const std::string& v) { _tgt_internal_var = KernelInfo::term(v); }
  126. const std::string& var() const { return KernelInfo::term(_var); }
  127. const std::string& value() const { return KernelInfo::term(_value); }
  128. const std::string& tgt_model() const { return KernelInfo::term(_tgt_model); }
  129. const std::string& tgt_internal_var() const { return KernelInfo::term(_tgt_internal_var); }
  130. unsigned int var_idx() const { return _var; }
  131. unsigned int tgt_internal_var_idx() const { return _tgt_internal_var; }
  132. unsigned int tgt_model_idx() const { return _tgt_model; }
  133. bool is_internal_var() const { return _internal_var; }
  134. bool empty() const { return _empty; }
  135. std::string to_string() const
  136. {
  137. std::ostringstream ss;
  138. if (not KernelInfo::term(_var).empty()) {
  139. ss << ":";
  140. if (not _internal_var)
  141. ss << "*";
  142. ss << KernelInfo::term(_var);
  143. }
  144. if (not KernelInfo::term(_value).empty()) {
  145. ss << "=" << KernelInfo::term(_value);
  146. }
  147. if (not KernelInfo::term(_tgt_model).empty()) {
  148. ss << " -> " << KernelInfo::term(_tgt_model);
  149. if (not KernelInfo::term(_tgt_internal_var).empty()) {
  150. ss << ":" << KernelInfo::term(_tgt_internal_var);
  151. }
  152. }
  153. return ss.str();
  154. }
  155. private:
  156. unsigned int _var;
  157. unsigned int _value;
  158. unsigned int _tgt_model;
  159. unsigned int _tgt_internal_var;
  160. bool _internal_var;
  161. bool _empty;
  162. };
  163. template<class Time>
  164. class TraceElement {
  165. template<typename T, typename U, typename V, typename W>
  166. friend
  167. class artis::kernel::AbstractCoupledModel;
  168. template<typename T, typename U, typename V>
  169. friend
  170. class artis::kernel::AbstractAtomicModel;
  171. template<typename T, typename P>
  172. friend
  173. class artis::kernel::AbstractModel;
  174. template<typename T, typename U, typename V>
  175. friend
  176. class artis::kernel::Internals;
  177. template<typename T, typename U, typename V>
  178. friend
  179. class artis::kernel::Externals;
  180. private:
  181. TraceElement(bool from_kernel, const std::string& model_name,
  182. typename Time::type time, TraceType type)
  183. :
  184. _time(time), _type(type),
  185. _from_kernel(from_kernel)
  186. {
  187. _model_name = KernelInfo::term(model_name);
  188. }
  189. public:
  190. TraceElement()
  191. :_time(Time::null), _type(NONE),
  192. _from_kernel(false) { }
  193. TraceElement(const std::string& model_name, typename Time::type time,
  194. TraceType type)
  195. :
  196. _time(time), _type(type),
  197. _from_kernel(false)
  198. {
  199. _model_name = KernelInfo::term(model_name);
  200. }
  201. virtual ~TraceElement() { }
  202. const std::string& get_comment() const { return _comment; }
  203. const std::string& get_model_name() const { return KernelInfo::term(_model_name); }
  204. unsigned int get_model_name_idx() const { return _model_name; }
  205. typename Time::type get_time() const { return _time; }
  206. TraceType get_type() const { return _type; }
  207. const KernelInfo& get_kernel_info() const { return _kernel_info; }
  208. void set_comment(const std::string& comment) { _comment = comment; }
  209. bool from_kernel() const { return _from_kernel; }
  210. void set_kernel_info(const KernelInfo& info) { _kernel_info = info; }
  211. std::string to_string(artis::utils::DateFormat date_format =
  212. artis::utils::DATE_FORMAT_EXTENDED) const
  213. {
  214. std::ostringstream ss;
  215. ss << (from_kernel() ? "KERNEL" : "TRACE ");
  216. if (get_time() != Time::null) {
  217. ss << "(" << utils::DateTime::toJulianDayFmt(get_time(),
  218. date_format)
  219. << ")";
  220. }
  221. ss << ": ";
  222. ss << "<" + TraceTypesStr[get_type()] + ">";
  223. ss << " " << get_model_name();
  224. if (not get_kernel_info().empty()) {
  225. ss << get_kernel_info().to_string();
  226. }
  227. if (not get_comment().empty()) {
  228. ss << " => " << get_comment();
  229. }
  230. return ss.str();
  231. }
  232. private:
  233. unsigned int _model_name;
  234. typename Time::type _time;
  235. TraceType _type;
  236. std::string _comment;
  237. KernelInfo _kernel_info;
  238. bool _from_kernel;
  239. };
  240. template<class Time>
  241. class TraceElements : public std::vector<TraceElement<Time> > {
  242. public:
  243. TraceElements() { }
  244. virtual ~TraceElements() { }
  245. TraceElements filter_model_name(
  246. const std::string& model_name) const
  247. {
  248. TraceElements<Time> result;
  249. std::copy_if(
  250. TraceElements<Time>::begin(),
  251. TraceElements<Time>::end(), std::back_inserter(result),
  252. [model_name](TraceElement<Time> const& x) {
  253. if (not x.get_kernel_info().empty()) {
  254. if (x.get_kernel_info().tgt_model() == model_name) {
  255. return true;
  256. }
  257. }
  258. return x.get_model_name() == model_name;
  259. });
  260. return result;
  261. }
  262. TraceElements filter_time(typename Time::type time) const
  263. {
  264. TraceElements result;
  265. std::copy_if(TraceElements<Time>::begin(),
  266. TraceElements<Time>::end(), std::back_inserter(result),
  267. [time](TraceElement<Time> const& x) { return x.get_time() == time; });
  268. return result;
  269. }
  270. TraceElements filter_type(TraceType type) const
  271. {
  272. TraceElements result;
  273. std::copy_if(TraceElements<Time>::begin(),
  274. TraceElements<Time>::end(), std::back_inserter(result),
  275. [type](TraceElement<Time> const& x) { return x.get_type() == type; });
  276. return result;
  277. }
  278. TraceElements filter_variable(const std::string& var_name) const
  279. {
  280. TraceElements result;
  281. std::copy_if(TraceElements<Time>::begin(),
  282. TraceElements<Time>::end(), std::back_inserter(result),
  283. [var_name](TraceElement<Time> const& x) {
  284. if (x.get_kernel_info().empty())
  285. return false;
  286. return ((x.get_kernel_info().var() == var_name)
  287. or (x.get_kernel_info().tgt_internal_var() == var_name));
  288. });
  289. return result;
  290. }
  291. std::string to_string(artis::utils::DateFormat date_format =
  292. artis::utils::DATE_FORMAT_EXTENDED) const
  293. {
  294. std::ostringstream ss;
  295. for (typename TraceElements<Time>::const_iterator it =
  296. TraceElements<Time>::begin();
  297. it != TraceElements<Time>::end(); ++it) {
  298. ss << it->to_string(date_format) << std::endl;
  299. }
  300. return ss.str();
  301. }
  302. };
  303. template<class Time>
  304. class Trace {
  305. public:
  306. virtual ~Trace() { }
  307. static Trace& trace()
  308. {
  309. std::call_once(_flag, []() { _instance.reset(new Trace()); }
  310. );
  311. return *_instance;
  312. }
  313. void clear() { _trace.clear(); }
  314. const TraceElements<Time>& elements() const { return _trace; }
  315. void flush()
  316. {
  317. if (_sstream) {
  318. _element.set_comment(_sstream->str());
  319. delete _sstream;
  320. _sstream = 0;
  321. }
  322. _trace.push_back(_element);
  323. }
  324. std::mutex& mutex() { return _mutex; }
  325. void set_element(const TraceElement<Time>& element) { _element = element; }
  326. void set_kernel_info(const KernelInfo& info) { _element.set_kernel_info(info); }
  327. std::ostringstream& sstream()
  328. {
  329. if (_sstream == 0) {
  330. _sstream = new std::ostringstream();
  331. }
  332. return *_sstream;
  333. }
  334. private:
  335. Trace() { _sstream = 0; }
  336. static std::shared_ptr<Trace<Time> > _instance;
  337. static std::once_flag _flag;
  338. TraceElements<Time> _trace;
  339. TraceElement<Time> _element;
  340. std::ostringstream* _sstream;
  341. std::mutex _mutex;
  342. };
  343. }
  344. }
  345. template<class Time>
  346. artis::utils::Trace<Time>& operator<<(
  347. artis::utils::Trace<Time>& trace,
  348. const artis::utils::TraceElement<Time>& e)
  349. {
  350. std::lock_guard<std::mutex> lock(trace.mutex());
  351. trace.set_element(e);
  352. return trace;
  353. }
  354. template<class Time>
  355. artis::utils::Trace<Time>& operator<<(
  356. artis::utils::Trace<Time>& trace,
  357. const artis::utils::KernelInfo& info)
  358. {
  359. std::lock_guard<std::mutex> lock(trace.mutex());
  360. trace.set_kernel_info(info);
  361. return trace;
  362. }
  363. template<class Time>
  364. artis::utils::Trace<Time>& operator<<(
  365. artis::utils::Trace<Time>& trace,
  366. const std::string& str)
  367. {
  368. std::lock_guard<std::mutex> lock(trace.mutex());
  369. trace.sstream() << str;
  370. return trace;
  371. }
  372. template<class Time>
  373. artis::utils::Trace<Time>& operator<<(
  374. artis::utils::Trace<Time>& trace,
  375. typename Time::type t)
  376. {
  377. std::lock_guard<std::mutex> lock(trace.mutex());
  378. trace.sstream() << t;
  379. return trace;
  380. }
  381. template<class Time>
  382. std::shared_ptr<artis::utils::Trace<Time> >
  383. artis::utils::Trace<Time>::_instance;
  384. template<class Time>
  385. std::once_flag artis::utils::Trace<Time>::_flag;
  386. #endif