Padajici demoni?

[Stanislav Meduna]

On 17 Oct 1999 11:59:14 +0100, Pavel Kankovsky wrote:

: Existuje poucka, ktera rika, ze na paralelne probihajicich procesech si
: vylame zuby libovolna metodika testovani, protoze pocet moznych stavu
: systemu roste prilis rychle (v podstate exponencialne), nez aby bylo mozno
: nejakou vyznamnou cast z nich pri testovani projit a vyzkouset. A jadro OS
: je vic nez cokoli jineho o paralelnich procesech, na SMP tuplovane.

Pravda. Ale tomuto by zase velmi pomohlo vysvetlenie
zasad synchronizacie v jadre s komentovanymi prikladmi,
typickymi chybami a niektorym vzorovym driverom.
Documentation/spinlocks.txt je strasne malo.
Zvlast tie typicke chyby by sa mali doplnit
po kazdom bugu suvisiacom so synchronizaciou.

Je vela dobrych programatorov, ktori ale nemaju skusenosti
s tymito vecami (multithreading je sam o sebe dostatocne
zlozity a ked k tomu v jadre pribudnu interrupty, je to
naozaj len pre silne povahy) a zakonite do niektorych
z pasci spadnu. Pritom keby kazdy znovu nevymyslal koleso,
mohlo by tych problemov byt menej.

Mam pocit, ze dokumentacia celeho jadra je bohuzial
na urovni znesitelnej pre projekt tak desatinovej
velkosti.

Zdravi
-- 
				Stano