• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 // Copyright (c) 2012 The Chromium Authors. All rights reserved.
2 // Use of this source code is governed by a BSD-style license that can be
3 // found in the LICENSE file.
4 
5 #ifndef BASE_FILES_FILE_H_
6 #define BASE_FILES_FILE_H_
7 
8 #include <stdint.h>
9 
10 #include <string>
11 
12 #include "base/base_export.h"
13 #include "base/files/file_path.h"
14 #include "base/files/file_tracing.h"
15 #include "base/files/scoped_file.h"
16 #include "base/move.h"
17 #include "base/time/time.h"
18 #include "build/build_config.h"
19 
20 #if defined(OS_WIN)
21 #include <windows.h>
22 #include "base/win/scoped_handle.h"
23 #endif
24 
25 #if defined(OS_POSIX)
26 #include <sys/stat.h>
27 #endif
28 
29 namespace base {
30 
31 #if defined(OS_WIN)
32 typedef HANDLE PlatformFile;
33 #elif defined(OS_POSIX)
34 typedef int PlatformFile;
35 
36 #if defined(OS_BSD) || defined(OS_MACOSX) || defined(OS_NACL)
37 typedef struct stat stat_wrapper_t;
38 #else
39 typedef struct stat64 stat_wrapper_t;
40 #endif
41 #endif  // defined(OS_POSIX)
42 
43 // Thin wrapper around an OS-level file.
44 // Note that this class does not provide any support for asynchronous IO, other
45 // than the ability to create asynchronous handles on Windows.
46 //
47 // Note about const: this class does not attempt to determine if the underlying
48 // file system object is affected by a particular method in order to consider
49 // that method const or not. Only methods that deal with member variables in an
50 // obvious non-modifying way are marked as const. Any method that forward calls
51 // to the OS is not considered const, even if there is no apparent change to
52 // member variables.
53 class BASE_EXPORT File {
54   MOVE_ONLY_TYPE_FOR_CPP_03(File)
55 
56  public:
57   // FLAG_(OPEN|CREATE).* are mutually exclusive. You should specify exactly one
58   // of the five (possibly combining with other flags) when opening or creating
59   // a file.
60   // FLAG_(WRITE|APPEND) are mutually exclusive. This is so that APPEND behavior
61   // will be consistent with O_APPEND on POSIX.
62   // FLAG_EXCLUSIVE_(READ|WRITE) only grant exclusive access to the file on
63   // creation on POSIX; for existing files, consider using Lock().
64   enum Flags {
65     FLAG_OPEN = 1 << 0,             // Opens a file, only if it exists.
66     FLAG_CREATE = 1 << 1,           // Creates a new file, only if it does not
67                                     // already exist.
68     FLAG_OPEN_ALWAYS = 1 << 2,      // May create a new file.
69     FLAG_CREATE_ALWAYS = 1 << 3,    // May overwrite an old file.
70     FLAG_OPEN_TRUNCATED = 1 << 4,   // Opens a file and truncates it, only if it
71                                     // exists.
72     FLAG_READ = 1 << 5,
73     FLAG_WRITE = 1 << 6,
74     FLAG_APPEND = 1 << 7,
75     FLAG_EXCLUSIVE_READ = 1 << 8,   // EXCLUSIVE is opposite of Windows SHARE.
76     FLAG_EXCLUSIVE_WRITE = 1 << 9,
77     FLAG_ASYNC = 1 << 10,
78     FLAG_TEMPORARY = 1 << 11,       // Used on Windows only.
79     FLAG_HIDDEN = 1 << 12,          // Used on Windows only.
80     FLAG_DELETE_ON_CLOSE = 1 << 13,
81     FLAG_WRITE_ATTRIBUTES = 1 << 14,  // Used on Windows only.
82     FLAG_SHARE_DELETE = 1 << 15,      // Used on Windows only.
83     FLAG_TERMINAL_DEVICE = 1 << 16,   // Serial port flags.
84     FLAG_BACKUP_SEMANTICS = 1 << 17,  // Used on Windows only.
85     FLAG_EXECUTE = 1 << 18,           // Used on Windows only.
86     FLAG_SEQUENTIAL_SCAN = 1 << 19,   // Used on Windows only.
87   };
88 
89   // This enum has been recorded in multiple histograms. If the order of the
90   // fields needs to change, please ensure that those histograms are obsolete or
91   // have been moved to a different enum.
92   //
93   // FILE_ERROR_ACCESS_DENIED is returned when a call fails because of a
94   // filesystem restriction. FILE_ERROR_SECURITY is returned when a browser
95   // policy doesn't allow the operation to be executed.
96   enum Error {
97     FILE_OK = 0,
98     FILE_ERROR_FAILED = -1,
99     FILE_ERROR_IN_USE = -2,
100     FILE_ERROR_EXISTS = -3,
101     FILE_ERROR_NOT_FOUND = -4,
102     FILE_ERROR_ACCESS_DENIED = -5,
103     FILE_ERROR_TOO_MANY_OPENED = -6,
104     FILE_ERROR_NO_MEMORY = -7,
105     FILE_ERROR_NO_SPACE = -8,
106     FILE_ERROR_NOT_A_DIRECTORY = -9,
107     FILE_ERROR_INVALID_OPERATION = -10,
108     FILE_ERROR_SECURITY = -11,
109     FILE_ERROR_ABORT = -12,
110     FILE_ERROR_NOT_A_FILE = -13,
111     FILE_ERROR_NOT_EMPTY = -14,
112     FILE_ERROR_INVALID_URL = -15,
113     FILE_ERROR_IO = -16,
114     // Put new entries here and increment FILE_ERROR_MAX.
115     FILE_ERROR_MAX = -17
116   };
117 
118   // This explicit mapping matches both FILE_ on Windows and SEEK_ on Linux.
119   enum Whence {
120     FROM_BEGIN   = 0,
121     FROM_CURRENT = 1,
122     FROM_END     = 2
123   };
124 
125   // Used to hold information about a given file.
126   // If you add more fields to this structure (platform-specific fields are OK),
127   // make sure to update all functions that use it in file_util_{win|posix}.cc,
128   // too, and the ParamTraits<base::File::Info> implementation in
129   // ipc/ipc_message_utils.cc.
130   struct BASE_EXPORT Info {
131     Info();
132     ~Info();
133 #if defined(OS_POSIX)
134     // Fills this struct with values from |stat_info|.
135     void FromStat(const stat_wrapper_t& stat_info);
136 #endif
137 
138     // The size of the file in bytes.  Undefined when is_directory is true.
139     int64_t size;
140 
141     // True if the file corresponds to a directory.
142     bool is_directory;
143 
144     // True if the file corresponds to a symbolic link.  For Windows currently
145     // not supported and thus always false.
146     bool is_symbolic_link;
147 
148     // The last modified time of a file.
149     Time last_modified;
150 
151     // The last accessed time of a file.
152     Time last_accessed;
153 
154     // The creation time of a file.
155     Time creation_time;
156   };
157 
158   File();
159 
160   // Creates or opens the given file. This will fail with 'access denied' if the
161   // |path| contains path traversal ('..') components.
162   File(const FilePath& path, uint32_t flags);
163 
164   // Takes ownership of |platform_file|.
165   explicit File(PlatformFile platform_file);
166 
167   // Creates an object with a specific error_details code.
168   explicit File(Error error_details);
169 
170   File(File&& other);
171 
172   ~File();
173 
174   // Takes ownership of |platform_file|.
175   static File CreateForAsyncHandle(PlatformFile platform_file);
176 
177   File& operator=(File&& other);
178 
179   // Creates or opens the given file.
180   void Initialize(const FilePath& path, uint32_t flags);
181 
182   // Returns |true| if the handle / fd wrapped by this object is valid.  This
183   // method doesn't interact with the file system (and is safe to be called from
184   // ThreadRestrictions::SetIOAllowed(false) threads).
185   bool IsValid() const;
186 
187   // Returns true if a new file was created (or an old one truncated to zero
188   // length to simulate a new file, which can happen with
189   // FLAG_CREATE_ALWAYS), and false otherwise.
created()190   bool created() const { return created_; }
191 
192   // Returns the OS result of opening this file. Note that the way to verify
193   // the success of the operation is to use IsValid(), not this method:
194   //   File file(path, flags);
195   //   if (!file.IsValid())
196   //     return;
error_details()197   Error error_details() const { return error_details_; }
198 
199   PlatformFile GetPlatformFile() const;
200   PlatformFile TakePlatformFile();
201 
202   // Destroying this object closes the file automatically.
203   void Close();
204 
205   // Changes current position in the file to an |offset| relative to an origin
206   // defined by |whence|. Returns the resultant current position in the file
207   // (relative to the start) or -1 in case of error.
208   int64_t Seek(Whence whence, int64_t offset);
209 
210   // Reads the given number of bytes (or until EOF is reached) starting with the
211   // given offset. Returns the number of bytes read, or -1 on error. Note that
212   // this function makes a best effort to read all data on all platforms, so it
213   // is not intended for stream oriented files but instead for cases when the
214   // normal expectation is that actually |size| bytes are read unless there is
215   // an error.
216   int Read(int64_t offset, char* data, int size);
217 
218   // Same as above but without seek.
219   int ReadAtCurrentPos(char* data, int size);
220 
221   // Reads the given number of bytes (or until EOF is reached) starting with the
222   // given offset, but does not make any effort to read all data on all
223   // platforms. Returns the number of bytes read, or -1 on error.
224   int ReadNoBestEffort(int64_t offset, char* data, int size);
225 
226   // Same as above but without seek.
227   int ReadAtCurrentPosNoBestEffort(char* data, int size);
228 
229   // Writes the given buffer into the file at the given offset, overwritting any
230   // data that was previously there. Returns the number of bytes written, or -1
231   // on error. Note that this function makes a best effort to write all data on
232   // all platforms.
233   // Ignores the offset and writes to the end of the file if the file was opened
234   // with FLAG_APPEND.
235   int Write(int64_t offset, const char* data, int size);
236 
237   // Save as above but without seek.
238   int WriteAtCurrentPos(const char* data, int size);
239 
240   // Save as above but does not make any effort to write all data on all
241   // platforms. Returns the number of bytes written, or -1 on error.
242   int WriteAtCurrentPosNoBestEffort(const char* data, int size);
243 
244   // Returns the current size of this file, or a negative number on failure.
245   int64_t GetLength();
246 
247   // Truncates the file to the given length. If |length| is greater than the
248   // current size of the file, the file is extended with zeros. If the file
249   // doesn't exist, |false| is returned.
250   bool SetLength(int64_t length);
251 
252   // Instructs the filesystem to flush the file to disk. (POSIX: fsync, Windows:
253   // FlushFileBuffers).
254   bool Flush();
255 
256   // Updates the file times.
257   bool SetTimes(Time last_access_time, Time last_modified_time);
258 
259   // Returns some basic information for the given file.
260   bool GetInfo(Info* info);
261 
262   // Attempts to take an exclusive write lock on the file. Returns immediately
263   // (i.e. does not wait for another process to unlock the file). If the lock
264   // was obtained, the result will be FILE_OK. A lock only guarantees
265   // that other processes may not also take a lock on the same file with the
266   // same API - it may still be opened, renamed, unlinked, etc.
267   //
268   // Common semantics:
269   //  * Locks are held by processes, but not inherited by child processes.
270   //  * Locks are released by the OS on file close or process termination.
271   //  * Locks are reliable only on local filesystems.
272   //  * Duplicated file handles may also write to locked files.
273   // Windows-specific semantics:
274   //  * Locks are mandatory for read/write APIs, advisory for mapping APIs.
275   //  * Within a process, locking the same file (by the same or new handle)
276   //    will fail.
277   // POSIX-specific semantics:
278   //  * Locks are advisory only.
279   //  * Within a process, locking the same file (by the same or new handle)
280   //    will succeed.
281   //  * Closing any descriptor on a given file releases the lock.
282   Error Lock();
283 
284   // Unlock a file previously locked.
285   Error Unlock();
286 
287   // Returns a new object referencing this file for use within the current
288   // process. Handling of FLAG_DELETE_ON_CLOSE varies by OS. On POSIX, the File
289   // object that was created or initialized with this flag will have unlinked
290   // the underlying file when it was created or opened. On Windows, the
291   // underlying file is deleted when the last handle to it is closed.
292   File Duplicate();
293 
async()294   bool async() const { return async_; }
295 
296 #if defined(OS_WIN)
297   static Error OSErrorToFileError(DWORD last_error);
298 #elif defined(OS_POSIX)
299   static Error OSErrorToFileError(int saved_errno);
300 #endif
301 
302   // Converts an error value to a human-readable form. Used for logging.
303   static std::string ErrorToString(Error error);
304 
305  private:
306   friend class FileTracing::ScopedTrace;
307 
308   // Creates or opens the given file. Only called if |path| has no
309   // traversal ('..') components.
310   void DoInitialize(const FilePath& path, uint32_t flags);
311 
312   // TODO(tnagel): Reintegrate into Flush() once histogram isn't needed anymore,
313   // cf. issue 473337.
314   bool DoFlush();
315 
316   void SetPlatformFile(PlatformFile file);
317 
318 #if defined(OS_WIN)
319   win::ScopedHandle file_;
320 #elif defined(OS_POSIX)
321   ScopedFD file_;
322 #endif
323 
324   // A path to use for tracing purposes. Set if file tracing is enabled during
325   // |Initialize()|.
326   FilePath tracing_path_;
327 
328   // Object tied to the lifetime of |this| that enables/disables tracing.
329   FileTracing::ScopedEnabler trace_enabler_;
330 
331   Error error_details_;
332   bool created_;
333   bool async_;
334 };
335 
336 }  // namespace base
337 
338 #endif  // BASE_FILES_FILE_H_
339 
340