Home | History | Annotate | Download | only in files
      1 // Copyright (c) 2011 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 #include "base/files/file_path_watcher.h"
      6 
      7 #include <fcntl.h>
      8 #include <sys/event.h>
      9 #include <sys/param.h>
     10 
     11 #include <vector>
     12 
     13 #include "base/file_util.h"
     14 #include "base/message_loop.h"
     15 #include "base/message_loop_proxy.h"
     16 #include "base/stringprintf.h"
     17 
     18 namespace base {
     19 namespace files {
     20 
     21 namespace {
     22 
     23 // Mac-specific file watcher implementation based on kqueue.
     24 // Originally it was based on FSEvents so that the semantics were equivalent
     25 // on Linux, OSX and Windows where it was able to detect:
     26 // - file creation/deletion/modification in a watched directory
     27 // - file creation/deletion/modification for a watched file
     28 // - modifications to the paths to a watched object that would affect the
     29 //   object such as renaming/attibute changes etc.
     30 // The FSEvents version did all of the above except handling attribute changes
     31 // to path components. Unfortunately FSEvents appears to have an issue where the
     32 // current implementation (Mac OS X 10.6.7) sometimes drops events and doesn't
     33 // send notifications. See
     34 // http://code.google.com/p/chromium/issues/detail?id=54822#c31 for source that
     35 // will reproduce the problem. FSEvents also required having a CFRunLoop
     36 // backing the thread that it was running on, that caused added complexity
     37 // in the interfaces.
     38 // The kqueue implementation will handle all of the items in the list above
     39 // except for detecting modifications to files in a watched directory. It will
     40 // detect the creation and deletion of files, just not the modification of
     41 // files. It does however detect the attribute changes that the FSEvents impl
     42 // would miss.
     43 class FilePathWatcherImpl : public FilePathWatcher::PlatformDelegate,
     44                             public MessageLoopForIO::Watcher,
     45                             public MessageLoop::DestructionObserver {
     46  public:
     47   FilePathWatcherImpl() : kqueue_(-1) {}
     48   virtual ~FilePathWatcherImpl() {}
     49 
     50   // MessageLoopForIO::Watcher overrides.
     51   virtual void OnFileCanReadWithoutBlocking(int fd) OVERRIDE;
     52   virtual void OnFileCanWriteWithoutBlocking(int fd) OVERRIDE;
     53 
     54   // MessageLoop::DestructionObserver overrides.
     55   virtual void WillDestroyCurrentMessageLoop() OVERRIDE;
     56 
     57   // FilePathWatcher::PlatformDelegate overrides.
     58   virtual bool Watch(const FilePath& path,
     59                      FilePathWatcher::Delegate* delegate) OVERRIDE;
     60   virtual void Cancel() OVERRIDE;
     61 
     62  private:
     63   class EventData {
     64    public:
     65     EventData(const FilePath& path, const FilePath::StringType& subdir)
     66         : path_(path), subdir_(subdir) { }
     67     FilePath path_;  // Full path to this item.
     68     FilePath::StringType subdir_;  // Path to any sub item.
     69   };
     70   typedef std::vector<struct kevent> EventVector;
     71 
     72   // Can only be called on |io_message_loop_|'s thread.
     73   virtual void CancelOnMessageLoopThread() OVERRIDE;
     74 
     75   // Returns true if the kevent values are error free.
     76   bool AreKeventValuesValid(struct kevent* kevents, int count);
     77 
     78   // Respond to a change of attributes of the path component represented by
     79   // |event|. Sets |target_file_affected| to true if |target_| is affected.
     80   // Sets |update_watches| to true if |events_| need to be updated.
     81   void HandleAttributesChange(const EventVector::iterator& event,
     82                               bool* target_file_affected,
     83                               bool* update_watches);
     84 
     85   // Respond to a move of deletion of the path component represented by
     86   // |event|. Sets |target_file_affected| to true if |target_| is affected.
     87   // Sets |update_watches| to true if |events_| need to be updated.
     88   void HandleDeleteOrMoveChange(const EventVector::iterator& event,
     89                                 bool* target_file_affected,
     90                                 bool* update_watches);
     91 
     92   // Respond to a creation of an item in the path component represented by
     93   // |event|. Sets |target_file_affected| to true if |target_| is affected.
     94   // Sets |update_watches| to true if |events_| need to be updated.
     95   void HandleCreateItemChange(const EventVector::iterator& event,
     96                               bool* target_file_affected,
     97                               bool* update_watches);
     98 
     99   // Update |events_| with the current status of the system.
    100   // Sets |target_file_affected| to true if |target_| is affected.
    101   // Returns false if an error occurs.
    102   bool UpdateWatches(bool* target_file_affected);
    103 
    104   // Fills |events| with one kevent per component in |path|.
    105   // Returns the number of valid events created where a valid event is
    106   // defined as one that has a ident (file descriptor) field != -1.
    107   static int EventsForPath(FilePath path, EventVector *events);
    108 
    109   // Release a kevent generated by EventsForPath.
    110   static void ReleaseEvent(struct kevent& event);
    111 
    112   // Returns a file descriptor that will not block the system from deleting
    113   // the file it references.
    114   static int FileDescriptorForPath(const FilePath& path);
    115 
    116   // Closes |*fd| and sets |*fd| to -1.
    117   static void CloseFileDescriptor(int* fd);
    118 
    119   // Returns true if kevent has open file descriptor.
    120   static bool IsKeventFileDescriptorOpen(const struct kevent& event) {
    121     return event.ident != static_cast<uintptr_t>(-1);
    122   }
    123 
    124   static EventData* EventDataForKevent(const struct kevent& event) {
    125     return reinterpret_cast<EventData*>(event.udata);
    126   }
    127 
    128   EventVector events_;
    129   scoped_refptr<base::MessageLoopProxy> io_message_loop_;
    130   MessageLoopForIO::FileDescriptorWatcher kqueue_watcher_;
    131   scoped_refptr<FilePathWatcher::Delegate> delegate_;
    132   FilePath target_;
    133   int kqueue_;
    134 
    135   DISALLOW_COPY_AND_ASSIGN(FilePathWatcherImpl);
    136 };
    137 
    138 void FilePathWatcherImpl::ReleaseEvent(struct kevent& event) {
    139   CloseFileDescriptor(reinterpret_cast<int*>(&event.ident));
    140   EventData* entry = EventDataForKevent(event);
    141   delete entry;
    142   event.udata = NULL;
    143 }
    144 
    145 int FilePathWatcherImpl::EventsForPath(FilePath path, EventVector* events) {
    146   DCHECK(MessageLoopForIO::current());
    147   // Make sure that we are working with a clean slate.
    148   DCHECK(events->empty());
    149 
    150   std::vector<FilePath::StringType> components;
    151   path.GetComponents(&components);
    152 
    153   if (components.size() < 1) {
    154     return -1;
    155   }
    156 
    157   int last_existing_entry = 0;
    158   FilePath built_path;
    159   bool path_still_exists = true;
    160   for(std::vector<FilePath::StringType>::iterator i = components.begin();
    161       i != components.end(); ++i) {
    162     if (i == components.begin()) {
    163       built_path = FilePath(*i);
    164     } else {
    165       built_path = built_path.Append(*i);
    166     }
    167     int fd = -1;
    168     if (path_still_exists) {
    169       fd = FileDescriptorForPath(built_path);
    170       if (fd == -1) {
    171         path_still_exists = false;
    172       } else {
    173         ++last_existing_entry;
    174       }
    175     }
    176     FilePath::StringType subdir = (i != (components.end() - 1)) ? *(i + 1) : "";
    177     EventData* data = new EventData(built_path, subdir);
    178     struct kevent event;
    179     EV_SET(&event, fd, EVFILT_VNODE, (EV_ADD | EV_CLEAR | EV_RECEIPT),
    180            (NOTE_DELETE | NOTE_WRITE | NOTE_ATTRIB |
    181             NOTE_RENAME | NOTE_REVOKE | NOTE_EXTEND), 0, data);
    182     events->push_back(event);
    183   }
    184   return last_existing_entry;
    185 }
    186 
    187 int FilePathWatcherImpl::FileDescriptorForPath(const FilePath& path) {
    188   return HANDLE_EINTR(open(path.value().c_str(), O_EVTONLY));
    189 }
    190 
    191 void FilePathWatcherImpl::CloseFileDescriptor(int *fd) {
    192   if (*fd == -1) {
    193     return;
    194   }
    195 
    196   if (HANDLE_EINTR(close(*fd)) != 0) {
    197     PLOG(ERROR) << "close";
    198   }
    199   *fd = -1;
    200 }
    201 
    202 bool FilePathWatcherImpl::AreKeventValuesValid(struct kevent* kevents,
    203                                                int count) {
    204   if (count < 0) {
    205     PLOG(ERROR) << "kevent";
    206     return false;
    207   }
    208   bool valid = true;
    209   for (int i = 0; i < count; ++i) {
    210     if (kevents[i].flags & EV_ERROR && kevents[i].data) {
    211       // Find the kevent in |events_| that matches the kevent with the error.
    212       EventVector::iterator event = events_.begin();
    213       for (; event != events_.end(); ++event) {
    214         if (event->ident == kevents[i].ident) {
    215           break;
    216         }
    217       }
    218       std::string path_name;
    219       if (event != events_.end()) {
    220         EventData* event_data = EventDataForKevent(*event);
    221         if (event_data != NULL) {
    222           path_name = event_data->path_.value();
    223         }
    224       }
    225       if (path_name.empty()) {
    226         path_name = base::StringPrintf(
    227             "fd %d", *reinterpret_cast<int*>(&kevents[i].ident));
    228       }
    229       LOG(ERROR) << "Error: " << kevents[i].data << " for " << path_name;
    230       valid = false;
    231     }
    232   }
    233   return valid;
    234 }
    235 
    236 void FilePathWatcherImpl::HandleAttributesChange(
    237     const EventVector::iterator& event,
    238     bool* target_file_affected,
    239     bool* update_watches) {
    240   EventVector::iterator next_event = event + 1;
    241   EventData* next_event_data = EventDataForKevent(*next_event);
    242   // Check to see if the next item in path is still accessible.
    243   int have_access = FileDescriptorForPath(next_event_data->path_);
    244   if (have_access == -1) {
    245     *target_file_affected = true;
    246     *update_watches = true;
    247     EventVector::iterator local_event(event);
    248     for (; local_event != events_.end(); ++local_event) {
    249       // Close all nodes from the event down. This has the side effect of
    250       // potentially rendering other events in |updates| invalid.
    251       // There is no need to remove the events from |kqueue_| because this
    252       // happens as a side effect of closing the file descriptor.
    253       CloseFileDescriptor(reinterpret_cast<int*>(&local_event->ident));
    254     }
    255   } else {
    256     CloseFileDescriptor(&have_access);
    257   }
    258 }
    259 
    260 void FilePathWatcherImpl::HandleDeleteOrMoveChange(
    261     const EventVector::iterator& event,
    262     bool* target_file_affected,
    263     bool* update_watches) {
    264   *target_file_affected = true;
    265   *update_watches = true;
    266   EventVector::iterator local_event(event);
    267   for (; local_event != events_.end(); ++local_event) {
    268     // Close all nodes from the event down. This has the side effect of
    269     // potentially rendering other events in |updates| invalid.
    270     // There is no need to remove the events from |kqueue_| because this
    271     // happens as a side effect of closing the file descriptor.
    272     CloseFileDescriptor(reinterpret_cast<int*>(&local_event->ident));
    273   }
    274 }
    275 
    276 void FilePathWatcherImpl::HandleCreateItemChange(
    277     const EventVector::iterator& event,
    278     bool* target_file_affected,
    279     bool* update_watches) {
    280   // Get the next item in the path.
    281   EventVector::iterator next_event = event + 1;
    282   EventData* next_event_data = EventDataForKevent(*next_event);
    283 
    284   // Check to see if it already has a valid file descriptor.
    285   if (!IsKeventFileDescriptorOpen(*next_event)) {
    286     // If not, attempt to open a file descriptor for it.
    287     next_event->ident = FileDescriptorForPath(next_event_data->path_);
    288     if (IsKeventFileDescriptorOpen(*next_event)) {
    289       *update_watches = true;
    290       if (next_event_data->subdir_.empty()) {
    291         *target_file_affected = true;
    292       }
    293     }
    294   }
    295 }
    296 
    297 bool FilePathWatcherImpl::UpdateWatches(bool* target_file_affected) {
    298   // Iterate over events adding kevents for items that exist to the kqueue.
    299   // Then check to see if new components in the path have been created.
    300   // Repeat until no new components in the path are detected.
    301   // This is to get around races in directory creation in a watched path.
    302   bool update_watches = true;
    303   while (update_watches) {
    304     size_t valid;
    305     for (valid = 0; valid < events_.size(); ++valid) {
    306       if (!IsKeventFileDescriptorOpen(events_[valid])) {
    307         break;
    308       }
    309     }
    310     if (valid == 0) {
    311       // The root of the file path is inaccessible?
    312       return false;
    313     }
    314 
    315     EventVector updates(valid);
    316     int count = HANDLE_EINTR(kevent(kqueue_, &events_[0], valid, &updates[0],
    317                                     valid, NULL));
    318     if (!AreKeventValuesValid(&updates[0], count)) {
    319       return false;
    320     }
    321     update_watches = false;
    322     for (; valid < events_.size(); ++valid) {
    323       EventData* event_data = EventDataForKevent(events_[valid]);
    324       events_[valid].ident = FileDescriptorForPath(event_data->path_);
    325       if (IsKeventFileDescriptorOpen(events_[valid])) {
    326         update_watches = true;
    327         if (event_data->subdir_.empty()) {
    328           *target_file_affected = true;
    329         }
    330       } else {
    331         break;
    332       }
    333     }
    334   }
    335   return true;
    336 }
    337 
    338 void FilePathWatcherImpl::OnFileCanReadWithoutBlocking(int fd) {
    339   DCHECK(MessageLoopForIO::current());
    340   CHECK_EQ(fd, kqueue_);
    341   CHECK(events_.size());
    342 
    343   // Request the file system update notifications that have occurred and return
    344   // them in |updates|. |count| will contain the number of updates that have
    345   // occurred.
    346   EventVector updates(events_.size());
    347   struct timespec timeout = {0, 0};
    348   int count = HANDLE_EINTR(kevent(kqueue_, NULL, 0, &updates[0], updates.size(),
    349                                   &timeout));
    350 
    351   // Error values are stored within updates, so check to make sure that no
    352   // errors occurred.
    353   if (!AreKeventValuesValid(&updates[0], count)) {
    354     delegate_->OnFilePathError(target_);
    355     Cancel();
    356     return;
    357   }
    358 
    359   bool update_watches = false;
    360   bool send_notification = false;
    361 
    362   // Iterate through each of the updates and react to them.
    363   for (int i = 0; i < count; ++i) {
    364     // Find our kevent record that matches the update notification.
    365     EventVector::iterator event = events_.begin();
    366     for (; event != events_.end(); ++event) {
    367       if (!IsKeventFileDescriptorOpen(*event) ||
    368           event->ident == updates[i].ident) {
    369         break;
    370       }
    371     }
    372     if (!IsKeventFileDescriptorOpen(*event) || event == events_.end()) {
    373       // The event may no longer exist in |events_| because another event
    374       // modified |events_| in such a way to make it invalid. For example if
    375       // the path is /foo/bar/bam and foo is deleted, NOTE_DELETE events for
    376       // foo, bar and bam will be sent. If foo is processed first, then
    377       // the file descriptors for bar and bam will already be closed and set
    378       // to -1 before they get a chance to be processed.
    379       continue;
    380     }
    381 
    382     EventData* event_data = EventDataForKevent(*event);
    383 
    384     // If the subdir is empty, this is the last item on the path and is the
    385     // target file.
    386     bool target_file_affected = event_data->subdir_.empty();
    387     if ((updates[i].fflags & NOTE_ATTRIB) && !target_file_affected) {
    388       HandleAttributesChange(event, &target_file_affected, &update_watches);
    389     }
    390     if (updates[i].fflags & (NOTE_DELETE | NOTE_REVOKE | NOTE_RENAME)) {
    391       HandleDeleteOrMoveChange(event, &target_file_affected, &update_watches);
    392     }
    393     if ((updates[i].fflags & NOTE_WRITE) && !target_file_affected) {
    394       HandleCreateItemChange(event, &target_file_affected, &update_watches);
    395     }
    396     send_notification |= target_file_affected;
    397   }
    398 
    399   if (update_watches) {
    400     if (!UpdateWatches(&send_notification)) {
    401       delegate_->OnFilePathError(target_);
    402       Cancel();
    403     }
    404   }
    405 
    406   if (send_notification) {
    407     delegate_->OnFilePathChanged(target_);
    408   }
    409 }
    410 
    411 void FilePathWatcherImpl::OnFileCanWriteWithoutBlocking(int fd) {
    412   NOTREACHED();
    413 }
    414 
    415 void FilePathWatcherImpl::WillDestroyCurrentMessageLoop() {
    416   CancelOnMessageLoopThread();
    417 }
    418 
    419 bool FilePathWatcherImpl::Watch(const FilePath& path,
    420                                 FilePathWatcher::Delegate* delegate) {
    421   DCHECK(MessageLoopForIO::current());
    422   DCHECK(target_.value().empty());  // Can only watch one path.
    423   DCHECK(delegate);
    424   DCHECK_EQ(kqueue_, -1);
    425 
    426   delegate_ = delegate;
    427   target_ = path;
    428 
    429   MessageLoop::current()->AddDestructionObserver(this);
    430   io_message_loop_ = base::MessageLoopProxy::CreateForCurrentThread();
    431 
    432   kqueue_ = kqueue();
    433   if (kqueue_ == -1) {
    434     PLOG(ERROR) << "kqueue";
    435     return false;
    436   }
    437 
    438   int last_entry = EventsForPath(target_, &events_);
    439   CHECK_NE(last_entry, 0);
    440 
    441   EventVector responses(last_entry);
    442 
    443   int count = HANDLE_EINTR(kevent(kqueue_, &events_[0], last_entry,
    444                                   &responses[0], last_entry, NULL));
    445   if (!AreKeventValuesValid(&responses[0], count)) {
    446     // Calling Cancel() here to close any file descriptors that were opened.
    447     // This would happen in the destructor anyways, but FilePathWatchers tend to
    448     // be long lived, and if an error has occurred, there is no reason to waste
    449     // the file descriptors.
    450     Cancel();
    451     return false;
    452   }
    453 
    454   return MessageLoopForIO::current()->WatchFileDescriptor(
    455       kqueue_, true, MessageLoopForIO::WATCH_READ, &kqueue_watcher_, this);
    456 }
    457 
    458 void FilePathWatcherImpl::Cancel() {
    459   base::MessageLoopProxy* proxy = io_message_loop_.get();
    460   if (!proxy) {
    461     set_cancelled();
    462     return;
    463   }
    464   if (!proxy->BelongsToCurrentThread()) {
    465     proxy->PostTask(FROM_HERE,
    466                     NewRunnableMethod(this, &FilePathWatcherImpl::Cancel));
    467     return;
    468   }
    469   CancelOnMessageLoopThread();
    470 }
    471 
    472 void FilePathWatcherImpl::CancelOnMessageLoopThread() {
    473   DCHECK(MessageLoopForIO::current());
    474   if (!is_cancelled()) {
    475     set_cancelled();
    476     kqueue_watcher_.StopWatchingFileDescriptor();
    477     CloseFileDescriptor(&kqueue_);
    478     std::for_each(events_.begin(), events_.end(), ReleaseEvent);
    479     events_.clear();
    480     io_message_loop_ = NULL;
    481     MessageLoop::current()->RemoveDestructionObserver(this);
    482     delegate_ = NULL;
    483   }
    484 }
    485 
    486 }  // namespace
    487 
    488 FilePathWatcher::FilePathWatcher() {
    489   impl_ = new FilePathWatcherImpl();
    490 }
    491 
    492 }  // namespace files
    493 }  // namespace base
    494