Jaderné noviny – 29. 3. 2018: Statistiky vývojového cyklu 4.16 a -stable

8. 4. 2018 | David Kolibáč | Jaderné noviny | 3199×

Stav vydání jádra. Radosti s max(). Citáty týdne: Dave Chinner a Linus Torvalds. Statistiky vývojového cyklu 4.16 a -stable.

Stav vydání jádra

Kernel release status. Jonathan Corbet. 28. března 2018

Současné vývojové jádro je 4.16-rc7, vydané 25. března. Může jít o posledního kandidáta na vydání v cyklu 4.16: „Zatím stále v tomto cyklu *neplánuji* rc8, protože ačkoliv je rc7 větší než obvykle, nad ničím jsem se nepozastavil se slovy ‚hmm, možná bychom tohle vydání měli pozdržet.‘ Ale uvidíme, co se bude dít v nadcházejícím týdnu – jestli přijde příští neděle a bude toho nového dost, ještě to zvážím.“

Seznam regresí pro 4.16-rc7 čítá sedm známých problémů.

Stabilní aktualizace: 4.9.89, 4.4.123 a 3.18.101 byly vydány 22. března, následovaly je 25. března 4.15.13, 4.14.30, 4.9.90, 4.4.124 a 3.18.102. Aktualizace 4.15.14, 4.14.31, 4.9.91 a 4.4.125 byly během psaní tohoto článku revidovány a vyšly 29. března.

Radosti s max()

The joy of max(). Jonathan Corbet. 28. března 2018

Na LWN nedávno vyšel článek zabývající se jaderným makrem max() a úsilím věnovaným tomu, aby se zajistilo, že se toto makro vyhodnotí na „konstantní výraz“ z pohledu překladače. Po řadě iterací se zdá, že problém byl vyřešen. Pro potěchu laskavému čtenáři předkládáme novou podobu max(), vytaženou z patche zaslaného Keesem Cookem:

#define __typecheck(x, y) \
            (!!(sizeof((typeof(x)*)1 == (typeof(y)*)1)))

#define __is_constant(x) \
    (sizeof(int) == sizeof(*(1 ? ((void*)((long)(x) * 0l)) : (int*)1)))

#define __no_side_effects(x, y) \
            (__is_constant(x) && __is_constant(y))

#define __safe_cmp(x, y) \
            (__typecheck(x, y) && __no_side_effects(x, y))

#define __cmp(x, y, op)	((x) op (y) ? (x) : (y))

#define __cmp_once(x, y, op) ({	\
            typeof(x) __x = (x);	\
            typeof(y) __y = (y);	\
            __cmp(__x, __y, op); })

#define __careful_cmp(x, y, op)			\
            __builtin_choose_expr(__safe_cmp(x, y),	\
                                  __cmp(x, y, op), __cmp_once(x, y, op))
 
#define max(x, y)	__careful_cmp(x, y, >)

Tyto definice by samozřejmě pozorném pravidelnému čtenáři měly být zřejmé. Pokud ale někdo potřebuje nápovědu, zpráva provázející patch obsahuje několik vysvětlujících komentářů.

Citáty týdne

Quotes of the week. Jonathan Corbet. 28. března 2018

Souborové systémy nejsou jako ovladače nebo správa paměti – poškození souborového systému nebo chybu vedoucí ke ztrátě dat nemůžete opravit restartem systému. Uživatele jejich data a obrázky kočiček zajímají o poznání více než to, jak často musejí restartovat OS na pofidérním hardwaru, který si koupili na eBay, aby začal fungovat.

—Dave Chinner

Hlásek v mojí hlavě říká: „To si žádá komentář.“

Ale silnější hlas nesouhlasí.

Je to umění a možná je nejlepší dokumentací jenom ten název. Dělá to to, co to říká, že dělá.

Umění by se nemělo vysvětlovat. Mělo by se ocenit.

—Linus Torvalds

Statistiky vývojového cyklu 4.16 a -stable

Some 4.16 and -stable development statistics. Jonathan Corbet. 26. března 2018

Vývojový cyklus 4.16 se rozvinul jako poměrně přímočará záležitost s minimem překážek v podobě známých problémů a dospěl k vydání po devíti týdnech práce. Ve srovnání s cyklem 4.15 vypadá vskutku klidně. I tak se toho ale mnoho událo. Čtěte dále, kdo do tohoto vydání přispěl – s krátkou odbočkou k aktualizacím stabilních jader.

V době psaní tohoto článku do vývojového cyklu 4.16 přispělo 1 774 vývojářů 13 439 neslučovacími sadami změn. Ty jádro zvětšily celkem o zhruba 195 tisíc řádek. V kontextu nedávné minulosti je 4.16 poměrně klidný cyklus, rozhodně klidnější než 4.15 s 14 866 sadami změn. Přesto jde o docela dost práce, kterou bylo potřeba během devíti týdnů zařadit.

Nejaktivnější vývojáři cyklu 4.16 byli:

Nejaktivnější vývojáři cyklu 4.16

Podle počtu sad změn Arnd Bergmann 184 1,4 % Chris Wilson 184 1,4 % Colin Ian King 163 1,2 % Mauro Carvalho Chehab 131 1,0 % Jakub Kicinski 122 0,9 % Russell King 114 0,8 % Gilad Ben-Yossef 114 0,8 % Hans de Goede 108 0,8 % Al Viro 105 0,8 % Markus Elfring 105 0,8 % Christoph Hellwig 100 0,7 % Eric Biggers 96 0,7 % Christian König 94 0,7 % Greg Kroah-Hartman 92 0,7 % Ville Syrjälä 84 0,6 % Masahiro Jamada 83 0,6 % Andy Shevchenko 82 0,6 % Geert Uytterhoeven 80 0,6 % Darrick J. Wong 78 0,6 % Thierry Reding 77 0,6 %

Podle počtu změněných řádek Feifei Xu 68942 10,0 % Andi Kleen 18156 2,6 % Tomer Tayar 13758 2,0 % Felix Fietkau 10056 1,5 % Mauro Carvalho Chehab 8674 1,3 % Michael Chan 7021 1,0 % Gilad Ben-Yossef 7010 1,0 % Hans de Goede 6849 1,0 % Linus Walleij 6821 1,0 % Greg Kroah-Hartman 6772 1,0 % Thierry Reding 6761 1,0 % Tony Lindgren 6533 0,9 % Tero Kristo 6271 0,9 % Jakub Kicinski 6261 0,9 % Masahiro Jamada 6000 0,9 % Sean Young 5148 0,7 % Russell King 4988 0,7 % Vinod Koul 4878 0,7 % Miquel Raynal 4751 0,7 % Frederic Barrat 4717 0,7 %

Arnd Bergmann přidával vylepšení napříč stromem: opravy problému roku 2038, varování překladače a další. Chris Wilson dal dohromady řadu změn grafického ovladače Intel i915, Colin Ian King přispěl mnoha úklidovými patchi, Mauro Carvalho Chehab pracoval především v multimediálním subsystému (jehož je správcem) a Jakub Kicinski provedl rozsáhlé práce v subsystémech sítí a BPF.

Ve sloupci „podle změněných řádek“ dominoval Feifei Xu, který pročistil některé hlavičkové soubory grafického ovladače AMD, přičemž odstranil 58 tisíc řádek kódu. Andi Kleen aktualizoval data událostí perf několika procesorů Intel, Tomer Tayer učinil řadu změn v ovladačích QLogic Ethernet a SCSI a Felix Fietkau pracoval hlavně na novém síťovém ovladači mt76.

Práce na vydání 4.16 podporovalo 230 zaměstnavatelů, které se podařilo identifikovat, což je poslední dobou celkem běžný počet. Tentokrát byly nejaktivnější firmy:

Nejaktivnější zaměstnavatelé cyklu 4.16

Podle počtu sad změn Intel 1424 10,6 % Red Hat 971 7,2 % (neznámý) 962 7,2 % (žádný) 895 6,7 % AMD 677 5,0 % IBM 566 4,2 % Linaro 524 3,9 % Renesas Electronics 373 2,8 % Mellanox 366 2,7 % Google 365 2,7 % SUSE 337 2,5 % (konzultanti) 333 2,5 % ARM 328 2,4 % Oracle 320 2,4 % Huawei Technologies 295 2,2 % Samsung 272 2,0 % Texas Instruments 233 1,7 % Broadcom 201 1,5 % Netronome Systems 192 1,4 % Canonical 185 1,4 %

Podle počtu změněných řádek AMD 97644 14,2 % Intel 73566 10,7 % (neznámý) 33700 4,9 % Red Hat 33027 4,8 % (žádný) 31155 4,5 % IBM 26329 3,8 % Linaro 25245 3,7 % (konzultanti) 20772 3,0 % Cavium 18173 2,6 % Samsung 16587 2,4 % ARM 16368 2,4 % Broadcom 13868 2,0 % Texas Instruments 13597 2,0 % Code Aurora Forum 13437 2,0 % Oracle 13335 1,9 % Bootlin 13038 1,9 % Mellanox 12999 1,9 % Google 12281 1,8 % Huawei Technologies 11781 1,7 % ST Microelectronics 9672 1,4 %

Jako obvykle je tu překvapení pomálu. Ačkoliv práci na jádře Linux podporuje mnoho firem, seznam firem, které přispívají nejvíc, se mezi cykly v podstatě nemění.

Jak si můžeme všimnout výše, cyklus 4.16 byl vůbec skoupý na překvapení. Můžeme to chápat jako návrat k normálu po divočejším cyklu 4.15, který potkala odpověď na zranitelnosti Meltdown a Spectre. V této fázi už je většina práce věnované těmto problémům hotova, takže jaderná komunita se vrátila k úsilí vedoucímu k běžným vydáním.

Statistiky stabilních jader

V poslední době došlo na mnoho poměrně velkých aktualizací stabilních jader. Jeví se, že vzrostlo tempo, s jakým se opravy dostávají do stabilních stromů. Zajímalo nás, jestli je toto zdání správné, či nikoliv – výsledky louskání čísel z repozitáře stabilních jader na kernel.org, kde se nachází historie většiny stabilních vydání jádra, vypadají následovně:

Stabilní aktualizace jader od vydání 3.0

V těchto grafech vyniká několik věcí. V době jader 3.x se hned několika vydáním dostalo prodloužené údržby, často od různých distributorů, kteří jako jediní dodávali právě příslušná jádra. Za posledních pár let se tento vzorec ustálil na jednom vydání jádra ročně. Zdá se, že politika určování jader s dlouhodobou podporou předem a nabádání distributorů, aby vycházeli právě z těchto jader, se vyplácí.

Vypadá to, že počet sad změn přidaných do stabilních jader časem narostl. Jádro 4.15 už dostalo téměř 1 100 sad změn, a to zatím uplynulo jen pár měsíců. Jádro 4.14, které má dlouhodobou podporu, od svého vydání 12. listopadu dostalo bezmála 2 900 oprav. Některá čísla příslušející starším vydáním jsou také působivá: jádro 4.9 dostalo 6 600 oprav, zatímco jádro 3.2 jich dostalo skoro 8 800. To je hodně změn, které míří do „stabilních“ jader.

Jednou ze zajímavých příčin všech těch oprav je intenzivnější snaha určit opravy, které by se do stabilních stromů dostat měly, i když je tak nezamýšleli ani vývojáři, kteří je vyprodukovali, ani správci, kteří je začlenili. Zahrnuje to zčásti automatický nástroj, který Greg Kroah-Hartman popsal takto:

Vážně, je to skoro magie. Sasha [Levin] používá takový nástroj, který pomocí „strojového učení“ porovnává patche, které jsme ve stabilních jádrech nepoužili, s těmi, které jsme tam aplikovali, a zkouší najít ty, které jsme pro stabilní strom zapomněli označit. Ne všechny subsystémy stabilní patche označují, takže tohle je pokus pochytat opravy, které by backportovány být měly, ale nejsou, protože je tak vývojář/správce zapomněl označit, nebo protože takové patche neoznačuje vůbec nikdy.

Pokud by někoho zajímalo, proč se musí prohrabávat ohromným množstvím zpráv „AUTOSEL“ v konferenci linux-kernel, tohle je ten důvod. Takový provoz v e-mailové konferenci může otravovat těch několik z nás, kdo stále ještě sledujeme linux-kernel, ale najde se tak řada oprav, které se pak dostanou do jader až tak starých jako 3.2 a jsou tím pádem dostupné uživatelům. Nicméně se sluší dodat, že někteří vývojáři nemají zrovna dobrý pocit z toho, kolik těch backportů je.

Stabilní řadě 4.4 se do doby psaní tohoto článku dostalo 124 vydání. Odkud se vzalo příslušných 7 575 oprav, si můžete prohlédnout v tomto přehledu:

Původci patchů ve 4.4-stable

Vývojáři Arnd Bergmann 202 2,7 % Takaši Iwai 167 2,2 % Greg Kroah-Hartman 163 2,2 % Johan Hovold 144 1,9 % Eric Dumazet 125 1,7 % Alex Deucher 76 1,0 % Dan Carpenter 73 1,0 % Al Viro 70 0,9 % Thomas Gleixner 59 0,8 % Eric Biggers 56 0,7 % James Hogan 54 0,7 % Andy Lutomirski 49 0,7 % Herbert Xu 42 0,6 % Nicholas Bellinger 42 0,6 % Florian Westphal 41 0,5 % Steven Rostedt 39 0,5 % Jan Kára 38 0,5 % Alan Stern 37 0,5 % Tejun Heo 36 0,5 % Trond Myklebust 35 0,5 %

Zaměstnavatelé Red Hat 788 10,5 % (žádný) 608 8,1 % Intel 557 7,4 % Google 504 6,7 % SUSE 478 6,4 % (neznámý) 461 6,2 % Linaro 354 4,7 % IBM 317 4,2 % (konzultanti) 217 2,9 % Oracle 205 2,7 % Linux Foundation 197 2,6 % AMD 166 2,2 % ARM 141 1,9 % Imagination Technologies 135 1,8 % Mellanox 101 1,4 % Canonical 100 1,3 % Samsung 91 1,2 % Facebook 85 1,1 % Broadcom 76 1,0 % Linutronix 74 1,0 %

Ze všeho toho ruchu ve stabilních stromech je zřejmé, že vývoj vydání nekončí ve chvíli, kdy ho Linus Torvalds prohlásí za hotové a začne se věnovat dalšímu. Když se vydání jádra dostane k uživatelům, nejspíš už v sobě má tisíce dodatečných oprav. Zdá se, že snaha komunity, aby dodavatelé využívali stabilní jádra s dlouhodobou podporou, se vyplácí, takže se více oprav skutečně dostane k uživatelům, kteří je potřebují, a to je jedině dobře.

       

Komentáře