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