1 //===-- tsan_fd.h -----------------------------------------------*- C++ -*-===// 2 // 3 // This file is distributed under the University of Illinois Open Source 4 // License. See LICENSE.TXT for details. 5 // 6 //===----------------------------------------------------------------------===// 7 // 8 // This file is a part of ThreadSanitizer (TSan), a race detector. 9 // 10 // This file handles synchronization via IO. 11 // People use IO for synchronization along the lines of: 12 // 13 // int X; 14 // int client_socket; // initialized elsewhere 15 // int server_socket; // initialized elsewhere 16 // 17 // Thread 1: 18 // X = 42; 19 // send(client_socket, ...); 20 // 21 // Thread 2: 22 // if (recv(server_socket, ...) > 0) 23 // assert(X == 42); 24 // 25 // This file determines the scope of the file descriptor (pipe, socket, 26 // all local files, etc) and executes acquire and release operations on 27 // the scope as necessary. Some scopes are very fine grained (e.g. pipe 28 // operations synchronize only with operations on the same pipe), while 29 // others are corse-grained (e.g. all operations on local files synchronize 30 // with each other). 31 //===----------------------------------------------------------------------===// 32 #ifndef TSAN_FD_H 33 #define TSAN_FD_H 34 35 #include "tsan_rtl.h" 36 37 namespace __tsan { 38 39 void FdInit(); 40 void FdAcquire(ThreadState *thr, uptr pc, int fd); 41 void FdRelease(ThreadState *thr, uptr pc, int fd); 42 void FdAccess(ThreadState *thr, uptr pc, int fd); 43 void FdClose(ThreadState *thr, uptr pc, int fd, bool write = true); 44 void FdFileCreate(ThreadState *thr, uptr pc, int fd); 45 void FdDup(ThreadState *thr, uptr pc, int oldfd, int newfd, bool write); 46 void FdPipeCreate(ThreadState *thr, uptr pc, int rfd, int wfd); 47 void FdEventCreate(ThreadState *thr, uptr pc, int fd); 48 void FdSignalCreate(ThreadState *thr, uptr pc, int fd); 49 void FdInotifyCreate(ThreadState *thr, uptr pc, int fd); 50 void FdPollCreate(ThreadState *thr, uptr pc, int fd); 51 void FdSocketCreate(ThreadState *thr, uptr pc, int fd); 52 void FdSocketAccept(ThreadState *thr, uptr pc, int fd, int newfd); 53 void FdSocketConnecting(ThreadState *thr, uptr pc, int fd); 54 void FdSocketConnect(ThreadState *thr, uptr pc, int fd); 55 bool FdLocation(uptr addr, int *fd, int *tid, u32 *stack); 56 void FdOnFork(ThreadState *thr, uptr pc); 57 58 uptr File2addr(const char *path); 59 uptr Dir2addr(const char *path); 60 61 } // namespace __tsan 62 63 #endif // TSAN_INTERFACE_H 64