FN Thomson Reuters Web of Knowledge VR 1.0 PT J AN 5327279 DT Journal Paper TI Checking for race conditions in file accesses AU Bishop, M. Dilger, M. SO Computing Systems PY Spring 1996 PD Spring 1996 VL 9 IS 2 JI Comput. Syst. (USA) BP 131 EP 152152 PS 131-52 LA English AB Flaws due to race conditions in which the binding of a name to an object changes between repeated references occur in many programs. We examine one type of this flaw in the Unix operating system, and describe a semantic method for detecting possible instances of this problem. We present the results of one such analysis in which a previously undiscovered race condition flaw was found DE Practical/ naming services; programming theory; Unix/ race conditions; file accesses; repeated references; Unix operating system; semantic method; naming services/ C6150J Operating systems C6120 File organisation C4240 Programming and algorithm theory C1 Bishop, M.; Dilger, M.; California Univ., Davis, CA, USA. PU MIT Press PV USA NR 21 CO CMSYE2 SN 0895-6340 ID [C1996-09-6150J-005],[0895-6340/96/$10.00],[0895-6340(199621)9:2L.131:CRCF;1-5] UT INSPEC:5327279 ER EF