From patchwork Tue Feb 6 15:11:12 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: "Masami Hiramatsu (Google)" X-Patchwork-Id: 197495 Return-Path: Delivered-To: ouuuleilei@gmail.com Received: by 2002:a05:7301:168b:b0:106:860b:bbdd with SMTP id ma11csp1609903dyb; Tue, 6 Feb 2024 07:16:59 -0800 (PST) X-Google-Smtp-Source: AGHT+IF803qKcvbao8Hzx7zYdYE/1Qk+q/kc+WGWlPzrFhIYhK8hufGqM3VE6d3/UMH01Ij/5Cmm X-Received: by 2002:a05:6870:2181:b0:219:b163:70db with SMTP id l1-20020a056870218100b00219b16370dbmr2167130oae.1.1707232619487; Tue, 06 Feb 2024 07:16:59 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1707232619; cv=pass; d=google.com; s=arc-20160816; b=V0BxEHM6REFfzxM9JfRxBG/T2EpKzr3NS8VaGe+i+8IdPMeBCJZOIJAgQlTj0nYyBT DAeHGQr3pTEFAheyuRhd77zVYl+c4iVJ1D8cZjHkCuFIP3KpWuWTGFNRyv4gk6meVnvB K33wn8PcJccng6+NJZg1IwNZWLuH85cUA3WHbUEk9ph7jxZ+e2+NO+nnrwYCfRWBeE6A ow3CNUmWKjG4zfgoBQ4snC2vHrOPw9gt+1HyjrNFhqzAw0LCsdapkzxpDrLaYbWNi0WD SqcYCnCeIz635aYwofJJpUAhkIJK6TpLc6t5fVKUCG8nN3Am3HI89Cr/BGYbxbShttjr Yn3A== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=content-transfer-encoding:mime-version:list-unsubscribe :list-subscribe:list-id:precedence:user-agent:references:in-reply-to :message-id:date:subject:cc:to:from:dkim-signature; bh=WehbdJJlNWnrUSLEUqyk8hVOeMhs2HprMZUHNe4aQ1E=; fh=4l3ELT18BrOBBPHlR8TY1F4ZzX7qckfq5rikFVt+Utg=; b=0DwWnkThrCTXl/D9d02ABXv/Wv0ZiLNMK+khgpq9nhk4UOZrvVQFItExqaeeD7J6Db Y8CxH+7JMfN/VKLZKV1Ggf25HO/VC6fxeVnqNBVYg2NtazHd7OegvdVbjFumIb3aVZMJ CCfG5phrsDSkkDOjF8M5Uz3AZuoPAYw+0cUcYsq+spLOpRt1Z+J14ZWlpn3+7d2pf9Li gv+WkOLXfkHBVSGl9Ab3+E15vQPV+SdIPOiPgY8o6h5i2JJWCS9OXgwhZtlWIxKQuDjl rSTMvGbDCSZpj8/Pv1EcdDNmYPNYLiqGbLbuXq04uQ+An0dlisSVabX1gZ34OqPaiYj3 v9iw==; dara=google.com ARC-Authentication-Results: i=2; mx.google.com; dkim=pass header.i=@kernel.org header.s=k20201202 header.b=RxhC6RWD; arc=pass (i=1 dkim=pass dkdomain=kernel.org); spf=pass (google.com: domain of linux-kernel+bounces-55201-ouuuleilei=gmail.com@vger.kernel.org designates 147.75.199.223 as permitted sender) smtp.mailfrom="linux-kernel+bounces-55201-ouuuleilei=gmail.com@vger.kernel.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=kernel.org X-Forwarded-Encrypted: i=1; AJvYcCXI2g6zualTw2v1HTDx9yjYNuAtuIx/5S8flTMpNp3matyJor00pRDcdRnQXI6G0QKnttK4OsT3uOV1VMttgDb0MCbtng== Received: from ny.mirrors.kernel.org (ny.mirrors.kernel.org. [147.75.199.223]) by mx.google.com with ESMTPS id d9-20020ac85d89000000b0042be4e05e20si2524360qtx.28.2024.02.06.07.16.59 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 06 Feb 2024 07:16:59 -0800 (PST) Received-SPF: pass (google.com: domain of linux-kernel+bounces-55201-ouuuleilei=gmail.com@vger.kernel.org designates 147.75.199.223 as permitted sender) client-ip=147.75.199.223; Authentication-Results: mx.google.com; dkim=pass header.i=@kernel.org header.s=k20201202 header.b=RxhC6RWD; arc=pass (i=1 dkim=pass dkdomain=kernel.org); spf=pass (google.com: domain of linux-kernel+bounces-55201-ouuuleilei=gmail.com@vger.kernel.org designates 147.75.199.223 as permitted sender) smtp.mailfrom="linux-kernel+bounces-55201-ouuuleilei=gmail.com@vger.kernel.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=kernel.org Received: from smtp.subspace.kernel.org (wormhole.subspace.kernel.org [52.25.139.140]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ny.mirrors.kernel.org (Postfix) with ESMTPS id 9E5FD1C23EAC for ; Tue, 6 Feb 2024 15:16:49 +0000 (UTC) Received: from localhost.localdomain (localhost.localdomain [127.0.0.1]) by smtp.subspace.kernel.org (Postfix) with ESMTP id 99BBA1384BB; Tue, 6 Feb 2024 15:11:21 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=kernel.org header.i=@kernel.org header.b="RxhC6RWD" Received: from smtp.kernel.org (aws-us-west-2-korg-mail-1.web.codeaurora.org [10.30.226.201]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id 07E15138485; Tue, 6 Feb 2024 15:11:17 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=10.30.226.201 ARC-Seal: i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1707232277; cv=none; b=fOkg8UOgILzQKZcsSF70s9OLVmF6vwLOrcvAl0NNOqmqKdiGWbc/6ptSZB8dpT0/Z9Hl+RQHJqo5o3EwaWCTmuJ71uFzt4FDtWkFxdxLToLpUprZagTlVrjM0hLEp21yToVVuI/qDF5IEvpIWuniOTitL3ZaS0aOxOCLl7ySV5I= ARC-Message-Signature: i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1707232277; c=relaxed/simple; bh=1uNXOkEFaClbT5CkblJsYzFpCC7+iCA37jndjn78mY0=; h=From:To:Cc:Subject:Date:Message-Id:In-Reply-To:References: MIME-Version:Content-Type; b=dey8dRg+lvL0BDJyCcIJbfg111TJWgd/lUHbb/6nU+sbKMvNihnUPV4Ek4cLRk/LHtQjE8ijtUXu/kSwYJS0ZT8xKNzggFs76704moCNd4W5v8gHuq3Ul6GHmaCy2P60ul8hHjdX9CQv8jCTziLx2DPLsX3JtPF3roSqQxhRQVs= ARC-Authentication-Results: i=1; smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=kernel.org header.i=@kernel.org header.b=RxhC6RWD; arc=none smtp.client-ip=10.30.226.201 Received: by smtp.kernel.org (Postfix) with ESMTPSA id 50236C43390; Tue, 6 Feb 2024 15:11:14 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=kernel.org; s=k20201202; t=1707232276; bh=1uNXOkEFaClbT5CkblJsYzFpCC7+iCA37jndjn78mY0=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=RxhC6RWDPPrgl/x17Eod24up9sOf87T7J7nVxw8FNzw8wV31olhxwTIh/FCfR9/Ad qOrQsHGSdNDD0/f41Fkz3Q6kz1wBdyvSdIvowEgFAN1kTRqAo8riEDCsJSNDa/Jgv1 mAiw9ePJz/cJo34sl4VYvuDT4GaaNPP++iptX33hF65fgfqdTa8N5nbApHxW2FBAlw RinuCfBnJ/3QmMhakAqgWPdYshJiBy6dpp75IokkZ/peBsR0CHZfjnJ4kk6PS2fo7M PnlIOnV/6mzOL0+yIQ1Ix2El5QcLGukf6Q5Wfr9HiEESk7Kaj+zRqS/Ao35yVzV/fw V8HApTmO4XXOw== From: "Masami Hiramatsu (Google)" To: Alexei Starovoitov , Steven Rostedt , Florent Revest Cc: linux-trace-kernel@vger.kernel.org, LKML , Martin KaFai Lau , bpf , Sven Schnelle , Alexei Starovoitov , Jiri Olsa , Arnaldo Carvalho de Melo , Daniel Borkmann , Alan Maguire , Mark Rutland , Peter Zijlstra , Thomas Gleixner , Guo Ren Subject: [PATCH v7 20/36] function_graph: Improve push operation for several interrupts Date: Wed, 7 Feb 2024 00:11:12 +0900 Message-Id: <170723227198.502590.10431025573751489041.stgit@devnote2> X-Mailer: git-send-email 2.34.1 In-Reply-To: <170723204881.502590.11906735097521170661.stgit@devnote2> References: <170723204881.502590.11906735097521170661.stgit@devnote2> User-Agent: StGit/0.19 Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 X-getmail-retrieved-from-mailbox: INBOX X-GMAIL-THRID: 1790163151032708938 X-GMAIL-MSGID: 1790163151032708938 From: Masami Hiramatsu (Google) Improve push and data reserve operation on the shadow stack for several sequencial interrupts. To push a ret_stack or data entry on the shadow stack, we need to prepare an index (offset) entry before updating the stack pointer (curr_ret_stack) so that unwinder from interrupts can find the next return address from the shadow stack. Currently we do write index, update the curr_ret_stack, and rewrite it again. But that is not enough for the case if two interrupts happens and the first one breaks it. For example, 1. write reserved index entry at ret_stack[new_index - 1] and ret addr. 2. interrupt comes. 2.1. push new index and ret addr on ret_stack. 2.2. pop it. (corrupt entries on new_index - 1) 3. return from interrupt. 4. update curr_ret_stack = new_index 5. interrupt comes again. 5.1. unwind <------ may not work. To avoid this issue, this introduces a new rsrv_ret_stack stack reservation pointer and a new push code (slow path) to commit previous reserved code forcibly. 0. update rsrv_ret_stack = new_index. 1. write reserved index entry at ret_stack[new_index - 1] and ret addr. 2. interrupt comes. 2.0. if rsrv_ret_stack != curr_ret_stack, add reserved index entry on ret_stack[rsrv_ret_stack - 1] to point the previous ret_stack pointed by ret_stack[curr_ret_stack - 1]. and update curr_ret_stack = rsrv_ret_stack. 2.1. push new index and ret addr on ret_stack. 2.2. pop it. (corrupt entries on new_index - 1) 3. return from interrupt. 4. update curr_ret_stack = new_index 5. interrupt comes again. 5.1. unwind works, because curr_ret_stack points the previously saved ret_stack. 5.2. this can do push/pop operations too. 6. return from interrupt. 7. rewrite reserved index entry at ret_stack[new_index] again. This maybe a bit heavier but safer. Signed-off-by: Masami Hiramatsu (Google) --- Changes in v7: - Handle interrupting pop case correctly not only push. - Always update rsrv_ret_stack before curr_ret_stack. Changes in v6: - Newly added. --- include/linux/sched.h | 1 kernel/trace/fgraph.c | 166 +++++++++++++++++++++++++++++++++++-------------- 2 files changed, 118 insertions(+), 49 deletions(-) diff --git a/include/linux/sched.h b/include/linux/sched.h index 1cfabb44dcbb..12666b640c22 100644 --- a/include/linux/sched.h +++ b/include/linux/sched.h @@ -1390,6 +1390,7 @@ struct task_struct { #ifdef CONFIG_FUNCTION_GRAPH_TRACER /* Index of current stored address in ret_stack: */ int curr_ret_stack; + int rsrv_ret_stack; int curr_ret_depth; /* Stack of return addresses for return function tracing: */ diff --git a/kernel/trace/fgraph.c b/kernel/trace/fgraph.c index 5cc7f44037cd..269ea458c57a 100644 --- a/kernel/trace/fgraph.c +++ b/kernel/trace/fgraph.c @@ -298,31 +298,47 @@ void *fgraph_reserve_data(int idx, int size_bytes) unsigned long val; void *data; int curr_ret_stack = current->curr_ret_stack; + int rsrv_ret_stack = current->rsrv_ret_stack; int data_size; if (size_bytes > FGRAPH_MAX_DATA_SIZE) return NULL; + /* + * Since this API is used after pushing ret_stack, curr_ret_stack + * should be synchronized with rsrv_ret_stack. + */ + if (WARN_ON_ONCE(curr_ret_stack != rsrv_ret_stack)) + return NULL; + /* Convert to number of longs + data word */ data_size = DIV_ROUND_UP(size_bytes, sizeof(long)); val = get_fgraph_entry(current, curr_ret_stack - 1); data = ¤t->ret_stack[curr_ret_stack]; - curr_ret_stack += data_size + 1; - if (unlikely(curr_ret_stack >= SHADOW_STACK_MAX_INDEX)) + rsrv_ret_stack += data_size + 1; + if (unlikely(rsrv_ret_stack >= SHADOW_STACK_MAX_INDEX)) return NULL; val = make_fgraph_data(idx, data_size, __get_index(val) + data_size + 1); - /* Set the last word to be reserved */ - current->ret_stack[curr_ret_stack - 1] = val; - - /* Make sure interrupts see this */ + /* Extend the reserved-ret_stack at first */ + current->rsrv_ret_stack = rsrv_ret_stack; + /* And sync with interrupts, to see the new rsrv_ret_stack */ barrier(); - current->curr_ret_stack = curr_ret_stack; - /* Again sync with interrupts, and reset reserve */ - current->ret_stack[curr_ret_stack - 1] = val; + /* + * The same reason as the push, this entry must be here before updating + * the curr_ret_stack. But any interrupt comes before updating + * curr_ret_stack, it may commit it with different reserve entry. + * Thus we need to write the data entry after update the curr_ret_stack + * again. And these operations must be ordered. + */ + current->ret_stack[rsrv_ret_stack - 1] = val; + barrier(); + current->curr_ret_stack = rsrv_ret_stack; + barrier(); + current->ret_stack[rsrv_ret_stack - 1] = val; return data; } @@ -403,7 +419,16 @@ get_ret_stack(struct task_struct *t, int offset, int *index) return NULL; idx = get_ret_stack_index(t, --offset); - if (WARN_ON_ONCE(idx <= 0 || idx > offset)) + /* + * This can happen if an interrupt comes just before the first push + * increments the curr_ret_stack, and that interrupt pushes another + * entry. In that case, the frist push is forcibly committed with a + * reserved entry which points -1 stack index. + */ + if (unlikely(idx > offset)) + return NULL; + + if (WARN_ON_ONCE(idx <= 0)) return NULL; offset -= idx; @@ -473,7 +498,7 @@ ftrace_push_return_trace(unsigned long ret, unsigned long func, struct ftrace_ret_stack *ret_stack; unsigned long long calltime; unsigned long val; - int index; + int index, rindex; if (unlikely(ftrace_graph_is_dead())) return -EBUSY; @@ -481,18 +506,42 @@ ftrace_push_return_trace(unsigned long ret, unsigned long func, if (!current->ret_stack) return -EBUSY; - /* - * At first, check whether the previous fgraph callback is pushed by - * the fgraph on the same function entry. - * But if @func is the self tail-call function, we also need to ensure - * the ret_stack is not for the previous call by checking whether the - * bit of @fgraph_idx is set or not. - */ - ret_stack = get_ret_stack(current, current->curr_ret_stack, &index); - if (ret_stack && ret_stack->func == func && - get_fgraph_type(current, index + FGRAPH_RET_INDEX) == FGRAPH_TYPE_BITMAP && - !is_fgraph_index_set(current, index + FGRAPH_RET_INDEX, fgraph_idx)) - return index + FGRAPH_RET_INDEX; + index = READ_ONCE(current->curr_ret_stack); + rindex = READ_ONCE(current->rsrv_ret_stack); + if (unlikely(index < rindex)) { + /* + * This interrupts the push operation. Commit previous push + * temporarily with reserved entry. + */ + if (unlikely(index <= 0)) + /* This will make ret_stack[index - 1] points -1 */ + val = rindex - index; + else + val = get_ret_stack_index(current, index - 1) + + rindex - index; + current->ret_stack[rindex - 1] = val; + /* Forcibly commit it */ + current->curr_ret_stack = index = rindex; + } else { + /* + * This is normal path OR interrupting in the pop commit operation. + * In both way, @rindex should point correct next index. So use it. + * Check whether the previous fgraph callback is pushed by the fgraph + * on the same function entry. + * But if @func is the self tail-call function, we also need to ensure + * the ret_stack is not for the previous call by checking whether the + * bit of @fgraph_idx is set or not. + */ + if (likely(rindex == index)) { + ret_stack = get_ret_stack(current, index, &index); + if (ret_stack && ret_stack->func == func && + get_fgraph_type(current, index + FGRAPH_RET_INDEX) == FGRAPH_TYPE_BITMAP && + !is_fgraph_index_set(current, index + FGRAPH_RET_INDEX, fgraph_idx)) + return index + FGRAPH_RET_INDEX; + } + /* Since get_ret_stack() overwrites 'index', recover it. */ + index = rindex; + } val = (FGRAPH_TYPE_RESERVED << FGRAPH_TYPE_SHIFT) | FGRAPH_RET_INDEX; @@ -504,46 +553,53 @@ ftrace_push_return_trace(unsigned long ret, unsigned long func, */ smp_rmb(); + ret_stack = RET_STACK(current, index); + index += FGRAPH_RET_INDEX + 1; + /* The return trace stack is full */ - if (current->curr_ret_stack + FGRAPH_RET_INDEX + 1 >= SHADOW_STACK_MAX_INDEX) { + if (index >= SHADOW_STACK_MAX_INDEX) { atomic_inc(¤t->trace_overrun); return -EBUSY; } calltime = trace_clock_local(); - index = READ_ONCE(current->curr_ret_stack); - ret_stack = RET_STACK(current, index); - index += FGRAPH_RET_INDEX; + /* + * At first, reserve the ret_stack. Beyond this point, any interrupt + * will only overwrite ret_stack[index - 1] by a reserved entry which + * points the previous ret_stack or -1. + */ + current->rsrv_ret_stack = index; + /* And ensure that the following happens after reserved */ + barrier(); - /* ret offset = FGRAPH_RET_INDEX ; type = reserved */ - current->ret_stack[index] = val; + current->ret_stack[index - 1] = val; ret_stack->ret = ret; /* * The unwinders expect curr_ret_stack to point to either zero - * or an index where to find the next ret_stack. Even though the - * ret stack might be bogus, we want to write the ret and the - * index to find the ret_stack before we increment the stack point. - * If an interrupt comes in now before we increment the curr_ret_stack - * it may blow away what we wrote. But that's fine, because the - * index will still be correct (even though the 'ret' won't be). - * What we worry about is the index being correct after we increment - * the curr_ret_stack and before we update that index, as if an - * interrupt comes in and does an unwind stack dump, it will need - * at least a correct index! + * or an index where to find the next ret_stack which has actual ret + * address. Thus we want to write the ret and the index to find the + * ret_stack before we increment the curr_ret_stack. */ barrier(); - current->curr_ret_stack = index + 1; + current->curr_ret_stack = index; /* + * There are two possibilities here. + * - More than one interrupts push/pop their entry between update + * rsrv_ret_stack and curr_ret_stack. In this case, curr_ret_stack + * is already equal to the rsrv_ret_stack and + * current->ret_stack[index] is overwritten by reserved entry which + * points the previous ret_stack. But ret_stack->ret is not. + * - Or, no interrupts push/pop. So current->ret_stack[index - 1] keeps + * its value. * This next barrier is to ensure that an interrupt coming in - * will not corrupt what we are about to write. + * will not overwrite what we are about to write anymore. */ barrier(); - /* Still keep it reserved even if an interrupt came in */ - current->ret_stack[index] = val; + /* Rewrite the entry again in case it was overwritten. */ + current->ret_stack[index - 1] = val; - ret_stack->ret = ret; ret_stack->func = func; ret_stack->calltime = calltime; #ifdef HAVE_FUNCTION_GRAPH_FP_TEST @@ -555,6 +611,14 @@ ftrace_push_return_trace(unsigned long ret, unsigned long func, return index; } +static void __ftrace_commit_pop(int new_index) +{ + current->rsrv_ret_stack = new_index; + /* Ensure the rsrv_ret_stack always updated first */ + barrier(); + current->curr_ret_stack = current->rsrv_ret_stack; +} + /* * Not all archs define MCOUNT_INSN_SIZE which is used to look for direct * functions. But those archs currently don't support direct functions @@ -624,7 +688,7 @@ int function_graph_enter(unsigned long ret, unsigned long func, return 0; out_ret: - current->curr_ret_stack -= FGRAPH_RET_INDEX + 1; + __ftrace_commit_pop(current->rsrv_ret_stack - FGRAPH_RET_INDEX + 1); out: current->curr_ret_depth--; return -EBUSY; @@ -667,7 +731,7 @@ int function_graph_enter_ops(unsigned long ret, unsigned long func, current->curr_ret_stack = save_curr_ret_stack; if (type == FGRAPH_TYPE_RESERVED) { - current->curr_ret_stack -= FGRAPH_RET_INDEX + 1; + __ftrace_commit_pop(current->rsrv_ret_stack - FGRAPH_RET_INDEX + 1); current->curr_ret_depth--; } return -EBUSY; @@ -806,10 +870,10 @@ static unsigned long __ftrace_return_to_handler(struct fgraph_ret_regs *ret_regs /* * The ftrace_graph_return() may still access the current * ret_stack structure, we need to make sure the update of - * curr_ret_stack is after that. + * curr_ret_stack is after that. __ftrace_commit_pop() does + * barrier() before updating curr_ret_stack. */ - barrier(); - current->curr_ret_stack = index - FGRAPH_RET_INDEX; + __ftrace_commit_pop(index - FGRAPH_RET_INDEX); current->curr_ret_depth--; return ret; @@ -997,6 +1061,7 @@ static int alloc_retstack_tasklist(unsigned long **ret_stack_list) if (t->ret_stack == NULL) { atomic_set(&t->trace_overrun, 0); ret_stack_init_task_vars(ret_stack_list[start]); + t->rsrv_ret_stack = 0; t->curr_ret_stack = 0; t->curr_ret_depth = -1; /* Make sure the tasks see the 0 first: */ @@ -1059,6 +1124,7 @@ graph_init_task(struct task_struct *t, unsigned long *ret_stack) atomic_set(&t->trace_overrun, 0); ret_stack_init_task_vars(ret_stack); t->ftrace_timestamp = 0; + t->rsrv_ret_stack = 0; t->curr_ret_stack = 0; t->curr_ret_depth = -1; /* make curr_ret_stack visible before we add the ret_stack */ @@ -1072,6 +1138,7 @@ graph_init_task(struct task_struct *t, unsigned long *ret_stack) */ void ftrace_graph_init_idle_task(struct task_struct *t, int cpu) { + t->rsrv_ret_stack = 0; t->curr_ret_stack = 0; t->curr_ret_depth = -1; /* @@ -1100,6 +1167,7 @@ void ftrace_graph_init_task(struct task_struct *t) { /* Make sure we do not use the parent ret_stack */ t->ret_stack = NULL; + t->rsrv_ret_stack = 0; t->curr_ret_stack = 0; t->curr_ret_depth = -1;