dst.c 9.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418
  1. /*
  2. * net/core/dst.c Protocol independent destination cache.
  3. *
  4. * Authors: Alexey Kuznetsov, <kuznet@ms2.inr.ac.ru>
  5. *
  6. */
  7. #include <linux/bitops.h>
  8. #include <linux/errno.h>
  9. #include <linux/init.h>
  10. #include <linux/kernel.h>
  11. #include <linux/workqueue.h>
  12. #include <linux/mm.h>
  13. #include <linux/module.h>
  14. #include <linux/slab.h>
  15. #include <linux/netdevice.h>
  16. #include <linux/skbuff.h>
  17. #include <linux/string.h>
  18. #include <linux/types.h>
  19. #include <net/net_namespace.h>
  20. #include <linux/sched.h>
  21. #include <net/dst.h>
  22. /*
  23. * Theory of operations:
  24. * 1) We use a list, protected by a spinlock, to add
  25. * new entries from both BH and non-BH context.
  26. * 2) In order to keep spinlock held for a small delay,
  27. * we use a second list where are stored long lived
  28. * entries, that are handled by the garbage collect thread
  29. * fired by a workqueue.
  30. * 3) This list is guarded by a mutex,
  31. * so that the gc_task and dst_dev_event() can be synchronized.
  32. */
  33. #if RT_CACHE_DEBUG >= 2
  34. static atomic_t dst_total = ATOMIC_INIT(0);
  35. #endif
  36. /*
  37. * We want to keep lock & list close together
  38. * to dirty as few cache lines as possible in __dst_free().
  39. * As this is not a very strong hint, we dont force an alignment on SMP.
  40. */
  41. static struct {
  42. spinlock_t lock;
  43. struct dst_entry *list;
  44. unsigned long timer_inc;
  45. unsigned long timer_expires;
  46. } dst_garbage = {
  47. .lock = __SPIN_LOCK_UNLOCKED(dst_garbage.lock),
  48. .timer_inc = DST_GC_MAX,
  49. };
  50. static void dst_gc_task(struct work_struct *work);
  51. static void ___dst_free(struct dst_entry *dst);
  52. static DECLARE_DELAYED_WORK(dst_gc_work, dst_gc_task);
  53. static DEFINE_MUTEX(dst_gc_mutex);
  54. /*
  55. * long lived entries are maintained in this list, guarded by dst_gc_mutex
  56. */
  57. static struct dst_entry *dst_busy_list;
  58. static void dst_gc_task(struct work_struct *work)
  59. {
  60. int delayed = 0;
  61. int work_performed = 0;
  62. unsigned long expires = ~0L;
  63. struct dst_entry *dst, *next, head;
  64. struct dst_entry *last = &head;
  65. #if RT_CACHE_DEBUG >= 2
  66. ktime_t time_start = ktime_get();
  67. struct timespec elapsed;
  68. #endif
  69. mutex_lock(&dst_gc_mutex);
  70. next = dst_busy_list;
  71. loop:
  72. while ((dst = next) != NULL) {
  73. next = dst->next;
  74. prefetch(&next->next);
  75. cond_resched();
  76. if (likely(atomic_read(&dst->__refcnt))) {
  77. last->next = dst;
  78. last = dst;
  79. delayed++;
  80. continue;
  81. }
  82. work_performed++;
  83. dst = dst_destroy(dst);
  84. if (dst) {
  85. /* NOHASH and still referenced. Unless it is already
  86. * on gc list, invalidate it and add to gc list.
  87. *
  88. * Note: this is temporary. Actually, NOHASH dst's
  89. * must be obsoleted when parent is obsoleted.
  90. * But we do not have state "obsoleted, but
  91. * referenced by parent", so it is right.
  92. */
  93. if (dst->obsolete > 1)
  94. continue;
  95. ___dst_free(dst);
  96. dst->next = next;
  97. next = dst;
  98. }
  99. }
  100. spin_lock_bh(&dst_garbage.lock);
  101. next = dst_garbage.list;
  102. if (next) {
  103. dst_garbage.list = NULL;
  104. spin_unlock_bh(&dst_garbage.lock);
  105. goto loop;
  106. }
  107. last->next = NULL;
  108. dst_busy_list = head.next;
  109. if (!dst_busy_list)
  110. dst_garbage.timer_inc = DST_GC_MAX;
  111. else {
  112. /*
  113. * if we freed less than 1/10 of delayed entries,
  114. * we can sleep longer.
  115. */
  116. if (work_performed <= delayed/10) {
  117. dst_garbage.timer_expires += dst_garbage.timer_inc;
  118. if (dst_garbage.timer_expires > DST_GC_MAX)
  119. dst_garbage.timer_expires = DST_GC_MAX;
  120. dst_garbage.timer_inc += DST_GC_INC;
  121. } else {
  122. dst_garbage.timer_inc = DST_GC_INC;
  123. dst_garbage.timer_expires = DST_GC_MIN;
  124. }
  125. expires = dst_garbage.timer_expires;
  126. /*
  127. * if the next desired timer is more than 4 seconds in the
  128. * future then round the timer to whole seconds
  129. */
  130. if (expires > 4*HZ)
  131. expires = round_jiffies_relative(expires);
  132. schedule_delayed_work(&dst_gc_work, expires);
  133. }
  134. spin_unlock_bh(&dst_garbage.lock);
  135. mutex_unlock(&dst_gc_mutex);
  136. #if RT_CACHE_DEBUG >= 2
  137. elapsed = ktime_to_timespec(ktime_sub(ktime_get(), time_start));
  138. printk(KERN_DEBUG "dst_total: %d delayed: %d work_perf: %d"
  139. " expires: %lu elapsed: %lu us\n",
  140. atomic_read(&dst_total), delayed, work_performed,
  141. expires,
  142. elapsed.tv_sec * USEC_PER_SEC +
  143. elapsed.tv_nsec / NSEC_PER_USEC);
  144. #endif
  145. }
  146. int dst_discard(struct sk_buff *skb)
  147. {
  148. kfree_skb(skb);
  149. return 0;
  150. }
  151. EXPORT_SYMBOL(dst_discard);
  152. const u32 dst_default_metrics[RTAX_MAX];
  153. void *dst_alloc(struct dst_ops *ops, int initial_ref)
  154. {
  155. struct dst_entry *dst;
  156. if (ops->gc && dst_entries_get_fast(ops) > ops->gc_thresh) {
  157. if (ops->gc(ops))
  158. return NULL;
  159. }
  160. dst = kmem_cache_zalloc(ops->kmem_cachep, GFP_ATOMIC);
  161. if (!dst)
  162. return NULL;
  163. atomic_set(&dst->__refcnt, initial_ref);
  164. dst->ops = ops;
  165. dst->lastuse = jiffies;
  166. dst->path = dst;
  167. dst->input = dst->output = dst_discard;
  168. dst_init_metrics(dst, dst_default_metrics, true);
  169. #if RT_CACHE_DEBUG >= 2
  170. atomic_inc(&dst_total);
  171. #endif
  172. dst_entries_add(ops, 1);
  173. return dst;
  174. }
  175. EXPORT_SYMBOL(dst_alloc);
  176. static void ___dst_free(struct dst_entry *dst)
  177. {
  178. /* The first case (dev==NULL) is required, when
  179. protocol module is unloaded.
  180. */
  181. if (dst->dev == NULL || !(dst->dev->flags&IFF_UP))
  182. dst->input = dst->output = dst_discard;
  183. dst->obsolete = 2;
  184. }
  185. void __dst_free(struct dst_entry *dst)
  186. {
  187. spin_lock_bh(&dst_garbage.lock);
  188. ___dst_free(dst);
  189. dst->next = dst_garbage.list;
  190. dst_garbage.list = dst;
  191. if (dst_garbage.timer_inc > DST_GC_INC) {
  192. dst_garbage.timer_inc = DST_GC_INC;
  193. dst_garbage.timer_expires = DST_GC_MIN;
  194. cancel_delayed_work(&dst_gc_work);
  195. schedule_delayed_work(&dst_gc_work, dst_garbage.timer_expires);
  196. }
  197. spin_unlock_bh(&dst_garbage.lock);
  198. }
  199. EXPORT_SYMBOL(__dst_free);
  200. struct dst_entry *dst_destroy(struct dst_entry * dst)
  201. {
  202. struct dst_entry *child;
  203. struct neighbour *neigh;
  204. struct hh_cache *hh;
  205. smp_rmb();
  206. again:
  207. neigh = dst->neighbour;
  208. hh = dst->hh;
  209. child = dst->child;
  210. dst->hh = NULL;
  211. if (hh)
  212. hh_cache_put(hh);
  213. if (neigh) {
  214. dst->neighbour = NULL;
  215. neigh_release(neigh);
  216. }
  217. dst_entries_add(dst->ops, -1);
  218. if (dst->ops->destroy)
  219. dst->ops->destroy(dst);
  220. if (dst->dev)
  221. dev_put(dst->dev);
  222. #if RT_CACHE_DEBUG >= 2
  223. atomic_dec(&dst_total);
  224. #endif
  225. kmem_cache_free(dst->ops->kmem_cachep, dst);
  226. dst = child;
  227. if (dst) {
  228. int nohash = dst->flags & DST_NOHASH;
  229. if (atomic_dec_and_test(&dst->__refcnt)) {
  230. /* We were real parent of this dst, so kill child. */
  231. if (nohash)
  232. goto again;
  233. } else {
  234. /* Child is still referenced, return it for freeing. */
  235. if (nohash)
  236. return dst;
  237. /* Child is still in his hash table */
  238. }
  239. }
  240. return NULL;
  241. }
  242. EXPORT_SYMBOL(dst_destroy);
  243. void dst_release(struct dst_entry *dst)
  244. {
  245. if (dst) {
  246. int newrefcnt;
  247. newrefcnt = atomic_dec_return(&dst->__refcnt);
  248. WARN_ON(newrefcnt < 0);
  249. if (unlikely(dst->flags & DST_NOCACHE) && !newrefcnt) {
  250. dst = dst_destroy(dst);
  251. if (dst)
  252. __dst_free(dst);
  253. }
  254. }
  255. }
  256. EXPORT_SYMBOL(dst_release);
  257. u32 *dst_cow_metrics_generic(struct dst_entry *dst, unsigned long old)
  258. {
  259. u32 *p = kmalloc(sizeof(u32) * RTAX_MAX, GFP_ATOMIC);
  260. if (p) {
  261. u32 *old_p = __DST_METRICS_PTR(old);
  262. unsigned long prev, new;
  263. memcpy(p, old_p, sizeof(u32) * RTAX_MAX);
  264. new = (unsigned long) p;
  265. prev = cmpxchg(&dst->_metrics, old, new);
  266. if (prev != old) {
  267. kfree(p);
  268. p = __DST_METRICS_PTR(prev);
  269. if (prev & DST_METRICS_READ_ONLY)
  270. p = NULL;
  271. }
  272. }
  273. return p;
  274. }
  275. EXPORT_SYMBOL(dst_cow_metrics_generic);
  276. /* Caller asserts that dst_metrics_read_only(dst) is false. */
  277. void __dst_destroy_metrics_generic(struct dst_entry *dst, unsigned long old)
  278. {
  279. unsigned long prev, new;
  280. new = (unsigned long) dst_default_metrics;
  281. prev = cmpxchg(&dst->_metrics, old, new);
  282. if (prev == old)
  283. kfree(__DST_METRICS_PTR(old));
  284. }
  285. EXPORT_SYMBOL(__dst_destroy_metrics_generic);
  286. /**
  287. * skb_dst_set_noref - sets skb dst, without a reference
  288. * @skb: buffer
  289. * @dst: dst entry
  290. *
  291. * Sets skb dst, assuming a reference was not taken on dst
  292. * skb_dst_drop() should not dst_release() this dst
  293. */
  294. void skb_dst_set_noref(struct sk_buff *skb, struct dst_entry *dst)
  295. {
  296. WARN_ON(!rcu_read_lock_held() && !rcu_read_lock_bh_held());
  297. /* If dst not in cache, we must take a reference, because
  298. * dst_release() will destroy dst as soon as its refcount becomes zero
  299. */
  300. if (unlikely(dst->flags & DST_NOCACHE)) {
  301. dst_hold(dst);
  302. skb_dst_set(skb, dst);
  303. } else {
  304. skb->_skb_refdst = (unsigned long)dst | SKB_DST_NOREF;
  305. }
  306. }
  307. EXPORT_SYMBOL(skb_dst_set_noref);
  308. /* Dirty hack. We did it in 2.2 (in __dst_free),
  309. * we have _very_ good reasons not to repeat
  310. * this mistake in 2.3, but we have no choice
  311. * now. _It_ _is_ _explicit_ _deliberate_
  312. * _race_ _condition_.
  313. *
  314. * Commented and originally written by Alexey.
  315. */
  316. static void dst_ifdown(struct dst_entry *dst, struct net_device *dev,
  317. int unregister)
  318. {
  319. if (dst->ops->ifdown)
  320. dst->ops->ifdown(dst, dev, unregister);
  321. if (dev != dst->dev)
  322. return;
  323. if (!unregister) {
  324. dst->input = dst->output = dst_discard;
  325. } else {
  326. dst->dev = dev_net(dst->dev)->loopback_dev;
  327. dev_hold(dst->dev);
  328. dev_put(dev);
  329. if (dst->neighbour && dst->neighbour->dev == dev) {
  330. dst->neighbour->dev = dst->dev;
  331. dev_hold(dst->dev);
  332. dev_put(dev);
  333. }
  334. }
  335. }
  336. static int dst_dev_event(struct notifier_block *this, unsigned long event,
  337. void *ptr)
  338. {
  339. struct net_device *dev = ptr;
  340. struct dst_entry *dst, *last = NULL;
  341. switch (event) {
  342. case NETDEV_UNREGISTER:
  343. case NETDEV_DOWN:
  344. mutex_lock(&dst_gc_mutex);
  345. for (dst = dst_busy_list; dst; dst = dst->next) {
  346. last = dst;
  347. dst_ifdown(dst, dev, event != NETDEV_DOWN);
  348. }
  349. spin_lock_bh(&dst_garbage.lock);
  350. dst = dst_garbage.list;
  351. dst_garbage.list = NULL;
  352. spin_unlock_bh(&dst_garbage.lock);
  353. if (last)
  354. last->next = dst;
  355. else
  356. dst_busy_list = dst;
  357. for (; dst; dst = dst->next)
  358. dst_ifdown(dst, dev, event != NETDEV_DOWN);
  359. mutex_unlock(&dst_gc_mutex);
  360. break;
  361. }
  362. return NOTIFY_DONE;
  363. }
  364. static struct notifier_block dst_dev_notifier = {
  365. .notifier_call = dst_dev_event,
  366. .priority = -10, /* must be called after other network notifiers */
  367. };
  368. void __init dst_init(void)
  369. {
  370. register_netdevice_notifier(&dst_dev_notifier);
  371. }