exprtk_loop_timeout_rtc.cpp File Reference

#include <chrono>
#include <cstdio>
#include <string>
#include "exprtk.hpp"

Include dependency graph for exprtk_loop_timeout_rtc.cpp:

Go to the source code of this file.

Classes
struct	timeout_rtc_handler
class	timeout_rtc_handler::timeout_exception
struct	vector_access_rtc

Functions
template<typename T >
void	loop_timeout_rtc ()
int	main ()

Function Documentation

loop_timeout_rtc()

template<typename T >

void loop_timeout_rtc

(

)

Definition at line 85 of file exprtk_loop_timeout_rtc.cpp.

{
   typedef exprtk::expression<T>      expression_t;
   typedef exprtk::parser<T>          parser_t;
   typedef exprtk::loop_runtime_check loop_runtime_check_t;
 
   const std::string sieve_of_eratosthenes_program =
      " var sieve[10^8] := [false];                   "
      " var m := trunc(sqrt(sieve[]));                "
      "                                               "
      " sieve[0] := true;                             "
      " sieve[1] := true;                             "
      "                                               "
      " for (var i := 0; i <= m; i += 1)              "
      " {                                             "
      "    if (false == sieve[i])                     "
      "    {                                          "
      "       for (var j := i^2; j < sieve[]; j += i) "
      "       {                                       "
      "          sieve[j] := true;                    "
      "       }                                       "
      "    }                                          "
      " };                                            "
      "                                               "
      " var prime_count := sieve[] - sum(sieve);      "
      "                                               "
      " prime_count == 5761455;                       ";
 
   timeout_rtc_handler loop_runtime_check;
   loop_runtime_check.loop_set = loop_runtime_check_t::e_all_loops;
   loop_runtime_check.max_loop_iterations =
      static_cast<std::uint64_t>(10e8 * std::log10(std::log10(10e8))); // O(n) = nlog(log(n))
 
   vector_access_rtc vec_rtc;
 
   expression_t expression;
 
   parser_t parser;
 
   parser.register_loop_runtime_check(loop_runtime_check);
   parser.register_vector_access_runtime_check(vec_rtc);
 
   parser.compile(sieve_of_eratosthenes_program,expression);
 
   const auto max_duration = std::chrono::seconds(1);
   const auto timeout_tp   = std::chrono::steady_clock::now() + max_duration;
   loop_runtime_check.set_timeout_time(timeout_tp);
 
   try
   {
      expression.value();
   }
   catch (timeout_rtc_handler::timeout_exception& /*toe*/)
   {
      printf("Timeout Exception\n");
   }
   catch (std::runtime_error& rte)
   {
      printf("Exception: %s\n",rte.what());
   }
 
   parser.clear_loop_runtime_check();
}

References exprtk::loop_runtime_check::loop_set, exprtk::loop_runtime_check::max_loop_iterations, and timeout_rtc_handler::set_timeout_time().

Here is the call graph for this function:

main()

int main

(

)

Definition at line 149 of file exprtk_loop_timeout_rtc.cpp.

{
   loop_timeout_rtc<double>();
   return 0;
}