guestfs-hacking(1) | Virtualization Support | guestfs-hacking(1) |
guestfs-hacking — розширення можливостей і участь у розробці libguestfs
Цю сторінку підручника призначено для тих, хто хоче розширити можливості libguestfs власноруч.
Код libguestfs зберігається у сховищі github https://github.com/libguestfs/libguestfs
Велика частина стереотипного коду у libguestfs (RPC, прив'язки, документація) створюється автоматично. Це означає, що у звичайному клоні сховища git не буде багатьох файлів, які є у архівах з початковим кодом. Вам доведеться запустити генератор ("./autogen.sh && make -C generator"), щоб створити ці файли.
У libguestfs використовується система збирання на основі autotools, основними файлами якої є configure.ac і Makefile.am. Див. "СИСТЕМА ЗБИРАННЯ".
У підкаталозі generator міститься генератор та файли із описом програмного інтерфейсу. У підкаталозі lib міститься початковий код бібліотеки. У підкаталогах appliance та daemon зберігається початковий код, який збирає базову систему, так код, який запускає базову систему, відповідно. Інші каталоги описано у розділі "ПІДКАТАЛОГИ ПОЧАТКОВОГО КОДУ" нижче.
Окрім того факту, що усі вхідні точки програмного інтерфейсу перебувають у певному створеному коді, сама бібліотека є простою. (Фактично, навіть створений код читається так самою легко, як і звичайний код.) Деякі дії виконуються суто у бібліотеці, їхній код написано мовою C, він зберігається у підкаталозі lib. Виконання інших дій переспрямовується до фонової служби, де (після певного скерування RPC) їх реалізовано як функції мовою C у файлах підкаталогу daemon.
Настанови щодо збирання з початкового коду наведено у підручнику guestfs-building(1).
There are a lot of subdirectories in the source tree! Which ones should you concentrate on first? lib and daemon which contain the source code of the core library. generator is the code generator described above, so that is important. The Makefile.am in the root directory will tell you in which order the subdirectories get built. And then if you are looking at a particular tool (eg. customize) or language binding (eg. python), go straight to that subdirectory, but remember that if you didn't run the generator yet, then you may find files which appear to be missing.
Libguestfs використовує систему збирання GNU autotools (autoconf, automake, libtool).
Скрипт ./configure створюється на основі configure.ac і m4/guestfs-*.m4. Більшу частину вмісту скрипту configure складають дані з багатьох файлів макросів m4, поділених за розділами, наприклад, m4/guestfs-daemon.m4 призначено для обробки залежностей фонової служби (daemon).
Завданням файла Makefile.am на верхньому рівні є визначення списку підкаталогів ("SUBDIRS") у порядку їхнього збирання.
common-rules.mk включається до усіх файлів Makefile.am (верхнього рівня та підкаталогів). subdir-rules.mk включається лише до файлів Makefile.am у підкаталогах.
Цілей збирання багато. Скористайтеся цією командою, щоб побачити список:
make help
Оскільки більша частина стереотипного коду у libguestfs створюється у автоматичному режимі, розширити програмний інтерфейс libguestfs доволі просто.
Щоб додати нову дію програмного інтерфейсу, слід внести дві зміни:
Існує два різновиди дій програмного інтерфейсу. Тип залежить від того, проходить виклик до базової системи через фонову службу, чи обслуговується лише засобами бібліотеки (див. "АРХІТЕКТУРА" in guestfs-internals(1)). "guestfs_sync" in guestfs(3) є прикладом дій першого типу, оскільки синхронізація відбувається у базовій системі. "guestfs_set_trace" in guestfs(3) є прикладом дій другого типу, оскільки прапорець трасування обслуговується у дескрипторі, а усе трасування виконується на боці бібліотеки.
Більшість нових дій належить до першого типу, тому їхні записи додаються до списку "daemon_functions". У кожної функції є унікальний номер процедури, який використовується у протоколі RPC, який пов'язується із цією дією під час оприлюднення версії libguestfs і який не можна використовувати повторно. Знайдіть останній номер процедури і додайте до нього одиницю, щоб отримати ваш номер.
Дії другого типу, які пов'язано лише з бібліотекою, слід додавати до списку "non_daemon_functions". Оскільки ці функції обслуговуються бібліотекою і не поширюються механізмом RPC до фонової служби, ці функції не потребують номеру процедури; отже, для них встановлюється номер процедури "-1".
Для дій фонової служби слід реалізувати функцію "do_<назва>" у каталозі "daemon/".
Для дій бібліотеки слід реалізувати функцію "guestfs_impl_<назва>" у каталозі "lib/".
У обох випадках скористайтеся якоюсь іншою функцією як прикладом реалізації.
Після внесення цих змін скористайтеся командою "make" для збирання.
Зауважте, що вам не потрібно реалізовувати RPC, прив'язки до мов, сторінки підручника або щось інше. Усе це буде створено автоматично на основі опису OCaml.
Додавання тестів для програмного інтерфейсу
До кожного виклику програмного інтерфейсу можна не додавати тести або додавати будь-яку кількість тестів. Тести може бути додано або як частину опису програмного інтерфейсу (generator/actions_*.ml), або у деяких рідкісних випадках, додати скрипт до "tests/*/". Зауважте, що додавання скрипту до "tests/*/" уповільнює тестування, тому, якщо можна, користуйтеся першим зі способів.
Нижче описано тестове середовище, яке використовується при додавання тесту програмного інтерфейсу до actions_*.ml.
У середовищі тестування 4 блокових пристрої:
Щоб мати змогу виконувати тестування у прийнятні строки, базову систему та блокові пристрої libguestfs слід повторно використовувати у тестах. Отже, не намагайтеся тестувати "guestfs_kill_subprocess" in guestfs(3) :-x
Кожен тест запускає початковий сценарій, який вибирається за допомогою одного з виразів "Init*", описаний у generator/types.ml. Сценарій ініціалізує диски, згадані вище, у спосіб, який задокументовано у types.ml. Ви не повинні робити у своєму коді жодних припущень щодо попереднього вмісту інших дисків, які не ініціалізовано.
Ви можете додати інструкцію щодо попередніх вимог до будь-якого окремого тесту. Це динамічна перевірка, яка, якщо її не буде пройдено, призведе до пропускання тесту. Це корисно для тестування команди, яка може не працювати у всіх різновидах збірок libguestfs. Тест, для якого попередньою вимогою є "Always", запускається безумовно.
Крім того, пакувальники можуть пропускати окремі тести встановленням відповідних змінних середовища до запуску "make check".
SKIP_TEST_<CMD>_<NUM>=1
Приклад: "SKIP_TEST_COMMAND_3=1" призведе до пропускання тесту 3 у "guestfs_command" in guestfs(3).
або:
SKIP_TEST_<CMD>=1
Приклад: "SKIP_TEST_ZEROFREE=1" призводить до пропускання усіх тестів "guestfs_zerofree" in guestfs(3).
Пакувальники можуть обмежити тестування певним набором тестів, встановлюючи, наприклад, таке:
TEST_ONLY="vfs_type zerofree"
Див. tests/c-api/tests.c, щоб дізнатися більше про те, як працюють ці змінні середовища.
Діагностика нових програмних інтерфейсів
Перевірте нові можливості, перш ніж записувати їх до сховища коду.
Для перевірки нових команд ви можете скористатися guestfish.
Діагностика фонової служби є проблематичною, оскільки вона виконується у мінімалістичному середовищі. Втім, ви можете скористатися виведенням повідомлень за допомогою fprintf у фоновій службі до stderr. Повідомлення можна буде переглядати за допомогою "guestfish -v".
Усі прив'язки до мов має бути створено відповідним засобом (див. підкаталог generator).
Документації з цього питання ще не написано. Пропонуємо вам звернутися до коду наявних прив'язок, наприклад generator/ocaml.ml або generator/perl.ml.
Додавання тестів для прив'язок до мов
Прив'язки до мов мають постачатися із тестами. Раніше тестування прив'язок до мов було суто ситуативним, але тепер ми намагаємося формалізувати набір тестів, які має використовувати кожна прив'язка до мови.
У поточній версії повний набір тестів реалізовано лише для прив'язок до OCaml і Perl. Канонічним набором є набір для OCaml, тому вам слід емулювати тести саме для OCaml.
Ось схема нумерації, яка використовується у тестах:
- 000+, базові перевірки: 010 завантажити бібліотеку 020 створення 030 прапорці створення 040 створення декількох дескрипторів 050 налаштовування тестування та отримання властивостей налаштовування 060 явне закриття 065 неявне закриття (у мовах із збирачем сміття) 070 аргументи параметрів 080 версія 090 повернуті значення - 100 запуск, створення розділів та логічних томів, а також файлових систем - події 400+: 410 подія закриття 420 повідомлення журналу 430 повідомлення щодо поступу - 800+ тести на регресії (специфічні для мови) - 900+ будь-які інші нетипові тести для мови
Для заощадження часу під час виконання тестування дескриптор запускатимуть лише 100, 430, 800+, 900+.
Наш початковий код мовою C загалом відповідає деяким базовим вимогам щодо форматування коду. Наявна кодова база є повністю однорідною у цьому сенсі, але ми б хотіли, щоб увесь новий код також було форматовано подібним чином. Якщо коротко, користуйтеся пробілами, а не символами табуляції, використовуйте додаткові 2 пробіли на кожному із рівнів відступів, у інших аспектах форматування слідуйте стилю книги Кернігана та Річі.
Якщо ви користуєтеся Emacs, додайте наступний текст до одного із ваших файлів налаштувань для запуску (наприклад, ~/.emacs), щоб забезпечити належні правила встановлення відступів:
;;; In libguestfs, indent with spaces everywhere (not TABs). ;;; Exceptions: Makefile and ChangeLog modes. (add-hook 'find-file-hook '(lambda () (if (and buffer-file-name (string-match "/libguestfs\\>" (buffer-file-name)) (not (string-equal mode-name "Change Log")) (not (string-equal mode-name "Makefile"))) (setq indent-tabs-mode nil)))) ;;; Під час редагування початкового коду C у libguestfs користуйтеся цим стилем. (defun libguestfs-c-mode () "C mode with adjusted defaults for use with libguestfs." (interactive) (c-set-style "K&R") (setq c-indent-level 2) (setq c-basic-offset 2)) (add-hook 'c-mode-hook '(lambda () (if (string-match "/libguestfs\\>" (buffer-file-name)) (libguestfs-c-mode))))
Перетворити попередження на повідомлення про помилки під час розробки, щоб ці попередження не ігнорувалися:
./configure --enable-werror
Корисні цілі збирання:
Реалізовано за допомогою типової цілі automake "TESTS". Докладніше про цю ціль можна дізнатися з документації до automake.
Див. "VALGRIND" нижче.
Оскільки немає стандартизованого місця для зберігання ядра Linux з режимом користувача, вам слід встановити значення "LIBGUESTFS_HV" таким чином, щоб воно вказувало на образ ядра. Приклад:
make check-uml LIBGUESTFS_HV=~/d/linux-um/vmlinux
Як і вище, вам слід встановити значення "LIBGUESTFS_HV" так, щоб воно вказувало на ядро.
make check-with-upstream-qemu QEMUDIR=/usr/src/qemu
Пошук libvirt виконуватиметься у каталозі LIBVIRTDIR (типово, $HOME/d/libvirt), але ви можете вказати інший каталог у рядку команди. Приклад:
make check-with-upstream-libvirt LIBVIRTDIR=/usr/src/libvirt
Щоб позначити тест як повільний або такий, який виконується довго:
check-slow: $(MAKE) check TESTS="$(SLOW_TESTS)" SLOW=1
Щоб позначити тест як такий, що вимагає прав доступу користувача root:
check-root: $(MAKE) check TESTS="$(ROOT_TESTS)"
Версії встановленої libguestfs, тестування якої виконується, та версія у ієрархії початкового коду libguestfs мають збігатися.
Команди:
./autogen.sh make clean ||: make make installcheck
Коли ви віддаєте команду "make check-valgrind", відбувається пошук будь-якого Makefile.am у ієрархії коду, де є ціль "check-valgrind:", і його запуск.
Правильно написати Makefile.am і тести, щоб скористатися valgrind і паралельним тестуванням automake, не так уже і просто.
Якщо ваш тести запускаються за допомогою скриптової обгортки для командної оболонки, у обгортці слід скористатися таким кодом:
$VG virt-foo
а у Makefile.am слід вказати:
check-valgrind: make VG="@VG@" check
Втім, якщо ваші виконувані файли запускаються безпосередньо з правила "TESTS", до Makefile.am слід внести такий рядок:
LOG_COMPILER = $(VG) check-valgrind: make VG="@VG@" check
Який би з варіантів ви не реалізовували, слід перевіряти, чи ту програму ви тестуєте, шляхом уважного вивчення файлів журналу tmp/valgrind*.
Надсилайте латки до списку листування, http://www.redhat.com/mailman/listinfo/libguestfs і копію повідомлення до rjones@redhat.com.
Можете не підписуватися на список листування, якщо не хочете. Втім, для непідписаних користувачів повідомлення з'являються у списку із затримкою, потрібною на модерацію.
У коді фонової служби напис створено нетипові форматувальники printf %Q і %R, які використовуються для режиму встановлення лапок у командній оболонці.
Приклад:
asprintf (&cmd, "cat %R", path);
дасть "cat /sysroot/якийсь\ шлях\ із\ пробілами"
Зауваження: не використовуйте ці замінники, якщо передаєте параметри функціям "command{,r,v,rv}()". У параметрах цих функцій НЕ потрібно нічого міняти, оскільки вони не передаються крізь командну оболонку (а безпосередньо передаються функції exec). Втім, ймовірно, варто використовувати функцію "sysroot_path()".
У нашій бібліотеці передбачено можливість інтернаціоналізації (засобами gettext).
Втім, багато повідомлень надходять від фонової служби, і у поточній версії ми їх не перекладаємо. Однією з причин цього є те, що, загалом, у базовій системі немає файлів локалей, оскільки вони досить об'ємні. Тому для реалізації можливості перекладу нам довелося б додати ці файли і скопіювати наші файли PO до базової системи.
Діагностичні повідомлення не перекладаються, оскільки їх призначено для програмістів.
Більша частина цього розділу присвячена питанню «як ми змусили automake і ocamlopt працювати разом», оскільки самі програми OCaml зібрати легко.
У automake немає вбудованої підтримки програм OCaml, ocamlc та ocamlopt. Наш підхід полягає у обробці програм OCaml як програм C, які можуть містити такі «інші об'єкти» ("DEPENDENCIES" у термінології automake), які можуть бути об'єктами OCaml. Це працює, оскільки програми OCaml зазвичай містять файли C для природних прив'язок до бібліотек тощо.
Отже, типова програма описується як список файлів з її кодом мовою C:
virt_customize_SOURCES = ... crypt-c.c perl_edit-c.c
Для програм, які не містять явних початкових текстів мовою C ми створюємо порожній файл dummy.c і додаємо його до списку замість справжніх файлів:
virt_resize_SOURCES = dummy.c
Об'єкти OCaml, які містять більшу частину коду, потрапляють до списку як залежності automake (інші залежності також можуть потрапляти до списку):
virt_customize_DEPENDENCIES = ... customize_main.cmx
Окрім того, єдиною іншою річчю, яку нам слід зробити, є надання нетипової команди компонування. Ця команда потрібна, оскільки інакше automake не зможе зібрати команду ocamlopt, список об'єктів та бібліотеки "-cclib" у належному порядку.
virt_customize_LINK = \ $(top_builddir)/ocaml-link.sh -cclib '-lutils -lgnu' -- ...
The actual rules, which you can examine in customize/Makefile.am, are a little bit more complicated than this because they have to handle:
Ці правила тепер зберігаються у subdir-rules.mk на верхньому рівні ієрархії коду. Цей файл включається до усіх підкаталогів Makefile.am.
Automake не зможе визначити повний список початкових кодів для виконуваного файла, тому програма не зможе додати відповідні файли автоматично.
Ці цілі "make", ймовірно, не працюватимуть або не будуть корисними, якщо ви не є супровідником пакунків libguestfs.
make maintainer-commit
Ця ціль вносить усі зміни із робочого каталогу до системи керування сховищем коду із повідомленням щодо внеску "Version $(VERSION).". Вам слід спочатку оновити configure.ac, очистити ієрархію коду та виконати повторне збирання.
make maintainer-tag
Ця команда створює мітку для поточного внеску у HEAD зі значенням мітки "v$(VERSION)" і одним із таких повідомлень:
Version $(VERSION) stable Version $(VERSION) development
(Опис відмінностей між стабільним випуском і випуском, який перебуває у розробці, наведено у розділі "НУМЕРАЦІЯ ВЕРСІЙ LIBGUESTFS" in guestfs(3).)
make maintainer-check-authors
Перевірити, чи усіх авторів (записи яких можна знайти у повідомленнях щодо внесків до git) включено до файла generator/authors.ml.
make maintainer-check-extra-dist
Це правило слід запускати після "make dist" (щоб у робочому каталозі уже був архів tar). Воно порівнює вміст архіву tar із даними у git з метою переконатися, що не пропущено жодного файла із правил "EXTRA_DIST" у Makefile.am.
make maintainer-upload-website
Це правило використовується програмним забезпеченням автоматизації випусків libguestfs для копіювання сайта libguestfs до іншого сховища git до його вивантаження на вебсервер.
Тут наведено документацію щодо створення стабільних випусків. Загальні правила щодо створення стабільних випусків наведено у розділі "НУМЕРАЦІЯ ВЕРСІЙ LIBGUESTFS" in guestfs(3).
./localconfigure make distclean -k ./localconfigure make && make dist make maintainer-commit make maintainer-tag
git branch stable-1.XX git push origin stable-1.XX
У цьому розділі наведено документацію щодо внутрішніх функцій libguestfs та різноманітних допоміжних програм. Вміст цього розділу буде цікавим лише для розробників libguestfs.
Цей розділ створено автоматично на основі тих коментарів "/**" у файлах початкового коду, які форматовано для використання у форматі POD.
Ці функції не експортуються відкрито (public). Їх може бути змінено або вилучено у будь-якій новішій версії.
__INTERNAL_DOCUMENTATION__
guestfs(3), guestfs-building(1), guestfs-examples(3), guestfs-internals(1), guestfs-performance(1), guestfs-release-notes(1), guestfs-testing(1), libguestfs-test-tool(1), libguestfs-make-fixed-appliance(1), http://libguestfs.org/.
Richard W.M. Jones ("rjones at redhat dot com")
Copyright (C) 2009-2020 Red Hat Inc.
To get a list of bugs against libguestfs, use this link: https://bugzilla.redhat.com/buglist.cgi?component=libguestfs&product=Virtualization+Tools
To report a new bug against libguestfs, use this link: https://bugzilla.redhat.com/enter_bug.cgi?component=libguestfs&product=Virtualization+Tools
When reporting a bug, please supply:
2021-01-05 | libguestfs-1.44.0 |