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