• 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 #include "base/observer_list.h"
6 #include "base/observer_list_threadsafe.h"
7 
8 #include <vector>
9 
10 #include "base/compiler_specific.h"
11 #include "base/location.h"
12 #include "base/memory/weak_ptr.h"
13 #include "base/run_loop.h"
14 #include "base/single_thread_task_runner.h"
15 #include "base/threading/platform_thread.h"
16 #include "testing/gtest/include/gtest/gtest.h"
17 
18 namespace base {
19 namespace {
20 
21 class Foo {
22  public:
23   virtual void Observe(int x) = 0;
~Foo()24   virtual ~Foo() {}
25 };
26 
27 class Adder : public Foo {
28  public:
Adder(int scaler)29   explicit Adder(int scaler) : total(0), scaler_(scaler) {}
Observe(int x)30   void Observe(int x) override { total += x * scaler_; }
~Adder()31   ~Adder() override {}
32   int total;
33 
34  private:
35   int scaler_;
36 };
37 
38 class Disrupter : public Foo {
39  public:
Disrupter(ObserverList<Foo> * list,Foo * doomed)40   Disrupter(ObserverList<Foo>* list, Foo* doomed)
41       : list_(list),
42         doomed_(doomed) {
43   }
~Disrupter()44   ~Disrupter() override {}
Observe(int x)45   void Observe(int x) override { list_->RemoveObserver(doomed_); }
46 
47  private:
48   ObserverList<Foo>* list_;
49   Foo* doomed_;
50 };
51 
52 class ThreadSafeDisrupter : public Foo {
53  public:
ThreadSafeDisrupter(ObserverListThreadSafe<Foo> * list,Foo * doomed)54   ThreadSafeDisrupter(ObserverListThreadSafe<Foo>* list, Foo* doomed)
55       : list_(list),
56         doomed_(doomed) {
57   }
~ThreadSafeDisrupter()58   ~ThreadSafeDisrupter() override {}
Observe(int x)59   void Observe(int x) override { list_->RemoveObserver(doomed_); }
60 
61  private:
62   ObserverListThreadSafe<Foo>* list_;
63   Foo* doomed_;
64 };
65 
66 template <typename ObserverListType>
67 class AddInObserve : public Foo {
68  public:
AddInObserve(ObserverListType * observer_list)69   explicit AddInObserve(ObserverListType* observer_list)
70       : added(false),
71         observer_list(observer_list),
72         adder(1) {
73   }
74 
Observe(int x)75   void Observe(int x) override {
76     if (!added) {
77       added = true;
78       observer_list->AddObserver(&adder);
79     }
80   }
81 
82   bool added;
83   ObserverListType* observer_list;
84   Adder adder;
85 };
86 
87 
88 static const int kThreadRunTime = 2000;  // ms to run the multi-threaded test.
89 
90 // A thread for use in the ThreadSafeObserver test
91 // which will add and remove itself from the notification
92 // list repeatedly.
93 class AddRemoveThread : public PlatformThread::Delegate,
94                         public Foo {
95  public:
AddRemoveThread(ObserverListThreadSafe<Foo> * list,bool notify)96   AddRemoveThread(ObserverListThreadSafe<Foo>* list, bool notify)
97       : list_(list),
98         loop_(nullptr),
99         in_list_(false),
100         start_(Time::Now()),
101         count_observes_(0),
102         count_addtask_(0),
103         do_notifies_(notify),
104         weak_factory_(this) {
105   }
106 
~AddRemoveThread()107   ~AddRemoveThread() override {}
108 
ThreadMain()109   void ThreadMain() override {
110     loop_ = new MessageLoop();  // Fire up a message loop.
111     loop_->task_runner()->PostTask(
112         FROM_HERE,
113         base::Bind(&AddRemoveThread::AddTask, weak_factory_.GetWeakPtr()));
114     loop_->Run();
115     //LOG(ERROR) << "Loop 0x" << std::hex << loop_ << " done. " <<
116     //    count_observes_ << ", " << count_addtask_;
117     delete loop_;
118     loop_ = reinterpret_cast<MessageLoop*>(0xdeadbeef);
119     delete this;
120   }
121 
122   // This task just keeps posting to itself in an attempt
123   // to race with the notifier.
AddTask()124   void AddTask() {
125     count_addtask_++;
126 
127     if ((Time::Now() - start_).InMilliseconds() > kThreadRunTime) {
128       VLOG(1) << "DONE!";
129       return;
130     }
131 
132     if (!in_list_) {
133       list_->AddObserver(this);
134       in_list_ = true;
135     }
136 
137     if (do_notifies_) {
138       list_->Notify(FROM_HERE, &Foo::Observe, 10);
139     }
140 
141     loop_->task_runner()->PostTask(
142         FROM_HERE,
143         base::Bind(&AddRemoveThread::AddTask, weak_factory_.GetWeakPtr()));
144   }
145 
Quit()146   void Quit() {
147     loop_->task_runner()->PostTask(FROM_HERE,
148                                    MessageLoop::QuitWhenIdleClosure());
149   }
150 
Observe(int x)151   void Observe(int x) override {
152     count_observes_++;
153 
154     // If we're getting called after we removed ourselves from
155     // the list, that is very bad!
156     DCHECK(in_list_);
157 
158     // This callback should fire on the appropriate thread
159     EXPECT_EQ(loop_, MessageLoop::current());
160 
161     list_->RemoveObserver(this);
162     in_list_ = false;
163   }
164 
165  private:
166   ObserverListThreadSafe<Foo>* list_;
167   MessageLoop* loop_;
168   bool in_list_;        // Are we currently registered for notifications.
169                         // in_list_ is only used on |this| thread.
170   Time start_;          // The time we started the test.
171 
172   int count_observes_;  // Number of times we observed.
173   int count_addtask_;   // Number of times thread AddTask was called
174   bool do_notifies_;    // Whether these threads should do notifications.
175 
176   base::WeakPtrFactory<AddRemoveThread> weak_factory_;
177 };
178 
TEST(ObserverListTest,BasicTest)179 TEST(ObserverListTest, BasicTest) {
180   ObserverList<Foo> observer_list;
181   Adder a(1), b(-1), c(1), d(-1), e(-1);
182   Disrupter evil(&observer_list, &c);
183 
184   observer_list.AddObserver(&a);
185   observer_list.AddObserver(&b);
186 
187   EXPECT_TRUE(observer_list.HasObserver(&a));
188   EXPECT_FALSE(observer_list.HasObserver(&c));
189 
190   FOR_EACH_OBSERVER(Foo, observer_list, Observe(10));
191 
192   observer_list.AddObserver(&evil);
193   observer_list.AddObserver(&c);
194   observer_list.AddObserver(&d);
195 
196   // Removing an observer not in the list should do nothing.
197   observer_list.RemoveObserver(&e);
198 
199   FOR_EACH_OBSERVER(Foo, observer_list, Observe(10));
200 
201   EXPECT_EQ(20, a.total);
202   EXPECT_EQ(-20, b.total);
203   EXPECT_EQ(0, c.total);
204   EXPECT_EQ(-10, d.total);
205   EXPECT_EQ(0, e.total);
206 }
207 
TEST(ObserverListThreadSafeTest,BasicTest)208 TEST(ObserverListThreadSafeTest, BasicTest) {
209   MessageLoop loop;
210 
211   scoped_refptr<ObserverListThreadSafe<Foo> > observer_list(
212       new ObserverListThreadSafe<Foo>);
213   Adder a(1);
214   Adder b(-1);
215   Adder c(1);
216   Adder d(-1);
217   ThreadSafeDisrupter evil(observer_list.get(), &c);
218 
219   observer_list->AddObserver(&a);
220   observer_list->AddObserver(&b);
221 
222   observer_list->Notify(FROM_HERE, &Foo::Observe, 10);
223   RunLoop().RunUntilIdle();
224 
225   observer_list->AddObserver(&evil);
226   observer_list->AddObserver(&c);
227   observer_list->AddObserver(&d);
228 
229   observer_list->Notify(FROM_HERE, &Foo::Observe, 10);
230   RunLoop().RunUntilIdle();
231 
232   EXPECT_EQ(20, a.total);
233   EXPECT_EQ(-20, b.total);
234   EXPECT_EQ(0, c.total);
235   EXPECT_EQ(-10, d.total);
236 }
237 
TEST(ObserverListThreadSafeTest,RemoveObserver)238 TEST(ObserverListThreadSafeTest, RemoveObserver) {
239   MessageLoop loop;
240 
241   scoped_refptr<ObserverListThreadSafe<Foo> > observer_list(
242       new ObserverListThreadSafe<Foo>);
243   Adder a(1), b(1);
244 
245   // A workaround for the compiler bug. See http://crbug.com/121960.
246   EXPECT_NE(&a, &b);
247 
248   // Should do nothing.
249   observer_list->RemoveObserver(&a);
250   observer_list->RemoveObserver(&b);
251 
252   observer_list->Notify(FROM_HERE, &Foo::Observe, 10);
253   RunLoop().RunUntilIdle();
254 
255   EXPECT_EQ(0, a.total);
256   EXPECT_EQ(0, b.total);
257 
258   observer_list->AddObserver(&a);
259 
260   // Should also do nothing.
261   observer_list->RemoveObserver(&b);
262 
263   observer_list->Notify(FROM_HERE, &Foo::Observe, 10);
264   RunLoop().RunUntilIdle();
265 
266   EXPECT_EQ(10, a.total);
267   EXPECT_EQ(0, b.total);
268 }
269 
TEST(ObserverListThreadSafeTest,WithoutMessageLoop)270 TEST(ObserverListThreadSafeTest, WithoutMessageLoop) {
271   scoped_refptr<ObserverListThreadSafe<Foo> > observer_list(
272       new ObserverListThreadSafe<Foo>);
273 
274   Adder a(1), b(1), c(1);
275 
276   // No MessageLoop, so these should not be added.
277   observer_list->AddObserver(&a);
278   observer_list->AddObserver(&b);
279 
280   {
281     // Add c when there's a loop.
282     MessageLoop loop;
283     observer_list->AddObserver(&c);
284 
285     observer_list->Notify(FROM_HERE, &Foo::Observe, 10);
286     RunLoop().RunUntilIdle();
287 
288     EXPECT_EQ(0, a.total);
289     EXPECT_EQ(0, b.total);
290     EXPECT_EQ(10, c.total);
291 
292     // Now add a when there's a loop.
293     observer_list->AddObserver(&a);
294 
295     // Remove c when there's a loop.
296     observer_list->RemoveObserver(&c);
297 
298     // Notify again.
299     observer_list->Notify(FROM_HERE, &Foo::Observe, 20);
300     RunLoop().RunUntilIdle();
301 
302     EXPECT_EQ(20, a.total);
303     EXPECT_EQ(0, b.total);
304     EXPECT_EQ(10, c.total);
305   }
306 
307   // Removing should always succeed with or without a loop.
308   observer_list->RemoveObserver(&a);
309 
310   // Notifying should not fail but should also be a no-op.
311   MessageLoop loop;
312   observer_list->AddObserver(&b);
313   observer_list->Notify(FROM_HERE, &Foo::Observe, 30);
314   RunLoop().RunUntilIdle();
315 
316   EXPECT_EQ(20, a.total);
317   EXPECT_EQ(30, b.total);
318   EXPECT_EQ(10, c.total);
319 }
320 
321 class FooRemover : public Foo {
322  public:
FooRemover(ObserverListThreadSafe<Foo> * list)323   explicit FooRemover(ObserverListThreadSafe<Foo>* list) : list_(list) {}
~FooRemover()324   ~FooRemover() override {}
325 
AddFooToRemove(Foo * foo)326   void AddFooToRemove(Foo* foo) {
327     foos_.push_back(foo);
328   }
329 
Observe(int x)330   void Observe(int x) override {
331     std::vector<Foo*> tmp;
332     tmp.swap(foos_);
333     for (std::vector<Foo*>::iterator it = tmp.begin();
334          it != tmp.end(); ++it) {
335       list_->RemoveObserver(*it);
336     }
337   }
338 
339  private:
340   const scoped_refptr<ObserverListThreadSafe<Foo> > list_;
341   std::vector<Foo*> foos_;
342 };
343 
TEST(ObserverListThreadSafeTest,RemoveMultipleObservers)344 TEST(ObserverListThreadSafeTest, RemoveMultipleObservers) {
345   MessageLoop loop;
346   scoped_refptr<ObserverListThreadSafe<Foo> > observer_list(
347       new ObserverListThreadSafe<Foo>);
348 
349   FooRemover a(observer_list.get());
350   Adder b(1);
351 
352   observer_list->AddObserver(&a);
353   observer_list->AddObserver(&b);
354 
355   a.AddFooToRemove(&a);
356   a.AddFooToRemove(&b);
357 
358   observer_list->Notify(FROM_HERE, &Foo::Observe, 1);
359   RunLoop().RunUntilIdle();
360 }
361 
362 // A test driver for a multi-threaded notification loop.  Runs a number
363 // of observer threads, each of which constantly adds/removes itself
364 // from the observer list.  Optionally, if cross_thread_notifies is set
365 // to true, the observer threads will also trigger notifications to
366 // all observers.
ThreadSafeObserverHarness(int num_threads,bool cross_thread_notifies)367 static void ThreadSafeObserverHarness(int num_threads,
368                                       bool cross_thread_notifies) {
369   MessageLoop loop;
370 
371   const int kMaxThreads = 15;
372   num_threads = num_threads > kMaxThreads ? kMaxThreads : num_threads;
373 
374   scoped_refptr<ObserverListThreadSafe<Foo> > observer_list(
375       new ObserverListThreadSafe<Foo>);
376   Adder a(1);
377   Adder b(-1);
378   Adder c(1);
379   Adder d(-1);
380 
381   observer_list->AddObserver(&a);
382   observer_list->AddObserver(&b);
383 
384   AddRemoveThread* threaded_observer[kMaxThreads];
385   base::PlatformThreadHandle threads[kMaxThreads];
386   for (int index = 0; index < num_threads; index++) {
387     threaded_observer[index] = new AddRemoveThread(observer_list.get(), false);
388     EXPECT_TRUE(PlatformThread::Create(0,
389                 threaded_observer[index], &threads[index]));
390   }
391 
392   Time start = Time::Now();
393   while (true) {
394     if ((Time::Now() - start).InMilliseconds() > kThreadRunTime)
395       break;
396 
397     observer_list->Notify(FROM_HERE, &Foo::Observe, 10);
398 
399     RunLoop().RunUntilIdle();
400   }
401 
402   for (int index = 0; index < num_threads; index++) {
403     threaded_observer[index]->Quit();
404     PlatformThread::Join(threads[index]);
405   }
406 }
407 
TEST(ObserverListThreadSafeTest,CrossThreadObserver)408 TEST(ObserverListThreadSafeTest, CrossThreadObserver) {
409   // Use 7 observer threads.  Notifications only come from
410   // the main thread.
411   ThreadSafeObserverHarness(7, false);
412 }
413 
TEST(ObserverListThreadSafeTest,CrossThreadNotifications)414 TEST(ObserverListThreadSafeTest, CrossThreadNotifications) {
415   // Use 3 observer threads.  Notifications will fire from
416   // the main thread and all 3 observer threads.
417   ThreadSafeObserverHarness(3, true);
418 }
419 
TEST(ObserverListThreadSafeTest,OutlivesMessageLoop)420 TEST(ObserverListThreadSafeTest, OutlivesMessageLoop) {
421   MessageLoop* loop = new MessageLoop;
422   scoped_refptr<ObserverListThreadSafe<Foo> > observer_list(
423       new ObserverListThreadSafe<Foo>);
424 
425   Adder a(1);
426   observer_list->AddObserver(&a);
427   delete loop;
428   // Test passes if we don't crash here.
429   observer_list->Notify(FROM_HERE, &Foo::Observe, 1);
430 }
431 
TEST(ObserverListTest,Existing)432 TEST(ObserverListTest, Existing) {
433   ObserverList<Foo> observer_list(ObserverList<Foo>::NOTIFY_EXISTING_ONLY);
434   Adder a(1);
435   AddInObserve<ObserverList<Foo> > b(&observer_list);
436 
437   observer_list.AddObserver(&a);
438   observer_list.AddObserver(&b);
439 
440   FOR_EACH_OBSERVER(Foo, observer_list, Observe(1));
441 
442   EXPECT_TRUE(b.added);
443   // B's adder should not have been notified because it was added during
444   // notification.
445   EXPECT_EQ(0, b.adder.total);
446 
447   // Notify again to make sure b's adder is notified.
448   FOR_EACH_OBSERVER(Foo, observer_list, Observe(1));
449   EXPECT_EQ(1, b.adder.total);
450 }
451 
452 // Same as above, but for ObserverListThreadSafe
TEST(ObserverListThreadSafeTest,Existing)453 TEST(ObserverListThreadSafeTest, Existing) {
454   MessageLoop loop;
455   scoped_refptr<ObserverListThreadSafe<Foo> > observer_list(
456       new ObserverListThreadSafe<Foo>(ObserverList<Foo>::NOTIFY_EXISTING_ONLY));
457   Adder a(1);
458   AddInObserve<ObserverListThreadSafe<Foo> > b(observer_list.get());
459 
460   observer_list->AddObserver(&a);
461   observer_list->AddObserver(&b);
462 
463   observer_list->Notify(FROM_HERE, &Foo::Observe, 1);
464   RunLoop().RunUntilIdle();
465 
466   EXPECT_TRUE(b.added);
467   // B's adder should not have been notified because it was added during
468   // notification.
469   EXPECT_EQ(0, b.adder.total);
470 
471   // Notify again to make sure b's adder is notified.
472   observer_list->Notify(FROM_HERE, &Foo::Observe, 1);
473   RunLoop().RunUntilIdle();
474   EXPECT_EQ(1, b.adder.total);
475 }
476 
477 class AddInClearObserve : public Foo {
478  public:
AddInClearObserve(ObserverList<Foo> * list)479   explicit AddInClearObserve(ObserverList<Foo>* list)
480       : list_(list), added_(false), adder_(1) {}
481 
Observe(int)482   void Observe(int /* x */) override {
483     list_->Clear();
484     list_->AddObserver(&adder_);
485     added_ = true;
486   }
487 
added() const488   bool added() const { return added_; }
adder() const489   const Adder& adder() const { return adder_; }
490 
491  private:
492   ObserverList<Foo>* const list_;
493 
494   bool added_;
495   Adder adder_;
496 };
497 
TEST(ObserverListTest,ClearNotifyAll)498 TEST(ObserverListTest, ClearNotifyAll) {
499   ObserverList<Foo> observer_list;
500   AddInClearObserve a(&observer_list);
501 
502   observer_list.AddObserver(&a);
503 
504   FOR_EACH_OBSERVER(Foo, observer_list, Observe(1));
505   EXPECT_TRUE(a.added());
506   EXPECT_EQ(1, a.adder().total)
507       << "Adder should observe once and have sum of 1.";
508 }
509 
TEST(ObserverListTest,ClearNotifyExistingOnly)510 TEST(ObserverListTest, ClearNotifyExistingOnly) {
511   ObserverList<Foo> observer_list(ObserverList<Foo>::NOTIFY_EXISTING_ONLY);
512   AddInClearObserve a(&observer_list);
513 
514   observer_list.AddObserver(&a);
515 
516   FOR_EACH_OBSERVER(Foo, observer_list, Observe(1));
517   EXPECT_TRUE(a.added());
518   EXPECT_EQ(0, a.adder().total)
519       << "Adder should not observe, so sum should still be 0.";
520 }
521 
522 class ListDestructor : public Foo {
523  public:
ListDestructor(ObserverList<Foo> * list)524   explicit ListDestructor(ObserverList<Foo>* list) : list_(list) {}
~ListDestructor()525   ~ListDestructor() override {}
526 
Observe(int x)527   void Observe(int x) override { delete list_; }
528 
529  private:
530   ObserverList<Foo>* list_;
531 };
532 
533 
TEST(ObserverListTest,IteratorOutlivesList)534 TEST(ObserverListTest, IteratorOutlivesList) {
535   ObserverList<Foo>* observer_list = new ObserverList<Foo>;
536   ListDestructor a(observer_list);
537   observer_list->AddObserver(&a);
538 
539   FOR_EACH_OBSERVER(Foo, *observer_list, Observe(0));
540   // If this test fails, there'll be Valgrind errors when this function goes out
541   // of scope.
542 }
543 
544 }  // namespace
545 }  // namespace base
546