nicht angemeldet
Moin,
Ich kann keine vernünftige Locking-Strategie vorbereiten, ohne testen zu können. Das würde voraussetzen, dass ich jede Fehlermöglichkeit auswendig kennen würde und jedes dynamische Verhalten vorhersehen könnte. Testen könnte ich es ja nicht.
Das verstehe ich nicht. Du musst doch 'nur' alle Zugriffe auf evt. gemeinsam genutzte Ressourcen finden und an allen diesen Stellen vorher ein Lock auf die Ressource holen und es nachher zurückgeben. Ausführen muß man dazu doch gar nichts, ausser vielleicht einem grep und evt. einem Syntaxchecker gegen Fipptehler.
Oder wie es fortune formuliert:
| Real software engineers don't debug programs, they verify correctness.
| This process doesn't necessarily involve execution of anything on a
| computer, except perhaps a Correctness Verification Aid package.
Henryk Plötz
Grüße aus Berlin
~~~~~~~~ Un-CDs, nein danke! http://www.heise.de/ct/cd-register/ ~~~~~~~~
~~ Help Microsoft fight software piracy: Give Linux to a friend today! ~~