Home | History | Annotate | Download | only in files
      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   };
     89 
     90   // This enum has been recorded in multiple histograms. If the order of the
     91   // fields needs to change, please ensure that those histograms are obsolete or
     92   // have been moved to a different enum.
     93   //
     94   // FILE_ERROR_ACCESS_DENIED is returned when a call fails because of a
     95   // filesystem restriction. FILE_ERROR_SECURITY is returned when a browser
     96   // policy doesn't allow the operation to be executed.
     97   enum Error {
     98     FILE_OK = 0,
     99     FILE_ERROR_FAILED = -1,
    100     FILE_ERROR_IN_USE = -2,
    101     FILE_ERROR_EXISTS = -3,
    102     FILE_ERROR_NOT_FOUND = -4,
    103     FILE_ERROR_ACCESS_DENIED = -5,
    104     FILE_ERROR_TOO_MANY_OPENED = -6,
    105     FILE_ERROR_NO_MEMORY = -7,
    106     FILE_ERROR_NO_SPACE = -8,
    107     FILE_ERROR_NOT_A_DIRECTORY = -9,
    108     FILE_ERROR_INVALID_OPERATION = -10,
    109     FILE_ERROR_SECURITY = -11,
    110     FILE_ERROR_ABORT = -12,
    111     FILE_ERROR_NOT_A_FILE = -13,
    112     FILE_ERROR_NOT_EMPTY = -14,
    113     FILE_ERROR_INVALID_URL = -15,
    114     FILE_ERROR_IO = -16,
    115     // Put new entries here and increment FILE_ERROR_MAX.
    116     FILE_ERROR_MAX = -17
    117   };
    118 
    119   // This explicit mapping matches both FILE_ on Windows and SEEK_ on Linux.
    120   enum Whence {
    121     FROM_BEGIN   = 0,
    122     FROM_CURRENT = 1,
    123     FROM_END     = 2
    124   };
    125 
    126   // Used to hold information about a given file.
    127   // If you add more fields to this structure (platform-specific fields are OK),
    128   // make sure to update all functions that use it in file_util_{win|posix}.cc,
    129   // too, and the ParamTraits<base::File::Info> implementation in
    130   // ipc/ipc_message_utils.cc.
    131   struct BASE_EXPORT Info {
    132     Info();
    133     ~Info();
    134 #if defined(OS_POSIX)
    135     // Fills this struct with values from |stat_info|.
    136     void FromStat(const stat_wrapper_t& stat_info);
    137 #endif
    138 
    139     // The size of the file in bytes.  Undefined when is_directory is true.
    140     int64_t size;
    141 
    142     // True if the file corresponds to a directory.
    143     bool is_directory;
    144 
    145     // True if the file corresponds to a symbolic link.  For Windows currently
    146     // not supported and thus always false.
    147     bool is_symbolic_link;
    148 
    149     // The last modified time of a file.
    150     Time last_modified;
    151 
    152     // The last accessed time of a file.
    153     Time last_accessed;
    154 
    155     // The creation time of a file.
    156     Time creation_time;
    157   };
    158 
    159   File();
    160 
    161   // Creates or opens the given file. This will fail with 'access denied' if the
    162   // |path| contains path traversal ('..') components.
    163   File(const FilePath& path, uint32_t flags);
    164 
    165   // Takes ownership of |platform_file|.
    166   explicit File(PlatformFile platform_file);
    167 
    168   // Creates an object with a specific error_details code.
    169   explicit File(Error error_details);
    170 
    171   File(File&& other);
    172 
    173   ~File();
    174 
    175   // Takes ownership of |platform_file|.
    176   static File CreateForAsyncHandle(PlatformFile platform_file);
    177 
    178   File& operator=(File&& other);
    179 
    180   // Creates or opens the given file.
    181   void Initialize(const FilePath& path, uint32_t flags);
    182 
    183   // Returns |true| if the handle / fd wrapped by this object is valid.  This
    184   // method doesn't interact with the file system (and is safe to be called from
    185   // ThreadRestrictions::SetIOAllowed(false) threads).
    186   bool IsValid() const;
    187 
    188   // Returns true if a new file was created (or an old one truncated to zero
    189   // length to simulate a new file, which can happen with
    190   // FLAG_CREATE_ALWAYS), and false otherwise.
    191   bool created() const { return created_; }
    192 
    193   // Returns the OS result of opening this file. Note that the way to verify
    194   // the success of the operation is to use IsValid(), not this method:
    195   //   File file(path, flags);
    196   //   if (!file.IsValid())
    197   //     return;
    198   Error error_details() const { return error_details_; }
    199 
    200   PlatformFile GetPlatformFile() const;
    201   PlatformFile TakePlatformFile();
    202 
    203   // Destroying this object closes the file automatically.
    204   void Close();
    205 
    206   // Changes current position in the file to an |offset| relative to an origin
    207   // defined by |whence|. Returns the resultant current position in the file
    208   // (relative to the start) or -1 in case of error.
    209   int64_t Seek(Whence whence, int64_t offset);
    210 
    211   // Reads the given number of bytes (or until EOF is reached) starting with the
    212   // given offset. Returns the number of bytes read, or -1 on error. Note that
    213   // this function makes a best effort to read all data on all platforms, so it
    214   // is not intended for stream oriented files but instead for cases when the
    215   // normal expectation is that actually |size| bytes are read unless there is
    216   // an error.
    217   int Read(int64_t offset, char* data, int size);
    218 
    219   // Same as above but without seek.
    220   int ReadAtCurrentPos(char* data, int size);
    221 
    222   // Reads the given number of bytes (or until EOF is reached) starting with the
    223   // given offset, but does not make any effort to read all data on all
    224   // platforms. Returns the number of bytes read, or -1 on error.
    225   int ReadNoBestEffort(int64_t offset, char* data, int size);
    226 
    227   // Same as above but without seek.
    228   int ReadAtCurrentPosNoBestEffort(char* data, int size);
    229 
    230   // Writes the given buffer into the file at the given offset, overwritting any
    231   // data that was previously there. Returns the number of bytes written, or -1
    232   // on error. Note that this function makes a best effort to write all data on
    233   // all platforms.
    234   // Ignores the offset and writes to the end of the file if the file was opened
    235   // with FLAG_APPEND.
    236   int Write(int64_t offset, const char* data, int size);
    237 
    238   // Save as above but without seek.
    239   int WriteAtCurrentPos(const char* data, int size);
    240 
    241   // Save as above but does not make any effort to write all data on all
    242   // platforms. Returns the number of bytes written, or -1 on error.
    243   int WriteAtCurrentPosNoBestEffort(const char* data, int size);
    244 
    245   // Returns the current size of this file, or a negative number on failure.
    246   int64_t GetLength();
    247 
    248   // Truncates the file to the given length. If |length| is greater than the
    249   // current size of the file, the file is extended with zeros. If the file
    250   // doesn't exist, |false| is returned.
    251   bool SetLength(int64_t length);
    252 
    253   // Instructs the filesystem to flush the file to disk. (POSIX: fsync, Windows:
    254   // FlushFileBuffers).
    255   bool Flush();
    256 
    257   // Updates the file times.
    258   bool SetTimes(Time last_access_time, Time last_modified_time);
    259 
    260   // Returns some basic information for the given file.
    261   bool GetInfo(Info* info);
    262 
    263   // Attempts to take an exclusive write lock on the file. Returns immediately
    264   // (i.e. does not wait for another process to unlock the file). If the lock
    265   // was obtained, the result will be FILE_OK. A lock only guarantees
    266   // that other processes may not also take a lock on the same file with the
    267   // same API - it may still be opened, renamed, unlinked, etc.
    268   //
    269   // Common semantics:
    270   //  * Locks are held by processes, but not inherited by child processes.
    271   //  * Locks are released by the OS on file close or process termination.
    272   //  * Locks are reliable only on local filesystems.
    273   //  * Duplicated file handles may also write to locked files.
    274   // Windows-specific semantics:
    275   //  * Locks are mandatory for read/write APIs, advisory for mapping APIs.
    276   //  * Within a process, locking the same file (by the same or new handle)
    277   //    will fail.
    278   // POSIX-specific semantics:
    279   //  * Locks are advisory only.
    280   //  * Within a process, locking the same file (by the same or new handle)
    281   //    will succeed.
    282   //  * Closing any descriptor on a given file releases the lock.
    283   Error Lock();
    284 
    285   // Unlock a file previously locked.
    286   Error Unlock();
    287 
    288   // Returns a new object referencing this file for use within the current
    289   // process. Handling of FLAG_DELETE_ON_CLOSE varies by OS. On POSIX, the File
    290   // object that was created or initialized with this flag will have unlinked
    291   // the underlying file when it was created or opened. On Windows, the
    292   // underlying file is deleted when the last handle to it is closed.
    293   File Duplicate();
    294 
    295   bool async() const { return async_; }
    296 
    297 #if defined(OS_WIN)
    298   static Error OSErrorToFileError(DWORD last_error);
    299 #elif defined(OS_POSIX)
    300   static Error OSErrorToFileError(int saved_errno);
    301 #endif
    302 
    303   // Converts an error value to a human-readable form. Used for logging.
    304   static std::string ErrorToString(Error error);
    305 
    306  private:
    307   friend class FileTracing::ScopedTrace;
    308 
    309   // Creates or opens the given file. Only called if |path| has no
    310   // traversal ('..') components.
    311   void DoInitialize(const FilePath& path, uint32_t flags);
    312 
    313   // TODO(tnagel): Reintegrate into Flush() once histogram isn't needed anymore,
    314   // cf. issue 473337.
    315   bool DoFlush();
    316 
    317   void SetPlatformFile(PlatformFile file);
    318 
    319 #if defined(OS_WIN)
    320   win::ScopedHandle file_;
    321 #elif defined(OS_POSIX)
    322   ScopedFD file_;
    323 #endif
    324 
    325   // A path to use for tracing purposes. Set if file tracing is enabled during
    326   // |Initialize()|.
    327   FilePath tracing_path_;
    328 
    329   // Object tied to the lifetime of |this| that enables/disables tracing.
    330   FileTracing::ScopedEnabler trace_enabler_;
    331 
    332   Error error_details_;
    333   bool created_;
    334   bool async_;
    335 
    336   DISALLOW_COPY_AND_ASSIGN(File);
    337 };
    338 
    339 }  // namespace base
    340 
    341 #endif  // BASE_FILES_FILE_H_
    342 
    343