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