aio.c 46 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457145814591460146114621463146414651466146714681469147014711472147314741475147614771478147914801481148214831484148514861487148814891490149114921493149414951496149714981499150015011502150315041505150615071508150915101511151215131514151515161517151815191520152115221523152415251526152715281529153015311532153315341535153615371538153915401541154215431544154515461547154815491550155115521553155415551556155715581559156015611562156315641565156615671568156915701571157215731574157515761577157815791580158115821583158415851586158715881589159015911592159315941595159615971598159916001601160216031604160516061607160816091610161116121613161416151616161716181619162016211622162316241625162616271628162916301631163216331634163516361637163816391640164116421643164416451646164716481649165016511652165316541655165616571658165916601661166216631664166516661667166816691670167116721673167416751676167716781679168016811682168316841685168616871688168916901691169216931694169516961697169816991700170117021703170417051706170717081709171017111712171317141715171617171718171917201721172217231724172517261727172817291730173117321733173417351736173717381739174017411742174317441745174617471748174917501751175217531754175517561757175817591760176117621763176417651766176717681769177017711772177317741775177617771778177917801781178217831784178517861787178817891790179117921793179417951796179717981799180018011802180318041805180618071808180918101811181218131814181518161817181818191820182118221823182418251826182718281829
  1. /*
  2. * An async IO implementation for Linux
  3. * Written by Benjamin LaHaise <bcrl@kvack.org>
  4. *
  5. * Implements an efficient asynchronous io interface.
  6. *
  7. * Copyright 2000, 2001, 2002 Red Hat, Inc. All Rights Reserved.
  8. *
  9. * See ../COPYING for licensing terms.
  10. */
  11. #include <linux/kernel.h>
  12. #include <linux/init.h>
  13. #include <linux/errno.h>
  14. #include <linux/time.h>
  15. #include <linux/aio_abi.h>
  16. #include <linux/module.h>
  17. #include <linux/syscalls.h>
  18. #include <linux/backing-dev.h>
  19. #include <linux/uio.h>
  20. #define DEBUG 0
  21. #include <linux/sched.h>
  22. #include <linux/fs.h>
  23. #include <linux/file.h>
  24. #include <linux/mm.h>
  25. #include <linux/mman.h>
  26. #include <linux/mmu_context.h>
  27. #include <linux/slab.h>
  28. #include <linux/timer.h>
  29. #include <linux/aio.h>
  30. #include <linux/highmem.h>
  31. #include <linux/workqueue.h>
  32. #include <linux/security.h>
  33. #include <linux/eventfd.h>
  34. #include <linux/blkdev.h>
  35. #include <linux/mempool.h>
  36. #include <linux/hash.h>
  37. #include <linux/compat.h>
  38. #include <asm/kmap_types.h>
  39. #include <asm/uaccess.h>
  40. #if DEBUG > 1
  41. #define dprintk printk
  42. #else
  43. #define dprintk(x...) do { ; } while (0)
  44. #endif
  45. /*------ sysctl variables----*/
  46. static DEFINE_SPINLOCK(aio_nr_lock);
  47. unsigned long aio_nr; /* current system wide number of aio requests */
  48. unsigned long aio_max_nr = 0x10000; /* system wide maximum number of aio requests */
  49. /*----end sysctl variables---*/
  50. static struct kmem_cache *kiocb_cachep;
  51. static struct kmem_cache *kioctx_cachep;
  52. static struct workqueue_struct *aio_wq;
  53. /* Used for rare fput completion. */
  54. static void aio_fput_routine(struct work_struct *);
  55. static DECLARE_WORK(fput_work, aio_fput_routine);
  56. static DEFINE_SPINLOCK(fput_lock);
  57. static LIST_HEAD(fput_head);
  58. #define AIO_BATCH_HASH_BITS 3 /* allocated on-stack, so don't go crazy */
  59. #define AIO_BATCH_HASH_SIZE (1 << AIO_BATCH_HASH_BITS)
  60. struct aio_batch_entry {
  61. struct hlist_node list;
  62. struct address_space *mapping;
  63. };
  64. mempool_t *abe_pool;
  65. static void aio_kick_handler(struct work_struct *);
  66. static void aio_queue_work(struct kioctx *);
  67. /* aio_setup
  68. * Creates the slab caches used by the aio routines, panic on
  69. * failure as this is done early during the boot sequence.
  70. */
  71. static int __init aio_setup(void)
  72. {
  73. kiocb_cachep = KMEM_CACHE(kiocb, SLAB_HWCACHE_ALIGN|SLAB_PANIC);
  74. kioctx_cachep = KMEM_CACHE(kioctx,SLAB_HWCACHE_ALIGN|SLAB_PANIC);
  75. aio_wq = create_workqueue("aio");
  76. abe_pool = mempool_create_kmalloc_pool(1, sizeof(struct aio_batch_entry));
  77. BUG_ON(!abe_pool);
  78. pr_debug("aio_setup: sizeof(struct page) = %d\n", (int)sizeof(struct page));
  79. return 0;
  80. }
  81. __initcall(aio_setup);
  82. static void aio_free_ring(struct kioctx *ctx)
  83. {
  84. struct aio_ring_info *info = &ctx->ring_info;
  85. long i;
  86. for (i=0; i<info->nr_pages; i++)
  87. put_page(info->ring_pages[i]);
  88. if (info->mmap_size) {
  89. down_write(&ctx->mm->mmap_sem);
  90. do_munmap(ctx->mm, info->mmap_base, info->mmap_size);
  91. up_write(&ctx->mm->mmap_sem);
  92. }
  93. if (info->ring_pages && info->ring_pages != info->internal_pages)
  94. kfree(info->ring_pages);
  95. info->ring_pages = NULL;
  96. info->nr = 0;
  97. }
  98. static int aio_setup_ring(struct kioctx *ctx)
  99. {
  100. struct aio_ring *ring;
  101. struct aio_ring_info *info = &ctx->ring_info;
  102. unsigned nr_events = ctx->max_reqs;
  103. unsigned long size;
  104. int nr_pages;
  105. /* Compensate for the ring buffer's head/tail overlap entry */
  106. nr_events += 2; /* 1 is required, 2 for good luck */
  107. size = sizeof(struct aio_ring);
  108. size += sizeof(struct io_event) * nr_events;
  109. nr_pages = (size + PAGE_SIZE-1) >> PAGE_SHIFT;
  110. if (nr_pages < 0)
  111. return -EINVAL;
  112. nr_events = (PAGE_SIZE * nr_pages - sizeof(struct aio_ring)) / sizeof(struct io_event);
  113. info->nr = 0;
  114. info->ring_pages = info->internal_pages;
  115. if (nr_pages > AIO_RING_PAGES) {
  116. info->ring_pages = kcalloc(nr_pages, sizeof(struct page *), GFP_KERNEL);
  117. if (!info->ring_pages)
  118. return -ENOMEM;
  119. }
  120. info->mmap_size = nr_pages * PAGE_SIZE;
  121. dprintk("attempting mmap of %lu bytes\n", info->mmap_size);
  122. down_write(&ctx->mm->mmap_sem);
  123. info->mmap_base = do_mmap(NULL, 0, info->mmap_size,
  124. PROT_READ|PROT_WRITE, MAP_ANONYMOUS|MAP_PRIVATE,
  125. 0);
  126. if (IS_ERR((void *)info->mmap_base)) {
  127. up_write(&ctx->mm->mmap_sem);
  128. info->mmap_size = 0;
  129. aio_free_ring(ctx);
  130. return -EAGAIN;
  131. }
  132. dprintk("mmap address: 0x%08lx\n", info->mmap_base);
  133. info->nr_pages = get_user_pages(current, ctx->mm,
  134. info->mmap_base, nr_pages,
  135. 1, 0, info->ring_pages, NULL);
  136. up_write(&ctx->mm->mmap_sem);
  137. if (unlikely(info->nr_pages != nr_pages)) {
  138. aio_free_ring(ctx);
  139. return -EAGAIN;
  140. }
  141. ctx->user_id = info->mmap_base;
  142. info->nr = nr_events; /* trusted copy */
  143. ring = kmap_atomic(info->ring_pages[0], KM_USER0);
  144. ring->nr = nr_events; /* user copy */
  145. ring->id = ctx->user_id;
  146. ring->head = ring->tail = 0;
  147. ring->magic = AIO_RING_MAGIC;
  148. ring->compat_features = AIO_RING_COMPAT_FEATURES;
  149. ring->incompat_features = AIO_RING_INCOMPAT_FEATURES;
  150. ring->header_length = sizeof(struct aio_ring);
  151. kunmap_atomic(ring, KM_USER0);
  152. return 0;
  153. }
  154. /* aio_ring_event: returns a pointer to the event at the given index from
  155. * kmap_atomic(, km). Release the pointer with put_aio_ring_event();
  156. */
  157. #define AIO_EVENTS_PER_PAGE (PAGE_SIZE / sizeof(struct io_event))
  158. #define AIO_EVENTS_FIRST_PAGE ((PAGE_SIZE - sizeof(struct aio_ring)) / sizeof(struct io_event))
  159. #define AIO_EVENTS_OFFSET (AIO_EVENTS_PER_PAGE - AIO_EVENTS_FIRST_PAGE)
  160. #define aio_ring_event(info, nr, km) ({ \
  161. unsigned pos = (nr) + AIO_EVENTS_OFFSET; \
  162. struct io_event *__event; \
  163. __event = kmap_atomic( \
  164. (info)->ring_pages[pos / AIO_EVENTS_PER_PAGE], km); \
  165. __event += pos % AIO_EVENTS_PER_PAGE; \
  166. __event; \
  167. })
  168. #define put_aio_ring_event(event, km) do { \
  169. struct io_event *__event = (event); \
  170. (void)__event; \
  171. kunmap_atomic((void *)((unsigned long)__event & PAGE_MASK), km); \
  172. } while(0)
  173. static void ctx_rcu_free(struct rcu_head *head)
  174. {
  175. struct kioctx *ctx = container_of(head, struct kioctx, rcu_head);
  176. unsigned nr_events = ctx->max_reqs;
  177. kmem_cache_free(kioctx_cachep, ctx);
  178. if (nr_events) {
  179. spin_lock(&aio_nr_lock);
  180. BUG_ON(aio_nr - nr_events > aio_nr);
  181. aio_nr -= nr_events;
  182. spin_unlock(&aio_nr_lock);
  183. }
  184. }
  185. /* __put_ioctx
  186. * Called when the last user of an aio context has gone away,
  187. * and the struct needs to be freed.
  188. */
  189. static void __put_ioctx(struct kioctx *ctx)
  190. {
  191. BUG_ON(ctx->reqs_active);
  192. cancel_delayed_work(&ctx->wq);
  193. cancel_work_sync(&ctx->wq.work);
  194. aio_free_ring(ctx);
  195. mmdrop(ctx->mm);
  196. ctx->mm = NULL;
  197. pr_debug("__put_ioctx: freeing %p\n", ctx);
  198. call_rcu(&ctx->rcu_head, ctx_rcu_free);
  199. }
  200. #define get_ioctx(kioctx) do { \
  201. BUG_ON(atomic_read(&(kioctx)->users) <= 0); \
  202. atomic_inc(&(kioctx)->users); \
  203. } while (0)
  204. #define put_ioctx(kioctx) do { \
  205. BUG_ON(atomic_read(&(kioctx)->users) <= 0); \
  206. if (unlikely(atomic_dec_and_test(&(kioctx)->users))) \
  207. __put_ioctx(kioctx); \
  208. } while (0)
  209. /* ioctx_alloc
  210. * Allocates and initializes an ioctx. Returns an ERR_PTR if it failed.
  211. */
  212. static struct kioctx *ioctx_alloc(unsigned nr_events)
  213. {
  214. struct mm_struct *mm;
  215. struct kioctx *ctx;
  216. int did_sync = 0;
  217. /* Prevent overflows */
  218. if ((nr_events > (0x10000000U / sizeof(struct io_event))) ||
  219. (nr_events > (0x10000000U / sizeof(struct kiocb)))) {
  220. pr_debug("ENOMEM: nr_events too high\n");
  221. return ERR_PTR(-EINVAL);
  222. }
  223. if ((unsigned long)nr_events > aio_max_nr)
  224. return ERR_PTR(-EAGAIN);
  225. ctx = kmem_cache_zalloc(kioctx_cachep, GFP_KERNEL);
  226. if (!ctx)
  227. return ERR_PTR(-ENOMEM);
  228. ctx->max_reqs = nr_events;
  229. mm = ctx->mm = current->mm;
  230. atomic_inc(&mm->mm_count);
  231. atomic_set(&ctx->users, 1);
  232. spin_lock_init(&ctx->ctx_lock);
  233. spin_lock_init(&ctx->ring_info.ring_lock);
  234. init_waitqueue_head(&ctx->wait);
  235. INIT_LIST_HEAD(&ctx->active_reqs);
  236. INIT_LIST_HEAD(&ctx->run_list);
  237. INIT_DELAYED_WORK(&ctx->wq, aio_kick_handler);
  238. if (aio_setup_ring(ctx) < 0)
  239. goto out_freectx;
  240. /* limit the number of system wide aios */
  241. do {
  242. spin_lock_bh(&aio_nr_lock);
  243. if (aio_nr + nr_events > aio_max_nr ||
  244. aio_nr + nr_events < aio_nr)
  245. ctx->max_reqs = 0;
  246. else
  247. aio_nr += ctx->max_reqs;
  248. spin_unlock_bh(&aio_nr_lock);
  249. if (ctx->max_reqs || did_sync)
  250. break;
  251. /* wait for rcu callbacks to have completed before giving up */
  252. synchronize_rcu();
  253. did_sync = 1;
  254. ctx->max_reqs = nr_events;
  255. } while (1);
  256. if (ctx->max_reqs == 0)
  257. goto out_cleanup;
  258. /* now link into global list. */
  259. spin_lock(&mm->ioctx_lock);
  260. hlist_add_head_rcu(&ctx->list, &mm->ioctx_list);
  261. spin_unlock(&mm->ioctx_lock);
  262. dprintk("aio: allocated ioctx %p[%ld]: mm=%p mask=0x%x\n",
  263. ctx, ctx->user_id, current->mm, ctx->ring_info.nr);
  264. return ctx;
  265. out_cleanup:
  266. __put_ioctx(ctx);
  267. return ERR_PTR(-EAGAIN);
  268. out_freectx:
  269. mmdrop(mm);
  270. kmem_cache_free(kioctx_cachep, ctx);
  271. ctx = ERR_PTR(-ENOMEM);
  272. dprintk("aio: error allocating ioctx %p\n", ctx);
  273. return ctx;
  274. }
  275. /* aio_cancel_all
  276. * Cancels all outstanding aio requests on an aio context. Used
  277. * when the processes owning a context have all exited to encourage
  278. * the rapid destruction of the kioctx.
  279. */
  280. static void aio_cancel_all(struct kioctx *ctx)
  281. {
  282. int (*cancel)(struct kiocb *, struct io_event *);
  283. struct io_event res;
  284. spin_lock_irq(&ctx->ctx_lock);
  285. ctx->dead = 1;
  286. while (!list_empty(&ctx->active_reqs)) {
  287. struct list_head *pos = ctx->active_reqs.next;
  288. struct kiocb *iocb = list_kiocb(pos);
  289. list_del_init(&iocb->ki_list);
  290. cancel = iocb->ki_cancel;
  291. kiocbSetCancelled(iocb);
  292. if (cancel) {
  293. iocb->ki_users++;
  294. spin_unlock_irq(&ctx->ctx_lock);
  295. cancel(iocb, &res);
  296. spin_lock_irq(&ctx->ctx_lock);
  297. }
  298. }
  299. spin_unlock_irq(&ctx->ctx_lock);
  300. }
  301. static void wait_for_all_aios(struct kioctx *ctx)
  302. {
  303. struct task_struct *tsk = current;
  304. DECLARE_WAITQUEUE(wait, tsk);
  305. spin_lock_irq(&ctx->ctx_lock);
  306. if (!ctx->reqs_active)
  307. goto out;
  308. add_wait_queue(&ctx->wait, &wait);
  309. set_task_state(tsk, TASK_UNINTERRUPTIBLE);
  310. while (ctx->reqs_active) {
  311. spin_unlock_irq(&ctx->ctx_lock);
  312. io_schedule();
  313. set_task_state(tsk, TASK_UNINTERRUPTIBLE);
  314. spin_lock_irq(&ctx->ctx_lock);
  315. }
  316. __set_task_state(tsk, TASK_RUNNING);
  317. remove_wait_queue(&ctx->wait, &wait);
  318. out:
  319. spin_unlock_irq(&ctx->ctx_lock);
  320. }
  321. /* wait_on_sync_kiocb:
  322. * Waits on the given sync kiocb to complete.
  323. */
  324. ssize_t wait_on_sync_kiocb(struct kiocb *iocb)
  325. {
  326. while (iocb->ki_users) {
  327. set_current_state(TASK_UNINTERRUPTIBLE);
  328. if (!iocb->ki_users)
  329. break;
  330. io_schedule();
  331. }
  332. __set_current_state(TASK_RUNNING);
  333. return iocb->ki_user_data;
  334. }
  335. EXPORT_SYMBOL(wait_on_sync_kiocb);
  336. /* exit_aio: called when the last user of mm goes away. At this point,
  337. * there is no way for any new requests to be submited or any of the
  338. * io_* syscalls to be called on the context. However, there may be
  339. * outstanding requests which hold references to the context; as they
  340. * go away, they will call put_ioctx and release any pinned memory
  341. * associated with the request (held via struct page * references).
  342. */
  343. void exit_aio(struct mm_struct *mm)
  344. {
  345. struct kioctx *ctx;
  346. while (!hlist_empty(&mm->ioctx_list)) {
  347. ctx = hlist_entry(mm->ioctx_list.first, struct kioctx, list);
  348. hlist_del_rcu(&ctx->list);
  349. aio_cancel_all(ctx);
  350. wait_for_all_aios(ctx);
  351. /*
  352. * Ensure we don't leave the ctx on the aio_wq
  353. */
  354. cancel_work_sync(&ctx->wq.work);
  355. if (1 != atomic_read(&ctx->users))
  356. printk(KERN_DEBUG
  357. "exit_aio:ioctx still alive: %d %d %d\n",
  358. atomic_read(&ctx->users), ctx->dead,
  359. ctx->reqs_active);
  360. put_ioctx(ctx);
  361. }
  362. }
  363. /* aio_get_req
  364. * Allocate a slot for an aio request. Increments the users count
  365. * of the kioctx so that the kioctx stays around until all requests are
  366. * complete. Returns NULL if no requests are free.
  367. *
  368. * Returns with kiocb->users set to 2. The io submit code path holds
  369. * an extra reference while submitting the i/o.
  370. * This prevents races between the aio code path referencing the
  371. * req (after submitting it) and aio_complete() freeing the req.
  372. */
  373. static struct kiocb *__aio_get_req(struct kioctx *ctx)
  374. {
  375. struct kiocb *req = NULL;
  376. struct aio_ring *ring;
  377. int okay = 0;
  378. req = kmem_cache_alloc(kiocb_cachep, GFP_KERNEL);
  379. if (unlikely(!req))
  380. return NULL;
  381. req->ki_flags = 0;
  382. req->ki_users = 2;
  383. req->ki_key = 0;
  384. req->ki_ctx = ctx;
  385. req->ki_cancel = NULL;
  386. req->ki_retry = NULL;
  387. req->ki_dtor = NULL;
  388. req->private = NULL;
  389. req->ki_iovec = NULL;
  390. INIT_LIST_HEAD(&req->ki_run_list);
  391. req->ki_eventfd = NULL;
  392. /* Check if the completion queue has enough free space to
  393. * accept an event from this io.
  394. */
  395. spin_lock_irq(&ctx->ctx_lock);
  396. ring = kmap_atomic(ctx->ring_info.ring_pages[0], KM_USER0);
  397. if (ctx->reqs_active < aio_ring_avail(&ctx->ring_info, ring)) {
  398. list_add(&req->ki_list, &ctx->active_reqs);
  399. ctx->reqs_active++;
  400. okay = 1;
  401. }
  402. kunmap_atomic(ring, KM_USER0);
  403. spin_unlock_irq(&ctx->ctx_lock);
  404. if (!okay) {
  405. kmem_cache_free(kiocb_cachep, req);
  406. req = NULL;
  407. }
  408. return req;
  409. }
  410. static inline struct kiocb *aio_get_req(struct kioctx *ctx)
  411. {
  412. struct kiocb *req;
  413. /* Handle a potential starvation case -- should be exceedingly rare as
  414. * requests will be stuck on fput_head only if the aio_fput_routine is
  415. * delayed and the requests were the last user of the struct file.
  416. */
  417. req = __aio_get_req(ctx);
  418. if (unlikely(NULL == req)) {
  419. aio_fput_routine(NULL);
  420. req = __aio_get_req(ctx);
  421. }
  422. return req;
  423. }
  424. static inline void really_put_req(struct kioctx *ctx, struct kiocb *req)
  425. {
  426. assert_spin_locked(&ctx->ctx_lock);
  427. if (req->ki_eventfd != NULL)
  428. eventfd_ctx_put(req->ki_eventfd);
  429. if (req->ki_dtor)
  430. req->ki_dtor(req);
  431. if (req->ki_iovec != &req->ki_inline_vec)
  432. kfree(req->ki_iovec);
  433. kmem_cache_free(kiocb_cachep, req);
  434. ctx->reqs_active--;
  435. if (unlikely(!ctx->reqs_active && ctx->dead))
  436. wake_up(&ctx->wait);
  437. }
  438. static void aio_fput_routine(struct work_struct *data)
  439. {
  440. spin_lock_irq(&fput_lock);
  441. while (likely(!list_empty(&fput_head))) {
  442. struct kiocb *req = list_kiocb(fput_head.next);
  443. struct kioctx *ctx = req->ki_ctx;
  444. list_del(&req->ki_list);
  445. spin_unlock_irq(&fput_lock);
  446. /* Complete the fput(s) */
  447. if (req->ki_filp != NULL)
  448. fput(req->ki_filp);
  449. /* Link the iocb into the context's free list */
  450. spin_lock_irq(&ctx->ctx_lock);
  451. really_put_req(ctx, req);
  452. spin_unlock_irq(&ctx->ctx_lock);
  453. put_ioctx(ctx);
  454. spin_lock_irq(&fput_lock);
  455. }
  456. spin_unlock_irq(&fput_lock);
  457. }
  458. /* __aio_put_req
  459. * Returns true if this put was the last user of the request.
  460. */
  461. static int __aio_put_req(struct kioctx *ctx, struct kiocb *req)
  462. {
  463. dprintk(KERN_DEBUG "aio_put(%p): f_count=%ld\n",
  464. req, atomic_long_read(&req->ki_filp->f_count));
  465. assert_spin_locked(&ctx->ctx_lock);
  466. req->ki_users--;
  467. BUG_ON(req->ki_users < 0);
  468. if (likely(req->ki_users))
  469. return 0;
  470. list_del(&req->ki_list); /* remove from active_reqs */
  471. req->ki_cancel = NULL;
  472. req->ki_retry = NULL;
  473. /*
  474. * Try to optimize the aio and eventfd file* puts, by avoiding to
  475. * schedule work in case it is not final fput() time. In normal cases,
  476. * we would not be holding the last reference to the file*, so
  477. * this function will be executed w/out any aio kthread wakeup.
  478. */
  479. if (unlikely(!fput_atomic(req->ki_filp))) {
  480. get_ioctx(ctx);
  481. spin_lock(&fput_lock);
  482. list_add(&req->ki_list, &fput_head);
  483. spin_unlock(&fput_lock);
  484. queue_work(aio_wq, &fput_work);
  485. } else {
  486. req->ki_filp = NULL;
  487. really_put_req(ctx, req);
  488. }
  489. return 1;
  490. }
  491. /* aio_put_req
  492. * Returns true if this put was the last user of the kiocb,
  493. * false if the request is still in use.
  494. */
  495. int aio_put_req(struct kiocb *req)
  496. {
  497. struct kioctx *ctx = req->ki_ctx;
  498. int ret;
  499. spin_lock_irq(&ctx->ctx_lock);
  500. ret = __aio_put_req(ctx, req);
  501. spin_unlock_irq(&ctx->ctx_lock);
  502. return ret;
  503. }
  504. EXPORT_SYMBOL(aio_put_req);
  505. static struct kioctx *lookup_ioctx(unsigned long ctx_id)
  506. {
  507. struct mm_struct *mm = current->mm;
  508. struct kioctx *ctx, *ret = NULL;
  509. struct hlist_node *n;
  510. rcu_read_lock();
  511. hlist_for_each_entry_rcu(ctx, n, &mm->ioctx_list, list) {
  512. if (ctx->user_id == ctx_id && !ctx->dead) {
  513. get_ioctx(ctx);
  514. ret = ctx;
  515. break;
  516. }
  517. }
  518. rcu_read_unlock();
  519. return ret;
  520. }
  521. /*
  522. * Queue up a kiocb to be retried. Assumes that the kiocb
  523. * has already been marked as kicked, and places it on
  524. * the retry run list for the corresponding ioctx, if it
  525. * isn't already queued. Returns 1 if it actually queued
  526. * the kiocb (to tell the caller to activate the work
  527. * queue to process it), or 0, if it found that it was
  528. * already queued.
  529. */
  530. static inline int __queue_kicked_iocb(struct kiocb *iocb)
  531. {
  532. struct kioctx *ctx = iocb->ki_ctx;
  533. assert_spin_locked(&ctx->ctx_lock);
  534. if (list_empty(&iocb->ki_run_list)) {
  535. list_add_tail(&iocb->ki_run_list,
  536. &ctx->run_list);
  537. return 1;
  538. }
  539. return 0;
  540. }
  541. /* aio_run_iocb
  542. * This is the core aio execution routine. It is
  543. * invoked both for initial i/o submission and
  544. * subsequent retries via the aio_kick_handler.
  545. * Expects to be invoked with iocb->ki_ctx->lock
  546. * already held. The lock is released and reacquired
  547. * as needed during processing.
  548. *
  549. * Calls the iocb retry method (already setup for the
  550. * iocb on initial submission) for operation specific
  551. * handling, but takes care of most of common retry
  552. * execution details for a given iocb. The retry method
  553. * needs to be non-blocking as far as possible, to avoid
  554. * holding up other iocbs waiting to be serviced by the
  555. * retry kernel thread.
  556. *
  557. * The trickier parts in this code have to do with
  558. * ensuring that only one retry instance is in progress
  559. * for a given iocb at any time. Providing that guarantee
  560. * simplifies the coding of individual aio operations as
  561. * it avoids various potential races.
  562. */
  563. static ssize_t aio_run_iocb(struct kiocb *iocb)
  564. {
  565. struct kioctx *ctx = iocb->ki_ctx;
  566. ssize_t (*retry)(struct kiocb *);
  567. ssize_t ret;
  568. if (!(retry = iocb->ki_retry)) {
  569. printk("aio_run_iocb: iocb->ki_retry = NULL\n");
  570. return 0;
  571. }
  572. /*
  573. * We don't want the next retry iteration for this
  574. * operation to start until this one has returned and
  575. * updated the iocb state. However, wait_queue functions
  576. * can trigger a kick_iocb from interrupt context in the
  577. * meantime, indicating that data is available for the next
  578. * iteration. We want to remember that and enable the
  579. * next retry iteration _after_ we are through with
  580. * this one.
  581. *
  582. * So, in order to be able to register a "kick", but
  583. * prevent it from being queued now, we clear the kick
  584. * flag, but make the kick code *think* that the iocb is
  585. * still on the run list until we are actually done.
  586. * When we are done with this iteration, we check if
  587. * the iocb was kicked in the meantime and if so, queue
  588. * it up afresh.
  589. */
  590. kiocbClearKicked(iocb);
  591. /*
  592. * This is so that aio_complete knows it doesn't need to
  593. * pull the iocb off the run list (We can't just call
  594. * INIT_LIST_HEAD because we don't want a kick_iocb to
  595. * queue this on the run list yet)
  596. */
  597. iocb->ki_run_list.next = iocb->ki_run_list.prev = NULL;
  598. spin_unlock_irq(&ctx->ctx_lock);
  599. /* Quit retrying if the i/o has been cancelled */
  600. if (kiocbIsCancelled(iocb)) {
  601. ret = -EINTR;
  602. aio_complete(iocb, ret, 0);
  603. /* must not access the iocb after this */
  604. goto out;
  605. }
  606. /*
  607. * Now we are all set to call the retry method in async
  608. * context.
  609. */
  610. ret = retry(iocb);
  611. if (ret != -EIOCBRETRY && ret != -EIOCBQUEUED)
  612. aio_complete(iocb, ret, 0);
  613. out:
  614. spin_lock_irq(&ctx->ctx_lock);
  615. if (-EIOCBRETRY == ret) {
  616. /*
  617. * OK, now that we are done with this iteration
  618. * and know that there is more left to go,
  619. * this is where we let go so that a subsequent
  620. * "kick" can start the next iteration
  621. */
  622. /* will make __queue_kicked_iocb succeed from here on */
  623. INIT_LIST_HEAD(&iocb->ki_run_list);
  624. /* we must queue the next iteration ourselves, if it
  625. * has already been kicked */
  626. if (kiocbIsKicked(iocb)) {
  627. __queue_kicked_iocb(iocb);
  628. /*
  629. * __queue_kicked_iocb will always return 1 here, because
  630. * iocb->ki_run_list is empty at this point so it should
  631. * be safe to unconditionally queue the context into the
  632. * work queue.
  633. */
  634. aio_queue_work(ctx);
  635. }
  636. }
  637. return ret;
  638. }
  639. /*
  640. * __aio_run_iocbs:
  641. * Process all pending retries queued on the ioctx
  642. * run list.
  643. * Assumes it is operating within the aio issuer's mm
  644. * context.
  645. */
  646. static int __aio_run_iocbs(struct kioctx *ctx)
  647. {
  648. struct kiocb *iocb;
  649. struct list_head run_list;
  650. assert_spin_locked(&ctx->ctx_lock);
  651. list_replace_init(&ctx->run_list, &run_list);
  652. while (!list_empty(&run_list)) {
  653. iocb = list_entry(run_list.next, struct kiocb,
  654. ki_run_list);
  655. list_del(&iocb->ki_run_list);
  656. /*
  657. * Hold an extra reference while retrying i/o.
  658. */
  659. iocb->ki_users++; /* grab extra reference */
  660. aio_run_iocb(iocb);
  661. __aio_put_req(ctx, iocb);
  662. }
  663. if (!list_empty(&ctx->run_list))
  664. return 1;
  665. return 0;
  666. }
  667. static void aio_queue_work(struct kioctx * ctx)
  668. {
  669. unsigned long timeout;
  670. /*
  671. * if someone is waiting, get the work started right
  672. * away, otherwise, use a longer delay
  673. */
  674. smp_mb();
  675. if (waitqueue_active(&ctx->wait))
  676. timeout = 1;
  677. else
  678. timeout = HZ/10;
  679. queue_delayed_work(aio_wq, &ctx->wq, timeout);
  680. }
  681. /*
  682. * aio_run_iocbs:
  683. * Process all pending retries queued on the ioctx
  684. * run list.
  685. * Assumes it is operating within the aio issuer's mm
  686. * context.
  687. */
  688. static inline void aio_run_iocbs(struct kioctx *ctx)
  689. {
  690. int requeue;
  691. spin_lock_irq(&ctx->ctx_lock);
  692. requeue = __aio_run_iocbs(ctx);
  693. spin_unlock_irq(&ctx->ctx_lock);
  694. if (requeue)
  695. aio_queue_work(ctx);
  696. }
  697. /*
  698. * just like aio_run_iocbs, but keeps running them until
  699. * the list stays empty
  700. */
  701. static inline void aio_run_all_iocbs(struct kioctx *ctx)
  702. {
  703. spin_lock_irq(&ctx->ctx_lock);
  704. while (__aio_run_iocbs(ctx))
  705. ;
  706. spin_unlock_irq(&ctx->ctx_lock);
  707. }
  708. /*
  709. * aio_kick_handler:
  710. * Work queue handler triggered to process pending
  711. * retries on an ioctx. Takes on the aio issuer's
  712. * mm context before running the iocbs, so that
  713. * copy_xxx_user operates on the issuer's address
  714. * space.
  715. * Run on aiod's context.
  716. */
  717. static void aio_kick_handler(struct work_struct *work)
  718. {
  719. struct kioctx *ctx = container_of(work, struct kioctx, wq.work);
  720. mm_segment_t oldfs = get_fs();
  721. struct mm_struct *mm;
  722. int requeue;
  723. set_fs(USER_DS);
  724. use_mm(ctx->mm);
  725. spin_lock_irq(&ctx->ctx_lock);
  726. requeue =__aio_run_iocbs(ctx);
  727. mm = ctx->mm;
  728. spin_unlock_irq(&ctx->ctx_lock);
  729. unuse_mm(mm);
  730. set_fs(oldfs);
  731. /*
  732. * we're in a worker thread already, don't use queue_delayed_work,
  733. */
  734. if (requeue)
  735. queue_delayed_work(aio_wq, &ctx->wq, 0);
  736. }
  737. /*
  738. * Called by kick_iocb to queue the kiocb for retry
  739. * and if required activate the aio work queue to process
  740. * it
  741. */
  742. static void try_queue_kicked_iocb(struct kiocb *iocb)
  743. {
  744. struct kioctx *ctx = iocb->ki_ctx;
  745. unsigned long flags;
  746. int run = 0;
  747. spin_lock_irqsave(&ctx->ctx_lock, flags);
  748. /* set this inside the lock so that we can't race with aio_run_iocb()
  749. * testing it and putting the iocb on the run list under the lock */
  750. if (!kiocbTryKick(iocb))
  751. run = __queue_kicked_iocb(iocb);
  752. spin_unlock_irqrestore(&ctx->ctx_lock, flags);
  753. if (run)
  754. aio_queue_work(ctx);
  755. }
  756. /*
  757. * kick_iocb:
  758. * Called typically from a wait queue callback context
  759. * to trigger a retry of the iocb.
  760. * The retry is usually executed by aio workqueue
  761. * threads (See aio_kick_handler).
  762. */
  763. void kick_iocb(struct kiocb *iocb)
  764. {
  765. /* sync iocbs are easy: they can only ever be executing from a
  766. * single context. */
  767. if (is_sync_kiocb(iocb)) {
  768. kiocbSetKicked(iocb);
  769. wake_up_process(iocb->ki_obj.tsk);
  770. return;
  771. }
  772. try_queue_kicked_iocb(iocb);
  773. }
  774. EXPORT_SYMBOL(kick_iocb);
  775. /* aio_complete
  776. * Called when the io request on the given iocb is complete.
  777. * Returns true if this is the last user of the request. The
  778. * only other user of the request can be the cancellation code.
  779. */
  780. int aio_complete(struct kiocb *iocb, long res, long res2)
  781. {
  782. struct kioctx *ctx = iocb->ki_ctx;
  783. struct aio_ring_info *info;
  784. struct aio_ring *ring;
  785. struct io_event *event;
  786. unsigned long flags;
  787. unsigned long tail;
  788. int ret;
  789. /*
  790. * Special case handling for sync iocbs:
  791. * - events go directly into the iocb for fast handling
  792. * - the sync task with the iocb in its stack holds the single iocb
  793. * ref, no other paths have a way to get another ref
  794. * - the sync task helpfully left a reference to itself in the iocb
  795. */
  796. if (is_sync_kiocb(iocb)) {
  797. BUG_ON(iocb->ki_users != 1);
  798. iocb->ki_user_data = res;
  799. iocb->ki_users = 0;
  800. wake_up_process(iocb->ki_obj.tsk);
  801. return 1;
  802. }
  803. info = &ctx->ring_info;
  804. /* add a completion event to the ring buffer.
  805. * must be done holding ctx->ctx_lock to prevent
  806. * other code from messing with the tail
  807. * pointer since we might be called from irq
  808. * context.
  809. */
  810. spin_lock_irqsave(&ctx->ctx_lock, flags);
  811. if (iocb->ki_run_list.prev && !list_empty(&iocb->ki_run_list))
  812. list_del_init(&iocb->ki_run_list);
  813. /*
  814. * cancelled requests don't get events, userland was given one
  815. * when the event got cancelled.
  816. */
  817. if (kiocbIsCancelled(iocb))
  818. goto put_rq;
  819. ring = kmap_atomic(info->ring_pages[0], KM_IRQ1);
  820. tail = info->tail;
  821. event = aio_ring_event(info, tail, KM_IRQ0);
  822. if (++tail >= info->nr)
  823. tail = 0;
  824. event->obj = (u64)(unsigned long)iocb->ki_obj.user;
  825. event->data = iocb->ki_user_data;
  826. event->res = res;
  827. event->res2 = res2;
  828. dprintk("aio_complete: %p[%lu]: %p: %p %Lx %lx %lx\n",
  829. ctx, tail, iocb, iocb->ki_obj.user, iocb->ki_user_data,
  830. res, res2);
  831. /* after flagging the request as done, we
  832. * must never even look at it again
  833. */
  834. smp_wmb(); /* make event visible before updating tail */
  835. info->tail = tail;
  836. ring->tail = tail;
  837. put_aio_ring_event(event, KM_IRQ0);
  838. kunmap_atomic(ring, KM_IRQ1);
  839. pr_debug("added to ring %p at [%lu]\n", iocb, tail);
  840. /*
  841. * Check if the user asked us to deliver the result through an
  842. * eventfd. The eventfd_signal() function is safe to be called
  843. * from IRQ context.
  844. */
  845. if (iocb->ki_eventfd != NULL)
  846. eventfd_signal(iocb->ki_eventfd, 1);
  847. put_rq:
  848. /* everything turned out well, dispose of the aiocb. */
  849. ret = __aio_put_req(ctx, iocb);
  850. /*
  851. * We have to order our ring_info tail store above and test
  852. * of the wait list below outside the wait lock. This is
  853. * like in wake_up_bit() where clearing a bit has to be
  854. * ordered with the unlocked test.
  855. */
  856. smp_mb();
  857. if (waitqueue_active(&ctx->wait))
  858. wake_up(&ctx->wait);
  859. spin_unlock_irqrestore(&ctx->ctx_lock, flags);
  860. return ret;
  861. }
  862. EXPORT_SYMBOL(aio_complete);
  863. /* aio_read_evt
  864. * Pull an event off of the ioctx's event ring. Returns the number of
  865. * events fetched (0 or 1 ;-)
  866. * FIXME: make this use cmpxchg.
  867. * TODO: make the ringbuffer user mmap()able (requires FIXME).
  868. */
  869. static int aio_read_evt(struct kioctx *ioctx, struct io_event *ent)
  870. {
  871. struct aio_ring_info *info = &ioctx->ring_info;
  872. struct aio_ring *ring;
  873. unsigned long head;
  874. int ret = 0;
  875. ring = kmap_atomic(info->ring_pages[0], KM_USER0);
  876. dprintk("in aio_read_evt h%lu t%lu m%lu\n",
  877. (unsigned long)ring->head, (unsigned long)ring->tail,
  878. (unsigned long)ring->nr);
  879. if (ring->head == ring->tail)
  880. goto out;
  881. spin_lock(&info->ring_lock);
  882. head = ring->head % info->nr;
  883. if (head != ring->tail) {
  884. struct io_event *evp = aio_ring_event(info, head, KM_USER1);
  885. *ent = *evp;
  886. head = (head + 1) % info->nr;
  887. smp_mb(); /* finish reading the event before updatng the head */
  888. ring->head = head;
  889. ret = 1;
  890. put_aio_ring_event(evp, KM_USER1);
  891. }
  892. spin_unlock(&info->ring_lock);
  893. out:
  894. kunmap_atomic(ring, KM_USER0);
  895. dprintk("leaving aio_read_evt: %d h%lu t%lu\n", ret,
  896. (unsigned long)ring->head, (unsigned long)ring->tail);
  897. return ret;
  898. }
  899. struct aio_timeout {
  900. struct timer_list timer;
  901. int timed_out;
  902. struct task_struct *p;
  903. };
  904. static void timeout_func(unsigned long data)
  905. {
  906. struct aio_timeout *to = (struct aio_timeout *)data;
  907. to->timed_out = 1;
  908. wake_up_process(to->p);
  909. }
  910. static inline void init_timeout(struct aio_timeout *to)
  911. {
  912. setup_timer_on_stack(&to->timer, timeout_func, (unsigned long) to);
  913. to->timed_out = 0;
  914. to->p = current;
  915. }
  916. static inline void set_timeout(long start_jiffies, struct aio_timeout *to,
  917. const struct timespec *ts)
  918. {
  919. to->timer.expires = start_jiffies + timespec_to_jiffies(ts);
  920. if (time_after(to->timer.expires, jiffies))
  921. add_timer(&to->timer);
  922. else
  923. to->timed_out = 1;
  924. }
  925. static inline void clear_timeout(struct aio_timeout *to)
  926. {
  927. del_singleshot_timer_sync(&to->timer);
  928. }
  929. static int read_events(struct kioctx *ctx,
  930. long min_nr, long nr,
  931. struct io_event __user *event,
  932. struct timespec __user *timeout)
  933. {
  934. long start_jiffies = jiffies;
  935. struct task_struct *tsk = current;
  936. DECLARE_WAITQUEUE(wait, tsk);
  937. int ret;
  938. int i = 0;
  939. struct io_event ent;
  940. struct aio_timeout to;
  941. int retry = 0;
  942. /* needed to zero any padding within an entry (there shouldn't be
  943. * any, but C is fun!
  944. */
  945. memset(&ent, 0, sizeof(ent));
  946. retry:
  947. ret = 0;
  948. while (likely(i < nr)) {
  949. ret = aio_read_evt(ctx, &ent);
  950. if (unlikely(ret <= 0))
  951. break;
  952. dprintk("read event: %Lx %Lx %Lx %Lx\n",
  953. ent.data, ent.obj, ent.res, ent.res2);
  954. /* Could we split the check in two? */
  955. ret = -EFAULT;
  956. if (unlikely(copy_to_user(event, &ent, sizeof(ent)))) {
  957. dprintk("aio: lost an event due to EFAULT.\n");
  958. break;
  959. }
  960. ret = 0;
  961. /* Good, event copied to userland, update counts. */
  962. event ++;
  963. i ++;
  964. }
  965. if (min_nr <= i)
  966. return i;
  967. if (ret)
  968. return ret;
  969. /* End fast path */
  970. /* racey check, but it gets redone */
  971. if (!retry && unlikely(!list_empty(&ctx->run_list))) {
  972. retry = 1;
  973. aio_run_all_iocbs(ctx);
  974. goto retry;
  975. }
  976. init_timeout(&to);
  977. if (timeout) {
  978. struct timespec ts;
  979. ret = -EFAULT;
  980. if (unlikely(copy_from_user(&ts, timeout, sizeof(ts))))
  981. goto out;
  982. set_timeout(start_jiffies, &to, &ts);
  983. }
  984. while (likely(i < nr)) {
  985. add_wait_queue_exclusive(&ctx->wait, &wait);
  986. do {
  987. set_task_state(tsk, TASK_INTERRUPTIBLE);
  988. ret = aio_read_evt(ctx, &ent);
  989. if (ret)
  990. break;
  991. if (min_nr <= i)
  992. break;
  993. if (unlikely(ctx->dead)) {
  994. ret = -EINVAL;
  995. break;
  996. }
  997. if (to.timed_out) /* Only check after read evt */
  998. break;
  999. /* Try to only show up in io wait if there are ops
  1000. * in flight */
  1001. if (ctx->reqs_active)
  1002. io_schedule();
  1003. else
  1004. schedule();
  1005. if (signal_pending(tsk)) {
  1006. ret = -EINTR;
  1007. break;
  1008. }
  1009. /*ret = aio_read_evt(ctx, &ent);*/
  1010. } while (1) ;
  1011. set_task_state(tsk, TASK_RUNNING);
  1012. remove_wait_queue(&ctx->wait, &wait);
  1013. if (unlikely(ret <= 0))
  1014. break;
  1015. ret = -EFAULT;
  1016. if (unlikely(copy_to_user(event, &ent, sizeof(ent)))) {
  1017. dprintk("aio: lost an event due to EFAULT.\n");
  1018. break;
  1019. }
  1020. /* Good, event copied to userland, update counts. */
  1021. event ++;
  1022. i ++;
  1023. }
  1024. if (timeout)
  1025. clear_timeout(&to);
  1026. out:
  1027. destroy_timer_on_stack(&to.timer);
  1028. return i ? i : ret;
  1029. }
  1030. /* Take an ioctx and remove it from the list of ioctx's. Protects
  1031. * against races with itself via ->dead.
  1032. */
  1033. static void io_destroy(struct kioctx *ioctx)
  1034. {
  1035. struct mm_struct *mm = current->mm;
  1036. int was_dead;
  1037. /* delete the entry from the list is someone else hasn't already */
  1038. spin_lock(&mm->ioctx_lock);
  1039. was_dead = ioctx->dead;
  1040. ioctx->dead = 1;
  1041. hlist_del_rcu(&ioctx->list);
  1042. spin_unlock(&mm->ioctx_lock);
  1043. dprintk("aio_release(%p)\n", ioctx);
  1044. if (likely(!was_dead))
  1045. put_ioctx(ioctx); /* twice for the list */
  1046. aio_cancel_all(ioctx);
  1047. wait_for_all_aios(ioctx);
  1048. /*
  1049. * Wake up any waiters. The setting of ctx->dead must be seen
  1050. * by other CPUs at this point. Right now, we rely on the
  1051. * locking done by the above calls to ensure this consistency.
  1052. */
  1053. wake_up(&ioctx->wait);
  1054. put_ioctx(ioctx); /* once for the lookup */
  1055. }
  1056. /* sys_io_setup:
  1057. * Create an aio_context capable of receiving at least nr_events.
  1058. * ctxp must not point to an aio_context that already exists, and
  1059. * must be initialized to 0 prior to the call. On successful
  1060. * creation of the aio_context, *ctxp is filled in with the resulting
  1061. * handle. May fail with -EINVAL if *ctxp is not initialized,
  1062. * if the specified nr_events exceeds internal limits. May fail
  1063. * with -EAGAIN if the specified nr_events exceeds the user's limit
  1064. * of available events. May fail with -ENOMEM if insufficient kernel
  1065. * resources are available. May fail with -EFAULT if an invalid
  1066. * pointer is passed for ctxp. Will fail with -ENOSYS if not
  1067. * implemented.
  1068. */
  1069. SYSCALL_DEFINE2(io_setup, unsigned, nr_events, aio_context_t __user *, ctxp)
  1070. {
  1071. struct kioctx *ioctx = NULL;
  1072. unsigned long ctx;
  1073. long ret;
  1074. ret = get_user(ctx, ctxp);
  1075. if (unlikely(ret))
  1076. goto out;
  1077. ret = -EINVAL;
  1078. if (unlikely(ctx || nr_events == 0)) {
  1079. pr_debug("EINVAL: io_setup: ctx %lu nr_events %u\n",
  1080. ctx, nr_events);
  1081. goto out;
  1082. }
  1083. ioctx = ioctx_alloc(nr_events);
  1084. ret = PTR_ERR(ioctx);
  1085. if (!IS_ERR(ioctx)) {
  1086. ret = put_user(ioctx->user_id, ctxp);
  1087. if (!ret)
  1088. return 0;
  1089. get_ioctx(ioctx); /* io_destroy() expects us to hold a ref */
  1090. io_destroy(ioctx);
  1091. }
  1092. out:
  1093. return ret;
  1094. }
  1095. /* sys_io_destroy:
  1096. * Destroy the aio_context specified. May cancel any outstanding
  1097. * AIOs and block on completion. Will fail with -ENOSYS if not
  1098. * implemented. May fail with -EINVAL if the context pointed to
  1099. * is invalid.
  1100. */
  1101. SYSCALL_DEFINE1(io_destroy, aio_context_t, ctx)
  1102. {
  1103. struct kioctx *ioctx = lookup_ioctx(ctx);
  1104. if (likely(NULL != ioctx)) {
  1105. io_destroy(ioctx);
  1106. return 0;
  1107. }
  1108. pr_debug("EINVAL: io_destroy: invalid context id\n");
  1109. return -EINVAL;
  1110. }
  1111. static void aio_advance_iovec(struct kiocb *iocb, ssize_t ret)
  1112. {
  1113. struct iovec *iov = &iocb->ki_iovec[iocb->ki_cur_seg];
  1114. BUG_ON(ret <= 0);
  1115. while (iocb->ki_cur_seg < iocb->ki_nr_segs && ret > 0) {
  1116. ssize_t this = min((ssize_t)iov->iov_len, ret);
  1117. iov->iov_base += this;
  1118. iov->iov_len -= this;
  1119. iocb->ki_left -= this;
  1120. ret -= this;
  1121. if (iov->iov_len == 0) {
  1122. iocb->ki_cur_seg++;
  1123. iov++;
  1124. }
  1125. }
  1126. /* the caller should not have done more io than what fit in
  1127. * the remaining iovecs */
  1128. BUG_ON(ret > 0 && iocb->ki_left == 0);
  1129. }
  1130. static ssize_t aio_rw_vect_retry(struct kiocb *iocb)
  1131. {
  1132. struct file *file = iocb->ki_filp;
  1133. struct address_space *mapping = file->f_mapping;
  1134. struct inode *inode = mapping->host;
  1135. ssize_t (*rw_op)(struct kiocb *, const struct iovec *,
  1136. unsigned long, loff_t);
  1137. ssize_t ret = 0;
  1138. unsigned short opcode;
  1139. if ((iocb->ki_opcode == IOCB_CMD_PREADV) ||
  1140. (iocb->ki_opcode == IOCB_CMD_PREAD)) {
  1141. rw_op = file->f_op->aio_read;
  1142. opcode = IOCB_CMD_PREADV;
  1143. } else {
  1144. rw_op = file->f_op->aio_write;
  1145. opcode = IOCB_CMD_PWRITEV;
  1146. }
  1147. /* This matches the pread()/pwrite() logic */
  1148. if (iocb->ki_pos < 0)
  1149. return -EINVAL;
  1150. do {
  1151. ret = rw_op(iocb, &iocb->ki_iovec[iocb->ki_cur_seg],
  1152. iocb->ki_nr_segs - iocb->ki_cur_seg,
  1153. iocb->ki_pos);
  1154. if (ret > 0)
  1155. aio_advance_iovec(iocb, ret);
  1156. /* retry all partial writes. retry partial reads as long as its a
  1157. * regular file. */
  1158. } while (ret > 0 && iocb->ki_left > 0 &&
  1159. (opcode == IOCB_CMD_PWRITEV ||
  1160. (!S_ISFIFO(inode->i_mode) && !S_ISSOCK(inode->i_mode))));
  1161. /* This means we must have transferred all that we could */
  1162. /* No need to retry anymore */
  1163. if ((ret == 0) || (iocb->ki_left == 0))
  1164. ret = iocb->ki_nbytes - iocb->ki_left;
  1165. /* If we managed to write some out we return that, rather than
  1166. * the eventual error. */
  1167. if (opcode == IOCB_CMD_PWRITEV
  1168. && ret < 0 && ret != -EIOCBQUEUED && ret != -EIOCBRETRY
  1169. && iocb->ki_nbytes - iocb->ki_left)
  1170. ret = iocb->ki_nbytes - iocb->ki_left;
  1171. return ret;
  1172. }
  1173. static ssize_t aio_fdsync(struct kiocb *iocb)
  1174. {
  1175. struct file *file = iocb->ki_filp;
  1176. ssize_t ret = -EINVAL;
  1177. if (file->f_op->aio_fsync)
  1178. ret = file->f_op->aio_fsync(iocb, 1);
  1179. return ret;
  1180. }
  1181. static ssize_t aio_fsync(struct kiocb *iocb)
  1182. {
  1183. struct file *file = iocb->ki_filp;
  1184. ssize_t ret = -EINVAL;
  1185. if (file->f_op->aio_fsync)
  1186. ret = file->f_op->aio_fsync(iocb, 0);
  1187. return ret;
  1188. }
  1189. static ssize_t aio_setup_vectored_rw(int type, struct kiocb *kiocb, bool compat)
  1190. {
  1191. ssize_t ret;
  1192. #ifdef CONFIG_COMPAT
  1193. if (compat)
  1194. ret = compat_rw_copy_check_uvector(type,
  1195. (struct compat_iovec __user *)kiocb->ki_buf,
  1196. kiocb->ki_nbytes, 1, &kiocb->ki_inline_vec,
  1197. &kiocb->ki_iovec);
  1198. else
  1199. #endif
  1200. ret = rw_copy_check_uvector(type,
  1201. (struct iovec __user *)kiocb->ki_buf,
  1202. kiocb->ki_nbytes, 1, &kiocb->ki_inline_vec,
  1203. &kiocb->ki_iovec);
  1204. if (ret < 0)
  1205. goto out;
  1206. kiocb->ki_nr_segs = kiocb->ki_nbytes;
  1207. kiocb->ki_cur_seg = 0;
  1208. /* ki_nbytes/left now reflect bytes instead of segs */
  1209. kiocb->ki_nbytes = ret;
  1210. kiocb->ki_left = ret;
  1211. ret = 0;
  1212. out:
  1213. return ret;
  1214. }
  1215. static ssize_t aio_setup_single_vector(struct kiocb *kiocb)
  1216. {
  1217. kiocb->ki_iovec = &kiocb->ki_inline_vec;
  1218. kiocb->ki_iovec->iov_base = kiocb->ki_buf;
  1219. kiocb->ki_iovec->iov_len = kiocb->ki_left;
  1220. kiocb->ki_nr_segs = 1;
  1221. kiocb->ki_cur_seg = 0;
  1222. return 0;
  1223. }
  1224. /*
  1225. * aio_setup_iocb:
  1226. * Performs the initial checks and aio retry method
  1227. * setup for the kiocb at the time of io submission.
  1228. */
  1229. static ssize_t aio_setup_iocb(struct kiocb *kiocb, bool compat)
  1230. {
  1231. struct file *file = kiocb->ki_filp;
  1232. ssize_t ret = 0;
  1233. switch (kiocb->ki_opcode) {
  1234. case IOCB_CMD_PREAD:
  1235. ret = -EBADF;
  1236. if (unlikely(!(file->f_mode & FMODE_READ)))
  1237. break;
  1238. ret = -EFAULT;
  1239. if (unlikely(!access_ok(VERIFY_WRITE, kiocb->ki_buf,
  1240. kiocb->ki_left)))
  1241. break;
  1242. ret = security_file_permission(file, MAY_READ);
  1243. if (unlikely(ret))
  1244. break;
  1245. ret = aio_setup_single_vector(kiocb);
  1246. if (ret)
  1247. break;
  1248. ret = -EINVAL;
  1249. if (file->f_op->aio_read)
  1250. kiocb->ki_retry = aio_rw_vect_retry;
  1251. break;
  1252. case IOCB_CMD_PWRITE:
  1253. ret = -EBADF;
  1254. if (unlikely(!(file->f_mode & FMODE_WRITE)))
  1255. break;
  1256. ret = -EFAULT;
  1257. if (unlikely(!access_ok(VERIFY_READ, kiocb->ki_buf,
  1258. kiocb->ki_left)))
  1259. break;
  1260. ret = security_file_permission(file, MAY_WRITE);
  1261. if (unlikely(ret))
  1262. break;
  1263. ret = aio_setup_single_vector(kiocb);
  1264. if (ret)
  1265. break;
  1266. ret = -EINVAL;
  1267. if (file->f_op->aio_write)
  1268. kiocb->ki_retry = aio_rw_vect_retry;
  1269. break;
  1270. case IOCB_CMD_PREADV:
  1271. ret = -EBADF;
  1272. if (unlikely(!(file->f_mode & FMODE_READ)))
  1273. break;
  1274. ret = security_file_permission(file, MAY_READ);
  1275. if (unlikely(ret))
  1276. break;
  1277. ret = aio_setup_vectored_rw(READ, kiocb, compat);
  1278. if (ret)
  1279. break;
  1280. ret = -EINVAL;
  1281. if (file->f_op->aio_read)
  1282. kiocb->ki_retry = aio_rw_vect_retry;
  1283. break;
  1284. case IOCB_CMD_PWRITEV:
  1285. ret = -EBADF;
  1286. if (unlikely(!(file->f_mode & FMODE_WRITE)))
  1287. break;
  1288. ret = security_file_permission(file, MAY_WRITE);
  1289. if (unlikely(ret))
  1290. break;
  1291. ret = aio_setup_vectored_rw(WRITE, kiocb, compat);
  1292. if (ret)
  1293. break;
  1294. ret = -EINVAL;
  1295. if (file->f_op->aio_write)
  1296. kiocb->ki_retry = aio_rw_vect_retry;
  1297. break;
  1298. case IOCB_CMD_FDSYNC:
  1299. ret = -EINVAL;
  1300. if (file->f_op->aio_fsync)
  1301. kiocb->ki_retry = aio_fdsync;
  1302. break;
  1303. case IOCB_CMD_FSYNC:
  1304. ret = -EINVAL;
  1305. if (file->f_op->aio_fsync)
  1306. kiocb->ki_retry = aio_fsync;
  1307. break;
  1308. default:
  1309. dprintk("EINVAL: io_submit: no operation provided\n");
  1310. ret = -EINVAL;
  1311. }
  1312. if (!kiocb->ki_retry)
  1313. return ret;
  1314. return 0;
  1315. }
  1316. static void aio_batch_add(struct address_space *mapping,
  1317. struct hlist_head *batch_hash)
  1318. {
  1319. struct aio_batch_entry *abe;
  1320. struct hlist_node *pos;
  1321. unsigned bucket;
  1322. bucket = hash_ptr(mapping, AIO_BATCH_HASH_BITS);
  1323. hlist_for_each_entry(abe, pos, &batch_hash[bucket], list) {
  1324. if (abe->mapping == mapping)
  1325. return;
  1326. }
  1327. abe = mempool_alloc(abe_pool, GFP_KERNEL);
  1328. BUG_ON(!igrab(mapping->host));
  1329. abe->mapping = mapping;
  1330. hlist_add_head(&abe->list, &batch_hash[bucket]);
  1331. return;
  1332. }
  1333. static void aio_batch_free(struct hlist_head *batch_hash)
  1334. {
  1335. struct aio_batch_entry *abe;
  1336. struct hlist_node *pos, *n;
  1337. int i;
  1338. for (i = 0; i < AIO_BATCH_HASH_SIZE; i++) {
  1339. hlist_for_each_entry_safe(abe, pos, n, &batch_hash[i], list) {
  1340. blk_run_address_space(abe->mapping);
  1341. iput(abe->mapping->host);
  1342. hlist_del(&abe->list);
  1343. mempool_free(abe, abe_pool);
  1344. }
  1345. }
  1346. }
  1347. static int io_submit_one(struct kioctx *ctx, struct iocb __user *user_iocb,
  1348. struct iocb *iocb, struct hlist_head *batch_hash,
  1349. bool compat)
  1350. {
  1351. struct kiocb *req;
  1352. struct file *file;
  1353. ssize_t ret;
  1354. /* enforce forwards compatibility on users */
  1355. if (unlikely(iocb->aio_reserved1 || iocb->aio_reserved2)) {
  1356. pr_debug("EINVAL: io_submit: reserve field set\n");
  1357. return -EINVAL;
  1358. }
  1359. /* prevent overflows */
  1360. if (unlikely(
  1361. (iocb->aio_buf != (unsigned long)iocb->aio_buf) ||
  1362. (iocb->aio_nbytes != (size_t)iocb->aio_nbytes) ||
  1363. ((ssize_t)iocb->aio_nbytes < 0)
  1364. )) {
  1365. pr_debug("EINVAL: io_submit: overflow check\n");
  1366. return -EINVAL;
  1367. }
  1368. file = fget(iocb->aio_fildes);
  1369. if (unlikely(!file))
  1370. return -EBADF;
  1371. req = aio_get_req(ctx); /* returns with 2 references to req */
  1372. if (unlikely(!req)) {
  1373. fput(file);
  1374. return -EAGAIN;
  1375. }
  1376. req->ki_filp = file;
  1377. if (iocb->aio_flags & IOCB_FLAG_RESFD) {
  1378. /*
  1379. * If the IOCB_FLAG_RESFD flag of aio_flags is set, get an
  1380. * instance of the file* now. The file descriptor must be
  1381. * an eventfd() fd, and will be signaled for each completed
  1382. * event using the eventfd_signal() function.
  1383. */
  1384. req->ki_eventfd = eventfd_ctx_fdget((int) iocb->aio_resfd);
  1385. if (IS_ERR(req->ki_eventfd)) {
  1386. ret = PTR_ERR(req->ki_eventfd);
  1387. req->ki_eventfd = NULL;
  1388. goto out_put_req;
  1389. }
  1390. }
  1391. ret = put_user(req->ki_key, &user_iocb->aio_key);
  1392. if (unlikely(ret)) {
  1393. dprintk("EFAULT: aio_key\n");
  1394. goto out_put_req;
  1395. }
  1396. req->ki_obj.user = user_iocb;
  1397. req->ki_user_data = iocb->aio_data;
  1398. req->ki_pos = iocb->aio_offset;
  1399. req->ki_buf = (char __user *)(unsigned long)iocb->aio_buf;
  1400. req->ki_left = req->ki_nbytes = iocb->aio_nbytes;
  1401. req->ki_opcode = iocb->aio_lio_opcode;
  1402. ret = aio_setup_iocb(req, compat);
  1403. if (ret)
  1404. goto out_put_req;
  1405. spin_lock_irq(&ctx->ctx_lock);
  1406. aio_run_iocb(req);
  1407. if (!list_empty(&ctx->run_list)) {
  1408. /* drain the run list */
  1409. while (__aio_run_iocbs(ctx))
  1410. ;
  1411. }
  1412. spin_unlock_irq(&ctx->ctx_lock);
  1413. if (req->ki_opcode == IOCB_CMD_PREAD ||
  1414. req->ki_opcode == IOCB_CMD_PREADV ||
  1415. req->ki_opcode == IOCB_CMD_PWRITE ||
  1416. req->ki_opcode == IOCB_CMD_PWRITEV)
  1417. aio_batch_add(file->f_mapping, batch_hash);
  1418. aio_put_req(req); /* drop extra ref to req */
  1419. return 0;
  1420. out_put_req:
  1421. aio_put_req(req); /* drop extra ref to req */
  1422. aio_put_req(req); /* drop i/o ref to req */
  1423. return ret;
  1424. }
  1425. long do_io_submit(aio_context_t ctx_id, long nr,
  1426. struct iocb __user *__user *iocbpp, bool compat)
  1427. {
  1428. struct kioctx *ctx;
  1429. long ret = 0;
  1430. int i;
  1431. struct hlist_head batch_hash[AIO_BATCH_HASH_SIZE] = { { 0, }, };
  1432. if (unlikely(nr < 0))
  1433. return -EINVAL;
  1434. if (unlikely(nr > LONG_MAX/sizeof(*iocbpp)))
  1435. nr = LONG_MAX/sizeof(*iocbpp);
  1436. if (unlikely(!access_ok(VERIFY_READ, iocbpp, (nr*sizeof(*iocbpp)))))
  1437. return -EFAULT;
  1438. ctx = lookup_ioctx(ctx_id);
  1439. if (unlikely(!ctx)) {
  1440. pr_debug("EINVAL: io_submit: invalid context id\n");
  1441. return -EINVAL;
  1442. }
  1443. /*
  1444. * AKPM: should this return a partial result if some of the IOs were
  1445. * successfully submitted?
  1446. */
  1447. for (i=0; i<nr; i++) {
  1448. struct iocb __user *user_iocb;
  1449. struct iocb tmp;
  1450. if (unlikely(__get_user(user_iocb, iocbpp + i))) {
  1451. ret = -EFAULT;
  1452. break;
  1453. }
  1454. if (unlikely(copy_from_user(&tmp, user_iocb, sizeof(tmp)))) {
  1455. ret = -EFAULT;
  1456. break;
  1457. }
  1458. ret = io_submit_one(ctx, user_iocb, &tmp, batch_hash, compat);
  1459. if (ret)
  1460. break;
  1461. }
  1462. aio_batch_free(batch_hash);
  1463. put_ioctx(ctx);
  1464. return i ? i : ret;
  1465. }
  1466. /* sys_io_submit:
  1467. * Queue the nr iocbs pointed to by iocbpp for processing. Returns
  1468. * the number of iocbs queued. May return -EINVAL if the aio_context
  1469. * specified by ctx_id is invalid, if nr is < 0, if the iocb at
  1470. * *iocbpp[0] is not properly initialized, if the operation specified
  1471. * is invalid for the file descriptor in the iocb. May fail with
  1472. * -EFAULT if any of the data structures point to invalid data. May
  1473. * fail with -EBADF if the file descriptor specified in the first
  1474. * iocb is invalid. May fail with -EAGAIN if insufficient resources
  1475. * are available to queue any iocbs. Will return 0 if nr is 0. Will
  1476. * fail with -ENOSYS if not implemented.
  1477. */
  1478. SYSCALL_DEFINE3(io_submit, aio_context_t, ctx_id, long, nr,
  1479. struct iocb __user * __user *, iocbpp)
  1480. {
  1481. return do_io_submit(ctx_id, nr, iocbpp, 0);
  1482. }
  1483. /* lookup_kiocb
  1484. * Finds a given iocb for cancellation.
  1485. */
  1486. static struct kiocb *lookup_kiocb(struct kioctx *ctx, struct iocb __user *iocb,
  1487. u32 key)
  1488. {
  1489. struct list_head *pos;
  1490. assert_spin_locked(&ctx->ctx_lock);
  1491. /* TODO: use a hash or array, this sucks. */
  1492. list_for_each(pos, &ctx->active_reqs) {
  1493. struct kiocb *kiocb = list_kiocb(pos);
  1494. if (kiocb->ki_obj.user == iocb && kiocb->ki_key == key)
  1495. return kiocb;
  1496. }
  1497. return NULL;
  1498. }
  1499. /* sys_io_cancel:
  1500. * Attempts to cancel an iocb previously passed to io_submit. If
  1501. * the operation is successfully cancelled, the resulting event is
  1502. * copied into the memory pointed to by result without being placed
  1503. * into the completion queue and 0 is returned. May fail with
  1504. * -EFAULT if any of the data structures pointed to are invalid.
  1505. * May fail with -EINVAL if aio_context specified by ctx_id is
  1506. * invalid. May fail with -EAGAIN if the iocb specified was not
  1507. * cancelled. Will fail with -ENOSYS if not implemented.
  1508. */
  1509. SYSCALL_DEFINE3(io_cancel, aio_context_t, ctx_id, struct iocb __user *, iocb,
  1510. struct io_event __user *, result)
  1511. {
  1512. int (*cancel)(struct kiocb *iocb, struct io_event *res);
  1513. struct kioctx *ctx;
  1514. struct kiocb *kiocb;
  1515. u32 key;
  1516. int ret;
  1517. ret = get_user(key, &iocb->aio_key);
  1518. if (unlikely(ret))
  1519. return -EFAULT;
  1520. ctx = lookup_ioctx(ctx_id);
  1521. if (unlikely(!ctx))
  1522. return -EINVAL;
  1523. spin_lock_irq(&ctx->ctx_lock);
  1524. ret = -EAGAIN;
  1525. kiocb = lookup_kiocb(ctx, iocb, key);
  1526. if (kiocb && kiocb->ki_cancel) {
  1527. cancel = kiocb->ki_cancel;
  1528. kiocb->ki_users ++;
  1529. kiocbSetCancelled(kiocb);
  1530. } else
  1531. cancel = NULL;
  1532. spin_unlock_irq(&ctx->ctx_lock);
  1533. if (NULL != cancel) {
  1534. struct io_event tmp;
  1535. pr_debug("calling cancel\n");
  1536. memset(&tmp, 0, sizeof(tmp));
  1537. tmp.obj = (u64)(unsigned long)kiocb->ki_obj.user;
  1538. tmp.data = kiocb->ki_user_data;
  1539. ret = cancel(kiocb, &tmp);
  1540. if (!ret) {
  1541. /* Cancellation succeeded -- copy the result
  1542. * into the user's buffer.
  1543. */
  1544. if (copy_to_user(result, &tmp, sizeof(tmp)))
  1545. ret = -EFAULT;
  1546. }
  1547. } else
  1548. ret = -EINVAL;
  1549. put_ioctx(ctx);
  1550. return ret;
  1551. }
  1552. /* io_getevents:
  1553. * Attempts to read at least min_nr events and up to nr events from
  1554. * the completion queue for the aio_context specified by ctx_id. If
  1555. * it succeeds, the number of read events is returned. May fail with
  1556. * -EINVAL if ctx_id is invalid, if min_nr is out of range, if nr is
  1557. * out of range, if timeout is out of range. May fail with -EFAULT
  1558. * if any of the memory specified is invalid. May return 0 or
  1559. * < min_nr if the timeout specified by timeout has elapsed
  1560. * before sufficient events are available, where timeout == NULL
  1561. * specifies an infinite timeout. Note that the timeout pointed to by
  1562. * timeout is relative and will be updated if not NULL and the
  1563. * operation blocks. Will fail with -ENOSYS if not implemented.
  1564. */
  1565. SYSCALL_DEFINE5(io_getevents, aio_context_t, ctx_id,
  1566. long, min_nr,
  1567. long, nr,
  1568. struct io_event __user *, events,
  1569. struct timespec __user *, timeout)
  1570. {
  1571. struct kioctx *ioctx = lookup_ioctx(ctx_id);
  1572. long ret = -EINVAL;
  1573. if (likely(ioctx)) {
  1574. if (likely(min_nr <= nr && min_nr >= 0 && nr >= 0))
  1575. ret = read_events(ioctx, min_nr, nr, events, timeout);
  1576. put_ioctx(ioctx);
  1577. }
  1578. asmlinkage_protect(5, ret, ctx_id, min_nr, nr, events, timeout);
  1579. return ret;
  1580. }