Flow123d  intersections_paper-476-gbe68821
main.cc
Go to the documentation of this file.
1 /*!
2  *
3  * Copyright (C) 2015 Technical University of Liberec. All rights reserved.
4  *
5  * This program is free software; you can redistribute it and/or modify it under
6  * the terms of the GNU General Public License version 3 as published by the
7  * Free Software Foundation. (http://www.gnu.org/licenses/gpl-3.0.en.html)
8  *
9  * This program is distributed in the hope that it will be useful, but WITHOUT
10  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
11  * FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.
12  *
13  *
14  * @file main.cc
15  * @brief This file should contain only creation of Application object.
16  */
17 
18 #include <petsc.h>
19 
20 
21 #include "system/system.hh"
22 #include "system/sys_profiler.hh"
23 #include "system/python_loader.hh"
25 #include "input/input_type.hh"
26 #include "input/accessors.hh"
28 
29 #include <iostream>
30 #include <fstream>
31 #include <boost/regex.hpp>
32 #include <boost/program_options/parsers.hpp>
33 #include <boost/program_options/variables_map.hpp>
34 #include <boost/program_options/options_description.hpp>
35 #include <boost/filesystem.hpp>
36 
37 #include "main.h"
38 
39 #include "rev_num.h"
40 
41 /// named version of the program
42 //#define _PROGRAM_VERSION_ "0.0.0"
43 
44 //#ifndef _PROGRAM_REVISION_
45 // #define _PROGRAM_REVISION_ "(unknown revision)"
46 //#endif
47 
48 //#ifndef _PROGRAM_BRANCH_
49 // #define _PROGRAM_BRANCH_ "(unknown branch)"
50 //#endif
51 
52 #ifndef FLOW123D_COMPILER_FLAGS_
53  #define FLOW123D_COMPILER_FLAGS_ "(unknown compiler flags)"
54 #endif
55 
56 
57 namespace it = Input::Type;
58 
59 // this should be part of a system class containing all support information
61  static it::Record type = it::Record("Root", "Root record of JSON input for Flow123d.")
62  .declare_key("flow123d_version", it::String(), it::Default::obligatory(),
63  "Version of Flow123d for which the input file was created."
64  "Flow123d only warn about version incompatibility. "
65  "However, external tools may use this information to provide conversion "
66  "of the input file to the structure required by another version of Flow123d.")
68  "Simulation problem to be solved.")
69  .declare_key("pause_after_run", it::Bool(), it::Default("false"),
70  "If true, the program will wait for key press before it terminates.")
71  .close();
72 
73  return type;
74 }
75 
76 
77 
78 Application::Application( int argc, char ** argv)
79 : ApplicationBase(argc, argv),
80  problem_(nullptr),
82  //passed_argc_(0),
83  //passed_argv_(0),
84  use_profiler(true),
86 {
87  // initialize python stuff if we have
88  // nonstandard python home (release builds)
89 #ifdef FLOW123D_HAVE_PYTHON
90  PythonLoader::initialize(argv[0]);
91 #endif
92 
93 }
94 
95 
97  Input::Type::RevNumData rev_num_data;
98 
99  rev_num_data.version = string(FLOW123D_VERSION_NAME_);
100  rev_num_data.revision = string(FLOW123D_GIT_REVISION_);
101  rev_num_data.branch = string(FLOW123D_GIT_BRANCH_);
102  rev_num_data.url = string(FLOW123D_GIT_URL_);
103 
104  return rev_num_data;
105 }
106 
107 
109  // Say Hello
110  // make strings from macros in order to check type
111  Input::Type::RevNumData rev_num_data = this->get_rev_num_data();
112  string build = string(__DATE__) + ", " + string(__TIME__)
113  + " flags: " + string(FLOW123D_COMPILER_FLAGS_);
114 
115 
116  MessageOut().fmt("This is Flow123d, version {} commit: {}\n",
117  rev_num_data.version, rev_num_data.revision);
118  MessageOut().fmt("Branch: {}\nBuild: {}\nFetch URL: {}\n",
119  rev_num_data.branch, build, rev_num_data.url );
120  Profiler::instance()->set_program_info("Flow123d",
121  rev_num_data.version, rev_num_data.branch, rev_num_data.revision, build);
122 }
123 
124 
125 
127  if (main_input_filename_ == "") {
128  cout << "Usage error: The main input file has to be specified through -s parameter.\n\n";
129  cout << program_arguments_desc_ << "\n";
130  exit( exit_failure );
131  }
132 
133  // read main input file
134  FilePath fpath(main_input_filename_, FilePath::FileType::input_file);
135  try {
136  Input::ReaderToStorage json_reader(fpath, get_input_type() );
138  } catch (Input::ReaderToStorage::ExcInputError &e ) {
139  e << Input::ReaderToStorage::EI_File(fpath); throw;
140  } catch (Input::ReaderToStorage::ExcNotJSONFormat &e) {
141  e << Input::ReaderToStorage::EI_File(fpath); throw;
142  }
143  return root_record;
144 }
145 
146 
147 
148 void Application::parse_cmd_line(const int argc, char ** argv) {
149  namespace po = boost::program_options;
150 
151 
152  // Declare the supported options.
153  po::options_description desc("Allowed options");
154  desc.add_options()
155  ("help", "produce help message")
156  ("solve,s", po::value< string >(), "Main input file to solve.")
157  ("input_dir,i", po::value< string >()->default_value("input"), "Directory for the ${INPUT} placeholder in the main input file.")
158  ("output_dir,o", po::value< string >()->default_value("output"), "Directory for all produced output files.")
159  ("log,l", po::value< string >()->default_value("flow123"), "Set base name for log files.")
160  ("version", "Display version and build information and exit.")
161  ("no_log", "Turn off logging.")
162  ("no_signal_handler", "Turn off signal handling. Useful for debugging with valgrind.")
163  ("no_profiler", "Turn off profiler output.")
164  ("input_format", po::value< string >(), "Writes full structure of the main input file into given file.")
165  ("petsc_redirect", po::value<string>(), "Redirect all PETSc stdout and stderr to given file.")
166  ("yaml_balance", "Redirect balance output to YAML format too (simultaneously with the selected balance output format).");
167 
168  ;
169 
170  // Can not use positional arguments together with PETSC options.
171  // Use our own solution trying to use the first unrecognized option as the main input file.
172 
173  // parse the command line
174  po::variables_map vm;
175  auto parser = po::basic_command_line_parser<char>(argc, argv)
176  .options(desc)
177  .allow_unregistered();
178  po::parsed_options parsed = parser.run();
179  po::store(parsed, vm);
180  po::notify(vm);
181 
182  // get unknown options
183  vector<string> to_pass_further = po::collect_unrecognized(parsed.options, po::include_positional);
184 
185 
186  /*
187  passed_argc_ = to_pass_further.size();
188  passed_argv_ = new char * [passed_argc_+1];
189 
190  // first copy the program executable in argv[0]
191  int arg_i=0;
192  if (argc > 0) passed_argv_[arg_i++] = xstrcpy( argv[0] );
193 
194  for(int i=0; i < passed_argc_; i++) {
195  passed_argv_[arg_i++] = xstrcpy( to_pass_further[i].c_str() );
196  }
197  passed_argc_ = arg_i;
198  */
199 
200  // if there is "help" option
201  if (vm.count("help")) {
202  display_version();
203  cout << endl;
204  cout << "Usage:" << endl;
205  cout << " flow123d -s <main_input>.yaml <other options> <PETSC options>" << endl;
206  cout << " flow123d <main_input>.yaml <other options> <PETSC options>" << endl;
207  cout << desc << "\n";
208  exit( exit_output );
209  }
210 
211  if (vm.count("version")) {
212  display_version();
213  exit( exit_output );
214  }
215 
216  // if there is "input_format" option
217  if (vm.count("input_format")) {
218  // write ist to json file
219  ofstream json_stream;
220  FilePath(vm["input_format"].as<string>(), FilePath::output_file).open_stream(json_stream);
221  // create the root Record
222  it::Record root_type = get_input_type();
223  root_type.finish();
225  json_stream << Input::Type::OutputJSONMachine( root_type, this->get_rev_num_data() );
226  json_stream.close();
227  exit( exit_output );
228  }
229 
230  if (vm.count("petsc_redirect")) {
231  this->petsc_redirect_file_ = vm["petsc_redirect"].as<string>();
232  }
233 
234  if (vm.count("no_signal_handler")) {
235  this->signal_handler_off_ = true;
236  }
237 
238  // if there is "solve" option
239  string input_filename = "";
240 
241  // check for positional main input file
242  if (to_pass_further.size()) {
243  string file_candidate = to_pass_further[0];
244  if (file_candidate[0] != '-') {
245  // pop the first option
246  input_filename = file_candidate;
247  to_pass_further.erase(to_pass_further.begin());
248  }
249  }
250 
251  if (vm.count("solve")) {
252  input_filename = vm["solve"].as<string>();
253  }
254 
255  if (input_filename == "")
256  THROW(ExcMessage() << EI_Message("Main input file not specified (option -s)."));
257 
258  // possibly turn off profilling
259  if (vm.count("no_profiler")) use_profiler=false;
260 
261  // preserves output of balance in YAML format
262  if (vm.count("yaml_balance")) yaml_balance_output_=true;
263 
264  string input_dir;
265  string output_dir;
266  if (vm.count("input_dir")) {
267  input_dir = vm["input_dir"].as<string>();
268  }
269  if (vm.count("output_dir")) {
270  output_dir = vm["output_dir"].as<string>();
271  }
272 
273  // assumes working directory "."
274  try {
275  main_input_filename_ = FilePath::set_dirs_from_input(input_filename, input_dir, output_dir );
276  } catch (FilePath::ExcMkdirFail &e) {
277  use_profiler = false; // avoid profiler output
278  throw e;
279  }
280 
281  if (vm.count("log")) {
282  this->log_filename_ = vm["log"].as<string>();
283  }
284 
285  if (vm.count("no_log")) {
286  this->log_filename_="//"; // override; do not open log files
287  }
288 
289  ostringstream tmp_stream(program_arguments_desc_);
290  tmp_stream << desc;
291  // TODO: catch specific exceptions and output usage messages
292 }
293 
294 
295 
296 
297 
299  START_TIMER("Application::run");
300  display_version();
301 
302  START_TIMER("Read Input");
303  // get main input record handle
304  Input::Record i_rec = read_input();
305  END_TIMER("Read Input");
306 
307  {
308  using namespace Input;
309  // check input file version against the version of executable
310  boost::regex version_re("([^.]*)[.]([^.]*)[.]([^.]*)");
311  boost::smatch match;
312  std::string version(FLOW123D_VERSION_NAME_);
313  vector<string> ver_fields(3);
314  if ( boost::regex_match(version, match, version_re) ) {
315  ver_fields[0]=match[1];
316  ver_fields[1]=match[2];
317  ver_fields[2]=match[3];
318  } else {
319  OLD_ASSERT(1, "Bad Flow123d version format: %s\n", version.c_str() );
320  }
321 
322  std::string input_version = i_rec.val<string>("flow123d_version");
323  vector<string> iver_fields(3);
324  if ( boost::regex_match(input_version, match, version_re) ) {
325  iver_fields[0]=match[1];
326  iver_fields[1]=match[2];
327  iver_fields[2]=match[3];
328  } else {
329  THROW( ExcVersionFormat() << EI_InputVersionStr(input_version) );
330  }
331 
332  if ( iver_fields[0] != ver_fields[0] || iver_fields[1] > ver_fields[1] ) {
333  WarningOut().fmt("Input file with version: '{}' is no compatible with the program version: '{}' \n",
334  input_version, version);
335  }
336 
337  // should flow123d wait for pressing "Enter", when simulation is completed
338  sys_info.pause_after_run = i_rec.val<bool>("pause_after_run");
339  // read record with problem configuration
340  Input::AbstractRecord i_problem = i_rec.val<AbstractRecord>("problem");
341 
342  if (i_problem.type() == HC_ExplicitSequential::get_input_type() ) {
343 
344  problem_ = new HC_ExplicitSequential(i_problem);
345 
346  // run simulation
348  } else {
349  xprintf(UsrErr,"Problem type not implemented.");
350  }
351 
352  }
353 }
354 
355 
356 
357 
360  printf("\nPress <ENTER> for closing the window\n");
361  getchar();
362  }
363 }
364 
365 
366 
367 
369  if (problem_) delete problem_;
370 
371  // remove balance output files in YAML format if "yaml_balance" option is not set
372  if ( (sys_info.my_proc==0) && !yaml_balance_output_ ) {
373  boost::filesystem::path mass_file( string(FilePath("mass_balance.yaml", FilePath::output_file)) );
374  boost::filesystem::path water_file( string(FilePath("water_balance.yaml", FilePath::output_file)) );
375  boost::filesystem::path energy_file( string(FilePath("energy_balance.yaml", FilePath::output_file)) );
376 
377  if (boost::filesystem::exists(mass_file)) {
378  boost::filesystem::remove(mass_file);
379  }
380  if (boost::filesystem::exists(water_file)) {
381  boost::filesystem::remove(water_file);
382  }
383  if (boost::filesystem::exists(energy_file)) {
384  boost::filesystem::remove(energy_file);
385  }
386  }
387 
388  if (use_profiler) {
389  if (petsc_initialized) {
390  // log profiler data to this stream
391  Profiler::instance()->output (PETSC_COMM_WORLD);
392  } else {
394  }
395 
396  // call python script which transforms json file at given location
397  // Profiler::instance()->transform_profiler_data (".csv", "CSVFormatter");
398  Profiler::instance()->transform_profiler_data (".txt", "SimpleTableFormatter");
399 
400  // finally uninitialize
402  }
403 }
404 
405 
406 //=============================================================================
407 
408 /**
409  * FUNCTION "MAIN"
410  */
411 int main(int argc, char **argv) {
412  try {
413  Application app(argc, argv);
414  app.init(argc, argv);
415  } catch (std::exception & e) {
416  _LOG( Logger::MsgType::error ) << e.what();
418  } catch (...) {
419  _LOG( Logger::MsgType::error ) << "Unknown exception" << endl;
421  }
422 
423  // Say Goodbye
425 }
static Input::Type::Abstract & get_input_type()
int my_proc
Definition: system.hh:73
virtual void run()
Definition: main.cc:298
Input::Type::RevNumData get_rev_num_data()
Get version of program and other base data from rev_num.h and store them to map.
Definition: main.cc:96
virtual void parse_cmd_line(const int argc, char **argv)
Definition: main.cc:148
Reader for (slightly) modified input files.
Class Input::Type::Default specifies default value of keys of a Input::Type::Record.
Definition: type_record.hh:56
Class for declaration of the input of type Bool.
Definition: type_base.hh:452
#define MessageOut()
Macro defining &#39;message&#39; record of log.
Definition: logger.hh:241
string main_input_filename_
filename of main input file
Definition: main.h:95
virtual void after_run()
Definition: main.cc:358
static bool petsc_initialized
Application(int argc, char **argv)
Application constructor.
Definition: main.cc:78
static Default obligatory()
The factory function to make an empty default value which is obligatory.
Definition: type_record.hh:105
Class for create JSON machine readable documentation.
Definition: type_output.hh:248
std::string branch
Actual branch of application.
Definition: type_output.hh:43
bool use_profiler
If true, we do output of profiling information.
Definition: main.h:104
static string set_dirs_from_input(const string main_yaml, const string input, const string output)
Method for set input and output directories.
Definition: file_path.cc:137
Record & close() const
Close the Record for further declarations of keys.
Definition: type_record.cc:301
HC_ExplicitSequential * problem_
Main Flow123d problem.
Definition: main.h:92
#define OLD_ASSERT(...)
Definition: global_defs.h:131
void open_stream(Stream &stream) const
Definition: file_path.cc:211
Stores version of program and other base data of application.
Definition: type_output.hh:40
static void uninitialize()
static const int exit_failure
static const int exit_success
Return codes of application.
T get_root_interface() const
Returns the root accessor.
#define _LOG(type)
Internal macro defining universal record of log.
Definition: logger.hh:238
Accessor to the data with type Type::Record.
Definition: accessors.hh:286
const Ret val(const string &key) const
#define xprintf(...)
Definition: system.hh:87
bool yaml_balance_output_
If true, preserves output of balance in YAML format.
Definition: main.h:107
#define START_TIMER(tag)
Starts a timer with specified tag.
Record & declare_key(const string &key, std::shared_ptr< TypeBase > type, const Default &default_value, const string &description, TypeBase::attribute_map key_attributes=TypeBase::attribute_map())
Declares a new key of the Record.
Definition: type_record.cc:488
void display_version()
Definition: main.cc:108
void set_program_info(string program_name, string program_version, string branch, string revision, string build)
bool signal_handler_off_
Turn off signal handling useful to debug with valgrind.
static Input::Type::Record & get_input_type()
Root of the Input::Type tree. Description of whole input structure.
Definition: main.cc:60
int main(int argc, char **argv)
Definition: main.cc:411
void init(int argc, char **argv)
Accessor to the polymorphic input data of a type given by an AbstracRecord object.
Definition: accessors.hh:453
void transform_profiler_data(const string &output_file_suffix, const string &formatter)
Dedicated class for storing path to input and output files.
Definition: file_path.hh:48
Definition: system.hh:59
std::string revision
Actual revision of application.
Definition: type_output.hh:42
FinishStatus finish(FinishStatus finish_type=FinishStatus::regular_) override
Finish declaration of the Record type.
Definition: type_record.cc:240
static const int exit_output
static Profiler * instance()
string program_arguments_desc_
Description of possible command line arguments.
Definition: main.h:101
SystemInfo sys_info
Definition: system.cc:41
#define WarningOut()
Macro defining &#39;warning&#39; record of log.
Definition: logger.hh:244
#define END_TIMER(tag)
Ends a timer with specified tag.
static const Input::Type::Record & get_input_type()
static void delete_unfinished_types()
Finishes and marks all types registered in type repositories and unused in IST.
Definition: type_base.cc:83
Record type proxy class.
Definition: type_record.hh:177
std::string version
Actual version of application.
Definition: type_output.hh:41
Class for solution of steady or unsteady flow with sequentially coupled explicit transport.
virtual ~Application()
Destructor.
Definition: main.cc:368
#define FLOW123D_COMPILER_FLAGS_
named version of the program
Definition: main.cc:53
Input::Record root_record
root input record
Definition: main.h:110
Class for declaration of the input data that are in string format.
Definition: type_base.hh:582
#define THROW(whole_exception_expr)
Wrapper for throw. Saves the throwing point.
Definition: exceptions.hh:45
void output(MPI_Comm comm, ostream &os)
int pause_after_run
Definition: system.hh:68
Input::Record read_input()
Definition: main.cc:126
void printf(BasicWriter< Char > &w, BasicCStringRef< Char > format, ArgList args)
Definition: printf.h:444
std::string url
Url of application.
Definition: type_output.hh:44