--- parser3/src/include/pa_request.h	2024/10/02 21:24:41	1.267
+++ parser3/src/include/pa_request.h	2026/10/13 20:02:00	1.286
@@ -1,39 +1,31 @@
 /** @file
 	Parser: request class decl.
 
-	Copyright (c) 2001-2023 Art. Lebedev Studio (http://www.artlebedev.com)
+	Copyright (c) 2001-2026 Art. Lebedev Studio (https://www.artlebedev.com)
 	Authors: Konstantin Morshnev <moko@design.ru>, Alexandr Petrosian <paf@design.ru>
 */
 
 #ifndef PA_REQUEST_H
 #define PA_REQUEST_H
 
-#define IDENT_PA_REQUEST_H "$Id: pa_request.h,v 1.267 2024/10/02 21:24:41 moko Exp $"
+#define IDENT_PA_REQUEST_H "$Id: pa_request.h,v 1.286 2026/10/13 20:02:00 moko Exp $"
 
 #include "pa_pool.h"
 #include "pa_hash.h"
+#include "pa_file.h"
 #include "pa_wcontext.h"
 #include "pa_value.h"
+#include "pa_vhash.h"
 #include "pa_stack.h"
 #include "pa_request_info.h"
 #include "pa_request_charsets.h"
 #include "pa_sapi.h"
 
-// defines for externs
-
-#define EXCEPTION_HANDLED_PART_NAME "handled"
-
-
 // externs
 
 extern const String main_method_name;
 extern const String auto_method_name;
 
-extern const String exception_type_part_name;
-extern const String exception_source_part_name;
-extern const String exception_comment_part_name;
-extern const String exception_handled_part_name;
-
 // defines for statics
 
 #define MAIN_CLASS_NAME "MAIN"
@@ -45,7 +37,6 @@ const size_t pseudo_file_no__process=1;
 
 // forwards
 
-class Temp_lang;
 class Methoded;
 class VMethodFrame;
 class VMail;
@@ -54,6 +45,7 @@ class VResponse;
 class VCookie;
 class VStateless_class;
 class VConsole;
+class VException;
 
 extern int pa_loop_limit;
 extern int pa_array_limit;
@@ -61,15 +53,18 @@ extern int pa_execute_recursion_limit;
 extern int pa_httpd_timeout;
 extern size_t pa_file_size_limit;
 
+class Code_cache;
+
 /// Main workhorse.
 class Request: public PA_Object {
-	friend class Temp_lang;
 	friend class Temp_connection;
 	friend class Temp_request_self;
 	friend class Temp_value_element;
 	friend class Temp_recursion;
 	friend class Request_context_saver;
 	friend class Exception_trace;
+	friend class VException;
+	friend class Code_cache_manager;
 
 public:
 	class Trace {
@@ -125,6 +120,7 @@ private:
 		size_t bottom_index() { return fbottom; }
 		void set_bottom_index(size_t abottom) { fbottom=abottom; }
 		element_type bottom_value() { return get(bottom_index()); }
+		void set_range(size_t bottom, size_t top) { fbottom=bottom; fsize=top; }
 
 		void clear() {
 			fsize=fbottom=0;
@@ -134,13 +130,16 @@ private:
 			return fsize==fbottom;
 		}
 
-		Table &table(Request &r);
+		Table &table(Request &r, const String* problem_source) {
+			return table(r, problem_source, bottom_index(), top_index());
+		}
+		Table &table(Request &r, const String* problem_source, size_t bottom, size_t top);
 	};
 
 	///@{ core data
 
 	/// classes
-	HashString<VStateless_class*> fclasses;
+	OrderedHashString<VStateless_class*> fclasses;
 
 	/// already used files to avoid cyclic uses
 	HashString<bool> used_files;
@@ -150,15 +149,17 @@ private:
 
 	/// endless execute(execute(... preventing counter
 	int anti_endless_execute_recursion;
+	int execute_recursion_limit;
+	void recursion_limit_reached();
 
 	///@}
 
 	/// execution stack
 	Stack<StackItem> stack;
 
+public:
 	/// exception stack trace
 	Exception_trace exception_trace;
-public:
 
 	bool allow_class_replace;
 
@@ -167,8 +168,6 @@ public:
 	VMethodFrame* method_frame;
 	Value* rcontext;
 	WContext* wcontext;
-	/// current language
-	String::Language flang;
 	/// current connection
 	SQL_Connection* fconnection;
 	//@}
@@ -182,14 +181,7 @@ private:
 public:
 	uint register_file(String::Body file_spec);
 
-	struct Exception_details {
-		const Operation::Origin origin;
-		const String* problem_source;
-		VHash& vhash;
-		Exception_details(const Operation::Origin aorigin, const String* aproblem_source, VHash& avhash): origin(aorigin), problem_source(aproblem_source), vhash(avhash) {}
-	};
-	Exception_details get_details(const Exception& e);
-	const char* get_exception_cstr(const Exception& e, Exception_details& details);
+	const char* get_exception_cstr(const Exception& e, VException& details);
 
 	/// @see Stack::wipe_unused
 	void wipe_unused_execution_stack() {
@@ -208,7 +200,7 @@ public:
 	~Request();
 
 	/// global classes
-	HashString<VStateless_class*>& classes() { return fclasses; }
+	OrderedHashString<VStateless_class*>& classes() { return fclasses; }
 	VStateless_class* get_class(const String& name);
 	VStateless_class& get_class_ref(const String& name);
 	void put_class(VStateless_class *aclass){ classes().put(aclass->type(), aclass); }
@@ -218,7 +210,10 @@ public:
 		core request processing
 		BEWARE: may throw exception to you: catch it!
 	*/
-	void core(const char* config_filespec, bool header_only, const String& amain_method_name = main_method_name, const String* amain_class_name = NULL);
+	void core(const char* config_filespec, const String& amain_method_name = main_method_name, const String* amain_class_name = NULL);
+
+	/// ^response:send[part]: the headers go with the first part, the result of @main or exception is not sent then
+	void send(Value& part);
 
 	/// executes ops
 	void execute(ArrayOperation& ops); // execute.C
@@ -253,14 +248,18 @@ public:
 
 	/// execute ops with anti-recursion check
 	void recursion_checked_execute(ArrayOperation& ops) {
-		if(++anti_endless_execute_recursion==pa_execute_recursion_limit) {
-			anti_endless_execute_recursion=0; // give @exception a chance
-			throw Exception(PARSER_RUNTIME, 0, "call canceled - endless recursion detected");
-		}
+		if(++anti_endless_execute_recursion>=execute_recursion_limit)
+			recursion_limit_reached();
 		execute(ops); // execute it
 		anti_endless_execute_recursion--;
 	}
 
+	/// take the recovery reserve back if recursion limit is far enough
+	void recursion_limit_try_restore() {
+		if(execute_recursion_limit>pa_execute_recursion_limit && anti_endless_execute_recursion<pa_execute_recursion_limit/2)
+			execute_recursion_limit=pa_execute_recursion_limit;
+	}
+
 	///
 	void use_file_directly(const String& file_spec, bool fail_on_file_absence=true, bool with_auto_p=false);
 
@@ -270,8 +269,8 @@ public:
 	/// for @USE only, calls ^use (which may be user-defined)
 	void use_file(const String& file_name, const String* use_filespec, Operation::Origin origin);
 
-	/// compiles a @a source buffer
-	void use_buf(VStateless_class& aclass, const char* source, const String* main_alias, uint file_no, int line_no_offset=0);
+	/// compiles a @a source buffer, recording it into @a code if given, or replays the cached @a code
+	void use_buf(VStateless_class& aclass, const char* source, const String* main_alias, uint file_no, int line_no_offset=0, Code_cache* code=0);
 
 	/// processes any code-junction there may be inside of @a value
 	Value& process_getter(Junction& junction); // execute.C
@@ -306,7 +305,10 @@ public:
 	/// returns relative to @a path  path to @a file 
 	const String& relative(const char* apath, const String& relative_name);
 
-	const String& full_disk_path(const String& relative_name);
+	/// '/'-normalized disk path of a file name; a uri of another scheme is returned as is if allowed, otherwise throws
+	const String& full_disk_path(const String& relative_name, uint allowed=0);
+	/// '/'-normalized full_disk_path of a real file on disk, which does not throw: 0 for a uri or a remote, invalid or tainted file:// one
+	const String* real_disk_path(const String& name);
 
 	/// returns the mime type of 'user_file_name'
 	const String& mime_type_of(const String* file_name);
@@ -399,7 +401,7 @@ private:
 
 private: // compile.C
 
-	ArrayClass& compile(VStateless_class* aclass, const char* source, const String* main_alias, uint file_no, int line_no_offset);
+	ArrayClass& compile(VStateless_class* aclass, const char* source, const String* main_alias, uint file_no, int line_no_offset, Code_cache* code);
 
 private: // execute.C
 
@@ -408,15 +410,15 @@ private: // execute.C
 	Value& get_element4call(Value& ncontext, const String& name);
 #endif
 
-private: // defaults
-
-	const String::Language fdefault_lang;
-
 private: // mime types
 
 	/// $MAIN:MIME-TYPES
 	Table *mime_types;
 
+private: // true if ^response:send[] was used
+
+	bool fheaders_sent;
+
 private: // connection manipulation
 
 	SQL_Connection* set_connection(SQL_Connection* aconnection) {
@@ -433,44 +435,54 @@ private:
 	void output_result(VFile* body_file, bool header_only, bool as_attachment);
 };
 
+/// Hash-compatible exception; hash is built on demand.
+class VException: public VHashReference {
+	Exception fexception;
+	String::Body ffile;
+	Value* fhandled;
+	size_t ftrace_bottom, ftrace_top;
+public:
+	Operation::Origin origin;
+	const String* problem_source;
+
+	VException(Request& r, const Exception& e);
+
+	override HashStringValue& hash();
+	override Value* get_element(const String& name);
+	override const VJunction* put_element(const String& name, Value* value);
+
+	Value* handled();
+	Table& stack(Request& r);
+	void expire_trace() { ftrace_top=size_t(-1); }
+};
+
 /// Auto-object used to save request context across ^try body
 class Request_context_saver {
 	Request& fr;
 
-	/// exception stack trace
-	size_t exception_trace_top;
-	size_t exception_trace_bottom;
 	/// execution stack
 	size_t stack;
-	uint anti_endless_execute_recursion;
+	int anti_endless_execute_recursion;
 	/// contexts
 	VMethodFrame* method_frame;
 	Value* rcontext;
 	WContext* wcontext;
-	/// current language
-	String::Language flang; 
 	/// current connection
 	SQL_Connection* fconnection;
 
 public:
 	Request_context_saver(Request& ar) :
 		fr(ar),
-		exception_trace_top(ar.exception_trace.top_index()),
-		exception_trace_bottom(ar.exception_trace.bottom_index()),
 		stack(ar.stack.top_index()),
 		anti_endless_execute_recursion(ar.anti_endless_execute_recursion),
 		method_frame(ar.method_frame),
 		rcontext(ar.rcontext),
 		wcontext(ar.wcontext),
-		flang(ar.flang),
 		fconnection(ar.fconnection) {}
 	void restore() {
-		fr.exception_trace.set_top_index(exception_trace_top);
-		fr.exception_trace.set_bottom_index(exception_trace_bottom);
 		fr.stack.set_top_index(stack);
 		fr.anti_endless_execute_recursion=anti_endless_execute_recursion;
 		fr.method_frame=method_frame, fr.rcontext=rcontext; fr.wcontext=wcontext;
-		fr.flang=flang;
 		fr.fconnection=fconnection;
 	}
 };