virtio_ring.c 8.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331
  1. /* Virtio ring implementation.
  2. *
  3. * Copyright 2007 Rusty Russell IBM Corporation
  4. *
  5. * This program is free software; you can redistribute it and/or modify
  6. * it under the terms of the GNU General Public License as published by
  7. * the Free Software Foundation; either version 2 of the License, or
  8. * (at your option) any later version.
  9. *
  10. * This program is distributed in the hope that it will be useful,
  11. * but WITHOUT ANY WARRANTY; without even the implied warranty of
  12. * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  13. * GNU General Public License for more details.
  14. *
  15. * You should have received a copy of the GNU General Public License
  16. * along with this program; if not, write to the Free Software
  17. * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
  18. */
  19. #include <linux/virtio.h>
  20. #include <linux/virtio_ring.h>
  21. #include <linux/device.h>
  22. #ifdef DEBUG
  23. /* For development, we want to crash whenever the ring is screwed. */
  24. #define BAD_RING(vq, fmt...) \
  25. do { dev_err(&vq->vq.vdev->dev, fmt); BUG(); } while(0)
  26. #define START_USE(vq) \
  27. do { if ((vq)->in_use) panic("in_use = %i\n", (vq)->in_use); (vq)->in_use = __LINE__; mb(); } while(0)
  28. #define END_USE(vq) \
  29. do { BUG_ON(!(vq)->in_use); (vq)->in_use = 0; mb(); } while(0)
  30. #else
  31. #define BAD_RING(vq, fmt...) \
  32. do { dev_err(&vq->vq.vdev->dev, fmt); (vq)->broken = true; } while(0)
  33. #define START_USE(vq)
  34. #define END_USE(vq)
  35. #endif
  36. struct vring_virtqueue
  37. {
  38. struct virtqueue vq;
  39. /* Actual memory layout for this queue */
  40. struct vring vring;
  41. /* Other side has made a mess, don't try any more. */
  42. bool broken;
  43. /* Number of free buffers */
  44. unsigned int num_free;
  45. /* Head of free buffer list. */
  46. unsigned int free_head;
  47. /* Number we've added since last sync. */
  48. unsigned int num_added;
  49. /* Last used index we've seen. */
  50. u16 last_used_idx;
  51. /* How to notify other side. FIXME: commonalize hcalls! */
  52. void (*notify)(struct virtqueue *vq);
  53. #ifdef DEBUG
  54. /* They're supposed to lock for us. */
  55. unsigned int in_use;
  56. #endif
  57. /* Tokens for callbacks. */
  58. void *data[];
  59. };
  60. #define to_vvq(_vq) container_of(_vq, struct vring_virtqueue, vq)
  61. static int vring_add_buf(struct virtqueue *_vq,
  62. struct scatterlist sg[],
  63. unsigned int out,
  64. unsigned int in,
  65. void *data)
  66. {
  67. struct vring_virtqueue *vq = to_vvq(_vq);
  68. unsigned int i, avail, head, uninitialized_var(prev);
  69. BUG_ON(data == NULL);
  70. BUG_ON(out + in > vq->vring.num);
  71. BUG_ON(out + in == 0);
  72. START_USE(vq);
  73. if (vq->num_free < out + in) {
  74. pr_debug("Can't add buf len %i - avail = %i\n",
  75. out + in, vq->num_free);
  76. /* We notify *even if* VRING_USED_F_NO_NOTIFY is set here. */
  77. vq->notify(&vq->vq);
  78. END_USE(vq);
  79. return -ENOSPC;
  80. }
  81. /* We're about to use some buffers from the free list. */
  82. vq->num_free -= out + in;
  83. head = vq->free_head;
  84. for (i = vq->free_head; out; i = vq->vring.desc[i].next, out--) {
  85. vq->vring.desc[i].flags = VRING_DESC_F_NEXT;
  86. vq->vring.desc[i].addr = sg_phys(sg);
  87. vq->vring.desc[i].len = sg->length;
  88. prev = i;
  89. sg++;
  90. }
  91. for (; in; i = vq->vring.desc[i].next, in--) {
  92. vq->vring.desc[i].flags = VRING_DESC_F_NEXT|VRING_DESC_F_WRITE;
  93. vq->vring.desc[i].addr = sg_phys(sg);
  94. vq->vring.desc[i].len = sg->length;
  95. prev = i;
  96. sg++;
  97. }
  98. /* Last one doesn't continue. */
  99. vq->vring.desc[prev].flags &= ~VRING_DESC_F_NEXT;
  100. /* Update free pointer */
  101. vq->free_head = i;
  102. /* Set token. */
  103. vq->data[head] = data;
  104. /* Put entry in available array (but don't update avail->idx until they
  105. * do sync). FIXME: avoid modulus here? */
  106. avail = (vq->vring.avail->idx + vq->num_added++) % vq->vring.num;
  107. vq->vring.avail->ring[avail] = head;
  108. pr_debug("Added buffer head %i to %p\n", head, vq);
  109. END_USE(vq);
  110. return 0;
  111. }
  112. static void vring_kick(struct virtqueue *_vq)
  113. {
  114. struct vring_virtqueue *vq = to_vvq(_vq);
  115. START_USE(vq);
  116. /* Descriptors and available array need to be set before we expose the
  117. * new available array entries. */
  118. wmb();
  119. vq->vring.avail->idx += vq->num_added;
  120. vq->num_added = 0;
  121. /* Need to update avail index before checking if we should notify */
  122. mb();
  123. if (!(vq->vring.used->flags & VRING_USED_F_NO_NOTIFY))
  124. /* Prod other side to tell it about changes. */
  125. vq->notify(&vq->vq);
  126. END_USE(vq);
  127. }
  128. static void detach_buf(struct vring_virtqueue *vq, unsigned int head)
  129. {
  130. unsigned int i;
  131. /* Clear data ptr. */
  132. vq->data[head] = NULL;
  133. /* Put back on free list: find end */
  134. i = head;
  135. while (vq->vring.desc[i].flags & VRING_DESC_F_NEXT) {
  136. i = vq->vring.desc[i].next;
  137. vq->num_free++;
  138. }
  139. vq->vring.desc[i].next = vq->free_head;
  140. vq->free_head = head;
  141. /* Plus final descriptor */
  142. vq->num_free++;
  143. }
  144. static inline bool more_used(const struct vring_virtqueue *vq)
  145. {
  146. return vq->last_used_idx != vq->vring.used->idx;
  147. }
  148. static void *vring_get_buf(struct virtqueue *_vq, unsigned int *len)
  149. {
  150. struct vring_virtqueue *vq = to_vvq(_vq);
  151. void *ret;
  152. unsigned int i;
  153. START_USE(vq);
  154. if (unlikely(vq->broken)) {
  155. END_USE(vq);
  156. return NULL;
  157. }
  158. if (!more_used(vq)) {
  159. pr_debug("No more buffers in queue\n");
  160. END_USE(vq);
  161. return NULL;
  162. }
  163. i = vq->vring.used->ring[vq->last_used_idx%vq->vring.num].id;
  164. *len = vq->vring.used->ring[vq->last_used_idx%vq->vring.num].len;
  165. if (unlikely(i >= vq->vring.num)) {
  166. BAD_RING(vq, "id %u out of range\n", i);
  167. return NULL;
  168. }
  169. if (unlikely(!vq->data[i])) {
  170. BAD_RING(vq, "id %u is not a head!\n", i);
  171. return NULL;
  172. }
  173. /* detach_buf clears data, so grab it now. */
  174. ret = vq->data[i];
  175. detach_buf(vq, i);
  176. vq->last_used_idx++;
  177. END_USE(vq);
  178. return ret;
  179. }
  180. static void vring_disable_cb(struct virtqueue *_vq)
  181. {
  182. struct vring_virtqueue *vq = to_vvq(_vq);
  183. vq->vring.avail->flags |= VRING_AVAIL_F_NO_INTERRUPT;
  184. }
  185. static bool vring_enable_cb(struct virtqueue *_vq)
  186. {
  187. struct vring_virtqueue *vq = to_vvq(_vq);
  188. START_USE(vq);
  189. BUG_ON(!(vq->vring.avail->flags & VRING_AVAIL_F_NO_INTERRUPT));
  190. /* We optimistically turn back on interrupts, then check if there was
  191. * more to do. */
  192. vq->vring.avail->flags &= ~VRING_AVAIL_F_NO_INTERRUPT;
  193. mb();
  194. if (unlikely(more_used(vq))) {
  195. END_USE(vq);
  196. return false;
  197. }
  198. END_USE(vq);
  199. return true;
  200. }
  201. irqreturn_t vring_interrupt(int irq, void *_vq)
  202. {
  203. struct vring_virtqueue *vq = to_vvq(_vq);
  204. if (!more_used(vq)) {
  205. pr_debug("virtqueue interrupt with no work for %p\n", vq);
  206. return IRQ_NONE;
  207. }
  208. if (unlikely(vq->broken))
  209. return IRQ_HANDLED;
  210. /* Other side may have missed us turning off the interrupt,
  211. * but we should preserve disable semantic for virtio users. */
  212. if (unlikely(vq->vring.avail->flags & VRING_AVAIL_F_NO_INTERRUPT)) {
  213. pr_debug("virtqueue interrupt after disable for %p\n", vq);
  214. return IRQ_HANDLED;
  215. }
  216. pr_debug("virtqueue callback for %p (%p)\n", vq, vq->vq.callback);
  217. if (vq->vq.callback)
  218. vq->vq.callback(&vq->vq);
  219. return IRQ_HANDLED;
  220. }
  221. EXPORT_SYMBOL_GPL(vring_interrupt);
  222. static struct virtqueue_ops vring_vq_ops = {
  223. .add_buf = vring_add_buf,
  224. .get_buf = vring_get_buf,
  225. .kick = vring_kick,
  226. .disable_cb = vring_disable_cb,
  227. .enable_cb = vring_enable_cb,
  228. };
  229. struct virtqueue *vring_new_virtqueue(unsigned int num,
  230. struct virtio_device *vdev,
  231. void *pages,
  232. void (*notify)(struct virtqueue *),
  233. void (*callback)(struct virtqueue *))
  234. {
  235. struct vring_virtqueue *vq;
  236. unsigned int i;
  237. /* We assume num is a power of 2. */
  238. if (num & (num - 1)) {
  239. dev_warn(&vdev->dev, "Bad virtqueue length %u\n", num);
  240. return NULL;
  241. }
  242. vq = kmalloc(sizeof(*vq) + sizeof(void *)*num, GFP_KERNEL);
  243. if (!vq)
  244. return NULL;
  245. vring_init(&vq->vring, num, pages, PAGE_SIZE);
  246. vq->vq.callback = callback;
  247. vq->vq.vdev = vdev;
  248. vq->vq.vq_ops = &vring_vq_ops;
  249. vq->notify = notify;
  250. vq->broken = false;
  251. vq->last_used_idx = 0;
  252. vq->num_added = 0;
  253. #ifdef DEBUG
  254. vq->in_use = false;
  255. #endif
  256. /* No callback? Tell other side not to bother us. */
  257. if (!callback)
  258. vq->vring.avail->flags |= VRING_AVAIL_F_NO_INTERRUPT;
  259. /* Put everything in free lists. */
  260. vq->num_free = num;
  261. vq->free_head = 0;
  262. for (i = 0; i < num-1; i++)
  263. vq->vring.desc[i].next = i+1;
  264. return &vq->vq;
  265. }
  266. EXPORT_SYMBOL_GPL(vring_new_virtqueue);
  267. void vring_del_virtqueue(struct virtqueue *vq)
  268. {
  269. kfree(to_vvq(vq));
  270. }
  271. EXPORT_SYMBOL_GPL(vring_del_virtqueue);
  272. MODULE_LICENSE("GPL");