Add first-class callable cache

iluuu1994 · iluuu1994 · commit 28fd7597bae7 · 2025-10-03T01:04:56.000+02:00
This cache is implemented in two levels: A EG(callable_convert_cache) global that maps zend_function pointers to a shared callable instance, and a CALLABLE_CONVERT cache slot to remember the result of the hash table lookup. Fixes GH-19754 Closes GH-19863
diff --git a/NEWS b/NEWS
@@ -2,6 +2,10 @@ PHP                                                                        NEWS
 |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 ?? ??? ????, PHP 8.6.0alpha1
 
+- Core:
+  . Added first-class callable cache to share instances for the duration of the
+    request. (ilutov)
+
 - Intl:
   . Added IntlNumberRangeFormatter class to format an interval of two numbers
     with a given skeleton, locale, collapse type and identity fallback.
diff --git a/Zend/Optimizer/compact_literals.c b/Zend/Optimizer/compact_literals.c
@@ -741,6 +741,12 @@ void zend_optimizer_compact_literals(zend_op_array *op_array, zend_optimizer_ctx
 						cache_size += 2 * sizeof(void *);
 					}
 					break;
+				case ZEND_CALLABLE_CONVERT:
+					if (opline->extended_value != (uint32_t)-1) {
+						opline->extended_value = cache_size;
+						cache_size += sizeof(void *);
+					}
+					break;
 			}
 			opline++;
 		}
diff --git a/Zend/tests/closures/fcc-cache.phpt b/Zend/tests/closures/fcc-cache.phpt
@@ -0,0 +1,8 @@
+--TEST--
+FCCs are cached and shared
+--FILE--
+<?php
+var_dump(strlen(...) === strlen(...));
+?>
+--EXPECT--
+bool(true)
diff --git a/Zend/tests/exit/exit_as_function.phpt b/Zend/tests/exit/exit_as_function.phpt
@@ -19,10 +19,10 @@ foreach ($values as $value) {
 }
 
 ?>
---EXPECT--
+--EXPECTF--
 string(4) "exit"
 string(3) "die"
-object(Closure)#1 (2) {
+object(Closure)#%d (2) {
   ["function"]=>
   string(4) "exit"
   ["parameter"]=>
@@ -31,7 +31,7 @@ object(Closure)#1 (2) {
     string(10) "<optional>"
   }
 }
-object(Closure)#2 (2) {
+object(Closure)#%d (2) {
   ["function"]=>
   string(4) "exit"
   ["parameter"]=>
diff --git a/Zend/tests/first_class_callable/constexpr/namespace_004.phpt b/Zend/tests/first_class_callable/constexpr/namespace_004.phpt
@@ -26,7 +26,7 @@ foo();
 
 ?>
 --EXPECTF--
-object(Closure)#1 (2) {
+object(Closure)#%d (2) {
   ["function"]=>
   string(6) "strrev"
   ["parameter"]=>
@@ -36,7 +36,7 @@ object(Closure)#1 (2) {
   }
 }
 string(3) "cba"
-object(Closure)#2 (2) {
+object(Closure)#%d (2) {
   ["function"]=>
   string(6) "strrev"
   ["parameter"]=>
@@ -46,7 +46,7 @@ object(Closure)#2 (2) {
   }
 }
 string(3) "cba"
-object(Closure)#2 (2) {
+object(Closure)#%d (2) {
   ["function"]=>
   string(6) "strrev"
   ["parameter"]=>
@@ -56,7 +56,7 @@ object(Closure)#2 (2) {
   }
 }
 string(3) "cba"
-object(Closure)#1 (2) {
+object(Closure)#%d (2) {
   ["function"]=>
   string(6) "strrev"
   ["parameter"]=>
diff --git a/Zend/tests/first_class_callable/first_class_callable_optimization.phpt b/Zend/tests/first_class_callable/first_class_callable_optimization.phpt
@@ -10,12 +10,12 @@ var_dump(test1(...));
 var_dump(test2(...));
 
 ?>
---EXPECT--
-object(Closure)#1 (1) {
+--EXPECTF--
+object(Closure)#%d (1) {
   ["function"]=>
   string(5) "test1"
 }
-object(Closure)#1 (1) {
+object(Closure)#%d (1) {
   ["function"]=>
   string(5) "test2"
 }
diff --git a/Zend/tests/magic_methods/trampoline_closure_named_arguments.phpt b/Zend/tests/magic_methods/trampoline_closure_named_arguments.phpt
@@ -42,7 +42,7 @@ var_dump($type);
 var_dump($type->getName());
 
 ?>
---EXPECT--
+--EXPECTF--
 -- Non-static cases --
 string(4) "test"
 array(3) {
@@ -69,15 +69,15 @@ array(4) {
   ["a"]=>
   int(123)
   ["b"]=>
-  object(Test)#1 (0) {
+  object(Test)#%d (0) {
   }
 }
 string(4) "test"
 array(2) {
   ["a"]=>
   int(123)
   ["b"]=>
-  object(Test)#1 (0) {
+  object(Test)#%d (0) {
   }
 }
 string(4) "test"
@@ -114,15 +114,15 @@ array(4) {
   ["a"]=>
   int(123)
   ["b"]=>
-  object(Test)#1 (0) {
+  object(Test)#%d (0) {
   }
 }
 string(10) "testStatic"
 array(2) {
   ["a"]=>
   int(123)
   ["b"]=>
-  object(Test)#1 (0) {
+  object(Test)#%d (0) {
   }
 }
 string(10) "testStatic"
@@ -136,12 +136,12 @@ array(1) {
 -- Reflection tests --
 array(1) {
   [0]=>
-  object(ReflectionParameter)#4 (1) {
+  object(ReflectionParameter)#%d (1) {
     ["name"]=>
     string(9) "arguments"
   }
 }
 bool(true)
-object(ReflectionNamedType)#5 (0) {
+object(ReflectionNamedType)#%d (0) {
 }
 string(5) "mixed"
diff --git a/Zend/zend_compile.c b/Zend/zend_compile.c
@@ -3965,7 +3965,14 @@ static bool zend_compile_call_common(znode *result, zend_ast *args_ast, zend_fun
 			opline->op1.num = zend_vm_calc_used_stack(0, fbc);
 		}
 
-		zend_emit_op_tmp(result, ZEND_CALLABLE_CONVERT, NULL, NULL);
+		zend_op *callable_convert_op = zend_emit_op_tmp(result, ZEND_CALLABLE_CONVERT, NULL, NULL);
+		if (opline->opcode == ZEND_INIT_FCALL
+		 || opline->opcode == ZEND_INIT_FCALL_BY_NAME
+		 || opline->opcode == ZEND_INIT_NS_FCALL_BY_NAME) {
+			callable_convert_op->extended_value = zend_alloc_cache_slot();
+		} else {
+			callable_convert_op->extended_value = (uint32_t)-1;
+		}
 		return true;
 	}
 
diff --git a/Zend/zend_execute_API.c b/Zend/zend_execute_API.c
@@ -203,6 +203,8 @@ void init_executor(void) /* {{{ */
 	zend_fiber_init();
 	zend_weakrefs_init();
 
+	zend_hash_init(&EG(callable_convert_cache), 8, NULL, ZVAL_PTR_DTOR, 0);
+
 	EG(active) = 1;
 }
 /* }}} */
@@ -420,6 +422,8 @@ ZEND_API void zend_shutdown_executor_values(bool fast_shutdown)
 		zend_stack_clean(&EG(user_error_handlers), (void (*)(void *))ZVAL_PTR_DTOR, 1);
 		zend_stack_clean(&EG(user_exception_handlers), (void (*)(void *))ZVAL_PTR_DTOR, 1);
 
+		zend_hash_clean(&EG(callable_convert_cache));
+
 #if ZEND_DEBUG
 		if (!CG(unclean_shutdown)) {
 			gc_collect_cycles();
@@ -516,6 +520,8 @@ void shutdown_executor(void) /* {{{ */
 		if (EG(ht_iterators) != EG(ht_iterators_slots)) {
 			efree(EG(ht_iterators));
 		}
+
+		zend_hash_destroy(&EG(callable_convert_cache));
 	}
 
 #if ZEND_DEBUG
diff --git a/Zend/zend_globals.h b/Zend/zend_globals.h
@@ -319,6 +319,8 @@ struct _zend_executor_globals {
 
 	zend_strtod_state strtod_state;
 
+	HashTable callable_convert_cache;
+
 	void *reserved[ZEND_MAX_RESERVED_RESOURCES];
 };
 
diff --git a/Zend/zend_vm_def.h b/Zend/zend_vm_def.h
@@ -9709,12 +9709,28 @@ ZEND_VM_HANDLER(167, ZEND_COPY_TMP, TMPVAR, UNUSED)
 	ZEND_VM_NEXT_OPCODE();
 }
 
-ZEND_VM_HANDLER(202, ZEND_CALLABLE_CONVERT, UNUSED, UNUSED)
+ZEND_VM_HANDLER(202, ZEND_CALLABLE_CONVERT, UNUSED, UNUSED, NUM|CACHE_SLOT)
 {
 	USE_OPLINE
 	zend_execute_data *call = EX(call);
 
-	zend_closure_from_frame(EX_VAR(opline->result.var), call);
+	if (opline->extended_value != (uint32_t)-1) {
+		zend_object *closure = CACHED_PTR(opline->extended_value);
+		if (closure) {
+			ZVAL_OBJ_COPY(EX_VAR(opline->result.var), closure);
+		} else {
+			zval *closure_zv = zend_hash_index_lookup(&EG(callable_convert_cache), (zend_ulong)(uintptr_t)call->func);
+			if (Z_TYPE_P(closure_zv) == IS_NULL) {
+				zend_closure_from_frame(closure_zv, call);
+			}
+			ZEND_ASSERT(Z_TYPE_P(closure_zv) == IS_OBJECT);
+			closure = Z_OBJ_P(closure_zv);
+			ZVAL_OBJ_COPY(EX_VAR(opline->result.var), closure);
+			CACHE_PTR(opline->extended_value, closure);
+		}
+	} else {
+		zend_closure_from_frame(EX_VAR(opline->result.var), call);
+	}
 
 	if (ZEND_CALL_INFO(call) & ZEND_CALL_RELEASE_THIS) {
 		OBJ_RELEASE(Z_OBJ(call->This));
diff --git a/Zend/zend_vm_execute.h b/Zend/zend_vm_execute.h
diff --git a/Zend/zend_vm_opcodes.c b/Zend/zend_vm_opcodes.c
diff --git a/ext/dom/tests/registerPhpFunctionNS.phpt b/ext/dom/tests/registerPhpFunctionNS.phpt
@@ -62,14 +62,14 @@ $xpath->registerPhpFunctionNS('urn:bar', 'test', 'strtolower');
 var_dump($xpath->query('//a[bar:test(string(@href)) = "https://php.net"]'));
 
 ?>
---EXPECT--
+--EXPECTF--
 --- Legit cases: global function callable ---
 object(DOMNodeList)#5 (1) {
   ["length"]=>
   int(1)
 }
 --- Legit cases: string callable ---
-object(DOMNodeList)#5 (1) {
+object(DOMNodeList)#%d (1) {
   ["length"]=>
   int(1)
 }
@@ -79,12 +79,12 @@ array(1) {
   [0]=>
   string(15) "https://PHP.net"
 }
-object(DOMNodeList)#3 (1) {
+object(DOMNodeList)#%d (1) {
   ["length"]=>
   int(0)
 }
 --- Legit cases: instance class method callable ---
-object(DOMNodeList)#6 (1) {
+object(DOMNodeList)#%d (1) {
   ["length"]=>
   int(1)
 }
@@ -100,7 +100,7 @@ array(1) {
 --- Legit cases: global function callable that returns nothing ---
 string(15) "https://PHP.net"
 --- Legit cases: multiple namespaces ---
-object(DOMNodeList)#5 (1) {
+object(DOMNodeList)#%d (1) {
   ["length"]=>
   int(1)
 }

Original file line number	Diff line number	Diff line change
`@@ -741,6 +741,12 @@ void zend_optimizer_compact_literals(zend_op_array *op_array, zend_optimizer_ctx`
`741`	`741`	`cache_size += 2 * sizeof(void *);`
`742`	`742`	`}`
`743`	`743`	`break;`
	`744`	`+ case ZEND_CALLABLE_CONVERT:`
	`745`	`+ if (opline->extended_value != (uint32_t)-1) {`
	`746`	`+ opline->extended_value = cache_size;`
	`747`	`+ cache_size += sizeof(void *);`
	`748`	`+ }`
	`749`	`+ break;`
`744`	`750`	`}`
`745`	`751`	`opline++;`
`746`	`752`	`}`
Original file line number	Diff line number	Diff line change
`@@ -26,7 +26,7 @@ foo();`
`26`	`26`
`27`	`27`	`?>`
`28`	`28`	`--EXPECTF--`
`29`		`-object(Closure)#1 (2) {`
	`29`	`+object(Closure)#%d (2) {`
`30`	`30`	`["function"]=>`
`31`	`31`	`string(6) "strrev"`
`32`	`32`	`["parameter"]=>`
`@@ -36,7 +36,7 @@ object(Closure)#1 (2) {`
`36`	`36`	`}`
`37`	`37`	`}`
`38`	`38`	`string(3) "cba"`
`39`		`-object(Closure)#2 (2) {`
	`39`	`+object(Closure)#%d (2) {`
`40`	`40`	`["function"]=>`
`41`	`41`	`string(6) "strrev"`
`42`	`42`	`["parameter"]=>`
`@@ -46,7 +46,7 @@ object(Closure)#2 (2) {`
`46`	`46`	`}`
`47`	`47`	`}`
`48`	`48`	`string(3) "cba"`
`49`		`-object(Closure)#2 (2) {`
	`49`	`+object(Closure)#%d (2) {`
`50`	`50`	`["function"]=>`
`51`	`51`	`string(6) "strrev"`
`52`	`52`	`["parameter"]=>`
`@@ -56,7 +56,7 @@ object(Closure)#2 (2) {`
`56`	`56`	`}`
`57`	`57`	`}`
`58`	`58`	`string(3) "cba"`
`59`		`-object(Closure)#1 (2) {`
	`59`	`+object(Closure)#%d (2) {`
`60`	`60`	`["function"]=>`
`61`	`61`	`string(6) "strrev"`
`62`	`62`	`["parameter"]=>`
Original file line number	Diff line number	Diff line change
`@@ -42,7 +42,7 @@ var_dump($type);`
`42`	`42`	`var_dump($type->getName());`
`43`	`43`
`44`	`44`	`?>`
`45`		`---EXPECT--`
	`45`	`+--EXPECTF--`
`46`	`46`	`-- Non-static cases --`
`47`	`47`	`string(4) "test"`
`48`	`48`	`array(3) {`
`@@ -69,15 +69,15 @@ array(4) {`
`69`	`69`	`["a"]=>`
`70`	`70`	`int(123)`
`71`	`71`	`["b"]=>`
`72`		`- object(Test)#1 (0) {`
	`72`	`+ object(Test)#%d (0) {`
`73`	`73`	`}`
`74`	`74`	`}`
`75`	`75`	`string(4) "test"`
`76`	`76`	`array(2) {`
`77`	`77`	`["a"]=>`
`78`	`78`	`int(123)`
`79`	`79`	`["b"]=>`
`80`		`- object(Test)#1 (0) {`
	`80`	`+ object(Test)#%d (0) {`
`81`	`81`	`}`
`82`	`82`	`}`
`83`	`83`	`string(4) "test"`
`@@ -114,15 +114,15 @@ array(4) {`
`114`	`114`	`["a"]=>`
`115`	`115`	`int(123)`
`116`	`116`	`["b"]=>`
`117`		`- object(Test)#1 (0) {`
	`117`	`+ object(Test)#%d (0) {`
`118`	`118`	`}`
`119`	`119`	`}`
`120`	`120`	`string(10) "testStatic"`
`121`	`121`	`array(2) {`
`122`	`122`	`["a"]=>`
`123`	`123`	`int(123)`
`124`	`124`	`["b"]=>`
`125`		`- object(Test)#1 (0) {`
	`125`	`+ object(Test)#%d (0) {`
`126`	`126`	`}`
`127`	`127`	`}`
`128`	`128`	`string(10) "testStatic"`
`@@ -136,12 +136,12 @@ array(1) {`
`136`	`136`	`-- Reflection tests --`
`137`	`137`	`array(1) {`
`138`	`138`	`[0]=>`
`139`		`- object(ReflectionParameter)#4 (1) {`
	`139`	`+ object(ReflectionParameter)#%d (1) {`
`140`	`140`	`["name"]=>`
`141`	`141`	`string(9) "arguments"`
`142`	`142`	`}`
`143`	`143`	`}`
`144`	`144`	`bool(true)`
`145`		`-object(ReflectionNamedType)#5 (0) {`
	`145`	`+object(ReflectionNamedType)#%d (0) {`
`146`	`146`	`}`
`147`	`147`	`string(5) "mixed"`
Original file line number	Diff line number	Diff line change
`@@ -3965,7 +3965,14 @@ static bool zend_compile_call_common(znode result, zend_ast args_ast, zend_fun`
`3965`	`3965`	`opline->op1.num = zend_vm_calc_used_stack(0, fbc);`
`3966`	`3966`	`}`
`3967`	`3967`
`3968`		`- zend_emit_op_tmp(result, ZEND_CALLABLE_CONVERT, NULL, NULL);`
	`3968`	`+ zend_op *callable_convert_op = zend_emit_op_tmp(result, ZEND_CALLABLE_CONVERT, NULL, NULL);`
	`3969`	`+ if (opline->opcode == ZEND_INIT_FCALL`
	`3970`	`+ \|\| opline->opcode == ZEND_INIT_FCALL_BY_NAME`
	`3971`	`+ \|\| opline->opcode == ZEND_INIT_NS_FCALL_BY_NAME) {`
	`3972`	`+ callable_convert_op->extended_value = zend_alloc_cache_slot();`
	`3973`	`+ } else {`
	`3974`	`+ callable_convert_op->extended_value = (uint32_t)-1;`
	`3975`	`+ }`
`3969`	`3976`	`return true;`
`3970`	`3977`	`}`
`3971`	`3978`