jak se na běžném distru řeší používání a distribuce zátěže mezi různě výkonnými CPU jádry - poradí si s tím nějak automaticky scheduler z linuxu, nebo si to člověk dělá "manuálně" přes taskset / cpu pinning dle vlastní úvahy?
Funguje to docela dobře. Nejprve se úlohy dávají na výkonná jádra a až dojdou, tak i na pomalá. Jak to funguje třeba v Androidu, kde jde víc o baterku než o výkon, to nevim