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