( Andrei | 2020. 09. 25., p – 14:17 )

Layered architektura eseten valoban leteznek olyanok, hogy mondjuk a rendszer hatarain ellenorizzuk a prekondiciok megletet. Onnantol kezdve a belsobb retegek mar vedettnek szamitanak. Nem tornek landzsat egyik megkozelites felett sem. 

Ha mindenki ellenorzi a prekondiciokat, akkor a prekondiciok esetleges valtozasat az egesz stack-en vegig kell verni, es ha hibaznak, akkor inkonzisztens lesz a cucc (nyilvan ezt is lehet azert okosan csinalni, hogy ne legyen a dolog nagyon redundans).

Viszont vedd figyelembe, hogy a prekondiciok ellenorzese nem mindig konnyu. Pl. kicsit problemas nem rekurziv mutexek eseten a mutexek allapotara vonatkozo prekondicio.

Az en velemenyem az, hogy inkabb az a fontos, hogy minden esetben jol definialt legyen, hogy mik a feltetelek, amik menten mukodik a rendszer, es ezzel tisztaban legyen az, aki dolgozik vele es epit ra.