]> git.saurik.com Git - redis.git/blame - src/vm.c
fix for the prev fix
[redis.git] / src / vm.c
CommitLineData
e2641e09 1#include "redis.h"
2
3#include <fcntl.h>
4#include <pthread.h>
5#include <math.h>
6#include <signal.h>
7
8/* Virtual Memory is composed mainly of two subsystems:
9 * - Blocking Virutal Memory
10 * - Threaded Virtual Memory I/O
11 * The two parts are not fully decoupled, but functions are split among two
12 * different sections of the source code (delimited by comments) in order to
13 * make more clear what functionality is about the blocking VM and what about
14 * the threaded (not blocking) VM.
15 *
16 * Redis VM design:
17 *
18 * Redis VM is a blocking VM (one that blocks reading swapped values from
19 * disk into memory when a value swapped out is needed in memory) that is made
20 * unblocking by trying to examine the command argument vector in order to
21 * load in background values that will likely be needed in order to exec
22 * the command. The command is executed only once all the relevant keys
23 * are loaded into memory.
24 *
25 * This basically is almost as simple of a blocking VM, but almost as parallel
26 * as a fully non-blocking VM.
27 */
28
29/* =================== Virtual Memory - Blocking Side ====================== */
30
31/* Create a VM pointer object. This kind of objects are used in place of
32 * values in the key -> value hash table, for swapped out objects. */
33vmpointer *createVmPointer(int vtype) {
34 vmpointer *vp = zmalloc(sizeof(vmpointer));
35
36 vp->type = REDIS_VMPOINTER;
37 vp->storage = REDIS_VM_SWAPPED;
38 vp->vtype = vtype;
39 return vp;
40}
41
42void vmInit(void) {
43 off_t totsize;
44 int pipefds[2];
45 size_t stacksize;
46 struct flock fl;
47
48 if (server.vm_max_threads != 0)
49 zmalloc_enable_thread_safeness(); /* we need thread safe zmalloc() */
50
51 redisLog(REDIS_NOTICE,"Using '%s' as swap file",server.vm_swap_file);
52 /* Try to open the old swap file, otherwise create it */
53 if ((server.vm_fp = fopen(server.vm_swap_file,"r+b")) == NULL) {
54 server.vm_fp = fopen(server.vm_swap_file,"w+b");
55 }
56 if (server.vm_fp == NULL) {
57 redisLog(REDIS_WARNING,
58 "Can't open the swap file: %s. Exiting.",
59 strerror(errno));
60 exit(1);
61 }
62 server.vm_fd = fileno(server.vm_fp);
63 /* Lock the swap file for writing, this is useful in order to avoid
64 * another instance to use the same swap file for a config error. */
65 fl.l_type = F_WRLCK;
66 fl.l_whence = SEEK_SET;
67 fl.l_start = fl.l_len = 0;
68 if (fcntl(server.vm_fd,F_SETLK,&fl) == -1) {
69 redisLog(REDIS_WARNING,
70 "Can't lock the swap file at '%s': %s. Make sure it is not used by another Redis instance.", server.vm_swap_file, strerror(errno));
71 exit(1);
72 }
73 /* Initialize */
74 server.vm_next_page = 0;
75 server.vm_near_pages = 0;
76 server.vm_stats_used_pages = 0;
77 server.vm_stats_swapped_objects = 0;
78 server.vm_stats_swapouts = 0;
79 server.vm_stats_swapins = 0;
80 totsize = server.vm_pages*server.vm_page_size;
81 redisLog(REDIS_NOTICE,"Allocating %lld bytes of swap file",totsize);
82 if (ftruncate(server.vm_fd,totsize) == -1) {
83 redisLog(REDIS_WARNING,"Can't ftruncate swap file: %s. Exiting.",
84 strerror(errno));
85 exit(1);
86 } else {
87 redisLog(REDIS_NOTICE,"Swap file allocated with success");
88 }
399f2f40 89 server.vm_bitmap = zcalloc((server.vm_pages+7)/8);
e2641e09 90 redisLog(REDIS_VERBOSE,"Allocated %lld bytes page table for %lld pages",
91 (long long) (server.vm_pages+7)/8, server.vm_pages);
e2641e09 92
93 /* Initialize threaded I/O (used by Virtual Memory) */
94 server.io_newjobs = listCreate();
95 server.io_processing = listCreate();
96 server.io_processed = listCreate();
97 server.io_ready_clients = listCreate();
98 pthread_mutex_init(&server.io_mutex,NULL);
99 pthread_mutex_init(&server.obj_freelist_mutex,NULL);
100 pthread_mutex_init(&server.io_swapfile_mutex,NULL);
101 server.io_active_threads = 0;
102 if (pipe(pipefds) == -1) {
103 redisLog(REDIS_WARNING,"Unable to intialized VM: pipe(2): %s. Exiting."
104 ,strerror(errno));
105 exit(1);
106 }
107 server.io_ready_pipe_read = pipefds[0];
108 server.io_ready_pipe_write = pipefds[1];
109 redisAssert(anetNonBlock(NULL,server.io_ready_pipe_read) != ANET_ERR);
110 /* LZF requires a lot of stack */
111 pthread_attr_init(&server.io_threads_attr);
112 pthread_attr_getstacksize(&server.io_threads_attr, &stacksize);
113 while (stacksize < REDIS_THREAD_STACK_SIZE) stacksize *= 2;
114 pthread_attr_setstacksize(&server.io_threads_attr, stacksize);
115 /* Listen for events in the threaded I/O pipe */
116 if (aeCreateFileEvent(server.el, server.io_ready_pipe_read, AE_READABLE,
117 vmThreadedIOCompletedJob, NULL) == AE_ERR)
118 oom("creating file event");
119}
120
121/* Mark the page as used */
122void vmMarkPageUsed(off_t page) {
123 off_t byte = page/8;
124 int bit = page&7;
125 redisAssert(vmFreePage(page) == 1);
126 server.vm_bitmap[byte] |= 1<<bit;
127}
128
129/* Mark N contiguous pages as used, with 'page' being the first. */
130void vmMarkPagesUsed(off_t page, off_t count) {
131 off_t j;
132
133 for (j = 0; j < count; j++)
134 vmMarkPageUsed(page+j);
135 server.vm_stats_used_pages += count;
136 redisLog(REDIS_DEBUG,"Mark USED pages: %lld pages at %lld\n",
137 (long long)count, (long long)page);
138}
139
140/* Mark the page as free */
141void vmMarkPageFree(off_t page) {
142 off_t byte = page/8;
143 int bit = page&7;
144 redisAssert(vmFreePage(page) == 0);
145 server.vm_bitmap[byte] &= ~(1<<bit);
146}
147
148/* Mark N contiguous pages as free, with 'page' being the first. */
149void vmMarkPagesFree(off_t page, off_t count) {
150 off_t j;
151
152 for (j = 0; j < count; j++)
153 vmMarkPageFree(page+j);
154 server.vm_stats_used_pages -= count;
155 redisLog(REDIS_DEBUG,"Mark FREE pages: %lld pages at %lld\n",
156 (long long)count, (long long)page);
157}
158
159/* Test if the page is free */
160int vmFreePage(off_t page) {
161 off_t byte = page/8;
162 int bit = page&7;
163 return (server.vm_bitmap[byte] & (1<<bit)) == 0;
164}
165
166/* Find N contiguous free pages storing the first page of the cluster in *first.
167 * Returns REDIS_OK if it was able to find N contiguous pages, otherwise
168 * REDIS_ERR is returned.
169 *
170 * This function uses a simple algorithm: we try to allocate
171 * REDIS_VM_MAX_NEAR_PAGES sequentially, when we reach this limit we start
172 * again from the start of the swap file searching for free spaces.
173 *
174 * If it looks pretty clear that there are no free pages near our offset
175 * we try to find less populated places doing a forward jump of
176 * REDIS_VM_MAX_RANDOM_JUMP, then we start scanning again a few pages
177 * without hurry, and then we jump again and so forth...
178 *
179 * This function can be improved using a free list to avoid to guess
180 * too much, since we could collect data about freed pages.
181 *
182 * note: I implemented this function just after watching an episode of
183 * Battlestar Galactica, where the hybrid was continuing to say "JUMP!"
184 */
185int vmFindContiguousPages(off_t *first, off_t n) {
186 off_t base, offset = 0, since_jump = 0, numfree = 0;
187
188 if (server.vm_near_pages == REDIS_VM_MAX_NEAR_PAGES) {
189 server.vm_near_pages = 0;
190 server.vm_next_page = 0;
191 }
192 server.vm_near_pages++; /* Yet another try for pages near to the old ones */
193 base = server.vm_next_page;
194
195 while(offset < server.vm_pages) {
196 off_t this = base+offset;
197
198 /* If we overflow, restart from page zero */
199 if (this >= server.vm_pages) {
200 this -= server.vm_pages;
201 if (this == 0) {
202 /* Just overflowed, what we found on tail is no longer
203 * interesting, as it's no longer contiguous. */
204 numfree = 0;
205 }
206 }
207 if (vmFreePage(this)) {
208 /* This is a free page */
209 numfree++;
210 /* Already got N free pages? Return to the caller, with success */
211 if (numfree == n) {
212 *first = this-(n-1);
213 server.vm_next_page = this+1;
214 redisLog(REDIS_DEBUG, "FOUND CONTIGUOUS PAGES: %lld pages at %lld\n", (long long) n, (long long) *first);
215 return REDIS_OK;
216 }
217 } else {
218 /* The current one is not a free page */
219 numfree = 0;
220 }
221
222 /* Fast-forward if the current page is not free and we already
223 * searched enough near this place. */
224 since_jump++;
225 if (!numfree && since_jump >= REDIS_VM_MAX_RANDOM_JUMP/4) {
226 offset += random() % REDIS_VM_MAX_RANDOM_JUMP;
227 since_jump = 0;
228 /* Note that even if we rewind after the jump, we are don't need
229 * to make sure numfree is set to zero as we only jump *if* it
230 * is set to zero. */
231 } else {
232 /* Otherwise just check the next page */
233 offset++;
234 }
235 }
236 return REDIS_ERR;
237}
238
239/* Write the specified object at the specified page of the swap file */
240int vmWriteObjectOnSwap(robj *o, off_t page) {
241 if (server.vm_enabled) pthread_mutex_lock(&server.io_swapfile_mutex);
242 if (fseeko(server.vm_fp,page*server.vm_page_size,SEEK_SET) == -1) {
243 if (server.vm_enabled) pthread_mutex_unlock(&server.io_swapfile_mutex);
244 redisLog(REDIS_WARNING,
245 "Critical VM problem in vmWriteObjectOnSwap(): can't seek: %s",
246 strerror(errno));
247 return REDIS_ERR;
248 }
249 rdbSaveObject(server.vm_fp,o);
250 fflush(server.vm_fp);
251 if (server.vm_enabled) pthread_mutex_unlock(&server.io_swapfile_mutex);
252 return REDIS_OK;
253}
254
255/* Transfers the 'val' object to disk. Store all the information
256 * a 'vmpointer' object containing all the information needed to load the
257 * object back later is returned.
258 *
259 * If we can't find enough contiguous empty pages to swap the object on disk
260 * NULL is returned. */
261vmpointer *vmSwapObjectBlocking(robj *val) {
262 off_t pages = rdbSavedObjectPages(val,NULL);
263 off_t page;
264 vmpointer *vp;
265
266 redisAssert(val->storage == REDIS_VM_MEMORY);
267 redisAssert(val->refcount == 1);
268 if (vmFindContiguousPages(&page,pages) == REDIS_ERR) return NULL;
269 if (vmWriteObjectOnSwap(val,page) == REDIS_ERR) return NULL;
270
271 vp = createVmPointer(val->type);
272 vp->page = page;
273 vp->usedpages = pages;
274 decrRefCount(val); /* Deallocate the object from memory. */
275 vmMarkPagesUsed(page,pages);
276 redisLog(REDIS_DEBUG,"VM: object %p swapped out at %lld (%lld pages)",
277 (void*) val,
278 (unsigned long long) page, (unsigned long long) pages);
279 server.vm_stats_swapped_objects++;
280 server.vm_stats_swapouts++;
281 return vp;
282}
283
284robj *vmReadObjectFromSwap(off_t page, int type) {
285 robj *o;
286
287 if (server.vm_enabled) pthread_mutex_lock(&server.io_swapfile_mutex);
288 if (fseeko(server.vm_fp,page*server.vm_page_size,SEEK_SET) == -1) {
289 redisLog(REDIS_WARNING,
290 "Unrecoverable VM problem in vmReadObjectFromSwap(): can't seek: %s",
291 strerror(errno));
292 _exit(1);
293 }
294 o = rdbLoadObject(type,server.vm_fp);
295 if (o == NULL) {
296 redisLog(REDIS_WARNING, "Unrecoverable VM problem in vmReadObjectFromSwap(): can't load object from swap file: %s", strerror(errno));
297 _exit(1);
298 }
299 if (server.vm_enabled) pthread_mutex_unlock(&server.io_swapfile_mutex);
300 return o;
301}
302
303/* Load the specified object from swap to memory.
304 * The newly allocated object is returned.
305 *
306 * If preview is true the unserialized object is returned to the caller but
307 * the pages are not marked as freed, nor the vp object is freed. */
308robj *vmGenericLoadObject(vmpointer *vp, int preview) {
309 robj *val;
310
311 redisAssert(vp->type == REDIS_VMPOINTER &&
312 (vp->storage == REDIS_VM_SWAPPED || vp->storage == REDIS_VM_LOADING));
313 val = vmReadObjectFromSwap(vp->page,vp->vtype);
314 if (!preview) {
315 redisLog(REDIS_DEBUG, "VM: object %p loaded from disk", (void*)vp);
316 vmMarkPagesFree(vp->page,vp->usedpages);
317 zfree(vp);
318 server.vm_stats_swapped_objects--;
319 } else {
320 redisLog(REDIS_DEBUG, "VM: object %p previewed from disk", (void*)vp);
321 }
322 server.vm_stats_swapins++;
323 return val;
324}
325
326/* Plain object loading, from swap to memory.
327 *
328 * 'o' is actually a redisVmPointer structure that will be freed by the call.
329 * The return value is the loaded object. */
330robj *vmLoadObject(robj *o) {
331 /* If we are loading the object in background, stop it, we
332 * need to load this object synchronously ASAP. */
333 if (o->storage == REDIS_VM_LOADING)
334 vmCancelThreadedIOJob(o);
335 return vmGenericLoadObject((vmpointer*)o,0);
336}
337
338/* Just load the value on disk, without to modify the key.
339 * This is useful when we want to perform some operation on the value
340 * without to really bring it from swap to memory, like while saving the
341 * dataset or rewriting the append only log. */
342robj *vmPreviewObject(robj *o) {
343 return vmGenericLoadObject((vmpointer*)o,1);
344}
345
346/* How a good candidate is this object for swapping?
347 * The better candidate it is, the greater the returned value.
348 *
349 * Currently we try to perform a fast estimation of the object size in
350 * memory, and combine it with aging informations.
351 *
352 * Basically swappability = idle-time * log(estimated size)
353 *
354 * Bigger objects are preferred over smaller objects, but not
355 * proportionally, this is why we use the logarithm. This algorithm is
356 * just a first try and will probably be tuned later. */
357double computeObjectSwappability(robj *o) {
358 /* actual age can be >= minage, but not < minage. As we use wrapping
359 * 21 bit clocks with minutes resolution for the LRU. */
360 time_t minage = abs(server.lruclock - o->lru);
361 long asize = 0, elesize;
362 robj *ele;
363 list *l;
364 listNode *ln;
365 dict *d;
366 struct dictEntry *de;
367 int z;
368
369 if (minage <= 0) return 0;
370 switch(o->type) {
371 case REDIS_STRING:
372 if (o->encoding != REDIS_ENCODING_RAW) {
373 asize = sizeof(*o);
374 } else {
375 asize = sdslen(o->ptr)+sizeof(*o)+sizeof(long)*2;
376 }
377 break;
378 case REDIS_LIST:
379 if (o->encoding == REDIS_ENCODING_ZIPLIST) {
380 asize = sizeof(*o)+ziplistSize(o->ptr);
381 } else {
382 l = o->ptr;
383 ln = listFirst(l);
384 asize = sizeof(list);
385 if (ln) {
386 ele = ln->value;
387 elesize = (ele->encoding == REDIS_ENCODING_RAW) ?
388 (sizeof(*o)+sdslen(ele->ptr)) : sizeof(*o);
389 asize += (sizeof(listNode)+elesize)*listLength(l);
390 }
391 }
392 break;
393 case REDIS_SET:
394 case REDIS_ZSET:
395 z = (o->type == REDIS_ZSET);
396 d = z ? ((zset*)o->ptr)->dict : o->ptr;
397
5f19e8a4 398 if (!z && o->encoding == REDIS_ENCODING_INTSET) {
399 intset *is = o->ptr;
400 asize = sizeof(*is)+is->encoding*is->length;
401 } else {
402 asize = sizeof(dict)+(sizeof(struct dictEntry*)*dictSlots(d));
403 if (z) asize += sizeof(zset)-sizeof(dict);
404 if (dictSize(d)) {
405 de = dictGetRandomKey(d);
406 ele = dictGetEntryKey(de);
407 elesize = (ele->encoding == REDIS_ENCODING_RAW) ?
408 (sizeof(*o)+sdslen(ele->ptr)) : sizeof(*o);
409 asize += (sizeof(struct dictEntry)+elesize)*dictSize(d);
410 if (z) asize += sizeof(zskiplistNode)*dictSize(d);
411 }
e2641e09 412 }
413 break;
414 case REDIS_HASH:
415 if (o->encoding == REDIS_ENCODING_ZIPMAP) {
416 unsigned char *p = zipmapRewind((unsigned char*)o->ptr);
417 unsigned int len = zipmapLen((unsigned char*)o->ptr);
418 unsigned int klen, vlen;
419 unsigned char *key, *val;
420
421 if ((p = zipmapNext(p,&key,&klen,&val,&vlen)) == NULL) {
422 klen = 0;
423 vlen = 0;
424 }
425 asize = len*(klen+vlen+3);
426 } else if (o->encoding == REDIS_ENCODING_HT) {
427 d = o->ptr;
428 asize = sizeof(dict)+(sizeof(struct dictEntry*)*dictSlots(d));
429 if (dictSize(d)) {
430 de = dictGetRandomKey(d);
431 ele = dictGetEntryKey(de);
432 elesize = (ele->encoding == REDIS_ENCODING_RAW) ?
433 (sizeof(*o)+sdslen(ele->ptr)) : sizeof(*o);
434 ele = dictGetEntryVal(de);
435 elesize = (ele->encoding == REDIS_ENCODING_RAW) ?
436 (sizeof(*o)+sdslen(ele->ptr)) : sizeof(*o);
437 asize += (sizeof(struct dictEntry)+elesize)*dictSize(d);
438 }
439 }
440 break;
441 }
442 return (double)minage*log(1+asize);
443}
444
445/* Try to swap an object that's a good candidate for swapping.
446 * Returns REDIS_OK if the object was swapped, REDIS_ERR if it's not possible
447 * to swap any object at all.
448 *
449 * If 'usethreaded' is true, Redis will try to swap the object in background
450 * using I/O threads. */
451int vmSwapOneObject(int usethreads) {
452 int j, i;
453 struct dictEntry *best = NULL;
454 double best_swappability = 0;
455 redisDb *best_db = NULL;
456 robj *val;
457 sds key;
458
459 for (j = 0; j < server.dbnum; j++) {
460 redisDb *db = server.db+j;
461 /* Why maxtries is set to 100?
462 * Because this way (usually) we'll find 1 object even if just 1% - 2%
463 * are swappable objects */
464 int maxtries = 100;
465
466 if (dictSize(db->dict) == 0) continue;
467 for (i = 0; i < 5; i++) {
468 dictEntry *de;
469 double swappability;
470
471 if (maxtries) maxtries--;
472 de = dictGetRandomKey(db->dict);
473 val = dictGetEntryVal(de);
474 /* Only swap objects that are currently in memory.
475 *
476 * Also don't swap shared objects: not a good idea in general and
477 * we need to ensure that the main thread does not touch the
478 * object while the I/O thread is using it, but we can't
479 * control other keys without adding additional mutex. */
480 if (val->storage != REDIS_VM_MEMORY || val->refcount != 1) {
481 if (maxtries) i--; /* don't count this try */
482 continue;
483 }
484 swappability = computeObjectSwappability(val);
485 if (!best || swappability > best_swappability) {
486 best = de;
487 best_swappability = swappability;
488 best_db = db;
489 }
490 }
491 }
492 if (best == NULL) return REDIS_ERR;
493 key = dictGetEntryKey(best);
494 val = dictGetEntryVal(best);
495
496 redisLog(REDIS_DEBUG,"Key with best swappability: %s, %f",
497 key, best_swappability);
498
499 /* Swap it */
500 if (usethreads) {
501 robj *keyobj = createStringObject(key,sdslen(key));
502 vmSwapObjectThreaded(keyobj,val,best_db);
503 decrRefCount(keyobj);
504 return REDIS_OK;
505 } else {
506 vmpointer *vp;
507
508 if ((vp = vmSwapObjectBlocking(val)) != NULL) {
509 dictGetEntryVal(best) = vp;
510 return REDIS_OK;
511 } else {
512 return REDIS_ERR;
513 }
514 }
515}
516
517int vmSwapOneObjectBlocking() {
518 return vmSwapOneObject(0);
519}
520
521int vmSwapOneObjectThreaded() {
522 return vmSwapOneObject(1);
523}
524
525/* Return true if it's safe to swap out objects in a given moment.
526 * Basically we don't want to swap objects out while there is a BGSAVE
527 * or a BGAEOREWRITE running in backgroud. */
528int vmCanSwapOut(void) {
529 return (server.bgsavechildpid == -1 && server.bgrewritechildpid == -1);
530}
531
532/* =================== Virtual Memory - Threaded I/O ======================= */
533
534void freeIOJob(iojob *j) {
535 if ((j->type == REDIS_IOJOB_PREPARE_SWAP ||
536 j->type == REDIS_IOJOB_DO_SWAP ||
537 j->type == REDIS_IOJOB_LOAD) && j->val != NULL)
538 {
539 /* we fix the storage type, otherwise decrRefCount() will try to
540 * kill the I/O thread Job (that does no longer exists). */
541 if (j->val->storage == REDIS_VM_SWAPPING)
542 j->val->storage = REDIS_VM_MEMORY;
543 decrRefCount(j->val);
544 }
545 decrRefCount(j->key);
546 zfree(j);
547}
548
549/* Every time a thread finished a Job, it writes a byte into the write side
550 * of an unix pipe in order to "awake" the main thread, and this function
c1ae36ae 551 * is called.
552 *
553 * Note that this is called both by the event loop, when a I/O thread
554 * sends a byte in the notification pipe, and is also directly called from
555 * waitEmptyIOJobsQueue().
556 *
557 * In the latter case we don't want to swap more, so we use the
558 * "privdata" argument setting it to a not NULL value to signal this
559 * condition. */
e2641e09 560void vmThreadedIOCompletedJob(aeEventLoop *el, int fd, void *privdata,
561 int mask)
562{
563 char buf[1];
564 int retval, processed = 0, toprocess = -1, trytoswap = 1;
565 REDIS_NOTUSED(el);
566 REDIS_NOTUSED(mask);
567 REDIS_NOTUSED(privdata);
568
e5f257c2 569 if (privdata != NULL) trytoswap = 0; /* check the comments above... */
c1ae36ae 570
e2641e09 571 /* For every byte we read in the read side of the pipe, there is one
572 * I/O job completed to process. */
573 while((retval = read(fd,buf,1)) == 1) {
574 iojob *j;
575 listNode *ln;
576 struct dictEntry *de;
577
578 redisLog(REDIS_DEBUG,"Processing I/O completed job");
579
580 /* Get the processed element (the oldest one) */
581 lockThreadedIO();
582 redisAssert(listLength(server.io_processed) != 0);
583 if (toprocess == -1) {
584 toprocess = (listLength(server.io_processed)*REDIS_MAX_COMPLETED_JOBS_PROCESSED)/100;
585 if (toprocess <= 0) toprocess = 1;
586 }
587 ln = listFirst(server.io_processed);
588 j = ln->value;
589 listDelNode(server.io_processed,ln);
590 unlockThreadedIO();
591 /* If this job is marked as canceled, just ignore it */
592 if (j->canceled) {
593 freeIOJob(j);
594 continue;
595 }
596 /* Post process it in the main thread, as there are things we
597 * can do just here to avoid race conditions and/or invasive locks */
598 redisLog(REDIS_DEBUG,"COMPLETED Job type: %d, ID %p, key: %s", j->type, (void*)j->id, (unsigned char*)j->key->ptr);
599 de = dictFind(j->db->dict,j->key->ptr);
600 redisAssert(de != NULL);
601 if (j->type == REDIS_IOJOB_LOAD) {
602 redisDb *db;
603 vmpointer *vp = dictGetEntryVal(de);
604
605 /* Key loaded, bring it at home */
606 vmMarkPagesFree(vp->page,vp->usedpages);
607 redisLog(REDIS_DEBUG, "VM: object %s loaded from disk (threaded)",
608 (unsigned char*) j->key->ptr);
609 server.vm_stats_swapped_objects--;
610 server.vm_stats_swapins++;
611 dictGetEntryVal(de) = j->val;
612 incrRefCount(j->val);
613 db = j->db;
614 /* Handle clients waiting for this key to be loaded. */
615 handleClientsBlockedOnSwappedKey(db,j->key);
616 freeIOJob(j);
617 zfree(vp);
618 } else if (j->type == REDIS_IOJOB_PREPARE_SWAP) {
619 /* Now we know the amount of pages required to swap this object.
620 * Let's find some space for it, and queue this task again
621 * rebranded as REDIS_IOJOB_DO_SWAP. */
622 if (!vmCanSwapOut() ||
623 vmFindContiguousPages(&j->page,j->pages) == REDIS_ERR)
624 {
625 /* Ooops... no space or we can't swap as there is
626 * a fork()ed Redis trying to save stuff on disk. */
627 j->val->storage = REDIS_VM_MEMORY; /* undo operation */
628 freeIOJob(j);
629 } else {
630 /* Note that we need to mark this pages as used now,
631 * if the job will be canceled, we'll mark them as freed
632 * again. */
633 vmMarkPagesUsed(j->page,j->pages);
634 j->type = REDIS_IOJOB_DO_SWAP;
635 lockThreadedIO();
636 queueIOJob(j);
637 unlockThreadedIO();
638 }
639 } else if (j->type == REDIS_IOJOB_DO_SWAP) {
640 vmpointer *vp;
641
642 /* Key swapped. We can finally free some memory. */
643 if (j->val->storage != REDIS_VM_SWAPPING) {
644 vmpointer *vp = (vmpointer*) j->id;
645 printf("storage: %d\n",vp->storage);
646 printf("key->name: %s\n",(char*)j->key->ptr);
647 printf("val: %p\n",(void*)j->val);
648 printf("val->type: %d\n",j->val->type);
649 printf("val->ptr: %s\n",(char*)j->val->ptr);
650 }
651 redisAssert(j->val->storage == REDIS_VM_SWAPPING);
652 vp = createVmPointer(j->val->type);
653 vp->page = j->page;
654 vp->usedpages = j->pages;
655 dictGetEntryVal(de) = vp;
656 /* Fix the storage otherwise decrRefCount will attempt to
657 * remove the associated I/O job */
658 j->val->storage = REDIS_VM_MEMORY;
659 decrRefCount(j->val);
660 redisLog(REDIS_DEBUG,
661 "VM: object %s swapped out at %lld (%lld pages) (threaded)",
662 (unsigned char*) j->key->ptr,
663 (unsigned long long) j->page, (unsigned long long) j->pages);
664 server.vm_stats_swapped_objects++;
665 server.vm_stats_swapouts++;
666 freeIOJob(j);
667 /* Put a few more swap requests in queue if we are still
668 * out of memory */
669 if (trytoswap && vmCanSwapOut() &&
670 zmalloc_used_memory() > server.vm_max_memory)
671 {
672 int more = 1;
673 while(more) {
674 lockThreadedIO();
675 more = listLength(server.io_newjobs) <
676 (unsigned) server.vm_max_threads;
677 unlockThreadedIO();
678 /* Don't waste CPU time if swappable objects are rare. */
679 if (vmSwapOneObjectThreaded() == REDIS_ERR) {
680 trytoswap = 0;
681 break;
682 }
683 }
684 }
685 }
686 processed++;
687 if (processed == toprocess) return;
688 }
689 if (retval < 0 && errno != EAGAIN) {
690 redisLog(REDIS_WARNING,
691 "WARNING: read(2) error in vmThreadedIOCompletedJob() %s",
692 strerror(errno));
693 }
694}
695
696void lockThreadedIO(void) {
697 pthread_mutex_lock(&server.io_mutex);
698}
699
700void unlockThreadedIO(void) {
701 pthread_mutex_unlock(&server.io_mutex);
702}
703
704/* Remove the specified object from the threaded I/O queue if still not
705 * processed, otherwise make sure to flag it as canceled. */
706void vmCancelThreadedIOJob(robj *o) {
707 list *lists[3] = {
708 server.io_newjobs, /* 0 */
709 server.io_processing, /* 1 */
710 server.io_processed /* 2 */
711 };
712 int i;
713
714 redisAssert(o->storage == REDIS_VM_LOADING || o->storage == REDIS_VM_SWAPPING);
715again:
716 lockThreadedIO();
717 /* Search for a matching object in one of the queues */
718 for (i = 0; i < 3; i++) {
719 listNode *ln;
720 listIter li;
721
722 listRewind(lists[i],&li);
723 while ((ln = listNext(&li)) != NULL) {
724 iojob *job = ln->value;
725
726 if (job->canceled) continue; /* Skip this, already canceled. */
727 if (job->id == o) {
728 redisLog(REDIS_DEBUG,"*** CANCELED %p (key %s) (type %d) (LIST ID %d)\n",
729 (void*)job, (char*)job->key->ptr, job->type, i);
730 /* Mark the pages as free since the swap didn't happened
731 * or happened but is now discarded. */
732 if (i != 1 && job->type == REDIS_IOJOB_DO_SWAP)
733 vmMarkPagesFree(job->page,job->pages);
734 /* Cancel the job. It depends on the list the job is
735 * living in. */
736 switch(i) {
737 case 0: /* io_newjobs */
738 /* If the job was yet not processed the best thing to do
739 * is to remove it from the queue at all */
740 freeIOJob(job);
741 listDelNode(lists[i],ln);
742 break;
743 case 1: /* io_processing */
744 /* Oh Shi- the thread is messing with the Job:
745 *
746 * Probably it's accessing the object if this is a
747 * PREPARE_SWAP or DO_SWAP job.
748 * If it's a LOAD job it may be reading from disk and
749 * if we don't wait for the job to terminate before to
750 * cancel it, maybe in a few microseconds data can be
751 * corrupted in this pages. So the short story is:
752 *
753 * Better to wait for the job to move into the
754 * next queue (processed)... */
755
756 /* We try again and again until the job is completed. */
757 unlockThreadedIO();
758 /* But let's wait some time for the I/O thread
759 * to finish with this job. After all this condition
760 * should be very rare. */
761 usleep(1);
762 goto again;
763 case 2: /* io_processed */
764 /* The job was already processed, that's easy...
765 * just mark it as canceled so that we'll ignore it
766 * when processing completed jobs. */
767 job->canceled = 1;
768 break;
769 }
770 /* Finally we have to adjust the storage type of the object
771 * in order to "UNDO" the operaiton. */
772 if (o->storage == REDIS_VM_LOADING)
773 o->storage = REDIS_VM_SWAPPED;
774 else if (o->storage == REDIS_VM_SWAPPING)
775 o->storage = REDIS_VM_MEMORY;
776 unlockThreadedIO();
777 redisLog(REDIS_DEBUG,"*** DONE");
778 return;
779 }
780 }
781 }
782 unlockThreadedIO();
783 printf("Not found: %p\n", (void*)o);
784 redisAssert(1 != 1); /* We should never reach this */
785}
786
787void *IOThreadEntryPoint(void *arg) {
788 iojob *j;
789 listNode *ln;
790 REDIS_NOTUSED(arg);
791
792 pthread_detach(pthread_self());
793 while(1) {
794 /* Get a new job to process */
795 lockThreadedIO();
796 if (listLength(server.io_newjobs) == 0) {
797 /* No new jobs in queue, exit. */
798 redisLog(REDIS_DEBUG,"Thread %ld exiting, nothing to do",
799 (long) pthread_self());
800 server.io_active_threads--;
801 unlockThreadedIO();
802 return NULL;
803 }
804 ln = listFirst(server.io_newjobs);
805 j = ln->value;
806 listDelNode(server.io_newjobs,ln);
807 /* Add the job in the processing queue */
808 j->thread = pthread_self();
809 listAddNodeTail(server.io_processing,j);
810 ln = listLast(server.io_processing); /* We use ln later to remove it */
811 unlockThreadedIO();
812 redisLog(REDIS_DEBUG,"Thread %ld got a new job (type %d): %p about key '%s'",
813 (long) pthread_self(), j->type, (void*)j, (char*)j->key->ptr);
814
815 /* Process the Job */
816 if (j->type == REDIS_IOJOB_LOAD) {
817 vmpointer *vp = (vmpointer*)j->id;
818 j->val = vmReadObjectFromSwap(j->page,vp->vtype);
819 } else if (j->type == REDIS_IOJOB_PREPARE_SWAP) {
820 FILE *fp = fopen("/dev/null","w+");
821 j->pages = rdbSavedObjectPages(j->val,fp);
822 fclose(fp);
823 } else if (j->type == REDIS_IOJOB_DO_SWAP) {
824 if (vmWriteObjectOnSwap(j->val,j->page) == REDIS_ERR)
825 j->canceled = 1;
826 }
827
828 /* Done: insert the job into the processed queue */
829 redisLog(REDIS_DEBUG,"Thread %ld completed the job: %p (key %s)",
830 (long) pthread_self(), (void*)j, (char*)j->key->ptr);
831 lockThreadedIO();
832 listDelNode(server.io_processing,ln);
833 listAddNodeTail(server.io_processed,j);
834 unlockThreadedIO();
835
836 /* Signal the main thread there is new stuff to process */
837 redisAssert(write(server.io_ready_pipe_write,"x",1) == 1);
838 }
839 return NULL; /* never reached */
840}
841
842void spawnIOThread(void) {
843 pthread_t thread;
844 sigset_t mask, omask;
845 int err;
846
847 sigemptyset(&mask);
848 sigaddset(&mask,SIGCHLD);
849 sigaddset(&mask,SIGHUP);
850 sigaddset(&mask,SIGPIPE);
851 pthread_sigmask(SIG_SETMASK, &mask, &omask);
852 while ((err = pthread_create(&thread,&server.io_threads_attr,IOThreadEntryPoint,NULL)) != 0) {
853 redisLog(REDIS_WARNING,"Unable to spawn an I/O thread: %s",
854 strerror(err));
855 usleep(1000000);
856 }
857 pthread_sigmask(SIG_SETMASK, &omask, NULL);
858 server.io_active_threads++;
859}
860
861/* We need to wait for the last thread to exit before we are able to
862 * fork() in order to BGSAVE or BGREWRITEAOF. */
863void waitEmptyIOJobsQueue(void) {
864 while(1) {
865 int io_processed_len;
866
867 lockThreadedIO();
868 if (listLength(server.io_newjobs) == 0 &&
869 listLength(server.io_processing) == 0 &&
870 server.io_active_threads == 0)
871 {
872 unlockThreadedIO();
873 return;
874 }
875 /* While waiting for empty jobs queue condition we post-process some
876 * finshed job, as I/O threads may be hanging trying to write against
877 * the io_ready_pipe_write FD but there are so much pending jobs that
878 * it's blocking. */
879 io_processed_len = listLength(server.io_processed);
880 unlockThreadedIO();
881 if (io_processed_len) {
c1ae36ae 882 vmThreadedIOCompletedJob(NULL,server.io_ready_pipe_read,
883 (void*)0xdeadbeef,0);
e2641e09 884 usleep(1000); /* 1 millisecond */
885 } else {
886 usleep(10000); /* 10 milliseconds */
887 }
888 }
889}
890
891void vmReopenSwapFile(void) {
892 /* Note: we don't close the old one as we are in the child process
893 * and don't want to mess at all with the original file object. */
894 server.vm_fp = fopen(server.vm_swap_file,"r+b");
895 if (server.vm_fp == NULL) {
896 redisLog(REDIS_WARNING,"Can't re-open the VM swap file: %s. Exiting.",
897 server.vm_swap_file);
898 _exit(1);
899 }
900 server.vm_fd = fileno(server.vm_fp);
901}
902
903/* This function must be called while with threaded IO locked */
904void queueIOJob(iojob *j) {
905 redisLog(REDIS_DEBUG,"Queued IO Job %p type %d about key '%s'\n",
906 (void*)j, j->type, (char*)j->key->ptr);
907 listAddNodeTail(server.io_newjobs,j);
908 if (server.io_active_threads < server.vm_max_threads)
909 spawnIOThread();
910}
911
912int vmSwapObjectThreaded(robj *key, robj *val, redisDb *db) {
913 iojob *j;
914
915 j = zmalloc(sizeof(*j));
916 j->type = REDIS_IOJOB_PREPARE_SWAP;
917 j->db = db;
918 j->key = key;
919 incrRefCount(key);
920 j->id = j->val = val;
921 incrRefCount(val);
922 j->canceled = 0;
923 j->thread = (pthread_t) -1;
924 val->storage = REDIS_VM_SWAPPING;
925
926 lockThreadedIO();
927 queueIOJob(j);
928 unlockThreadedIO();
929 return REDIS_OK;
930}
931
932/* ============ Virtual Memory - Blocking clients on missing keys =========== */
933
934/* This function makes the clinet 'c' waiting for the key 'key' to be loaded.
935 * If there is not already a job loading the key, it is craeted.
936 * The key is added to the io_keys list in the client structure, and also
937 * in the hash table mapping swapped keys to waiting clients, that is,
938 * server.io_waited_keys. */
939int waitForSwappedKey(redisClient *c, robj *key) {
940 struct dictEntry *de;
941 robj *o;
942 list *l;
943
944 /* If the key does not exist or is already in RAM we don't need to
945 * block the client at all. */
946 de = dictFind(c->db->dict,key->ptr);
947 if (de == NULL) return 0;
948 o = dictGetEntryVal(de);
949 if (o->storage == REDIS_VM_MEMORY) {
950 return 0;
951 } else if (o->storage == REDIS_VM_SWAPPING) {
952 /* We were swapping the key, undo it! */
953 vmCancelThreadedIOJob(o);
954 return 0;
955 }
956
957 /* OK: the key is either swapped, or being loaded just now. */
958
959 /* Add the key to the list of keys this client is waiting for.
960 * This maps clients to keys they are waiting for. */
961 listAddNodeTail(c->io_keys,key);
962 incrRefCount(key);
963
964 /* Add the client to the swapped keys => clients waiting map. */
965 de = dictFind(c->db->io_keys,key);
966 if (de == NULL) {
967 int retval;
968
969 /* For every key we take a list of clients blocked for it */
970 l = listCreate();
971 retval = dictAdd(c->db->io_keys,key,l);
972 incrRefCount(key);
973 redisAssert(retval == DICT_OK);
974 } else {
975 l = dictGetEntryVal(de);
976 }
977 listAddNodeTail(l,c);
978
979 /* Are we already loading the key from disk? If not create a job */
980 if (o->storage == REDIS_VM_SWAPPED) {
981 iojob *j;
982 vmpointer *vp = (vmpointer*)o;
983
984 o->storage = REDIS_VM_LOADING;
985 j = zmalloc(sizeof(*j));
986 j->type = REDIS_IOJOB_LOAD;
987 j->db = c->db;
988 j->id = (robj*)vp;
989 j->key = key;
990 incrRefCount(key);
991 j->page = vp->page;
992 j->val = NULL;
993 j->canceled = 0;
994 j->thread = (pthread_t) -1;
995 lockThreadedIO();
996 queueIOJob(j);
997 unlockThreadedIO();
998 }
999 return 1;
1000}
1001
1002/* Preload keys for any command with first, last and step values for
1003 * the command keys prototype, as defined in the command table. */
1004void waitForMultipleSwappedKeys(redisClient *c, struct redisCommand *cmd, int argc, robj **argv) {
1005 int j, last;
1006 if (cmd->vm_firstkey == 0) return;
1007 last = cmd->vm_lastkey;
1008 if (last < 0) last = argc+last;
1009 for (j = cmd->vm_firstkey; j <= last; j += cmd->vm_keystep) {
1010 redisAssert(j < argc);
1011 waitForSwappedKey(c,argv[j]);
1012 }
1013}
1014
1015/* Preload keys needed for the ZUNIONSTORE and ZINTERSTORE commands.
1016 * Note that the number of keys to preload is user-defined, so we need to
1017 * apply a sanity check against argc. */
1018void zunionInterBlockClientOnSwappedKeys(redisClient *c, struct redisCommand *cmd, int argc, robj **argv) {
1019 int i, num;
1020 REDIS_NOTUSED(cmd);
1021
1022 num = atoi(argv[2]->ptr);
1023 if (num > (argc-3)) return;
1024 for (i = 0; i < num; i++) {
1025 waitForSwappedKey(c,argv[3+i]);
1026 }
1027}
1028
1029/* Preload keys needed to execute the entire MULTI/EXEC block.
1030 *
1031 * This function is called by blockClientOnSwappedKeys when EXEC is issued,
1032 * and will block the client when any command requires a swapped out value. */
1033void execBlockClientOnSwappedKeys(redisClient *c, struct redisCommand *cmd, int argc, robj **argv) {
1034 int i, margc;
1035 struct redisCommand *mcmd;
1036 robj **margv;
1037 REDIS_NOTUSED(cmd);
1038 REDIS_NOTUSED(argc);
1039 REDIS_NOTUSED(argv);
1040
1041 if (!(c->flags & REDIS_MULTI)) return;
1042 for (i = 0; i < c->mstate.count; i++) {
1043 mcmd = c->mstate.commands[i].cmd;
1044 margc = c->mstate.commands[i].argc;
1045 margv = c->mstate.commands[i].argv;
1046
1047 if (mcmd->vm_preload_proc != NULL) {
1048 mcmd->vm_preload_proc(c,mcmd,margc,margv);
1049 } else {
1050 waitForMultipleSwappedKeys(c,mcmd,margc,margv);
1051 }
1052 }
1053}
1054
1055/* Is this client attempting to run a command against swapped keys?
1056 * If so, block it ASAP, load the keys in background, then resume it.
1057 *
1058 * The important idea about this function is that it can fail! If keys will
1059 * still be swapped when the client is resumed, this key lookups will
1060 * just block loading keys from disk. In practical terms this should only
1061 * happen with SORT BY command or if there is a bug in this function.
1062 *
1063 * Return 1 if the client is marked as blocked, 0 if the client can
1064 * continue as the keys it is going to access appear to be in memory. */
1065int blockClientOnSwappedKeys(redisClient *c, struct redisCommand *cmd) {
1066 if (cmd->vm_preload_proc != NULL) {
1067 cmd->vm_preload_proc(c,cmd,c->argc,c->argv);
1068 } else {
1069 waitForMultipleSwappedKeys(c,cmd,c->argc,c->argv);
1070 }
1071
1072 /* If the client was blocked for at least one key, mark it as blocked. */
1073 if (listLength(c->io_keys)) {
1074 c->flags |= REDIS_IO_WAIT;
1075 aeDeleteFileEvent(server.el,c->fd,AE_READABLE);
1076 server.vm_blocked_clients++;
1077 return 1;
1078 } else {
1079 return 0;
1080 }
1081}
1082
1083/* Remove the 'key' from the list of blocked keys for a given client.
1084 *
1085 * The function returns 1 when there are no longer blocking keys after
1086 * the current one was removed (and the client can be unblocked). */
1087int dontWaitForSwappedKey(redisClient *c, robj *key) {
1088 list *l;
1089 listNode *ln;
1090 listIter li;
1091 struct dictEntry *de;
1092
c8a10631
PN
1093 /* The key object might be destroyed when deleted from the c->io_keys
1094 * list (and the "key" argument is physically the same object as the
1095 * object inside the list), so we need to protect it. */
1096 incrRefCount(key);
1097
e2641e09 1098 /* Remove the key from the list of keys this client is waiting for. */
1099 listRewind(c->io_keys,&li);
1100 while ((ln = listNext(&li)) != NULL) {
1101 if (equalStringObjects(ln->value,key)) {
1102 listDelNode(c->io_keys,ln);
1103 break;
1104 }
1105 }
1106 redisAssert(ln != NULL);
1107
1108 /* Remove the client form the key => waiting clients map. */
1109 de = dictFind(c->db->io_keys,key);
1110 redisAssert(de != NULL);
1111 l = dictGetEntryVal(de);
1112 ln = listSearchKey(l,c);
1113 redisAssert(ln != NULL);
1114 listDelNode(l,ln);
1115 if (listLength(l) == 0)
1116 dictDelete(c->db->io_keys,key);
1117
c8a10631 1118 decrRefCount(key);
e2641e09 1119 return listLength(c->io_keys) == 0;
1120}
1121
1122/* Every time we now a key was loaded back in memory, we handle clients
1123 * waiting for this key if any. */
1124void handleClientsBlockedOnSwappedKey(redisDb *db, robj *key) {
1125 struct dictEntry *de;
1126 list *l;
1127 listNode *ln;
1128 int len;
1129
1130 de = dictFind(db->io_keys,key);
1131 if (!de) return;
1132
1133 l = dictGetEntryVal(de);
1134 len = listLength(l);
1135 /* Note: we can't use something like while(listLength(l)) as the list
1136 * can be freed by the calling function when we remove the last element. */
1137 while (len--) {
1138 ln = listFirst(l);
1139 redisClient *c = ln->value;
1140
1141 if (dontWaitForSwappedKey(c,key)) {
1142 /* Put the client in the list of clients ready to go as we
1143 * loaded all the keys about it. */
1144 listAddNodeTail(server.io_ready_clients,c);
1145 }
1146 }
1147}