|
111
|
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
|
