blob: 7d204685d607ba20b3859764d5d4af2c9a5da0a8 [file] [log] [blame]
Dmitry Vyukov9190a032012-12-12 12:27:00 +00001//===-- 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//
Dmitry Vyukov9ba0f3d2012-12-12 12:45:07 +000012// 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).
Dmitry Vyukov9190a032012-12-12 12:27:00 +000033//===----------------------------------------------------------------------===//
34#ifndef TSAN_FD_H
35#define TSAN_FD_H
36
37#include "tsan_rtl.h"
38
39namespace __tsan {
40
41void FdInit();
42void FdAcquire(ThreadState *thr, uptr pc, int fd);
43void FdRelease(ThreadState *thr, uptr pc, int fd);
44void FdClose(ThreadState *thr, uptr pc, int fd);
45void FdFileCreate(ThreadState *thr, uptr pc, int fd);
46void FdDup(ThreadState *thr, uptr pc, int oldfd, int newfd);
47void FdPipeCreate(ThreadState *thr, uptr pc, int rfd, int wfd);
48void FdEventCreate(ThreadState *thr, uptr pc, int fd);
49void FdPollCreate(ThreadState *thr, uptr pc, int fd);
50void FdSocketCreate(ThreadState *thr, uptr pc, int fd);
51void FdSocketAccept(ThreadState *thr, uptr pc, int fd, int newfd);
52void FdSocketConnect(ThreadState *thr, uptr pc, int fd);
53
54uptr File2addr(char *path);
55uptr Dir2addr(char *path);
56
57} // namespace __tsan
58
59#endif // TSAN_INTERFACE_H