In-reply-to: Your message of "Mon, 17 Sep 2001 18:49:52 +0200."
                                <[EMAIL PROTECTED]> 

   >1. circular dependency of resources needed by different processes
   >=> can be solved by imposing a fixed (total) order in which resource
   >   should be acquired

   yes, defining the lock acquisition order is critical if you ever nest
   locks. but its not cheap to impose this order at run-time. hence, its
   a code-development-time, and therefore a programmer-dependent,
   imposition. ergo, it fails sometimes :)

Though it can be detected easily at run-time (you want resource #3?
You've already got #72, so you can't have it).
-- 
Joseph J. Pfeiffer, Jr., Ph.D.       Phone -- (505) 646-1605
Department of Computer Science       FAX   -- (505) 646-1002
New Mexico State University          http://www.cs.nmsu.edu/~pfeiffer
SWNMRSEF:  http://www.nmsu.edu/~scifair

Reply via email to