Jaderné noviny – 30. 1. 2014: Méně bezpečnostních chyb s Intel MPX (diskuse)

[_]

Tohle http://thread.gmane.org/gmane.linux.kernel.mm/112554/focus=81834 mě teda neskutečně mrdalo a mrdá, určitě to vyzkoušim (ještě vedle změny plánovače z cfq na deadline).

Dokonce když jsem aktualizoval DOGE klienta čistě v tmpfs, tak se to celý zasekávalo. Nechápu to, nechci chápat.

[_]

Typo? "Hardware na základě instrukcí od hardwaru"

[Marián Kyral]

Díky za článek. A co je zač ten kompilátor HCC?

[Drom]

Počkat, to je překlep? Já myslel, že to fakt nějakej mě neznámej překladač je... :)

[Michal Kubeček]

Ad Tejun Heo: "I've been experiencing this occassionally" znamená, že občas naráží na problém popsaný v předcházejícím odstavci; zbytek věty je pak důsledek (a ano, chybí mu přísudek).

[Luboš Doležel (Doli)]

Chyby opraveny. Klátí mě teď už několik dnů střevní chřipka, tak mi to nejde nejlíp :-/

[Drom]

A človek by řekl, že to půjde ven samo jak divý... Každopádně díky za další díl i za ztížených podmínek :)

[Bedňa]

To chce slivku s čajom. Pozri ešte na toto "je z vašeho vlastního stroje s vaším vlastním jádram"

[autobus 380]

To chce žrat a žrat... Dokud se to nezarazí! To je vyzkoušený!

[Michal Kubeček]

Mimochodem, druhá část přehledu 3.14 merge window se někam ztratila nebo bude příště?

[Luboš Doležel (Doli)]

Bude příště.

[deda.jabko]

S tim MPX pujdou jeste delat zajimave veci, skoda, ze jako obrana proti buffer overflow to prichazi s krizkem po funuse. ASLR a nespustitelny zasobnik dnes tuto funkci zvladaji docela slusne...

[aa]

Ja som si hned spomenul na segmentaciu. Nie je to v podstate ona s tym, ze kazda premenna je novy segment?

[kralyk z abclinuxu]

S tim MPX pujdou jeste delat zajimave veci

+1, mohly by toho využívat překladače / VM / interpretery vyšších jazyků, kde se bounds checking provádí vždy. Nedělá tohle třeba python? JS? Případně další.

[Lukáš Chmela]

Dovedl bych si sice pro MPX představit i nějaké užitečné aplikace, ale nebylo by zrovna v kontextu GCC a předem kompilovaného kódu lepší věnovat úsilí nějakým rozumným algoritmům na statickou analýzu?

[Petr Ježek]

Bylo by, jen kdyby to byl všeobecný sladěný zájem. Trochu mám obavu, že o univerzální optimum vývoje takový zájem není. Mimochodem, jakou algoritmizovanou statickou analýzu máte na mysli? On je problém takové algoritmy nakódovat?