[BACK]Return to op.C CVS log [TXT] [DIR] Up to [parser3project] / parser3 / src / classes

Diff for /parser3/src/classes/op.C between versions 1.129 and 1.140

version 1.129, 2003/07/24 11:31:20 version 1.140, 2003/11/20 17:07:44
Line 5 Line 5
         Author: Alexandr Petrosian <paf@design.ru> (http://paf.design.ru)          Author: Alexandr Petrosian <paf@design.ru> (http://paf.design.ru)
 */  */
   
 static const char* IDENT_OP_C="$Date$";  static const char * const IDENT_OP_C="$Date$";
   
 #include "classes.h"  #include "classes.h"
 #include "pa_vmethod_frame.h"  #include "pa_vmethod_frame.h"
   
 #include "pa_common.h"  #include "pa_common.h"
   #include "pa_os.h"
 #include "pa_request.h"  #include "pa_request.h"
 #include "pa_vint.h"  #include "pa_vint.h"
 #include "pa_sql_connection.h"  #include "pa_sql_connection.h"
Line 48  static const String cache_data_name(CACH Line 49  static const String cache_data_name(CACH
   
 static const String exception_var_name(EXCEPTION_VAR_NAME);  static const String exception_var_name(EXCEPTION_VAR_NAME);
   
   // local defines
   
   #define CACHE_EXCEPTION_HANDLED_CACHE_NAME "cache"
   
 // helpers  // helpers
   
 class Untaint_lang_name2enum: public Hash<const StringBody, String::Language> {  class Untaint_lang_name2enum: public Hash<const String::Body, String::Language> {
 public:  public:
         Untaint_lang_name2enum() {          Untaint_lang_name2enum() {
                 #define ULN(name, LANG) \                  #define ULN(name, LANG) \
                         put(StringBody(name), (value_type)(String::L_##LANG));                          put(String::Body(name), (value_type)(String::L_##LANG));
                 ULN("as-is", AS_IS);                  ULN("as-is", AS_IS);
                 ULN("optimized-as-is", AS_IS|String::L_OPTIMIZE_BIT);                  ULN("optimized-as-is", AS_IS|String::L_OPTIMIZE_BIT);
                 ULN("file-spec", FILE_SPEC);                  ULN("file-spec", FILE_SPEC);
Line 78  static void _if(Request& r, MethodParams Line 83  static void _if(Request& r, MethodParams
         Value& condition_code=params.as_junction(0, "condition must be expression");          Value& condition_code=params.as_junction(0, "condition must be expression");
   
         bool condition=r.process_to_value(condition_code,           bool condition=r.process_to_value(condition_code, 
                 /*0/*no name* /,*/  
                 false/*don't intercept string*/).as_bool();                  false/*don't intercept string*/).as_bool();
         if(condition)          if(condition)
                 r.write_pass_lang(r.process(params.as_junction(1, "'then' parameter must be code")));                  r.write_pass_lang(r.process(params.as_junction(1, "'then' parameter must be code")));
Line 188  static void _process(Request& r, MethodP Line 192  static void _process(Request& r, MethodP
         }          }
 }  }
                   
 static void _rem(Request& r, MethodParams& params) {  static void _rem(Request&, MethodParams& params) {
         params.as_junction(0, "body must be code");          params.as_junction(0, "body must be code");
 }  }
   
Line 205  static void _while(Request& r, MethodPar Line 209  static void _while(Request& r, MethodPar
                                 "endless loop detected");                                  "endless loop detected");
   
                 bool condition=r.process_to_value(vcondition,                   bool condition=r.process_to_value(vcondition, 
                                 /*0/*no name* /,*/  
                                 false/*don't intercept string*/).as_bool();                                  false/*don't intercept string*/).as_bool();
                 if(!condition) // ...condition is true                  if(!condition) // ...condition is true
                         break;                          break;
Line 253  static void _eval(Request& r, MethodPara Line 256  static void _eval(Request& r, MethodPara
         Value& expr=params.as_junction(0, "need expression");          Value& expr=params.as_junction(0, "need expression");
         // evaluate expresion          // evaluate expresion
         Value& value_result=r.process_to_value(expr,           Value& value_result=r.process_to_value(expr, 
                 /*0/*no name YET* /,*/  
                 true/*don't intercept string*/).as_expr_result();                  true/*don't intercept string*/).as_expr_result();
         if(params.count()>1) {          if(params.count()>1) {
                 Value& fmt=params.as_no_junction(1, "fmt must not be code");                  Value& fmt=params.as_no_junction(1, "fmt must not be code");
Line 321  public: Line 323  public:
 #endif  #endif
 static void _switch(Request& r, MethodParams& params) {  static void _switch(Request& r, MethodParams& params) {
         Switch_data* data=new Switch_data(r, r.process_to_value(params[0]));          Switch_data* data=new Switch_data(r, r.process_to_value(params[0]));
         Temp_hash_value<const StringBody, PA_Object*>           Temp_hash_value<const String::Body, void*> 
                 switch_data_setter(r.classes_conf, switch_data_name, data);                  switch_data_setter(r.classes_conf, switch_data_name, data);
   
         Value& cases_code=params.as_junction(1, "switch cases must be code");          Value& cases_code=params.as_junction(1, "switch cases must be code");
Line 374  static void _case(Request& r, MethodPara Line 376  static void _case(Request& r, MethodPara
                 }                  }
         }          }
 }  }
   #ifndef DOXYGEN
   struct Try_catch_result {
           StringOrValue processed_code;
           const String* exception_should_be_handled;
   
           Try_catch_result(): exception_should_be_handled(0) {}
   };
   #endif
   
   /// used by ^try and ^cache, @returns $exception.handled[string] if any
   template<class I>
   static Try_catch_result try_catch(Request& r, 
                     StringOrValue body_code(Request&, I), I info, 
                     Value* catch_code) 
   {
           Try_catch_result result;
           if(!catch_code) {
                   result.processed_code=body_code(r, info);
                   return result;
           }
   
           // taking snapshot of try-context
           Request_context_saver try_context(r);
           try {
                   result.processed_code=body_code(r, info);
           } catch(const Exception& e) {
                   Request_context_saver throw_context(r); // taking snapshot of throw-context [stack trace contains error]
                   Request::Exception_details details=r.get_details(e);
                   try_context.restore(); // restoring try-context to perform catch-code
   
                   Junction* junction=catch_code->get_junction();
                   Value* method_frame=junction->method_frame;
                   Value* saved_exception_var_value=method_frame->get_element(exception_var_name, *method_frame, false);
                   junction->method_frame->put_element(exception_var_name, &details.vhash, false);
                   result.processed_code=r.process(*catch_code);
                   
                   // retriving $exception.handled, restoring $exception var
                   Value* vhandled=details.vhash.hash().get(exception_handled_part_name);
                   junction->method_frame->put_element(exception_var_name, saved_exception_var_value, false);
   
                   bool bhandled=false;
                   if(vhandled) {
                           if(vhandled->is_string()) { // not simple $exception.handled(1/0)?
                                   result.exception_should_be_handled=vhandled->get_string(); // considering 'recovered' and let the caller recover
                                   return result;
                           }
   
                           bhandled=vhandled->as_bool();           
                   }
   
                   if(!bhandled) {
                           throw_context.restore(); // restoring throw-context [exception were not handled]
                           rethrow;
                   }
           }
           return result;
   }
   
 // cache--  // cache--
   
 // consts  // consts
   
 const int DATA_STRING_SERIALIZED_VERSION=0x0004;  const int DATA_STRING_SERIALIZED_VERSION=0x0005;
   
 // helper types  // helper types
   
Line 395  void cache_delete(const String& file_spe Line 454  void cache_delete(const String& file_spe
 }  }
   
 #ifndef DOXYGEN  #ifndef DOXYGEN
 class Cache_data: public PA_Object {  struct Cache_scope {
 public:  public:
         time_t expires;          time_t expires;
           const String* body_from_disk;
 };  };
 struct Locked_process_and_cache_put_action_info {  struct Locked_process_and_cache_put_action_info {
         Request *r;          Request *r;
         Cache_data *data;          Cache_scope *scope;
         Value* body_code; const String* evaluated_body;          Value* body_code; Value* catch_code; 
           const String* processed_code;
 };  };
 #endif  #endif
   
   
   
   static StringOrValue process_cache_body_code(Request& r, Value* body_code) {
           return StringOrValue(&r.process_to_string(*body_code), 0);
   }
   
 /* @todo maybe network order worth spending some effort?  /* @todo maybe network order worth spending some effort?
         don't bothering myself with network byte order,          don't bothering myself with network byte order,
         am not planning to be able to move resulting file across platforms          am not planning to be able to move resulting file across platforms
Line 414  static void locked_process_and_cache_put Line 482  static void locked_process_and_cache_put
                 *static_cast<Locked_process_and_cache_put_action_info *>(context);                  *static_cast<Locked_process_and_cache_put_action_info *>(context);
   
         // body->process           // body->process 
         info.evaluated_body=&info.r->process_to_string(*info.body_code);          Try_catch_result result=try_catch(*info.r, 
                   process_cache_body_code, info.body_code,
                   info.catch_code);
   
           if(result.exception_should_be_handled) {
                   if(*result.exception_should_be_handled==CACHE_EXCEPTION_HANDLED_CACHE_NAME) {
                           if(const String* body_from_disk=info.scope->body_from_disk) // we have something old?
                                   info.processed_code=body_from_disk;
                           else
                                   throw Exception(0,
                                           new String("$"EXCEPTION_VAR_NAME"."EXCEPTION_HANDLED_PART_NAME"["CACHE_EXCEPTION_HANDLED_CACHE_NAME"]"),
                                           "fallback failed - there is no old cached body");
                   } else
                           throw Exception("parser.runtime",
                                   result.exception_should_be_handled,
                                   "$"EXCEPTION_VAR_NAME"."EXCEPTION_HANDLED_PART_NAME" value must be "
                                   "either boolean or string '"CACHE_EXCEPTION_HANDLED_CACHE_NAME"'");
           } else
                   info.processed_code=&result.processed_code.as_string();
   
         // expiration time not spoiled by ^cache(0) or something?          // expiration time not spoiled by ^cache(0) or something?
         if(info.data->expires > time(0)) {          if(info.scope->expires > time(0)) {
                 // string -serialize> buffer                  // string -serialize> buffer
                 String::Cm serialized=info.evaluated_body->serialize(                  String::Cm serialized=info.processed_code->serialize(
                         sizeof(Data_string_serialized_prolog));                          sizeof(Data_string_serialized_prolog));
                 Data_string_serialized_prolog& prolog=                  Data_string_serialized_prolog& prolog=
                         *reinterpret_cast<Data_string_serialized_prolog *>(serialized.str);                          *reinterpret_cast<Data_string_serialized_prolog *>(serialized.str);
                 prolog.version=DATA_STRING_SERIALIZED_VERSION;                  prolog.version=DATA_STRING_SERIALIZED_VERSION;
                 prolog.expires=info.data->expires;                  prolog.expires=info.scope->expires;
                                   
                 // buffer -write> file                  // buffer -write> file
                 write(f, serialized.str, serialized.length);                  write(f, serialized.str, serialized.length);
         } else // expired!          } else // expired!
                 info.data->expires=0; // flag it so that could be easily checked by caller                  info.scope->expires=0; // flag it so that could be easily checked by caller
 }  }
 const String* locked_process_and_cache_put(Request& r,   const String* locked_process_and_cache_put(Request& r, 
                                            Value& body_code,                                             Value& body_code,
                                            Cache_data& data,                                             Value* catch_code,
                                            const String& file_spec) {                                             Cache_scope& scope,
         Locked_process_and_cache_put_action_info info={0};                                             const String& file_spec) 
         info.r=&r;  {
         info.data=&data;          Locked_process_and_cache_put_action_info info={&r, &scope, &body_code, catch_code, 0};
         info.body_code=&body_code;  
   
         const String* result=file_write_action_under_lock(          const String* result=file_write_action_under_lock(
                 file_spec,                   file_spec, 
Line 446  const String* locked_process_and_cache_p Line 531  const String* locked_process_and_cache_p
                 false/*as_text*/,                  false/*as_text*/,
                 false/*do_append*/,                  false/*do_append*/,
                 false/*block*/,                  false/*block*/,
                 false/*fail on lock problem*/) ? info.evaluated_body: 0;                  false/*fail on lock problem*/) ? info.processed_code: 0;
         time_t now=time(0);          time_t now=time(0);
         if(data.expires<=now)          if(scope.expires<=now)
                 cache_delete(file_spec);                  cache_delete(file_spec);
         return result;          return result;
 }  }
 const String* cache_get(Request_charsets& charsets, const String& file_spec, time_t now) {  #ifndef DOXYGEN
   struct Cache_get_result {
           const String* body;
           bool expired;
   };
   #endif
   static Cache_get_result cache_get(Request_charsets& charsets, const String& file_spec, time_t now) {
           Cache_get_result result={0, false};
   
         File_read_result file=file_read(charsets, file_spec,           File_read_result file=file_read(charsets, file_spec, 
                            false/*as_text*/,                              false/*as_text*/, 
                            0, //no params                             0, //no params
Line 463  const String* cache_get(Request_charsets Line 556  const String* cache_get(Request_charsets
                 Data_string_serialized_prolog& prolog=                  Data_string_serialized_prolog& prolog=
                         *reinterpret_cast<Data_string_serialized_prolog *>(file.str);                          *reinterpret_cast<Data_string_serialized_prolog *>(file.str);
   
                 String* result=new String;                  String* body=new String;
                 if(                  if(
                         file.length>=sizeof(Data_string_serialized_prolog)                          file.length>=sizeof(Data_string_serialized_prolog)
                         && prolog.version==DATA_STRING_SERIALIZED_VERSION                          && prolog.version==DATA_STRING_SERIALIZED_VERSION) {
                         && prolog.expires > now                          if(body->deserialize(sizeof(Data_string_serialized_prolog),  file.str, file.length)) {
                         && result->deserialize(sizeof(Data_string_serialized_prolog),  file.str, file.length))                                  result.body=body;
                         return result;                                  result.expired=prolog.expires <= now;
                           }
                   }
         }          }
   
         return 0;          return result;
 }  }
 static time_t as_expires(Request& r, MethodParams& params,   static time_t as_expires(Request& r, MethodParams& params, 
                                                 int index, time_t now) {                                                  int index, time_t now) {
Line 498  static void _cache(Request& r, MethodPar Line 593  static void _cache(Request& r, MethodPar
                 }                  }
   
                 // secods|expires date                  // secods|expires date
                 Cache_data* data=static_cast<Cache_data*>(r.classes_conf.get(cache_data_name));                  Cache_scope* scope=static_cast<Cache_scope*>(r.classes_conf.get(cache_data_name));
                 if(!data)                  if(!scope)
                         throw Exception("parser.runtime",                          throw Exception("parser.runtime",
                                 0,                                  0,
                                 "expire-time reducing instruction without cache");                                  "expire-time reducing instruction without cache");
                                   
                 time_t expires=as_expires(r, params, 0, now);                  time_t expires=as_expires(r, params, 0, now);
                 if(expires < data->expires)                  if(expires < scope->expires)
                         data->expires=expires;                          scope->expires=expires;
   
                 return;                  return;
         }          }
Line 514  static void _cache(Request& r, MethodPar Line 609  static void _cache(Request& r, MethodPar
         // file_spec, expires, body code          // file_spec, expires, body code
         const String& file_spec=r.absolute(params.as_string(0, "filespec must be string"));          const String& file_spec=r.absolute(params.as_string(0, "filespec must be string"));
   
         Cache_data* data=new Cache_data;          Cache_scope scope={as_expires(r, params, 1, now)};
         Temp_hash_value<const StringBody, PA_Object*>   
                 cache_data_setter(r.classes_conf, cache_data_name, data);          Temp_hash_value<const String::Body, void*> 
         data->expires=as_expires(r, params, 1, now);                  cache_scope_setter(r.classes_conf, cache_data_name, &scope);
         Value& body_code=params.as_junction(2, "body must be code");          Value& body_code=params.as_junction(2, "body_code must be code");
           Value* catch_code=0;
           if(params.count()>3)
                   catch_code=&params.as_junction(3, "catch_code must be code");
   
         if(data->expires>now) { // valid 'expires' specified? try cached copy...          if(scope.expires>now) { // valid 'expires' specified? try cached copy...
                 // hence we don't hope to have unary create/lockEX                  // hence we don't hope to have unary create/lockEX
                 // we need some plan to live in a life like that, so...                   // we need some plan to live in a life like that, so... 
                 // worst races plan:                  // worst races plan:
Line 538  static void _cache(Request& r, MethodPar Line 636  static void _cache(Request& r, MethodPar
                 //          |lockSH succeeds; ...                  //          |lockSH succeeds; ...
   
                 for(int retry=0; retry<2; retry++) {                  for(int retry=0; retry<2; retry++) {
                         if(const String* cached_body=cache_get(r.charsets, file_spec, now)) { // have cached copy?                          Cache_get_result cached=cache_get(r.charsets, file_spec, now);
                                 // write it out                           if(cached.body) { // have cached copy
                                 r.write_assign_lang(*cached_body);                                  if(cached.expired) 
                                 // happy with it                                          scope.body_from_disk=cached.body; // storing for user to retrive it with ^cache[]
                                 return;                                  else // and it's not expired yet
                                   {
                                   // write it out 
                                   r.write_assign_lang(*cached.body);
                                   // happy with it
                                   return;
                           }
                         }                          }
   
                         // non-blocked lock; process; cache it                  // non-blocked lock; process; cache it
                         if(const String* processed_body=                  if(const String* processed_body=
                                 locked_process_and_cache_put(r, body_code, *data, file_spec)) {                          locked_process_and_cache_put(r, body_code, catch_code, scope, file_spec)) {
                                 // write it out                           // write it out 
                                 r.write_assign_lang(*processed_body);                          r.write_assign_lang(*processed_body);
                                 // happy with it                          // happy with it
                                 return;                          return;
                         } else { // somebody writing result right now                  } else { // somebody writing result right now
                                 pa_sleep(0, 500000); // waiting half a second                          pa_sleep(0, 500000); // waiting half a second
                                 retry=0; // prolonging our wait, than could cache_get it, without processing body_code                          retry=0; // prolonging our wait, than could cache_get it, without processing body_code
                         }                  }
                 }                  }
                 throw Exception(0,                  throw Exception(0,
                         &file_spec,                          &file_spec,
Line 573  static void _cache(Request& r, MethodPar Line 677  static void _cache(Request& r, MethodPar
         // never reached          // never reached
 }  }
   
   static StringOrValue process_try_body_code(Request& r, Value* body_code) {
           return r.process(*body_code);
 // also used in pa_request.C to pass param to @unhandled_exception  }
   
 static void _try_operator(Request& r, MethodParams& params) {  static void _try_operator(Request& r, MethodParams& params) {
         Value& body_code=params.as_junction(0, "body_code must be code");          Value& body_code=params.as_junction(0, "body_code must be code");
         Value& catch_code=params.as_junction(1, "catch_code must be code");          Value& catch_code=params.as_junction(1, "catch_code must be code");
   
         StringOrValue result;          Try_catch_result result=try_catch(r, 
         // taking snapshot of try-context                  process_try_body_code, &body_code,
         Request_context_saver try_context(r);                  &catch_code);
         try {          
                 result=r.process(body_code);          if(result.exception_should_be_handled)
         } catch(const Exception& e) {                  throw Exception("parser.runtime",
                 Request::Exception_details details=r.get_details(e);                          result.exception_should_be_handled,
                           "catch block must set $exception.handled to some boolean value, not string");
                 Request_context_saver throw_context(r); // taking snapshot of throw-context [stack trace contains error]  
                 try_context.restore(); // restoring try-context to perform catch-code  
   
                 Junction* junction=catch_code.get_junction();  
                 Value* method_frame=junction->method_frame;  
                 Value* saved_exception_var_value=method_frame->get_element(exception_var_name, *method_frame, false);  
                 junction->method_frame->put_element(exception_var_name, &details.vhash, false);  
                 result=r.process(catch_code);  
                 bool handled=false;  
                 if(Value* value=  
                         details.vhash.hash().get(exception_handled_part_name))  
                         handled=value->as_bool();                 
                 junction->method_frame->put_element(exception_var_name, saved_exception_var_value, false);  
   
                 if(!handled) {          // write out processed body_code or catch_code
                         throw_context.restore(); // restoring throw-context [exception were not handled]          r.write_pass_lang(result.processed_code);
                         rethrow;  
                 }  
         }  
         // write out result  
         r.write_pass_lang(result);  
 }  }
   
 static void _throw_operator(Request& r, MethodParams& params) {  static void _throw_operator(Request&, MethodParams& params) {
         if(params.count()==1) {          if(params.count()==1) {
                 if(HashStringValue *hash=params[0].get_hash()) {                  if(HashStringValue *hash=params[0].get_hash()) {
                         const char* type=0;                          const char* type=0;
Line 621  static void _throw_operator(Request& r, Line 706  static void _throw_operator(Request& r,
                         const String* source=0;                          const String* source=0;
                         if(Value* value=hash->get(exception_source_part_name))                          if(Value* value=hash->get(exception_source_part_name))
                                 source=&value->as_string();                                  source=&value->as_string();
                         const char* comment;                          const char* comment=0;
                         if(Value* value=hash->get(exception_comment_part_name))                          if(Value* value=hash->get(exception_comment_part_name))
                                 comment=value->as_string().cstr();                                  comment=value->as_string().cstr();
   
Line 639  static void _throw_operator(Request& r, Line 724  static void _throw_operator(Request& r,
                         :0;                          :0;
                 throw Exception(type, &source, "%s", comment?comment:"");                  throw Exception(type, &source, "%s", comment?comment:"");
         }          }
 }   }
   
 #if defined(WIN32) && defined(_DEBUG)  #if defined(WIN32) && defined(_DEBUG)
 #       define PA_BPT  #       define PA_BPT
 static void _bpt(Request& r, MethodParams& params) {  static void _bpt(Request&, MethodParams&) {
         _asm int 3;          _asm int 3;
 }  }
 #endif  #endif
Line 691  VClassMAIN::VClassMAIN(): VClass() { Line 776  VClassMAIN::VClassMAIN(): VClass() {
         add_native_method("connect", Method::CT_ANY, _connect, 2, 2);          add_native_method("connect", Method::CT_ANY, _connect, 2, 2);
   
   
           // ^cache[file_spec](time){code}[{catch code}] time=0 no cache
         // ^cache[file_spec] delete cache          // ^cache[file_spec] delete cache
         // ^cache[file_spec](time){code} time=0 no cache          add_native_method("cache", Method::CT_ANY, _cache, 1, 4);
         add_native_method("cache", Method::CT_ANY, _cache, 1, 3);  
                   
         // switch          // switch
   
Removed from v.1.129  
changed lines
  Added in v.1.140

E-mail: