BBU update handler와 self-update

QUESTION

BBU update handler와 self-update 단계에서 실제로 바뀌는 상태는 무엇인가?

STRUCTURE

객체와 주소가 놓이는 구조

CALL PATH

실행 흐름

STATE LEDGER

단계별 입력과 출력

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

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

VISUAL WALKTHROUGH

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

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

UPSTREAM SOURCE

원본 코드

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

290}
291EXPORT_SYMBOL(bbu_handlers_available);
292
293/*
294 * print a list of all registered update handlers
295 */
296void bbu_handlers_list(void)
297{
298	struct bbu_handler *handler;
299
300	if (list_empty(&bbu_image_handlers))
301		printf("(none)\n");
302
303	list_for_each_entry(handler, &bbu_image_handlers, list)
304		printf("%s%-11s -> %-10s\n",
305				handler->flags & BBU_HANDLER_FLAG_DEFAULT ?
306				"* " : "  ",
307				handler->name,
308				handler->devicefile);
309}
310
311/*
312 * register a new update handler
313 */
314int bbu_register_handler(struct bbu_handler *handler)
315{
316	if (bbu_find_handler_by_name(handler->name))
317		return -EBUSY;
318
319	if (handler->flags & BBU_HANDLER_FLAG_DEFAULT &&
320	    bbu_find_handler_by_name(NULL))
321		return -EBUSY;
322
323	list_add_tail(&handler->list, &bbu_image_handlers);
324
325	return 0;
326}
327
328struct bbu_std {
329	struct bbu_handler handler;
330	enum filetype filetype;
331};
332
333int bbu_mmcboot_handler(struct bbu_handler *handler, struct bbu_data *data,
334			int (*chained_handler)(struct bbu_handler *, struct bbu_data *))
335{
336	struct bbu_data _data = *data;
337	int ret;
338	char *devicefile = NULL, *bootpartvar = NULL, *bootackvar = NULL;
339	const char *bootpart;
340	const char *devname = devpath_to_name(data->devicefile);
341
342	ret = device_detect_by_name(devname);
343	if (ret) {
344		pr_err("Couldn't detect device '%s'\n", devname);
345		return ret;
346	}
347
348	ret = asprintf(&bootpartvar, "%s.boot", devname);
349	if (ret < 0)
350		return ret;
351
352	bootpart = getenv(bootpartvar);
353	if (!bootpart) {
354		ret = -ENOENT;
355		goto out;
356	}
357
358	if (!strcmp(bootpart, "boot0")) {
359		bootpart = "boot1";
360	} else {
361		bootpart = "boot0";
362	}
363
364	ret = asprintf(&devicefile, "/dev/%s.%s", devname, bootpart);
365	if (ret < 0)
366		goto out;
367
368	_data.devicefile = devicefile;
369
370	ret = chained_handler(handler, &_data);
371	if (ret < 0)
372		goto out;
373
374	if (handler->flags & BBU_HANDLER_FLAG_MMC_BOOT_ACK) {
375		ret = asprintf(&bootackvar, "%s.boot_ack", devname);
376		if (ret < 0)
377			goto out;
378

READING CONTRACT

발췌 범위와 읽기 기준

원문 290-378줄에는 앞뒤 문맥이 포함됩니다. 기준 구문 int bbu_register_handler(struct bbu_handler *handler)은 L314에 있습니다. 발췌 첫 줄을 함수 정의의 시작으로 해석하지 않습니다.

generic BBU와 SoC/board handler의 책임을 나눈다. force flag가 건너뛰는 검사, erase granularity와 redundant boot copy 정책을 확인한다.

RELATED SOURCE

함께 읽어야 하는 원본 코드

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

244	ret = imd_verify_crc32((void *)data->image, data->len);
245	if (ret == -EILSEQ && !(data->flags & BBU_FLAG_FORCE))
246		return ret;
247
248	return 0;
249}
250
251/*
252 * do a barebox update with data from *data
253 */
254int barebox_update(struct bbu_data *data, struct bbu_handler *handler)
255{
256	int ret;
257
258	if (!data->image && !data->imagefile &&
259	    !(handler->flags & BBU_HANDLER_CAN_REFRESH)) {
260		pr_err("No Image file given\n");
261		return -EINVAL;
262	}
263
264	if (!data->handler_name)
265		data->handler_name = handler->name;
266
267	if (!data->devicefile)
268		data->devicefile = handler->devicefile;
269
270	ret = bbu_check_metadata(data);
271	if (ret)
272		return ret;
273
274	ret = handler->handler(handler, data);
275	if (ret) {
276		printf("update %s\n", (ret == -EINTR) ? "aborted" : "failed");
277		return ret;
278	}
279
280	printf("update succeeded\n");
281	return 0;
282}
283
284/*
285 * report whether any update handlers have been registered so far
286 */
287bool bbu_handlers_available(void)
288{
289	return !list_empty(&bbu_image_handlers);
290}
291EXPORT_SYMBOL(bbu_handlers_available);
292
293/*
294 * print a list of all registered update handlers
295 */
296void bbu_handlers_list(void)
297{
298	struct bbu_handler *handler;
299
300	if (list_empty(&bbu_image_handlers))
301		printf("(none)\n");
302
303	list_for_each_entry(handler, &bbu_image_handlers, list)
304		printf("%s%-11s -> %-10s\n",
305				handler->flags & BBU_HANDLER_FLAG_DEFAULT ?
306				"* " : "  ",
307				handler->name,
308				handler->devicefile);
309}
310
311/*
312 * register a new update handler
313 */
314int bbu_register_handler(struct bbu_handler *handler)
315{
316	if (bbu_find_handler_by_name(handler->name))
317		return -EBUSY;
318
319	if (handler->flags & BBU_HANDLER_FLAG_DEFAULT &&
320	    bbu_find_handler_by_name(NULL))
321		return -EBUSY;
322
323	list_add_tail(&handler->list, &bbu_image_handlers);
324
325	return 0;
326}
327
328struct bbu_std {

DETAILS

내부 동작을 더 깊게 읽기

IMPLEMENTATION NOTES

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

OBJECT LIFETIME

객체와 수명

FAILURE PATH

실패 지점과 증상

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

EVIDENCE

소스 밖에서 확인할 증거

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

LAB

직접 확인할 실험

1. 01
   barebox-update -l로 handler 목록 확인

   register handler 진입 전후에 bbu_handler의 주소·크기·반환값과 timestamp를 함께 남긴다.

2. 02
   dry-run 또는 작은 test cdev로 offset 검증

   barebox-update 진입 전후에 input image의 주소·크기·반환값과 timestamp를 함께 남긴다.

3. 03
   write 중 reset을 주입해 redundant copy 부팅 확인

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

PRIMARY REFERENCES

원문과 다음 글