Bootchooser의 A/B 시도 횟수와 우선순위

QUESTION

Bootchooser의 A/B 시도 횟수와 우선순위 단계에서 실제로 바뀌는 상태는 무엇인가?

STRUCTURE

객체와 주소가 놓이는 구조

CALL PATH

실행 흐름

STATE LEDGER

단계별 입력과 출력

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

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

VISUAL WALKTHROUGH

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

아래 그림은 주소, 객체를 사용하는 기간, 제어권을 넘기는 시점을 중심으로 정리했다. 실제 주소와 크기는 사용 중인 보드의 bdinfo, 맵 파일과 링커 심벌로 확인한다.

UPSTREAM SOURCE

원본 코드

아래 코드는 Barebox v2026.06.1의 common/bootchooser.c에서 326-414줄을 그대로 가져온 것이다. 설명을 위해 실제 코드를 가짜 의사 코드로 바꾸지 않았다.

326/**
327 * bootchooser_reset_priorities - reset priorities of targets
328 *
329 * Reset the priorities counter of all targets to their default
330 * values.
331 */
332static void bootchooser_reset_priorities(struct bootchooser *bc)
333{
334	struct bootchooser_target *target;
335
336	bootchooser_for_each_target(bc, target)
337		bootchooser_target_set_priority(target, -1);
338}
339
340static struct bootchooser *bootchooser;
341
342/**
343 * bootchooser_get - get a reference to the bootchooser
344 *
345 * When no bootchooser is initialized this function allocates the bootchooser
346 * and initializes it with the different globalvars and state variables. The
347 * bootchooser is returned. Subsequent calls will return a reference to the same
348 * bootchooser.
349 */
350struct bootchooser *bootchooser_get(void)
351{
352	struct bootchooser *bc;
353	struct bootchooser_target *target;
354	char *targets, *str, *freep = NULL, *delim;
355	int ret, id = 1;
356	uint32_t last_chosen;
357	static int attempts_resetted;
358	uint32_t locked;
359
360	if (bootchooser) {
361		bootchooser->refs++;
362		return bootchooser;
363	}
364
365	bc = xzalloc(sizeof(*bc));
366
367	if (*state_prefix) {
368		if (IS_ENABLED(CONFIG_STATE)) {
369			char *state_devname;
370
371			delim = strchr(state_prefix, '.');
372			if (delim)
373				state_devname = xstrndup(state_prefix, delim - state_prefix);
374			else
375				state_devname = xstrdup(state_prefix);
376			bc->state_prefix = xstrdup(state_prefix);
377			bc->state = state_by_name(state_devname);
378			if (!bc->state) {
379				pr_err("Cannot get state '%s'\n",
380				       state_devname);
381				free(state_devname);
382				ret = -ENODEV;
383				goto err;
384			}
385			free(state_devname);
386		} else {
387			pr_err("barebox-state backend selected (nv.bootchooser.state_prefix=%s) but CONFIG_STATE is disabled\n",
388			       state_prefix);
389
390			ret = -ENODEV;
391			goto err;
392		}
393	} else {
394		bc->state_prefix = xstrdup("nv.bootchooser");
395
396		/* NV is available as a fallback, but shouldn't be used in
397		 * production, because it's not power-fail safe.
398		 *
399		 * Thus warn the user about their configuration.
400		 */
401		pr_warn("using non-redundant NV instead of barebox-state\n");
402	}
403
404	/* this is an optional value */
405	bc->attempts_locked = attempts_locked;
406	ret = getenv_u32(bc->state_prefix, "attempts_locked", &locked);
407	if (!ret && locked)
408		bc->attempts_locked = true;
409
410	if (bc->attempts_locked)
411		pr_debug("remaining attempt counter is locked\n");
412
413	INIT_LIST_HEAD(&bc->targets);
414

READING CONTRACT

발췌 범위와 읽기 기준

원문 326-414줄에는 앞뒤 문맥이 포함됩니다. 기준 구문 struct bootchooser *bootchooser_get(void)은 L350에 있습니다. 발췌 첫 줄을 함수 정의의 시작으로 해석하지 않습니다.

선택 알고리즘과 영속 저장 시점을 함께 봐야 reset loop를 이해할 수 있다. 성공 판정 주체가 userspace인지 bootloader인지도 제품 정책으로 분리한다.

RELATED SOURCE

함께 읽어야 하는 원본 코드

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

645 * bootchooser_get_target - get the target that shall be booted next
646 * @bc:		The bootchooser
647 *
648 * This is the heart of the bootchooser. This function selects the next
649 * target to boot and returns it. The remaining_attempts counter of the
650 * selected target is decreased and the bootchooser state is saved to the
651 * backend.
652 *
653 * Return: The next target
654 */
655static struct bootchooser_target *bootchooser_get_target(struct bootchooser *bc)
656{
657	struct bootchooser_target *target;
658
659	list_for_each_entry(target, &bc->targets, list) {
660		if (bootchooser_target_ok(target, NULL))
661			goto found;
662	}
663
664	pr_err("No valid targets found:\n");
665	list_for_each_entry(target, &bc->targets, list)
666		pr_target(target);
667
668	return ERR_PTR(-ENOENT);
669
670found:
671	if (!bc->attempts_locked) {
672		target->remaining_attempts--;
673		if (bc->verbose)
674			pr_info("name=%s remaining_attempts %d\n", target->name,
675				target->remaining_attempts);
676	} else {
677		pr_info("Attempts are locked, not decreasing remaining_attempts\n");
678	}
679
680	if (bc->verbose)
681		pr_info("selected target '%s', boot '%s'\n", target->name, target->boot);
682
683	bc->last_chosen = target;
684
685	bootchooser_save(bc);
686
687	return target;
688}
689
690/**
691 * bootchooser_target_name - get the name of a target
692 * @target:	The target
693 *
694 * Given a bootchooser target this function returns its name.
695 *
696 * Return: The name of the target
697 */
698const char *bootchooser_target_name(struct bootchooser_target *target)
699{
700	return target->name;
701}
702
703/**
704 * bootchooser_target_by_name - get a target from name
705 * @bc:		The bootchooser
706 * @name:	The name of the target to retrieve
707 *
708 * Given a name this function returns the corresponding target.
709 *
710 * Return: The target if found, NULL otherwise
711 */
712struct bootchooser_target *bootchooser_target_by_name(struct bootchooser *bc,
713						      const char *name)
714{
715	struct bootchooser_target *target;
716
717	bootchooser_for_each_target(bc, target)
718		if (!strcmp(target->name, name))
719			return target;
720	return NULL;
721}
722
723/**
724 * bootchooser_target_set_attempts - set remaining attempts of a target
725 * @target:	The target to change
726 * @attempts:	The number of attempts
727 *
728 * This sets the number of remaining attempts for a bootchooser target.
729 * If @attempts is < 0 then the remaining attempts is reset to the default
730 * value.
731 *
732 * Return: 0 for success, negative error code otherwise
733 */
734int bootchooser_target_set_attempts(struct bootchooser_target *target, int attempts)
735{
736	if (attempts >= 0)
737		target->remaining_attempts = attempts;

DETAILS

내부 동작을 더 깊게 읽기

IMPLEMENTATION NOTES

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

OBJECT LIFETIME

객체와 수명

FAILURE PATH

실패 지점과 증상

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

EVIDENCE

소스 밖에서 확인할 증거

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

LAB

직접 확인할 실험

1. 01
   A/B priority와 attempts 조합 표 작성

   load targets 진입 전후에 bootchooser의 주소·크기·반환값과 timestamp를 함께 남긴다.

2. 02
   kernel 진입 직전 reset을 반복해 감소 확인

   filter attempts 진입 전후에 target array의 주소·크기·반환값과 timestamp를 함께 남긴다.

3. 03
   모든 attempts 0에서 fallback 명령 확인

   choose priority 진입 전후에 priority/attempts의 주소·크기·반환값과 timestamp를 함께 남긴다.

PRIMARY REFERENCES

원문과 다음 글