RPC suspend와 tee-supplicant 왕복 | OP-TEE OS

QUESTION

RPC suspend와 tee-supplicant 왕복 단계에서 실제로 바뀌는 상태는 무엇인가?

RPC는 secure world가 Normal World를 신뢰한다는 뜻이 아니다. 반환 buffer, command-specific result와 shared memory를 다시 검증하는 지점을 확인한다.

RPC 중 suspend된 thread의 session/context는 유지되고 resume token은 정확히 그 thread와 요청을 식별하며 Normal World 결과는 재검증되어야 한다. 이 문장을 기준으로 코드를 위에서 아래로 읽으면, 함수 이름을 외우는 대신 어느 시점에 어떤 상태를 신뢰할 수 있는지 판단할 수 있다.

STRUCTURE

객체와 주소가 놓이는 구조

그림 1. RPC suspend와 tee-supplicant 왕복에서 입력, 내부 상태, 출력의 경계

입력과 전제내부 상태외부로 공개되는 결과

01thread_ctx suspended state

02RPC mobj

03optee_msg_arg

04resume token

INVARIANT

RPC 중 suspend된 thread의 session/context는 유지되고 resume token은 정확히 그 thread와 요청을 식별하며 Normal World 결과는 재검증되어야 한다.

thread_ctx / RPC arg mobj / resume token를 중심에 놓고 왼쪽의 입력이 어떤 검사를 거쳐 오른쪽 결과로 공개되는지 표시했다. 실제 디버깅에서는 각 블록의 주소와 크기를 로그에 대입한다.

CALL PATH

실행 흐름

그림 2. 정상 경로의 주요 호출과 상태 전달

secure service needs REE

build RPC message

SMC return to Linux

tee-supplicant work

resume secure thread

화살표는 단순 호출 순서만 뜻하지 않는다. 각 단계가 성공을 반환할 때 다음 단계가 읽을 수 있는 상태가 무엇인지 함께 확인한다. 오류 반환이 발생하면 바로 다음 화살표로 진행하지 않고 해당 단계의 정리 경로를 따라간다.

STATE LEDGER

단계별 입력과 출력

호출 순서를 함수 이름으로만 외우지 않고, 각 단계가 무엇을 받아 무엇을 공개하는지 적은 표다. 실제 소스에서 생산 필드가 다르면 표를 고치는 방식으로 사용한다.

#	단계	진입 시 신뢰할 상태	성공 뒤 남아야 할 상태	다음 소비자
01	`secure service needs REE`	secure-to-normal RPC boundary	thread_ctx suspended state	build RPC message
02	`build RPC message`	secure service needs REE 완료 상태	RPC mobj	SMC return to Linux
03	`SMC return to Linux`	build RPC message 완료 상태	optee_msg_arg	tee-supplicant work
04	`tee-supplicant work`	SMC return to Linux 완료 상태	resume token	resume secure thread
05	`resume secure thread`	tee-supplicant work 완료 상태	resume token	최종 최종 부트로더 이미지 또는 다음 stage

공통 불변 조건: RPC 중 suspend된 thread의 session/context는 유지되고 resume token은 정확히 그 thread와 요청을 식별하며 Normal World 결과는 재검증되어야 한다. 한 단계의 출력이 다음 단계의 입력 조건을 만족하지 않으면 오류가 실제로 드러난 위치보다 앞의 생산 단계부터 조사한다.

VISUAL WALKTHROUGH

주소와 객체의 이동을 그림으로 읽기

아래 그림은 호출 이름보다 주소, 객체 수명과 handoff 경계를 먼저 볼 수 있도록 구성했다. 실제 주소와 크기는 사용 중인 보드의 bdinfo, map과 linker symbol을 대입한다.

그림 3. RPC suspend와 tee-supplicant 왕복의 실행 순서

각 칸은 제어권이 다음 단계로 넘어가기 전에 확정되어야 하는 상태를 나타낸다.

01secure service needs REE

02build RPC message

03SMC return to Linux

04tee-supplicant work

05resume secure thread

그림 4. RPC 왕복 중 Secure World와 Normal World 책임

두 열은 실행 주체와 접근 권한, 객체를 해제할 책임이 다른 경계를 비교한다.

Secure World

01RPC command 생성

02buffer bounds 결정

03thread suspend

04결과 재검증

Normal World

01Linux driver 전달

02tee-supplicant 처리

03REE filesystem/device 접근

04resume SMC

UPSTREAM SOURCE

원본 코드

아래 코드는 OP-TEE OS 4.10.0의 core/arch/arm/kernel/thread_optee_smc.c에서 537-625줄을 그대로 가져온 것이다. 설명을 위해 실제 코드를 가짜 의사 코드로 바꾸지 않았다.

commit753afbbee1682f5d16fd30e87b31058a4fd4f4b8symboluint32_t thread_rpc_cmd(uint32_t cmd

537	for (size_t n = 0; n < num_params; n++) {
538		switch (params[n].attr) {
539		case THREAD_PARAM_ATTR_VALUE_OUT:
540		case THREAD_PARAM_ATTR_VALUE_INOUT:
541			params[n].u.value.a = arg->params[n].u.value.a;
542			params[n].u.value.b = arg->params[n].u.value.b;
543			params[n].u.value.c = arg->params[n].u.value.c;
544			break;
545		case THREAD_PARAM_ATTR_MEMREF_OUT:
546		case THREAD_PARAM_ATTR_MEMREF_INOUT:
547			/*
548			 * rmem.size and tmem.size is the same type and
549			 * location.
550			 */
551			params[n].u.memref.size = arg->params[n].u.rmem.size;
552			break;
553		default:
554			break;
555		}
556	}
557
558	return arg->ret;
559}
560
561uint32_t thread_rpc_cmd(uint32_t cmd, size_t num_params,
562			struct thread_param *params)
563{
564	uint32_t rpc_args[THREAD_RPC_NUM_ARGS] = { OPTEE_SMC_RETURN_RPC_CMD };
565	void *arg = NULL;
566	uint64_t carg = 0;
567	uint32_t ret = 0;
568
569	/* The source CRYPTO_RNG_SRC_JITTER_RPC is safe to use here */
570	plat_prng_add_jitter_entropy(CRYPTO_RNG_SRC_JITTER_RPC,
571				     &thread_rpc_pnum);
572
573	ret = get_rpc_arg(cmd, num_params, params, &arg, &carg);
574	if (ret)
575		return ret;
576
577	reg_pair_from_64(carg, rpc_args + 1, rpc_args + 2);
578	thread_rpc(rpc_args);
579
580	return get_rpc_arg_res(arg, num_params, params);
581}
582
583/**
584 * Free physical memory previously allocated with thread_rpc_alloc()
585 *
586 * @cookie:	cookie received when allocating the buffer
587 * @bt:		must be the same as supplied when allocating
588 * @mobj:	mobj that describes allocated buffer
589 *
590 * This function also frees corresponding mobj.
591 */
592static void thread_rpc_free(unsigned int bt, uint64_t cookie, struct mobj *mobj)
593{
594	uint32_t rpc_args[THREAD_RPC_NUM_ARGS] = { OPTEE_SMC_RETURN_RPC_CMD };
595	void *arg = NULL;
596	uint64_t carg = 0;
597	struct thread_param param = THREAD_PARAM_VALUE(IN, bt, cookie, 0);
598	uint32_t ret = get_rpc_arg(OPTEE_RPC_CMD_SHM_FREE, 1, &param,
599				   &arg, &carg);
600
601	mobj_put(mobj);
602
603	if (!ret) {
604		reg_pair_from_64(carg, rpc_args + 1, rpc_args + 2);
605		thread_rpc(rpc_args);
606	}
607}
608
609static struct mobj *get_rpc_alloc_res(struct optee_msg_arg *arg,
610				      unsigned int bt, size_t size)
611{
612	struct mobj *mobj = NULL;
613	uint64_t cookie = 0;
614	size_t sz = 0;
615	paddr_t p = 0;
616
617	if (arg->ret || arg->num_params != 1)
618		goto err;
619
620	if (arg->params[0].attr != OPTEE_MSG_ATTR_TYPE_TMEM_OUTPUT  &&
621	    arg->params[0].attr != (OPTEE_MSG_ATTR_TYPE_TMEM_OUTPUT |
622				    OPTEE_MSG_ATTR_NONCONTIG))
623		goto err;
624
625	p = arg->params[0].u.tmem.buf_ptr;

LINE BY LINE

537-625줄 해설

원본에 보이는 모든 줄을 순서대로 설명한다. 빈 줄도 block 경계로 남겨, 코드와 설명의 위치가 어긋나지 않게 했다.

537for (size_t n = 0; n < num_params; n++) {

'for (size_t n = 0; n < num_params; n++) {'가 목록이나 후보를 순회한다. 반복 중 thread_ctx / RPC arg mobj / resume token를 제거·추가하는 호출이 있는지와 loop 종료 뒤 iterator가 유효한지 확인한다.

538switch (params[n].attr) {

원본 538번 줄의 switch (params[n].attr) {는 앞의 for (size_t n = 0; n < num_params; n++) { 결과를 받아 다음 case THREAD_PARAM_ATTR_VALUE_OUT:로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'RPC 중 suspend된 thread의 session/context는 유지되고 resume token은 정확히 그 thread와 요청을 식별하며 Normal World 결과는 재검증되어야 한다' 조건이 유지되는지 확인한다.

539case THREAD_PARAM_ATTR_VALUE_OUT:

원본 539번 줄의 case THREAD_PARAM_ATTR_VALUE_OUT:는 앞의 switch (params[n].attr) { 결과를 받아 다음 case THREAD_PARAM_ATTR_VALUE_INOUT:로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'RPC 중 suspend된 thread의 session/context는 유지되고 resume token은 정확히 그 thread와 요청을 식별하며 Normal World 결과는 재검증되어야 한다' 조건이 유지되는지 확인한다.

540case THREAD_PARAM_ATTR_VALUE_INOUT:

원본 540번 줄의 case THREAD_PARAM_ATTR_VALUE_INOUT:는 앞의 case THREAD_PARAM_ATTR_VALUE_OUT: 결과를 받아 다음 params[n].u.value.a = arg->params[n].u.value.a;로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'RPC 중 suspend된 thread의 session/context는 유지되고 resume token은 정확히 그 thread와 요청을 식별하며 Normal World 결과는 재검증되어야 한다' 조건이 유지되는지 확인한다.

541params[n].u.value.a = arg->params[n].u.value.a;

params[n].u.value.a에 arg->params[n].u.value.a를 = 연산으로 반영해 thread_ctx / RPC arg mobj / resume token와 연결된 field를 갱신한다. 바로 다음 params[n].u.value.b = arg->params[n].u.value.b;가 이 값을 다시 읽으므로 그 전까지 완성된 값이어야 한다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

542params[n].u.value.b = arg->params[n].u.value.b;

params[n].u.value.b에 arg->params[n].u.value.b를 = 연산으로 반영해 thread_ctx / RPC arg mobj / resume token와 연결된 field를 갱신한다. 이후 resume secure thread 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

543params[n].u.value.c = arg->params[n].u.value.c;

params[n].u.value.c에 arg->params[n].u.value.c를 = 연산으로 반영해 thread_ctx / RPC arg mobj / resume token와 연결된 field를 갱신한다. 이후 resume secure thread 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

544break;

'break;'로 직선 경로를 벗어난다. 이동 대상에서 thread_ctx / RPC arg mobj / resume token에 걸린 lock, allocation, list 등록을 어디까지 되돌리는지 이어서 확인한다.

545case THREAD_PARAM_ATTR_MEMREF_OUT:

원본 545번 줄의 case THREAD_PARAM_ATTR_MEMREF_OUT:는 앞의 break; 결과를 받아 다음 case THREAD_PARAM_ATTR_MEMREF_INOUT:로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'RPC 중 suspend된 thread의 session/context는 유지되고 resume token은 정확히 그 thread와 요청을 식별하며 Normal World 결과는 재검증되어야 한다' 조건이 유지되는지 확인한다.

546case THREAD_PARAM_ATTR_MEMREF_INOUT:

원본 546번 줄의 case THREAD_PARAM_ATTR_MEMREF_INOUT:는 앞의 case THREAD_PARAM_ATTR_MEMREF_OUT: 결과를 받아 다음 /*로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'RPC 중 suspend된 thread의 session/context는 유지되고 resume token은 정확히 그 thread와 요청을 식별하며 Normal World 결과는 재검증되어야 한다' 조건이 유지되는지 확인한다.

547/*

원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

548* rmem.size and tmem.size is the same type and

원본 주석이 'rmem.size and tmem.size is the same type and'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

549* location.

원본 주석이 'location.'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

550*/

원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

551params[n].u.memref.size = arg->params[n].u.rmem.size;

params[n].u.memref.size에 arg->params[n].u.rmem.size를 = 연산으로 반영해 thread_ctx / RPC arg mobj / resume token와 연결된 field를 갱신한다. 주소·크기 값이면 단위와 정렬, 덧셈 overflow를 함께 검산한다. 이후 resume secure thread 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

552break;

'break;'로 직선 경로를 벗어난다. 이동 대상에서 thread_ctx / RPC arg mobj / resume token에 걸린 lock, allocation, list 등록을 어디까지 되돌리는지 이어서 확인한다.

553default:

'default' label이다. 이곳을 참조하는 branch를 역검색하고 각 진입 경로의 register, stack, lock 조건이 같은지 확인한다.

554break;

'break;'로 직선 경로를 벗어난다. 이동 대상에서 thread_ctx / RPC arg mobj / resume token에 걸린 lock, allocation, list 등록을 어디까지 되돌리는지 이어서 확인한다.

555}

현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.

556}

현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.

557(빈 줄)

}까지의 동작과 return arg->ret;에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 resume token 상태가 아래 블록의 입력으로 사용되는 경계다.

558return arg->ret;

arg->ret를 호출자에게 반환한다. caller가 이 값을 검사한 뒤 부분 초기화된 thread_ctx / RPC arg mobj / resume token를 정리하거나 다음 단계로 진행하는지 확인한다.

559}

현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.

560(빈 줄)

}까지의 동작과 uint32_t thread_rpc_cmd(uint32_t cmd, size_t num_params,에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 resume token 상태가 아래 블록의 입력으로 사용되는 경계다.

561uint32_t thread_rpc_cmd(uint32_t cmd, size_t num_params,

thread_rpc_cmd(인자 없음)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 thread_ctx / RPC arg mobj / resume token의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 resume token 항목과 대조한다.

562struct thread_param *params)

struct thread_param *params)를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 thread_ctx / RPC arg mobj / resume token를 직접 소유하는지 pointer만 빌리는지, secure-to-normal RPC boundary를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

563{

바로 위 함수·조건·초기화의 block이 열린다. 이 scope 안에서 만들어지는 지역 객체와 오류 이동 지점을 thread_ctx / RPC arg mobj / resume token의 수명에 맞춰 묶어 읽는다.

564uint32_t rpc_args[THREAD_RPC_NUM_ARGS] = { OPTEE_SMC_RETURN_RPC_CMD };

uint32_t rpc_args[THREAD_RPC_NUM_ARGS]에 { OPTEE_SMC_RETURN_RPC_CMD }를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 이후 resume secure thread 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

565void *arg = NULL;

void *arg = NULL를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 thread_ctx / RPC arg mobj / resume token를 직접 소유하는지 pointer만 빌리는지, secure-to-normal RPC boundary를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

566uint64_t carg = 0;

uint64_t carg에 0를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 이후 resume secure thread 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

567uint32_t ret = 0;

uint32_t ret에 0를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 이후 resume secure thread 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

568(빈 줄)

uint32_t ret = 0;까지의 동작과 /* The source CRYPTO_RNG_SRC_JITTER_RPC is safe to use here */에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 resume token 상태가 아래 블록의 입력으로 사용되는 경계다.

569/* The source CRYPTO_RNG_SRC_JITTER_RPC is safe to use here */

원본 주석이 'The source CRYPTO_RNG_SRC_JITTER_RPC is safe to use here'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

570plat_prng_add_jitter_entropy(CRYPTO_RNG_SRC_JITTER_RPC,

plat_prng_add_jitter_entropy(인자 없음)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 thread_ctx / RPC arg mobj / resume token의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 resume token 항목과 대조한다.

571&thread_rpc_pnum);

원본 571번 줄의 &thread_rpc_pnum);는 앞의 plat_prng_add_jitter_entropy(CRYPTO_RNG_SRC_JITTER_RPC, 결과를 받아 다음 다음 block 경계로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'RPC 중 suspend된 thread의 session/context는 유지되고 resume token은 정확히 그 thread와 요청을 식별하며 Normal World 결과는 재검증되어야 한다' 조건이 유지되는지 확인한다.

572(빈 줄)

&thread_rpc_pnum);까지의 동작과 ret = get_rpc_arg(cmd, num_params, params, &arg, &carg);에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 resume token 상태가 아래 블록의 입력으로 사용되는 경계다.

573ret = get_rpc_arg(cmd, num_params, params, &arg, &carg);

ret에 get_rpc_arg(cmd, num_params, params, &arg, &carg)를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 바로 다음 if (ret)가 이 값을 다시 읽으므로 그 전까지 완성된 값이어야 한다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

574if (ret)

ret를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'RPC 중 suspend된 thread의 session/context는 유지되고 resume token은 정확히 그 thread와 요청을 식별하며 Normal World 결과는 재검증되어야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

575return ret;

ret를 호출자에게 반환한다. caller가 이 값을 검사한 뒤 부분 초기화된 thread_ctx / RPC arg mobj / resume token를 정리하거나 다음 단계로 진행하는지 확인한다.

576(빈 줄)

return ret;까지의 동작과 reg_pair_from_64(carg, rpc_args + 1, rpc_args + 2);에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 resume token 상태가 아래 블록의 입력으로 사용되는 경계다.

577reg_pair_from_64(carg, rpc_args + 1, rpc_args + 2);

reg_pair_from_64(carg, rpc_args + 1, rpc_args + 2)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 thread_ctx / RPC arg mobj / resume token의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 resume token 항목과 대조한다.

578thread_rpc(rpc_args);

thread_rpc(rpc_args)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 thread_ctx / RPC arg mobj / resume token의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 resume token 항목과 대조한다.

579(빈 줄)

thread_rpc(rpc_args);까지의 동작과 return get_rpc_arg_res(arg, num_params, params);에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 resume token 상태가 아래 블록의 입력으로 사용되는 경계다.

580return get_rpc_arg_res(arg, num_params, params);

get_rpc_arg_res(arg, num_params, params)를 호출자에게 반환한다. caller가 이 값을 검사한 뒤 부분 초기화된 thread_ctx / RPC arg mobj / resume token를 정리하거나 다음 단계로 진행하는지 확인한다.

581}

현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.

582(빈 줄)

}까지의 동작과 /**에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 resume token 상태가 아래 블록의 입력으로 사용되는 경계다.

583/**

원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

584* Free physical memory previously allocated with thread_rpc_alloc()

원본 주석이 'Free physical memory previously allocated with thread_rpc_alloc()'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

585*

원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

586* @cookie: cookie received when allocating the buffer

원본 주석이 '@cookie: cookie received when allocating the buffer'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

587* @bt: must be the same as supplied when allocating

원본 주석이 '@bt: must be the same as supplied when allocating'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

588* @mobj: mobj that describes allocated buffer

원본 주석이 '@mobj: mobj that describes allocated buffer'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

589*

원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

590* This function also frees corresponding mobj.

원본 주석이 'This function also frees corresponding mobj.'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

591*/

원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

592static void thread_rpc_free(unsigned int bt, uint64_t cookie, struct mobj *mobj)

thread_rpc_free 함수 정의가 시작된다. 입력은 unsigned int bt, uint64_t cookie, struct mobj *mobj이며, secure-to-normal RPC boundary에서 호출된다는 전제로 반환 전까지의 상태 변화를 읽는다.

593{

594uint32_t rpc_args[THREAD_RPC_NUM_ARGS] = { OPTEE_SMC_RETURN_RPC_CMD };

595void *arg = NULL;

596uint64_t carg = 0;

597struct thread_param param = THREAD_PARAM_VALUE(IN, bt, cookie, 0);

struct thread_param param = THREAD_PARAM_VALUE(IN, bt, cookie, 0)를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 thread_ctx / RPC arg mobj / resume token를 직접 소유하는지 pointer만 빌리는지, secure-to-normal RPC boundary를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

598uint32_t ret = get_rpc_arg(OPTEE_RPC_CMD_SHM_FREE, 1, &param,

get_rpc_arg(인자 없음)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 thread_ctx / RPC arg mobj / resume token의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 resume token 항목과 대조한다.

599&arg, &carg);

원본 599번 줄의 &arg, &carg);는 앞의 uint32_t ret = get_rpc_arg(OPTEE_RPC_CMD_SHM_FREE, 1, &param, 결과를 받아 다음 다음 block 경계로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'RPC 중 suspend된 thread의 session/context는 유지되고 resume token은 정확히 그 thread와 요청을 식별하며 Normal World 결과는 재검증되어야 한다' 조건이 유지되는지 확인한다.

600(빈 줄)

&arg, &carg);까지의 동작과 mobj_put(mobj);에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 resume token 상태가 아래 블록의 입력으로 사용되는 경계다.

601mobj_put(mobj);

mobj_put(mobj)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 thread_ctx / RPC arg mobj / resume token의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 resume token 항목과 대조한다.

602(빈 줄)

mobj_put(mobj);까지의 동작과 if (!ret) {에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 resume token 상태가 아래 블록의 입력으로 사용되는 경계다.

603if (!ret) {

!ret를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'RPC 중 suspend된 thread의 session/context는 유지되고 resume token은 정확히 그 thread와 요청을 식별하며 Normal World 결과는 재검증되어야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

604reg_pair_from_64(carg, rpc_args + 1, rpc_args + 2);

605thread_rpc(rpc_args);

606}

현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.

607}

현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.

608(빈 줄)

}까지의 동작과 static struct mobj *get_rpc_alloc_res(struct optee_msg_arg *arg,에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 resume token 상태가 아래 블록의 입력으로 사용되는 경계다.

609static struct mobj *get_rpc_alloc_res(struct optee_msg_arg *arg,

get_rpc_alloc_res(인자 없음)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 thread_ctx / RPC arg mobj / resume token의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 resume token 항목과 대조한다.

610unsigned int bt, size_t size)

원본 610번 줄의 unsigned int bt, size_t size)는 앞의 static struct mobj *get_rpc_alloc_res(struct optee_msg_arg *arg, 결과를 받아 다음 {로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'RPC 중 suspend된 thread의 session/context는 유지되고 resume token은 정확히 그 thread와 요청을 식별하며 Normal World 결과는 재검증되어야 한다' 조건이 유지되는지 확인한다.

611{

612struct mobj *mobj = NULL;

struct mobj *mobj = NULL를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 thread_ctx / RPC arg mobj / resume token를 직접 소유하는지 pointer만 빌리는지, secure-to-normal RPC boundary를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

613uint64_t cookie = 0;

uint64_t cookie에 0를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 이후 resume secure thread 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

614size_t sz = 0;

size_t sz = 0를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 thread_ctx / RPC arg mobj / resume token를 직접 소유하는지 pointer만 빌리는지, secure-to-normal RPC boundary를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

615paddr_t p = 0;

paddr_t p에 0를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 주소·크기 값이면 단위와 정렬, 덧셈 overflow를 함께 검산한다. 이후 resume secure thread 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

616(빈 줄)

paddr_t p = 0;까지의 동작과 if (arg->ret || arg->num_params != 1)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 resume token 상태가 아래 블록의 입력으로 사용되는 경계다.

617if (arg->ret || arg->num_params != 1)

arg->ret || arg->num_params != 1를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'RPC 중 suspend된 thread의 session/context는 유지되고 resume token은 정확히 그 thread와 요청을 식별하며 Normal World 결과는 재검증되어야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

618goto err;

'goto err;'로 직선 경로를 벗어난다. 이동 대상에서 thread_ctx / RPC arg mobj / resume token에 걸린 lock, allocation, list 등록을 어디까지 되돌리는지 이어서 확인한다.

619(빈 줄)

goto err;까지의 동작과 if (arg->params[0].attr != OPTEE_MSG_ATTR_TYPE_TMEM_OUTPUT &&에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 resume token 상태가 아래 블록의 입력으로 사용되는 경계다.

620if (arg->params[0].attr != OPTEE_MSG_ATTR_TYPE_TMEM_OUTPUT &&

원본 620번 줄의 if (arg->params[0].attr != OPTEE_MSG_ATTR_TYPE_TMEM_OUTPUT &&는 앞의 이전 block 경계 결과를 받아 다음 arg->params[0].attr != (OPTEE_MSG_ATTR_TYPE_TMEM_OUTPUT |로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'RPC 중 suspend된 thread의 session/context는 유지되고 resume token은 정확히 그 thread와 요청을 식별하며 Normal World 결과는 재검증되어야 한다' 조건이 유지되는지 확인한다.

621arg->params[0].attr != (OPTEE_MSG_ATTR_TYPE_TMEM_OUTPUT |

원본 621번 줄의 arg->params[0].attr != (OPTEE_MSG_ATTR_TYPE_TMEM_OUTPUT |는 앞의 if (arg->params[0].attr != OPTEE_MSG_ATTR_TYPE_TMEM_OUTPUT && 결과를 받아 다음 OPTEE_MSG_ATTR_NONCONTIG))로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'RPC 중 suspend된 thread의 session/context는 유지되고 resume token은 정확히 그 thread와 요청을 식별하며 Normal World 결과는 재검증되어야 한다' 조건이 유지되는지 확인한다.

622OPTEE_MSG_ATTR_NONCONTIG))

원본 622번 줄의 OPTEE_MSG_ATTR_NONCONTIG))는 앞의 arg->params[0].attr != (OPTEE_MSG_ATTR_TYPE_TMEM_OUTPUT | 결과를 받아 다음 goto err;로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'RPC 중 suspend된 thread의 session/context는 유지되고 resume token은 정확히 그 thread와 요청을 식별하며 Normal World 결과는 재검증되어야 한다' 조건이 유지되는지 확인한다.

623goto err;

624(빈 줄)

goto err;까지의 동작과 p = arg->params[0].u.tmem.buf_ptr;에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 resume token 상태가 아래 블록의 입력으로 사용되는 경계다.

625p = arg->params[0].u.tmem.buf_ptr;

p에 arg->params[0].u.tmem.buf_ptr를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 이후 resume secure thread 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

RELATED SOURCE

함께 읽어야 하는 원본 코드

첫 코드 조각만으로 동작이 완성되지 않는 경우 호출 매크로, 객체 정의와 실제 실행 목록을 같은 페이지에 묶었다. 각 조각은 같은 기준 commit에서 가져왔다.

01. RPC가 사용할 non-secure shared payload 할당

core/arch/arm/kernel/thread_optee_smc.c 648-710줄이다.

filecore/arch/arm/kernel/thread_optee_smc.canchorstatic struct mobj *thread_rpc_alloc(size_t size

648
649/**
650 * Allocates shared memory buffer via RPC
651 *
652 * @size:	size in bytes of shared memory buffer
653 * @align:	required alignment of buffer
654 * @bt:		buffer type OPTEE_RPC_SHM_TYPE_*
655 *
656 * Returns a pointer to MOBJ for the memory on success, or NULL on failure.
657 */
658static struct mobj *thread_rpc_alloc(size_t size, size_t align, unsigned int bt)
659{
660	uint32_t rpc_args[THREAD_RPC_NUM_ARGS] = { OPTEE_SMC_RETURN_RPC_CMD };
661	void *arg = NULL;
662	uint64_t carg = 0;
663	struct thread_param param = THREAD_PARAM_VALUE(IN, bt, size, align);
664	uint32_t ret = get_rpc_arg(OPTEE_RPC_CMD_SHM_ALLOC, 1, &param,
665				   &arg, &carg);
666
667	if (ret)
668		return NULL;
669
670	reg_pair_from_64(carg, rpc_args + 1, rpc_args + 2);
671	thread_rpc(rpc_args);
672
673	return get_rpc_alloc_res(arg, bt, size);
674}
675
676struct mobj *thread_rpc_alloc_payload(size_t size)
677{
678	return thread_rpc_alloc(size, 8, OPTEE_RPC_SHM_TYPE_APPL);
679}
680
681struct mobj *thread_rpc_alloc_kernel_payload(size_t size)
682{
683	return thread_rpc_alloc(size, 8, OPTEE_RPC_SHM_TYPE_KERNEL);
684}
685
686void thread_rpc_free_kernel_payload(struct mobj *mobj)
687{
688	if (mobj)
689		thread_rpc_free(OPTEE_RPC_SHM_TYPE_KERNEL,
690				mobj_get_cookie(mobj), mobj);
691}
692
693void thread_rpc_free_payload(struct mobj *mobj)
694{
695	if (mobj)
696		thread_rpc_free(OPTEE_RPC_SHM_TYPE_APPL, mobj_get_cookie(mobj),
697				mobj);
698}
699
700struct mobj *thread_rpc_alloc_global_payload(size_t size)
701{
702	return thread_rpc_alloc(size, 8, OPTEE_RPC_SHM_TYPE_GLOBAL);
703}
704
705void thread_rpc_free_global_payload(struct mobj *mobj)
706{
707	thread_rpc_free(OPTEE_RPC_SHM_TYPE_GLOBAL, mobj_get_cookie(mobj),
708			mobj);
709}
710

648-710줄 해설

648(빈 줄)

이전 block 경계까지의 동작과 /**에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 thread_ctx suspended state 상태가 아래 블록의 입력으로 사용되는 경계다.

649/**

원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

650* Allocates shared memory buffer via RPC

원본 주석이 'Allocates shared memory buffer via RPC'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

651*

원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

652* @size: size in bytes of shared memory buffer

원본 주석이 '@size: size in bytes of shared memory buffer'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

653* @align: required alignment of buffer

원본 주석이 '@align: required alignment of buffer'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

654* @bt: buffer type OPTEE_RPC_SHM_TYPE_*

원본 주석이 '@bt: buffer type OPTEE_RPC_SHM_TYPE_'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

655*

원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

656* Returns a pointer to MOBJ for the memory on success, or NULL on failure.

원본 주석이 'Returns a pointer to MOBJ for the memory on success, or NULL on failure.'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

657*/

원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

658static struct mobj *thread_rpc_alloc(size_t size, size_t align, unsigned int bt)

thread_rpc_alloc(size_t size, size_t align, unsigned int bt)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 thread_ctx / RPC arg mobj / resume token의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 resume token 항목과 대조한다.

659{

660uint32_t rpc_args[THREAD_RPC_NUM_ARGS] = { OPTEE_SMC_RETURN_RPC_CMD };

661void *arg = NULL;

662uint64_t carg = 0;

663struct thread_param param = THREAD_PARAM_VALUE(IN, bt, size, align);

struct thread_param param = THREAD_PARAM_VALUE(IN, bt, size, align)를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 thread_ctx / RPC arg mobj / resume token를 직접 소유하는지 pointer만 빌리는지, secure-to-normal RPC boundary를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

664uint32_t ret = get_rpc_arg(OPTEE_RPC_CMD_SHM_ALLOC, 1, &param,

665&arg, &carg);

원본 665번 줄의 &arg, &carg);는 앞의 uint32_t ret = get_rpc_arg(OPTEE_RPC_CMD_SHM_ALLOC, 1, &param, 결과를 받아 다음 다음 block 경계로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'RPC 중 suspend된 thread의 session/context는 유지되고 resume token은 정확히 그 thread와 요청을 식별하며 Normal World 결과는 재검증되어야 한다' 조건이 유지되는지 확인한다.

666(빈 줄)

&arg, &carg);까지의 동작과 if (ret)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 resume token 상태가 아래 블록의 입력으로 사용되는 경계다.

667if (ret)

668return NULL;

NULL를 호출자에게 반환한다. caller가 이 값을 검사한 뒤 부분 초기화된 thread_ctx / RPC arg mobj / resume token를 정리하거나 다음 단계로 진행하는지 확인한다.

669(빈 줄)

return NULL;까지의 동작과 reg_pair_from_64(carg, rpc_args + 1, rpc_args + 2);에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 resume token 상태가 아래 블록의 입력으로 사용되는 경계다.

670reg_pair_from_64(carg, rpc_args + 1, rpc_args + 2);

671thread_rpc(rpc_args);

672(빈 줄)

thread_rpc(rpc_args);까지의 동작과 return get_rpc_alloc_res(arg, bt, size);에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 resume token 상태가 아래 블록의 입력으로 사용되는 경계다.

673return get_rpc_alloc_res(arg, bt, size);

get_rpc_alloc_res(arg, bt, size)를 호출자에게 반환한다. caller가 이 값을 검사한 뒤 부분 초기화된 thread_ctx / RPC arg mobj / resume token를 정리하거나 다음 단계로 진행하는지 확인한다.

674}

현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.

675(빈 줄)

}까지의 동작과 struct mobj *thread_rpc_alloc_payload(size_t size)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 resume token 상태가 아래 블록의 입력으로 사용되는 경계다.

676struct mobj *thread_rpc_alloc_payload(size_t size)

struct mobj *thread_rpc_alloc_payload(size_t size)를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 thread_ctx / RPC arg mobj / resume token를 직접 소유하는지 pointer만 빌리는지, secure-to-normal RPC boundary를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

677{

678return thread_rpc_alloc(size, 8, OPTEE_RPC_SHM_TYPE_APPL);

thread_rpc_alloc(size, 8, OPTEE_RPC_SHM_TYPE_APPL)를 호출자에게 반환한다. caller가 이 값을 검사한 뒤 부분 초기화된 thread_ctx / RPC arg mobj / resume token를 정리하거나 다음 단계로 진행하는지 확인한다.

679}

현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.

680(빈 줄)

}까지의 동작과 struct mobj *thread_rpc_alloc_kernel_payload(size_t size)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 resume token 상태가 아래 블록의 입력으로 사용되는 경계다.

681struct mobj *thread_rpc_alloc_kernel_payload(size_t size)

struct mobj *thread_rpc_alloc_kernel_payload(size_t size)를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 thread_ctx / RPC arg mobj / resume token를 직접 소유하는지 pointer만 빌리는지, secure-to-normal RPC boundary를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

682{

683return thread_rpc_alloc(size, 8, OPTEE_RPC_SHM_TYPE_KERNEL);

thread_rpc_alloc(size, 8, OPTEE_RPC_SHM_TYPE_KERNEL)를 호출자에게 반환한다. caller가 이 값을 검사한 뒤 부분 초기화된 thread_ctx / RPC arg mobj / resume token를 정리하거나 다음 단계로 진행하는지 확인한다.

684}

현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.

685(빈 줄)

}까지의 동작과 void thread_rpc_free_kernel_payload(struct mobj *mobj)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 resume token 상태가 아래 블록의 입력으로 사용되는 경계다.

686void thread_rpc_free_kernel_payload(struct mobj *mobj)

thread_rpc_free_kernel_payload 함수 정의가 시작된다. 입력은 struct mobj *mobj이며, secure-to-normal RPC boundary에서 호출된다는 전제로 반환 전까지의 상태 변화를 읽는다.

687{

688if (mobj)

mobj를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'RPC 중 suspend된 thread의 session/context는 유지되고 resume token은 정확히 그 thread와 요청을 식별하며 Normal World 결과는 재검증되어야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

689thread_rpc_free(OPTEE_RPC_SHM_TYPE_KERNEL,

thread_rpc_free(인자 없음)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 thread_ctx / RPC arg mobj / resume token의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 resume token 항목과 대조한다.

690mobj_get_cookie(mobj), mobj);

mobj_get_cookie(mobj), mobj)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 thread_ctx / RPC arg mobj / resume token의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 resume token 항목과 대조한다.

691}

현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.

692(빈 줄)

}까지의 동작과 void thread_rpc_free_payload(struct mobj *mobj)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 resume token 상태가 아래 블록의 입력으로 사용되는 경계다.

693void thread_rpc_free_payload(struct mobj *mobj)

thread_rpc_free_payload 함수 정의가 시작된다. 입력은 struct mobj *mobj이며, secure-to-normal RPC boundary에서 호출된다는 전제로 반환 전까지의 상태 변화를 읽는다.

694{

695if (mobj)

696thread_rpc_free(OPTEE_RPC_SHM_TYPE_APPL, mobj_get_cookie(mobj),

mobj_get_cookie(mobj)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 thread_ctx / RPC arg mobj / resume token의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 resume token 항목과 대조한다.

697mobj);

원본 697번 줄의 mobj);는 앞의 thread_rpc_free(OPTEE_RPC_SHM_TYPE_APPL, mobj_get_cookie(mobj), 결과를 받아 다음 }로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'RPC 중 suspend된 thread의 session/context는 유지되고 resume token은 정확히 그 thread와 요청을 식별하며 Normal World 결과는 재검증되어야 한다' 조건이 유지되는지 확인한다.

698}

현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.

699(빈 줄)

}까지의 동작과 struct mobj *thread_rpc_alloc_global_payload(size_t size)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 resume token 상태가 아래 블록의 입력으로 사용되는 경계다.

700struct mobj *thread_rpc_alloc_global_payload(size_t size)

struct mobj *thread_rpc_alloc_global_payload(size_t size)를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 thread_ctx / RPC arg mobj / resume token를 직접 소유하는지 pointer만 빌리는지, secure-to-normal RPC boundary를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

701{

702return thread_rpc_alloc(size, 8, OPTEE_RPC_SHM_TYPE_GLOBAL);

thread_rpc_alloc(size, 8, OPTEE_RPC_SHM_TYPE_GLOBAL)를 호출자에게 반환한다. caller가 이 값을 검사한 뒤 부분 초기화된 thread_ctx / RPC arg mobj / resume token를 정리하거나 다음 단계로 진행하는지 확인한다.

703}

현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.

704(빈 줄)

}까지의 동작과 void thread_rpc_free_global_payload(struct mobj *mobj)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 resume token 상태가 아래 블록의 입력으로 사용되는 경계다.

705void thread_rpc_free_global_payload(struct mobj *mobj)

thread_rpc_free_global_payload 함수 정의가 시작된다. 입력은 struct mobj *mobj이며, secure-to-normal RPC boundary에서 호출된다는 전제로 반환 전까지의 상태 변화를 읽는다.

706{

707thread_rpc_free(OPTEE_RPC_SHM_TYPE_GLOBAL, mobj_get_cookie(mobj),

708mobj);

원본 708번 줄의 mobj);는 앞의 thread_rpc_free(OPTEE_RPC_SHM_TYPE_GLOBAL, mobj_get_cookie(mobj), 결과를 받아 다음 }로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'RPC 중 suspend된 thread의 session/context는 유지되고 resume token은 정확히 그 thread와 요청을 식별하며 Normal World 결과는 재검증되어야 한다' 조건이 유지되는지 확인한다.

709}

현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.

710(빈 줄)

}까지의 동작과 다음 block 경계에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 resume token 상태가 아래 블록의 입력으로 사용되는 경계다.

02. RPC response의 shared argument와 parameter를 회수

core/arch/arm/kernel/thread_optee_smc.c 524-626줄이다.

filecore/arch/arm/kernel/thread_optee_smc.canchorstatic uint32_t get_rpc_arg_res

524			return TEE_ERROR_BAD_PARAMETERS;
525		}
526	}
527
528	*arg_ret = arg;
529	*carg_ret = mobj_get_cookie(thr->rpc_mobj);
530
531	return TEE_SUCCESS;
532}
533
534static uint32_t get_rpc_arg_res(struct optee_msg_arg *arg, size_t num_params,
535				struct thread_param *params)
536{
537	for (size_t n = 0; n < num_params; n++) {
538		switch (params[n].attr) {
539		case THREAD_PARAM_ATTR_VALUE_OUT:
540		case THREAD_PARAM_ATTR_VALUE_INOUT:
541			params[n].u.value.a = arg->params[n].u.value.a;
542			params[n].u.value.b = arg->params[n].u.value.b;
543			params[n].u.value.c = arg->params[n].u.value.c;
544			break;
545		case THREAD_PARAM_ATTR_MEMREF_OUT:
546		case THREAD_PARAM_ATTR_MEMREF_INOUT:
547			/*
548			 * rmem.size and tmem.size is the same type and
549			 * location.
550			 */
551			params[n].u.memref.size = arg->params[n].u.rmem.size;
552			break;
553		default:
554			break;
555		}
556	}
557
558	return arg->ret;
559}
560
561uint32_t thread_rpc_cmd(uint32_t cmd, size_t num_params,
562			struct thread_param *params)
563{
564	uint32_t rpc_args[THREAD_RPC_NUM_ARGS] = { OPTEE_SMC_RETURN_RPC_CMD };
565	void *arg = NULL;
566	uint64_t carg = 0;
567	uint32_t ret = 0;
568
569	/* The source CRYPTO_RNG_SRC_JITTER_RPC is safe to use here */
570	plat_prng_add_jitter_entropy(CRYPTO_RNG_SRC_JITTER_RPC,
571				     &thread_rpc_pnum);
572
573	ret = get_rpc_arg(cmd, num_params, params, &arg, &carg);
574	if (ret)
575		return ret;
576
577	reg_pair_from_64(carg, rpc_args + 1, rpc_args + 2);
578	thread_rpc(rpc_args);
579
580	return get_rpc_arg_res(arg, num_params, params);
581}
582
583/**
584 * Free physical memory previously allocated with thread_rpc_alloc()
585 *
586 * @cookie:	cookie received when allocating the buffer
587 * @bt:		must be the same as supplied when allocating
588 * @mobj:	mobj that describes allocated buffer
589 *
590 * This function also frees corresponding mobj.
591 */
592static void thread_rpc_free(unsigned int bt, uint64_t cookie, struct mobj *mobj)
593{
594	uint32_t rpc_args[THREAD_RPC_NUM_ARGS] = { OPTEE_SMC_RETURN_RPC_CMD };
595	void *arg = NULL;
596	uint64_t carg = 0;
597	struct thread_param param = THREAD_PARAM_VALUE(IN, bt, cookie, 0);
598	uint32_t ret = get_rpc_arg(OPTEE_RPC_CMD_SHM_FREE, 1, &param,
599				   &arg, &carg);
600
601	mobj_put(mobj);
602
603	if (!ret) {
604		reg_pair_from_64(carg, rpc_args + 1, rpc_args + 2);
605		thread_rpc(rpc_args);
606	}
607}
608
609static struct mobj *get_rpc_alloc_res(struct optee_msg_arg *arg,
610				      unsigned int bt, size_t size)
611{
612	struct mobj *mobj = NULL;
613	uint64_t cookie = 0;
614	size_t sz = 0;
615	paddr_t p = 0;
616
617	if (arg->ret || arg->num_params != 1)
618		goto err;
619
620	if (arg->params[0].attr != OPTEE_MSG_ATTR_TYPE_TMEM_OUTPUT  &&
621	    arg->params[0].attr != (OPTEE_MSG_ATTR_TYPE_TMEM_OUTPUT |
622				    OPTEE_MSG_ATTR_NONCONTIG))
623		goto err;
624
625	p = arg->params[0].u.tmem.buf_ptr;
626	sz = READ_ONCE(arg->params[0].u.tmem.size);

524-626줄 해설

524return TEE_ERROR_BAD_PARAMETERS;

TEE_ERROR_BAD_PARAMETERS를 호출자에게 반환한다. caller가 이 값을 검사한 뒤 부분 초기화된 thread_ctx / RPC arg mobj / resume token를 정리하거나 다음 단계로 진행하는지 확인한다.

525}

현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.

526}

현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.

527(빈 줄)

}까지의 동작과 *arg_ret = arg;에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 resume token 상태가 아래 블록의 입력으로 사용되는 경계다.

528*arg_ret = arg;

원본 주석이 'arg_ret = arg;'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

529*carg_ret = mobj_get_cookie(thr->rpc_mobj);

원본 주석이 'carg_ret = mobj_get_cookie(thr->rpc_mobj);'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

530(빈 줄)

*carg_ret = mobj_get_cookie(thr->rpc_mobj);까지의 동작과 return TEE_SUCCESS;에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 resume token 상태가 아래 블록의 입력으로 사용되는 경계다.

531return TEE_SUCCESS;

TEE_SUCCESS를 호출자에게 반환한다. caller가 이 값을 검사한 뒤 부분 초기화된 thread_ctx / RPC arg mobj / resume token를 정리하거나 다음 단계로 진행하는지 확인한다.

532}

현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.

533(빈 줄)

}까지의 동작과 static uint32_t get_rpc_arg_res(struct optee_msg_arg *arg, size_t num_params,에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 resume token 상태가 아래 블록의 입력으로 사용되는 경계다.

534static uint32_t get_rpc_arg_res(struct optee_msg_arg *arg, size_t num_params,

get_rpc_arg_res(인자 없음)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 thread_ctx / RPC arg mobj / resume token의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 resume token 항목과 대조한다.

535struct thread_param *params)

536{

537for (size_t n = 0; n < num_params; n++) {

538switch (params[n].attr) {

539case THREAD_PARAM_ATTR_VALUE_OUT:

540case THREAD_PARAM_ATTR_VALUE_INOUT:

541params[n].u.value.a = arg->params[n].u.value.a;

542params[n].u.value.b = arg->params[n].u.value.b;

543params[n].u.value.c = arg->params[n].u.value.c;

544break;

'break;'로 직선 경로를 벗어난다. 이동 대상에서 thread_ctx / RPC arg mobj / resume token에 걸린 lock, allocation, list 등록을 어디까지 되돌리는지 이어서 확인한다.

545case THREAD_PARAM_ATTR_MEMREF_OUT:

546case THREAD_PARAM_ATTR_MEMREF_INOUT:

547/*

원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

548* rmem.size and tmem.size is the same type and

원본 주석이 'rmem.size and tmem.size is the same type and'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

549* location.

원본 주석이 'location.'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

550*/

원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

551params[n].u.memref.size = arg->params[n].u.rmem.size;

552break;

'break;'로 직선 경로를 벗어난다. 이동 대상에서 thread_ctx / RPC arg mobj / resume token에 걸린 lock, allocation, list 등록을 어디까지 되돌리는지 이어서 확인한다.

553default:

'default' label이다. 이곳을 참조하는 branch를 역검색하고 각 진입 경로의 register, stack, lock 조건이 같은지 확인한다.

554break;

'break;'로 직선 경로를 벗어난다. 이동 대상에서 thread_ctx / RPC arg mobj / resume token에 걸린 lock, allocation, list 등록을 어디까지 되돌리는지 이어서 확인한다.

555}

현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.

556}

현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.

557(빈 줄)

}까지의 동작과 return arg->ret;에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 resume token 상태가 아래 블록의 입력으로 사용되는 경계다.

558return arg->ret;

559}

현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.

560(빈 줄)

561uint32_t thread_rpc_cmd(uint32_t cmd, size_t num_params,

562struct thread_param *params)

563{

564uint32_t rpc_args[THREAD_RPC_NUM_ARGS] = { OPTEE_SMC_RETURN_RPC_CMD };

565void *arg = NULL;

566uint64_t carg = 0;

567uint32_t ret = 0;

568(빈 줄)

569/* The source CRYPTO_RNG_SRC_JITTER_RPC is safe to use here */

원본 주석이 'The source CRYPTO_RNG_SRC_JITTER_RPC is safe to use here'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

570plat_prng_add_jitter_entropy(CRYPTO_RNG_SRC_JITTER_RPC,

571&thread_rpc_pnum);

572(빈 줄)

573ret = get_rpc_arg(cmd, num_params, params, &arg, &carg);

574if (ret)

575return ret;

576(빈 줄)

577reg_pair_from_64(carg, rpc_args + 1, rpc_args + 2);

578thread_rpc(rpc_args);

579(빈 줄)

580return get_rpc_arg_res(arg, num_params, params);

581}

현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.

582(빈 줄)

}까지의 동작과 /**에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 resume token 상태가 아래 블록의 입력으로 사용되는 경계다.

583/**

원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

584* Free physical memory previously allocated with thread_rpc_alloc()

585*

원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

586* @cookie: cookie received when allocating the buffer

원본 주석이 '@cookie: cookie received when allocating the buffer'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

587* @bt: must be the same as supplied when allocating

원본 주석이 '@bt: must be the same as supplied when allocating'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

588* @mobj: mobj that describes allocated buffer

원본 주석이 '@mobj: mobj that describes allocated buffer'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

589*

원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

590* This function also frees corresponding mobj.

원본 주석이 'This function also frees corresponding mobj.'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

591*/

원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

592static void thread_rpc_free(unsigned int bt, uint64_t cookie, struct mobj *mobj)

593{

594uint32_t rpc_args[THREAD_RPC_NUM_ARGS] = { OPTEE_SMC_RETURN_RPC_CMD };

595void *arg = NULL;

596uint64_t carg = 0;

597struct thread_param param = THREAD_PARAM_VALUE(IN, bt, cookie, 0);

598uint32_t ret = get_rpc_arg(OPTEE_RPC_CMD_SHM_FREE, 1, &param,

599&arg, &carg);

600(빈 줄)

601mobj_put(mobj);

602(빈 줄)

603if (!ret) {

604reg_pair_from_64(carg, rpc_args + 1, rpc_args + 2);

605thread_rpc(rpc_args);

606}

현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.

607}

현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.

608(빈 줄)

609static struct mobj *get_rpc_alloc_res(struct optee_msg_arg *arg,

610unsigned int bt, size_t size)

611{

612struct mobj *mobj = NULL;

613uint64_t cookie = 0;

614size_t sz = 0;

615paddr_t p = 0;

616(빈 줄)

617if (arg->ret || arg->num_params != 1)

618goto err;

619(빈 줄)

620if (arg->params[0].attr != OPTEE_MSG_ATTR_TYPE_TMEM_OUTPUT &&

621arg->params[0].attr != (OPTEE_MSG_ATTR_TYPE_TMEM_OUTPUT |

622OPTEE_MSG_ATTR_NONCONTIG))

623goto err;

624(빈 줄)

625p = arg->params[0].u.tmem.buf_ptr;

p에 arg->params[0].u.tmem.buf_ptr를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 바로 다음 sz = READ_ONCE(arg->params[0].u.tmem.size);가 이 값을 다시 읽으므로 그 전까지 완성된 값이어야 한다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

626sz = READ_ONCE(arg->params[0].u.tmem.size);

sz에 READ_ONCE(arg->params[0].u.tmem.size)를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 주소·크기 값이면 단위와 정렬, 덧셈 overflow를 함께 검산한다. 이후 resume secure thread 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

DETAILS

내부 동작을 더 깊게 읽기

진입 조건을 먼저 고정한다

secure service needs REE에서 들어온 실행은 secure-to-normal RPC boundary에 놓여 있다. 이때 interrupt, MMU/cache, stack, heap 중 무엇이 이미 준비되었는지 소스의 호출자까지 올라가 확인한다. 같은 함수라도 SPL, relocation 전후, app thread처럼 호출 문맥이 달라지면 허용되는 API와 지연 시간이 달라진다.

RPC는 secure world가 Normal World를 신뢰한다는 뜻이 아니다. 반환 buffer, command-specific result와 shared memory를 다시 검증하는 지점을 확인한다.

중심 객체의 생성과 공개를 나눈다

이 글의 중심 객체는 thread_ctx / RPC arg mobj / resume token다. 메모리를 확보한 시점, 필드를 채운 시점, 전역 list나 다른 subsystem에 공개한 시점을 구분한다. 공개 뒤 오류가 발생한다면 목록에서 제거하고 child, buffer, reference를 역순으로 정리하는지 확인한다.

빌드 산출물 관점에서는 최종 부트로더 이미지 안에 해당 symbol과 section이 실제로 포함되었는지도 map과 objdump로 검증한다.

주소, 크기와 정렬을 계산한다

부트 코드의 오류는 논리보다 주소 계산에서 먼저 드러나는 경우가 많다. source range, destination range, header가 말하는 payload size, block 또는 page 단위를 표로 적고 각 구간의 끝 주소를 직접 계산한다. 끝 주소는 start + size - 1인지 exclusive end인지 API 계약을 확인한다.

RPC 중 suspend된 thread의 session/context는 유지되고 resume token은 정확히 그 thread와 요청을 식별하며 Normal World 결과는 재검증되어야 한다.

성공 flag와 실제 완료 시점을 맞춘다

build RPC message → SMC return to Linux → tee-supplicant work 구간에서는 부분 초기화 상태가 생길 수 있다. flag, list insertion, callback 등록, storage write 완료 중 무엇이 성공의 기준인지 찾는다. hardware write나 DMA가 포함되면 함수 반환과 장치 완료가 같은 시점인지도 확인한다.

다른 CPU, interrupt handler, USB completion 또는 shell command가 상태를 관찰할 수 있다면 memory ordering과 lock 범위도 함께 읽는다.

마지막 handoff의 계약을 적는다

정상 경로는 resume secure thread에서 끝난다. 이 단계가 함수 반환인지, scheduler 전환인지, 다른 image로의 비복귀 분기인지 구분한다. 비복귀 handoff라면 cache clean/invalidate, interrupt disable, 장치 quiesce, argument register와 FDT 또는 image address가 최종 점검 항목이다.

반환하는 경로라면 caller가 오류와 부분 성공을 구분하고 다음 후보 또는 복구 경로를 선택하는지 확인한다.

IMPLEMENTATION NOTES

구현을 읽을 때 놓치기 쉬운 부분

secure service needs REE에서 resume secure thread까지 제어권이 이동하는 조건

secure thread가 filesystem, load TA, shared memory 요청을 Normal World에 맡기기 위해 RPC parameter를 만들고 suspend한 뒤 같은 thread를 resume하는 경로를 읽습니다. 이 경로는 함수 호출 목록만 외워서는 연결되지 않는다. secure service needs REE → build RPC message → SMC return to Linux → tee-supplicant work → resume secure thread 순서에서 각 단계가 읽는 입력, 새로 확정하는 상태, 다음 단계에 넘기는 값을 구분해야 한다. 특히 secure-to-normal RPC boundary에서는 이전 단계가 남긴 register와 memory attribute가 C 코드의 전제 조건이 된다.

RPC는 secure world가 Normal World를 신뢰한다는 뜻이 아니다. 반환 buffer, command-specific result와 shared memory를 다시 검증하는 지점을 확인한다. 따라서 첫 지점에서 thread_ctx / RPC arg mobj / resume token의 주소와 owner를 기록하고, 마지막 지점에서 같은 값이 그대로 유지되는지 아니면 새 객체로 교체되는지를 확인한다. 중간 함수가 성공을 반환해도 RPC 중 suspend된 thread의 session/context는 유지되고 resume token은 정확히 그 thread와 요청을 식별하며 Normal World 결과는 재검증되어야 한다.

thread_ctx suspended state와 resume token의 생성 시점과 수명

이 글에서 함께 나타나는 객체는 thread_ctx suspended state, RPC mobj, optee_msg_arg, resume token이다. 이름이 비슷해도 저장 위치와 수명은 다르다. build-time descriptor인지, boot 단계의 임시 객체인지, world switch 뒤에도 남는 runtime 객체인지 나눠야 pointer를 따라가다 다른 단계의 구조체를 같은 것으로 오해하지 않는다.

thread_ctx / RPC arg mobj / resume token을 기준으로 allocation 또는 정적 배치 위치, list/table에 공개되는 시점, 참조가 끊기는 시점을 적는다. 그 다음 source와 destination 범위, per-CPU 여부, secure/non-secure 접근 권한을 map과 runtime log로 대조한다. 이 절차를 거치면 단순한 호출 순서가 아니라 실제 소유권 이동이 보인다.

성공 로그만으로 놓치기 쉬운 실패 경계

대표적인 실패 조건은 resume token 위조: 다른 thread 재개; RPC buffer 교체: TOCTOU; supplicant timeout: secure thread 영구 점유이다. 이 문제들은 대개 fault가 발생한 함수보다 앞에서 만들어진 잘못된 주소, size, security state 또는 refcount 때문에 생긴다. 마지막 출력만 보지 말고 각 경계 직전의 상태를 한 줄씩 남겨 최초 불일치 지점을 찾는다.

재현에는 RPC 전후 thread state와 token 기록; 잘못된 RPC result/size 주입; supplicant 지연 시 thread pool 고갈 측정를 사용한다. 정상 경로와 실패 경로에서 같은 필드를 같은 위치에 출력하고, 실패가 검증 단계에서 차단되는지 아니면 다음 context까지 전파되는지 비교한다. firmware와 secure world에서는 실패 뒤의 cleanup 또는 reset 경로도 정상 경로만큼 중요하다.

DEEP ANALYSIS

레지스터에서 오류 판정까지 상세 분석

OP-TEE RPC는 secure world가 Linux 함수를 직접 호출하는 방식이 아니다. secure thread가 RPC command와 shared argument를 준비하고 SMC return code로 Normal World에 제어권을 넘기면 Linux driver와 tee-supplicant가 작업한 뒤 RETURN_FROM_RPC SMC로 같은 thread를 재개한다.

RPC 동안 secure thread stack과 session은 살아 있지만 CPU는 Normal World가 사용한다. shared RPC buffer는 NS가 수정할 수 있으므로 resume token으로 thread identity를 확인하고 command별 output length, cookie, status를 다시 검증해야 한다.

그림 5. 이 경로를 통과하는 다섯 개의 진입 계약

01RPC command

FS, RPMB, SHM alloc/free, socket 등 지원 command와 parameter schema를 만족해야 한다.

02RPC arg mobj

NS가 접근 가능한 shared memory이고 call 동안 ref가 유지돼야 한다.

03thread state

ACTIVE에서 정확히 한 번 SUSPENDED로 전환돼야 한다.

04resume token a1-a5

원래 thread와 RPC call을 식별하며 변조·재사용을 검증해야 한다.

05RPC result

command별 status와 output parameter bounds를 만족해야 한다.

각 계약은 앞 단계가 생산하고 현재 단계가 검증한 뒤 다음 소비자에게 넘기는 상태다. 한 항목이라도 확인되지 않으면 뒤 단계의 fault를 그 지점의 문제로 단정하지 않는다.

진입 레지스터와 메모리 계약

함수 첫 줄에 도달했을 때 이미 참이라고 가정하는 값과, 그 값이 틀렸을 때 영향을 받는 범위를 함께 적었다.

#	입력 상태	생산자	정상 조건	확인 이유
01	`RPC command`	secure service	FS, RPMB, SHM alloc/free, socket 등 지원 command와 parameter schema를 만족해야 한다.	Linux driver 또는 supplicant 작업을 선택한다.
02	`RPC arg mobj`	thread_rpc_alloc/cmd	NS가 접근 가능한 shared memory이고 call 동안 ref가 유지돼야 한다.	optee_msg_arg를 양쪽 world가 교환한다.
03	`thread state`	current secure thread	ACTIVE에서 정확히 한 번 SUSPENDED로 전환돼야 한다.	Normal World에 CPU를 돌려주는 동안 context owner를 보존한다.
04	`resume token a1-a5`	SMC return/driver	원래 thread와 RPC call을 식별하며 변조·재사용을 검증해야 한다.	RETURN_FROM_RPC가 재개할 slot을 찾는다.
05	`RPC result`	Linux/supplicant	command별 status와 output parameter bounds를 만족해야 한다.	secure service가 성공·오류·short buffer를 해석한다.

핵심 구조체 필드의 생산자, 소비자와 수명

구조체 이름만 나열하지 않고 어떤 코드가 값을 쓰고, 어느 코드가 처음 읽으며, 언제까지 주소와 내용이 유지되어야 하는지 구분했다.

#	객체 또는 필드	생산자	소비자	수명과 불변 조건
01	`thread_ctx suspended state`	thread_rpc	resume path	RPC 왕복 전체에서 register, stack, session과 cancel state를 보존한다.
02	`rpc_arg optee_msg_arg`	thread RPC code	Linux driver/supplicant/secure resume	NS shared memory에 있어 모든 output을 untrusted로 재검증한다.
03	`RPC allocation mobj`	thread_rpc_alloc	message and payload	free RPC 완료 또는 cleanup까지 ref와 cookie를 유지한다.
04	`resume token`	thread suspend assembly	thread_resume_from_rpc	한 suspend generation에만 유효하며 replay를 허용하면 안 된다.
05	`supplicant request`	Linux OP-TEE driver	tee-supplicant	userspace 작업 완료 또는 client death 처리까지 존재한다.
06	`secure service local state`	FS/RPMB/socket caller	RPC return continuation	NS result를 적용하기 전 원래 request bounds와 operation phase를 보존한다.

함수 내부 실행 순서

소스의 큰 분기와 side effect를 실행 순서대로 다시 펼쳤다. breakpoint는 이 목록의 경계에 두고, 다음 번호로 넘어갈 때 새로 유효해진 객체를 기록한다.

01
secure service가 Normal World 작업이 필요함을 판단하고 RPC command와 parameter 수를 정한다.
02
thread_rpc_alloc이 공유 argument buffer/mobj를 확보하고 command-specific input을 채운다.
03
현재 thread register와 continuation을 저장하고 ACTIVE state를 SUSPENDED로 전환한다.
04
RPC function ID, argument reference, resume token을 a0-a5에 넣어 TF-A를 통해 Normal World로 반환한다.
05
Linux driver가 kernel-handled RPC인지 userspace supplicant command인지 분류한다.
06
tee-supplicant가 file/RPMB/socket 등 작업을 수행하고 shared message에 result와 output을 기록한다.
07
Linux driver가 RETURN_FROM_RPC SMC와 원래 token을 전달해 secure world에 재진입한다.
08
OP-TEE가 token, thread ID, guest, SUSPENDED state를 검증하고 saved context를 ACTIVE로 복원한다.
09
command별 output bounds와 status를 재검증한 뒤 local service를 계속하고 RPC mobj/ref를 정리한다.

빌드 설정이 바꾸는 실제 코드 경로

동일한 함수 이름이라도 아래 설정에 따라 포함되는 source, 구조체 크기, 인자 의미와 failure path가 달라진다.

#	설정	바뀌는 동작	확인 방법
01	`CFG_REE_FS`	secure storage가 file RPC와 tee-supplicant를 사용한다.	FS command ID와 secure integrity verification을 구분한다.
02	`CFG_RPMB_FS`	RPMB frames를 supplicant 또는 kernel driver에 전달한다.	MAC/counter 검증이 secure world에 남는지 확인한다.
03	`CFG_CORE_DYN_SHM`	RPC argument와 payload를 dynamic registered SHM으로 할당할 수 있다.	alloc/free cookie와 mobj ref를 추적한다.
04	`CFG_NS_VIRTUALIZATION`	RPC와 resume token이 guest별로 분리된다.	a7 client ID와 supplicant routing을 확인한다.
05	`CFG_NUM_THREADS`	동시에 suspend 가능한 RPC 수를 제한한다.	supplicant 지연이 thread pool을 고갈시키는지 측정한다.

증상에서 최초 불일치 지점까지 추적하기

마지막 panic 메시지가 아니라 어디에서 멈추고 무엇을 읽어 어떤 결론을 내릴지 정리했다. 정상값과 실패값은 같은 build와 같은 위치에서 비교한다.

#	관찰 증상	중단 위치	기록할 값	판정
01	tee-supplicant 응답 뒤 thread가 resume되지 않음	`Linux return SMC와 secure resume`	token, thread state, guest ID	driver 전달 누락과 stale token 거부를 구분한다.
02	긴 FS 작업에서 전체 TEE가 멈춤	`thread pool state`	ACTIVE/SUSPENDED 수, command, latency	supplicant 지연에 의한 thread exhaustion인지 확인한다.
03	RPC output size로 secure buffer overwrite	`resume output parser`	returned size, allocated size, command schema	NS output을 원래 bounds와 다시 비교하는지 본다.
04	client 종료 뒤 RPC buffer 누수	`cancel/error cleanup`	mobj ref, supplicant request, thread state	Normal World abort 경로와 secure cleanup 연결을 찾는다.

OBJECT LIFETIME

객체와 수명

대상	만들어지는 시점	유효 범위	확인할 조건
`thread_ctx / RPC arg mobj / resume token`	build RPC message	resume secure thread 또는 오류 정리 완료까지	RPC 중 suspend된 thread의 session/context는 유지되고 resume token은 정확히 그 thread와 요청을 식별하며 Normal World 결과는 재검증되어야 한다.
입력 buffer / metadata	secure service needs REE	parse와 검증이 끝날 때까지	길이, 정렬, 소유권, 변조 가능성
등록된 list / descriptor	SMC return to Linux	subsystem 종료 또는 image handoff까지	이중 등록, dangling pointer, 오류 unwind
hardware 또는 persistent state	실제 write/probe가 완료된 뒤	reset 또는 명시적 해제·갱신까지	flush, timeout, 전원 차단, rollback
`최종 부트로더 이미지`	link/image 생성 시점	다음 stage가 새 image로 교체할 때까지	load address, entry, section과 header 일치

FAILURE PATH

실패 지점과 증상

#	조건	관찰되는 증상	먼저 볼 단계
01	resume token 위조	다른 thread 재개	build RPC message
02	RPC buffer 교체	TOCTOU	SMC return to Linux
03	supplicant timeout	secure thread 영구 점유	tee-supplicant work

로그가 끊긴 마지막 함수만 고치지 않는다. 그 함수가 받은 주소, size, flag가 만들어진 앞 단계까지 올라가고, 오류 뒤 등록 객체와 hardware 상태가 남았는지도 확인한다.

EVIDENCE

소스 밖에서 확인할 증거

소스 해석은 실제 빌드 산출물과 target 로그로 닫아야 한다. 아래 명령의 보드 이름과 toolchain prefix는 사용 중인 빌드 환경에 맞게 바꾼다.

#	목적	명령 또는 계측	판정 기준
01	빌드 산출물	`make PLATFORM=<platform> CFG_TEE_CORE_LOG_LEVEL=4`	tee.elf, tee.bin과 pageable/pager 구성이 같은 설정에서 생성됐는지 확인한다.
02	ELF 배치	`${CROSS_COMPILE64}readelf -W -lS out/arm/core/tee.elf`	secure RAM 안에서 text, data, pager, pageable 구간이 어떤 주소와 권한으로 배치되는지 확인한다.
03	심볼과 주소	`${CROSS_COMPILE64}nm -n out/arm/core/tee.elf \| grep 'uint32_t thread_rpc_cmd'`	entry, thread, TA manager 함수의 링크 주소를 원본 설명과 연결한다.
04	명령과 예외 경로	`${CROSS_COMPILE64}objdump -drS out/arm/core/tee.elf`	SMC entry, world switch, abort 복귀가 실제 register save/restore와 어떻게 이어지는지 대조한다.
05	Normal world 왕복	`xtest; dmesg \| grep -i optee`	secure console과 Linux OP-TEE driver 로그를 함께 보고 SMC, RPC, shared memory 왕복의 양쪽 증거를 맞춘다.

LAB

직접 확인할 실험

01
RPC 전후 thread state와 token 기록
build RPC message 진입 전후에 thread_ctx suspended state의 주소·크기·반환값과 timestamp를 함께 남긴다. 결과는 정상 부팅 여부로 끝내지 말고 RPC 중 suspend된 thread의 session/context는 유지되고 resume token은 정확히 그 thread와 요청을 식별하며 Normal World 결과는 재검증되어야 한다. 조건이 처음 깨지는 줄을 기록한다.
02
잘못된 RPC result/size 주입
SMC return to Linux 진입 전후에 RPC mobj의 주소·크기·반환값과 timestamp를 함께 남긴다. 결과는 정상 부팅 여부로 끝내지 말고 RPC 중 suspend된 thread의 session/context는 유지되고 resume token은 정확히 그 thread와 요청을 식별하며 Normal World 결과는 재검증되어야 한다. 조건이 처음 깨지는 줄을 기록한다.
03
supplicant 지연 시 thread pool 고갈 측정
tee-supplicant work 진입 전후에 optee_msg_arg의 주소·크기·반환값과 timestamp를 함께 남긴다. 결과는 정상 부팅 여부로 끝내지 말고 RPC 중 suspend된 thread의 session/context는 유지되고 resume token은 정확히 그 thread와 요청을 식별하며 Normal World 결과는 재검증되어야 한다. 조건이 처음 깨지는 줄을 기록한다.

PRIMARY REFERENCES

원문과 다음 글

core/arch/arm/kernel/thread_optee_smc.c4.10.0 원본 파일 OP-TEE OS source tree기준 commit 753afbbee168