bootstd와 bootflow 탐색

QUESTION

bootstd와 bootflow 탐색 단계에서 실제로 바뀌는 상태는 무엇인가?

STRUCTURE

객체와 주소가 놓이는 구조

CALL PATH

실행 흐름

STATE LEDGER

단계별 입력과 출력

각 단계의 입력과 처리 후 바뀌는 상태를 정리한 표다. 사용 중인 소스 버전에서 다른 필드를 변경한다면 그에 맞춰 표도 수정한다.

분석 범위의 전제와 비교해, 다음 단계에 잘못된 입력을 넘긴 부분부터 조사한다.

UPSTREAM SOURCE

원본 코드

아래 코드는 U-Boot v2026.07의 boot/bootflow.c에서 516-604줄을 그대로 가져온 것이다. 설명을 위해 실제 코드를 가짜 의사 코드로 바꾸지 않았다.

516	ret = bootdev_get_bootflow(dev, iter, bflow);
517
518	/* If we got a valid bootflow, return it */
519	if (!ret) {
520		log_debug("Bootdev '%s' part %d method '%s': Found bootflow\n",
521			  dev->name, iter->part, iter->method->name);
522		return 0;
523	}
524
525	/* Unless there is nothing more to try, move to the next device */
526	if (ret != BF_NO_MORE_PARTS && ret != -ENOSYS) {
527		log_debug("Bootdev '%s' part %d method '%s': Error %d\n",
528			  dev->name, iter->part, iter->method->name, ret);
529		/*
530		 * For 'all' we return all bootflows, even
531		 * those with errors
532		 */
533		if (iter->flags & BOOTFLOWIF_ALL)
534			return log_msg_ret("all", ret);
535	}
536
537	return log_msg_ret("check", ret);
538}
539
540int bootflow_scan_first(struct udevice *dev, const char *label,
541			struct bootflow_iter *iter, int flags,
542			struct bootflow *bflow)
543{
544	int ret;
545
546	if (dev || label)
547		flags |= BOOTFLOWIF_SKIP_GLOBAL;
548	bootflow_iter_init(iter, flags);
549
550	/*
551	 * Set up the ordering of bootmeths. This sets iter->doing_global and
552	 * iter->first_glob_method if we are starting with the global bootmeths
553	 */
554	ret = bootmeth_setup_iter_order(iter, !(flags & BOOTFLOWIF_SKIP_GLOBAL));
555	if (ret)
556		return log_msg_ret("obmeth", -ENODEV);
557
558	/* Find the first bootmeth (there must be at least one!) */
559	iter->method = iter->method_order[iter->cur_method];
560
561	if (!IS_ENABLED(CONFIG_BOOTMETH_GLOBAL) || !iter->doing_global) {
562		struct udevice *dev = NULL;
563		int method_flags;
564
565		ret = bootdev_setup_iter(iter, label, &dev, &method_flags);
566		if (ret)
567			return log_msg_ret("obdev", -ENODEV);
568
569		bootflow_iter_set_dev(iter, dev, method_flags);
570	}
571
572	if (IS_ENABLED(CONFIG_BOOTMETH_GLOBAL)) {
573		iter->methods_done |= BIT(iter->cur_method);
574		log_debug("methods_done now %x\n", iter->cur_method);
575	}
576	ret = bootflow_check(iter, bflow);
577	if (ret) {
578		log_debug("check - ret=%d\n", ret);
579		if (ret != BF_NO_MORE_PARTS && ret != -ENOSYS) {
580			if (iter->flags & BOOTFLOWIF_ALL)
581				return log_msg_ret("all", ret);
582		}
583		iter->err = ret;
584		ret = bootflow_scan_next(iter, bflow);
585		if (ret)
586			return log_msg_ret("get", ret);
587	}
588
589	return 0;
590}
591
592int bootflow_scan_next(struct bootflow_iter *iter, struct bootflow *bflow)
593{
594	int ret;
595
596	do {
597		ret = iter_incr(iter);
598		log_debug("iter_incr: ret=%d\n", ret);
599		if (ret == BF_NO_MORE_DEVICES)
600			return log_msg_ret("done", ret);
601
602		if (!ret) {
603			if (IS_ENABLED(CONFIG_BOOTMETH_GLOBAL)) {
604				iter->methods_done |= BIT(iter->cur_method);

READING CONTRACT

발췌 범위와 읽기 기준

원문 516-604줄에는 앞뒤 문맥이 포함됩니다. 기준 구문 int bootflow_scan_first(struct udevice *dev은 L540에 있습니다. 발췌 첫 줄을 함수 정의의 시작으로 해석하지 않습니다.

예전의 거대한 bootcmd 문자열과 달리 bootflow는 탐색 상태를 객체로 남긴다. iterator flags, label filtering, 오류의 계속/중단 기준을 확인한다.

DETAILS

내부 동작을 더 깊게 읽기

IMPLEMENTATION NOTES

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

OBJECT LIFETIME

객체와 수명

FAILURE PATH

실패 지점과 증상

로그가 끊긴 함수뿐 아니라 그 함수에 주소, 크기, 플래그를 전달한 앞 단계도 조사한다. 오류 처리 후 등록된 객체나 하드웨어 설정이 그대로 남아 있는지도 확인한다.

EVIDENCE

소스 밖에서 확인할 증거

소스에서 파악한 동작을 실제 빌드 결과와 대상 보드의 로그로 확인한다. 아래 명령의 보드 이름과 툴체인 접두사는 사용 중인 빌드 환경에 맞게 바꾼다.

LAB

직접 확인할 실험

1. 01
   bootflow scan -lb로 후보와 상태 출력

   bootdev iteration 진입 전후에 bootdev order의 주소·크기·반환값과 timestamp를 함께 남긴다.

2. 02
   boot_targets 순서를 바꿔 probe 시간 비교

   bootmeth check 진입 전후에 bootmeth registry의 주소·크기·반환값과 timestamp를 함께 남긴다.

3. 03
   파일 하나를 제거해 next 후보 이동 확인

   bootflow state 진입 전후에 bootflow iterator의 주소·크기·반환값과 timestamp를 함께 남긴다.

PRIMARY REFERENCES

원문과 다음 글