Skip to content

Commit f5c2099

Browse files
committed
Add test for leaking prior context with symmetric coroutines
1 parent 039f0fe commit f5c2099

File tree

5 files changed

+91
-6
lines changed

5 files changed

+91
-6
lines changed

ext/zend_test/fiber.c

Lines changed: 56 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -74,6 +74,7 @@ static zend_fiber_transfer zend_test_fiber_suspend(zend_test_fiber *fiber, zval
7474
static ZEND_STACK_ALIGNED void zend_test_fiber_execute(zend_fiber_transfer *transfer)
7575
{
7676
zend_test_fiber *fiber = ZT_G(active_fiber);
77+
zval retval;
7778

7879
zend_execute_data *execute_data;
7980

@@ -93,10 +94,11 @@ static ZEND_STACK_ALIGNED void zend_test_fiber_execute(zend_fiber_transfer *tran
9394
EG(current_execute_data) = execute_data;
9495
EG(jit_trace_num) = 0;
9596

96-
fiber->fci.retval = &fiber->result;
97+
fiber->fci.retval = &retval;
9798

9899
zend_call_function(&fiber->fci, &fiber->fci_cache);
99100

101+
zval_ptr_dtor(&fiber->result); // Destroy param from symmetric coroutine.
100102
zval_ptr_dtor(&fiber->fci.function_name);
101103

102104
if (EG(exception)) {
@@ -111,15 +113,30 @@ static ZEND_STACK_ALIGNED void zend_test_fiber_execute(zend_fiber_transfer *tran
111113

112114
zend_clear_exception();
113115
} else {
116+
ZVAL_COPY_VALUE(&fiber->result, &retval);
114117
ZVAL_COPY(&transfer->value, &fiber->result);
115118
}
116119
} zend_catch {
117120
fiber->flags |= ZEND_FIBER_FLAG_BAILOUT;
118121
} zend_end_try();
119122

120-
transfer->context = fiber->caller;
121-
122123
zend_vm_stack_destroy();
124+
125+
if (fiber->target) {
126+
zend_fiber_context *target = zend_test_fiber_get_context(fiber->target);
127+
zend_fiber_init_context(target, zend_test_fiber_class, zend_test_fiber_execute, EG(fiber_stack_size));
128+
transfer->context = target;
129+
130+
ZVAL_COPY(&fiber->target->result, &fiber->result);
131+
fiber->target->fci.params = &fiber->target->result;
132+
fiber->target->fci.param_count = 1;
133+
134+
fiber->target->caller = fiber->caller;
135+
ZT_G(active_fiber) = fiber->target;
136+
} else {
137+
transfer->context = fiber->caller;
138+
}
139+
123140
fiber->caller = NULL;
124141
}
125142

@@ -179,6 +196,10 @@ static void zend_test_fiber_object_free(zend_object *object)
179196
zval_ptr_dtor(&fiber->fci.function_name);
180197
}
181198

199+
if (fiber->target) {
200+
OBJ_RELEASE(&fiber->target->std);
201+
}
202+
182203
zval_ptr_dtor(&fiber->result);
183204

184205
zend_object_std_dtor(&fiber->std);
@@ -225,6 +246,11 @@ static ZEND_METHOD(_ZendTestFiber, start)
225246

226247
ZEND_ASSERT(fiber->status == ZEND_FIBER_STATUS_INIT);
227248

249+
if (fiber->previous != NULL) {
250+
zend_throw_error(NULL, "Cannot start a fiber that is the target of another fiber");
251+
RETURN_THROWS();
252+
}
253+
228254
fiber->fci.params = params;
229255
fiber->fci.param_count = param_count;
230256
fiber->fci.named_params = named_params;
@@ -287,6 +313,33 @@ static ZEND_METHOD(_ZendTestFiber, resume)
287313
delegate_transfer_result(fiber, &transfer, INTERNAL_FUNCTION_PARAM_PASSTHRU);
288314
}
289315

316+
static ZEND_METHOD(_ZendTestFiber, pipeTo)
317+
{
318+
zend_fcall_info fci;
319+
zend_fcall_info_cache fci_cache;
320+
321+
ZEND_PARSE_PARAMETERS_START(1, 1)
322+
Z_PARAM_FUNC(fci, fci_cache)
323+
ZEND_PARSE_PARAMETERS_END();
324+
325+
zend_test_fiber *fiber = (zend_test_fiber *) Z_OBJ_P(getThis());
326+
zend_test_fiber *target = (zend_test_fiber *) zend_test_fiber_class->create_object(zend_test_fiber_class);
327+
328+
target->fci = fci;
329+
target->fci_cache = fci_cache;
330+
Z_TRY_ADDREF(target->fci.function_name);
331+
332+
target->previous = zend_test_fiber_get_context(fiber);
333+
334+
if (fiber->target) {
335+
OBJ_RELEASE(&fiber->target->std);
336+
}
337+
338+
fiber->target = target;
339+
340+
RETURN_OBJ_COPY(&target->std);
341+
}
342+
290343
void zend_test_fiber_init(void)
291344
{
292345
zend_test_fiber_class = register_class__ZendTestFiber();

ext/zend_test/fiber.h

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -19,15 +19,18 @@
1919

2020
#include "zend_fibers.h"
2121

22-
typedef struct _zend_test_fiber {
22+
typedef struct _zend_test_fiber zend_test_fiber;
23+
24+
struct _zend_test_fiber {
2325
zend_object std;
2426
ZEND_FIBER_CONTEXT_FIELDS;
2527
zend_fiber_context *caller;
2628
zend_fiber_context *previous;
29+
zend_test_fiber *target;
2730
zend_fcall_info fci;
2831
zend_fcall_info_cache fci_cache;
2932
zval result;
30-
} zend_test_fiber;
33+
};
3134

3235
void zend_test_fiber_init(void);
3336

ext/zend_test/fiber.stub.php

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -10,5 +10,7 @@ public function start(mixed ...$args): mixed {}
1010

1111
public function resume(mixed $value = null): mixed {}
1212

13+
public function pipeTo(callable $callback): _ZendTestFiber {}
14+
1315
public static function suspend(mixed $value = null): mixed {}
1416
}

ext/zend_test/fiber_arginfo.h

Lines changed: 7 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/* This is a generated file, edit the .stub.php file instead.
2-
* Stub hash: 12481d4bfa2981f886a2efabc82c29cfaf14b2f0 */
2+
* Stub hash: 72732355038392236e17ce928354667302c4c6bf */
33

44
ZEND_BEGIN_ARG_INFO_EX(arginfo_class__ZendTestFiber___construct, 0, 0, 1)
55
ZEND_ARG_TYPE_INFO(0, callback, IS_CALLABLE, 0)
@@ -13,19 +13,25 @@ ZEND_BEGIN_ARG_WITH_RETURN_TYPE_INFO_EX(arginfo_class__ZendTestFiber_resume, 0,
1313
ZEND_ARG_TYPE_INFO_WITH_DEFAULT_VALUE(0, value, IS_MIXED, 0, "null")
1414
ZEND_END_ARG_INFO()
1515

16+
ZEND_BEGIN_ARG_WITH_RETURN_OBJ_INFO_EX(arginfo_class__ZendTestFiber_pipeTo, 0, 1, _ZendTestFiber, 0)
17+
ZEND_ARG_TYPE_INFO(0, callback, IS_CALLABLE, 0)
18+
ZEND_END_ARG_INFO()
19+
1620
#define arginfo_class__ZendTestFiber_suspend arginfo_class__ZendTestFiber_resume
1721

1822

1923
static ZEND_METHOD(_ZendTestFiber, __construct);
2024
static ZEND_METHOD(_ZendTestFiber, start);
2125
static ZEND_METHOD(_ZendTestFiber, resume);
26+
static ZEND_METHOD(_ZendTestFiber, pipeTo);
2227
static ZEND_METHOD(_ZendTestFiber, suspend);
2328

2429

2530
static const zend_function_entry class__ZendTestFiber_methods[] = {
2631
ZEND_ME(_ZendTestFiber, __construct, arginfo_class__ZendTestFiber___construct, ZEND_ACC_PUBLIC)
2732
ZEND_ME(_ZendTestFiber, start, arginfo_class__ZendTestFiber_start, ZEND_ACC_PUBLIC)
2833
ZEND_ME(_ZendTestFiber, resume, arginfo_class__ZendTestFiber_resume, ZEND_ACC_PUBLIC)
34+
ZEND_ME(_ZendTestFiber, pipeTo, arginfo_class__ZendTestFiber_pipeTo, ZEND_ACC_PUBLIC)
2935
ZEND_ME(_ZendTestFiber, suspend, arginfo_class__ZendTestFiber_suspend, ZEND_ACC_PUBLIC|ZEND_ACC_STATIC)
3036
ZEND_FE_END
3137
};
Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,21 @@
1+
--TEST--
2+
Symmetric coroutine does not leak prior context
3+
--EXTENSIONS--
4+
zend_test
5+
--FILE--
6+
<?php
7+
8+
$fiber = new _ZendTestFiber(function (): int {
9+
return 1;
10+
});
11+
12+
$fiber->pipeTo(function (int $result): void {
13+
var_dump($result);
14+
});
15+
16+
var_dump($fiber->start());
17+
18+
?>
19+
--EXPECTF--
20+
int(1)
21+
NULL

0 commit comments

Comments
 (0)