* include/bits/allocator.h (operator==, operator!=): Add exception
[official-gcc.git] / libsanitizer / tsan / tsan_fd.h
blob3306873223e743d2ffc4df7d83e104474f39329a
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:
13 // int X;
14 // int client_socket; // initialized elsewhere
15 // int server_socket; // initialized elsewhere
17 // Thread 1:
18 // X = 42;
19 // send(client_socket, ...);
21 // Thread 2:
22 // if (recv(server_socket, ...) > 0)
23 // assert(X == 42);
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
35 #include "tsan_rtl.h"
37 namespace __tsan {
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);
44 void FdFileCreate(ThreadState *thr, uptr pc, int fd);
45 void FdDup(ThreadState *thr, uptr pc, int oldfd, int newfd);
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);
58 uptr File2addr(char *path);
59 uptr Dir2addr(char *path);
61 } // namespace __tsan
63 #endif // TSAN_INTERFACE_H