]> git.saurik.com Git - redis.git/blame_incremental - src/redis.c
don't use object sharing inside I/O threads, as a fix for a well known instability...
[redis.git] / src / redis.c
... / ...
CommitLineData
1/*
2 * Copyright (c) 2009-2010, Salvatore Sanfilippo <antirez at gmail dot com>
3 * All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions are met:
7 *
8 * * Redistributions of source code must retain the above copyright notice,
9 * this list of conditions and the following disclaimer.
10 * * Redistributions in binary form must reproduce the above copyright
11 * notice, this list of conditions and the following disclaimer in the
12 * documentation and/or other materials provided with the distribution.
13 * * Neither the name of Redis nor the names of its contributors may be used
14 * to endorse or promote products derived from this software without
15 * specific prior written permission.
16 *
17 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
18 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
19 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
20 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
21 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
22 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
23 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
24 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
25 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
26 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
27 * POSSIBILITY OF SUCH DAMAGE.
28 */
29
30#include "redis.h"
31
32#ifdef HAVE_BACKTRACE
33#include <execinfo.h>
34#include <ucontext.h>
35#endif /* HAVE_BACKTRACE */
36
37#include <time.h>
38#include <signal.h>
39#include <sys/wait.h>
40#include <errno.h>
41#include <assert.h>
42#include <ctype.h>
43#include <stdarg.h>
44#include <arpa/inet.h>
45#include <sys/stat.h>
46#include <fcntl.h>
47#include <sys/time.h>
48#include <sys/resource.h>
49#include <sys/uio.h>
50#include <limits.h>
51#include <float.h>
52#include <math.h>
53#include <pthread.h>
54
55/* Our shared "common" objects */
56
57struct sharedObjectsStruct shared;
58
59/* Global vars that are actally used as constants. The following double
60 * values are used for double on-disk serialization, and are initialized
61 * at runtime to avoid strange compiler optimizations. */
62
63double R_Zero, R_PosInf, R_NegInf, R_Nan;
64
65/*================================= Globals ================================= */
66
67/* Global vars */
68struct redisServer server; /* server global state */
69struct redisCommand *commandTable;
70struct redisCommand readonlyCommandTable[] = {
71 {"get",getCommand,2,REDIS_CMD_INLINE,NULL,1,1,1},
72 {"set",setCommand,3,REDIS_CMD_BULK|REDIS_CMD_DENYOOM,NULL,0,0,0},
73 {"setnx",setnxCommand,3,REDIS_CMD_BULK|REDIS_CMD_DENYOOM,NULL,0,0,0},
74 {"setex",setexCommand,4,REDIS_CMD_BULK|REDIS_CMD_DENYOOM,NULL,0,0,0},
75 {"append",appendCommand,3,REDIS_CMD_BULK|REDIS_CMD_DENYOOM,NULL,1,1,1},
76 {"substr",substrCommand,4,REDIS_CMD_INLINE,NULL,1,1,1},
77 {"del",delCommand,-2,REDIS_CMD_INLINE,NULL,0,0,0},
78 {"exists",existsCommand,2,REDIS_CMD_INLINE,NULL,1,1,1},
79 {"incr",incrCommand,2,REDIS_CMD_INLINE|REDIS_CMD_DENYOOM,NULL,1,1,1},
80 {"decr",decrCommand,2,REDIS_CMD_INLINE|REDIS_CMD_DENYOOM,NULL,1,1,1},
81 {"mget",mgetCommand,-2,REDIS_CMD_INLINE,NULL,1,-1,1},
82 {"rpush",rpushCommand,3,REDIS_CMD_BULK|REDIS_CMD_DENYOOM,NULL,1,1,1},
83 {"lpush",lpushCommand,3,REDIS_CMD_BULK|REDIS_CMD_DENYOOM,NULL,1,1,1},
84 {"rpushx",rpushxCommand,3,REDIS_CMD_BULK|REDIS_CMD_DENYOOM,NULL,1,1,1},
85 {"lpushx",lpushxCommand,3,REDIS_CMD_BULK|REDIS_CMD_DENYOOM,NULL,1,1,1},
86 {"linsert",linsertCommand,5,REDIS_CMD_BULK|REDIS_CMD_DENYOOM,NULL,1,1,1},
87 {"rpop",rpopCommand,2,REDIS_CMD_INLINE,NULL,1,1,1},
88 {"lpop",lpopCommand,2,REDIS_CMD_INLINE,NULL,1,1,1},
89 {"brpop",brpopCommand,-3,REDIS_CMD_INLINE,NULL,1,1,1},
90 {"blpop",blpopCommand,-3,REDIS_CMD_INLINE,NULL,1,1,1},
91 {"llen",llenCommand,2,REDIS_CMD_INLINE,NULL,1,1,1},
92 {"lindex",lindexCommand,3,REDIS_CMD_INLINE,NULL,1,1,1},
93 {"lset",lsetCommand,4,REDIS_CMD_BULK|REDIS_CMD_DENYOOM,NULL,1,1,1},
94 {"lrange",lrangeCommand,4,REDIS_CMD_INLINE,NULL,1,1,1},
95 {"ltrim",ltrimCommand,4,REDIS_CMD_INLINE,NULL,1,1,1},
96 {"lrem",lremCommand,4,REDIS_CMD_BULK,NULL,1,1,1},
97 {"rpoplpush",rpoplpushcommand,3,REDIS_CMD_INLINE|REDIS_CMD_DENYOOM,NULL,1,2,1},
98 {"sadd",saddCommand,3,REDIS_CMD_BULK|REDIS_CMD_DENYOOM,NULL,1,1,1},
99 {"srem",sremCommand,3,REDIS_CMD_BULK,NULL,1,1,1},
100 {"smove",smoveCommand,4,REDIS_CMD_BULK,NULL,1,2,1},
101 {"sismember",sismemberCommand,3,REDIS_CMD_BULK,NULL,1,1,1},
102 {"scard",scardCommand,2,REDIS_CMD_INLINE,NULL,1,1,1},
103 {"spop",spopCommand,2,REDIS_CMD_INLINE,NULL,1,1,1},
104 {"srandmember",srandmemberCommand,2,REDIS_CMD_INLINE,NULL,1,1,1},
105 {"sinter",sinterCommand,-2,REDIS_CMD_INLINE|REDIS_CMD_DENYOOM,NULL,1,-1,1},
106 {"sinterstore",sinterstoreCommand,-3,REDIS_CMD_INLINE|REDIS_CMD_DENYOOM,NULL,2,-1,1},
107 {"sunion",sunionCommand,-2,REDIS_CMD_INLINE|REDIS_CMD_DENYOOM,NULL,1,-1,1},
108 {"sunionstore",sunionstoreCommand,-3,REDIS_CMD_INLINE|REDIS_CMD_DENYOOM,NULL,2,-1,1},
109 {"sdiff",sdiffCommand,-2,REDIS_CMD_INLINE|REDIS_CMD_DENYOOM,NULL,1,-1,1},
110 {"sdiffstore",sdiffstoreCommand,-3,REDIS_CMD_INLINE|REDIS_CMD_DENYOOM,NULL,2,-1,1},
111 {"smembers",sinterCommand,2,REDIS_CMD_INLINE,NULL,1,1,1},
112 {"zadd",zaddCommand,4,REDIS_CMD_BULK|REDIS_CMD_DENYOOM,NULL,1,1,1},
113 {"zincrby",zincrbyCommand,4,REDIS_CMD_BULK|REDIS_CMD_DENYOOM,NULL,1,1,1},
114 {"zrem",zremCommand,3,REDIS_CMD_BULK,NULL,1,1,1},
115 {"zremrangebyscore",zremrangebyscoreCommand,4,REDIS_CMD_INLINE,NULL,1,1,1},
116 {"zremrangebyrank",zremrangebyrankCommand,4,REDIS_CMD_INLINE,NULL,1,1,1},
117 {"zunionstore",zunionstoreCommand,-4,REDIS_CMD_INLINE|REDIS_CMD_DENYOOM,zunionInterBlockClientOnSwappedKeys,0,0,0},
118 {"zinterstore",zinterstoreCommand,-4,REDIS_CMD_INLINE|REDIS_CMD_DENYOOM,zunionInterBlockClientOnSwappedKeys,0,0,0},
119 {"zrange",zrangeCommand,-4,REDIS_CMD_INLINE,NULL,1,1,1},
120 {"zrangebyscore",zrangebyscoreCommand,-4,REDIS_CMD_INLINE,NULL,1,1,1},
121 {"zcount",zcountCommand,4,REDIS_CMD_INLINE,NULL,1,1,1},
122 {"zrevrange",zrevrangeCommand,-4,REDIS_CMD_INLINE,NULL,1,1,1},
123 {"zcard",zcardCommand,2,REDIS_CMD_INLINE,NULL,1,1,1},
124 {"zscore",zscoreCommand,3,REDIS_CMD_BULK|REDIS_CMD_DENYOOM,NULL,1,1,1},
125 {"zrank",zrankCommand,3,REDIS_CMD_BULK,NULL,1,1,1},
126 {"zrevrank",zrevrankCommand,3,REDIS_CMD_BULK,NULL,1,1,1},
127 {"hset",hsetCommand,4,REDIS_CMD_BULK|REDIS_CMD_DENYOOM,NULL,1,1,1},
128 {"hsetnx",hsetnxCommand,4,REDIS_CMD_BULK|REDIS_CMD_DENYOOM,NULL,1,1,1},
129 {"hget",hgetCommand,3,REDIS_CMD_BULK,NULL,1,1,1},
130 {"hmset",hmsetCommand,-4,REDIS_CMD_BULK|REDIS_CMD_DENYOOM,NULL,1,1,1},
131 {"hmget",hmgetCommand,-3,REDIS_CMD_BULK,NULL,1,1,1},
132 {"hincrby",hincrbyCommand,4,REDIS_CMD_INLINE|REDIS_CMD_DENYOOM,NULL,1,1,1},
133 {"hdel",hdelCommand,3,REDIS_CMD_BULK,NULL,1,1,1},
134 {"hlen",hlenCommand,2,REDIS_CMD_INLINE,NULL,1,1,1},
135 {"hkeys",hkeysCommand,2,REDIS_CMD_INLINE,NULL,1,1,1},
136 {"hvals",hvalsCommand,2,REDIS_CMD_INLINE,NULL,1,1,1},
137 {"hgetall",hgetallCommand,2,REDIS_CMD_INLINE,NULL,1,1,1},
138 {"hexists",hexistsCommand,3,REDIS_CMD_BULK,NULL,1,1,1},
139 {"incrby",incrbyCommand,3,REDIS_CMD_INLINE|REDIS_CMD_DENYOOM,NULL,1,1,1},
140 {"decrby",decrbyCommand,3,REDIS_CMD_INLINE|REDIS_CMD_DENYOOM,NULL,1,1,1},
141 {"getset",getsetCommand,3,REDIS_CMD_BULK|REDIS_CMD_DENYOOM,NULL,1,1,1},
142 {"mset",msetCommand,-3,REDIS_CMD_BULK|REDIS_CMD_DENYOOM,NULL,1,-1,2},
143 {"msetnx",msetnxCommand,-3,REDIS_CMD_BULK|REDIS_CMD_DENYOOM,NULL,1,-1,2},
144 {"randomkey",randomkeyCommand,1,REDIS_CMD_INLINE,NULL,0,0,0},
145 {"select",selectCommand,2,REDIS_CMD_INLINE,NULL,0,0,0},
146 {"move",moveCommand,3,REDIS_CMD_INLINE,NULL,1,1,1},
147 {"rename",renameCommand,3,REDIS_CMD_INLINE,NULL,1,1,1},
148 {"renamenx",renamenxCommand,3,REDIS_CMD_INLINE,NULL,1,1,1},
149 {"expire",expireCommand,3,REDIS_CMD_INLINE,NULL,0,0,0},
150 {"expireat",expireatCommand,3,REDIS_CMD_INLINE,NULL,0,0,0},
151 {"keys",keysCommand,2,REDIS_CMD_INLINE,NULL,0,0,0},
152 {"dbsize",dbsizeCommand,1,REDIS_CMD_INLINE,NULL,0,0,0},
153 {"auth",authCommand,2,REDIS_CMD_INLINE,NULL,0,0,0},
154 {"ping",pingCommand,1,REDIS_CMD_INLINE,NULL,0,0,0},
155 {"echo",echoCommand,2,REDIS_CMD_BULK,NULL,0,0,0},
156 {"save",saveCommand,1,REDIS_CMD_INLINE,NULL,0,0,0},
157 {"bgsave",bgsaveCommand,1,REDIS_CMD_INLINE,NULL,0,0,0},
158 {"bgrewriteaof",bgrewriteaofCommand,1,REDIS_CMD_INLINE,NULL,0,0,0},
159 {"shutdown",shutdownCommand,1,REDIS_CMD_INLINE,NULL,0,0,0},
160 {"lastsave",lastsaveCommand,1,REDIS_CMD_INLINE,NULL,0,0,0},
161 {"type",typeCommand,2,REDIS_CMD_INLINE,NULL,1,1,1},
162 {"multi",multiCommand,1,REDIS_CMD_INLINE,NULL,0,0,0},
163 {"exec",execCommand,1,REDIS_CMD_INLINE|REDIS_CMD_DENYOOM,execBlockClientOnSwappedKeys,0,0,0},
164 {"discard",discardCommand,1,REDIS_CMD_INLINE,NULL,0,0,0},
165 {"sync",syncCommand,1,REDIS_CMD_INLINE,NULL,0,0,0},
166 {"flushdb",flushdbCommand,1,REDIS_CMD_INLINE,NULL,0,0,0},
167 {"flushall",flushallCommand,1,REDIS_CMD_INLINE,NULL,0,0,0},
168 {"sort",sortCommand,-2,REDIS_CMD_INLINE|REDIS_CMD_DENYOOM,NULL,1,1,1},
169 {"info",infoCommand,1,REDIS_CMD_INLINE,NULL,0,0,0},
170 {"monitor",monitorCommand,1,REDIS_CMD_INLINE,NULL,0,0,0},
171 {"ttl",ttlCommand,2,REDIS_CMD_INLINE,NULL,1,1,1},
172 {"slaveof",slaveofCommand,3,REDIS_CMD_INLINE,NULL,0,0,0},
173 {"debug",debugCommand,-2,REDIS_CMD_INLINE,NULL,0,0,0},
174 {"config",configCommand,-2,REDIS_CMD_BULK,NULL,0,0,0},
175 {"subscribe",subscribeCommand,-2,REDIS_CMD_INLINE,NULL,0,0,0},
176 {"unsubscribe",unsubscribeCommand,-1,REDIS_CMD_INLINE,NULL,0,0,0},
177 {"psubscribe",psubscribeCommand,-2,REDIS_CMD_INLINE,NULL,0,0,0},
178 {"punsubscribe",punsubscribeCommand,-1,REDIS_CMD_INLINE,NULL,0,0,0},
179 {"publish",publishCommand,3,REDIS_CMD_BULK|REDIS_CMD_FORCE_REPLICATION,NULL,0,0,0},
180 {"watch",watchCommand,-2,REDIS_CMD_INLINE,NULL,0,0,0},
181 {"unwatch",unwatchCommand,1,REDIS_CMD_INLINE,NULL,0,0,0}
182};
183
184/*============================ Utility functions ============================ */
185
186void redisLog(int level, const char *fmt, ...) {
187 va_list ap;
188 FILE *fp;
189
190 fp = (server.logfile == NULL) ? stdout : fopen(server.logfile,"a");
191 if (!fp) return;
192
193 va_start(ap, fmt);
194 if (level >= server.verbosity) {
195 char *c = ".-*#";
196 char buf[64];
197 time_t now;
198
199 now = time(NULL);
200 strftime(buf,64,"%d %b %H:%M:%S",localtime(&now));
201 fprintf(fp,"[%d] %s %c ",(int)getpid(),buf,c[level]);
202 vfprintf(fp, fmt, ap);
203 fprintf(fp,"\n");
204 fflush(fp);
205 }
206 va_end(ap);
207
208 if (server.logfile) fclose(fp);
209}
210
211/* Redis generally does not try to recover from out of memory conditions
212 * when allocating objects or strings, it is not clear if it will be possible
213 * to report this condition to the client since the networking layer itself
214 * is based on heap allocation for send buffers, so we simply abort.
215 * At least the code will be simpler to read... */
216void oom(const char *msg) {
217 redisLog(REDIS_WARNING, "%s: Out of memory\n",msg);
218 sleep(1);
219 abort();
220}
221
222/*====================== Hash table type implementation ==================== */
223
224/* This is an hash table type that uses the SDS dynamic strings libary as
225 * keys and radis objects as values (objects can hold SDS strings,
226 * lists, sets). */
227
228void dictVanillaFree(void *privdata, void *val)
229{
230 DICT_NOTUSED(privdata);
231 zfree(val);
232}
233
234void dictListDestructor(void *privdata, void *val)
235{
236 DICT_NOTUSED(privdata);
237 listRelease((list*)val);
238}
239
240int dictSdsKeyCompare(void *privdata, const void *key1,
241 const void *key2)
242{
243 int l1,l2;
244 DICT_NOTUSED(privdata);
245
246 l1 = sdslen((sds)key1);
247 l2 = sdslen((sds)key2);
248 if (l1 != l2) return 0;
249 return memcmp(key1, key2, l1) == 0;
250}
251
252void dictRedisObjectDestructor(void *privdata, void *val)
253{
254 DICT_NOTUSED(privdata);
255
256 if (val == NULL) return; /* Values of swapped out keys as set to NULL */
257 decrRefCount(val);
258}
259
260void dictSdsDestructor(void *privdata, void *val)
261{
262 DICT_NOTUSED(privdata);
263
264 sdsfree(val);
265}
266
267int dictObjKeyCompare(void *privdata, const void *key1,
268 const void *key2)
269{
270 const robj *o1 = key1, *o2 = key2;
271 return dictSdsKeyCompare(privdata,o1->ptr,o2->ptr);
272}
273
274unsigned int dictObjHash(const void *key) {
275 const robj *o = key;
276 return dictGenHashFunction(o->ptr, sdslen((sds)o->ptr));
277}
278
279unsigned int dictSdsHash(const void *key) {
280 return dictGenHashFunction((unsigned char*)key, sdslen((char*)key));
281}
282
283int dictEncObjKeyCompare(void *privdata, const void *key1,
284 const void *key2)
285{
286 robj *o1 = (robj*) key1, *o2 = (robj*) key2;
287 int cmp;
288
289 if (o1->encoding == REDIS_ENCODING_INT &&
290 o2->encoding == REDIS_ENCODING_INT)
291 return o1->ptr == o2->ptr;
292
293 o1 = getDecodedObject(o1);
294 o2 = getDecodedObject(o2);
295 cmp = dictSdsKeyCompare(privdata,o1->ptr,o2->ptr);
296 decrRefCount(o1);
297 decrRefCount(o2);
298 return cmp;
299}
300
301unsigned int dictEncObjHash(const void *key) {
302 robj *o = (robj*) key;
303
304 if (o->encoding == REDIS_ENCODING_RAW) {
305 return dictGenHashFunction(o->ptr, sdslen((sds)o->ptr));
306 } else {
307 if (o->encoding == REDIS_ENCODING_INT) {
308 char buf[32];
309 int len;
310
311 len = ll2string(buf,32,(long)o->ptr);
312 return dictGenHashFunction((unsigned char*)buf, len);
313 } else {
314 unsigned int hash;
315
316 o = getDecodedObject(o);
317 hash = dictGenHashFunction(o->ptr, sdslen((sds)o->ptr));
318 decrRefCount(o);
319 return hash;
320 }
321 }
322}
323
324/* Sets type */
325dictType setDictType = {
326 dictEncObjHash, /* hash function */
327 NULL, /* key dup */
328 NULL, /* val dup */
329 dictEncObjKeyCompare, /* key compare */
330 dictRedisObjectDestructor, /* key destructor */
331 NULL /* val destructor */
332};
333
334/* Sorted sets hash (note: a skiplist is used in addition to the hash table) */
335dictType zsetDictType = {
336 dictEncObjHash, /* hash function */
337 NULL, /* key dup */
338 NULL, /* val dup */
339 dictEncObjKeyCompare, /* key compare */
340 dictRedisObjectDestructor, /* key destructor */
341 dictVanillaFree /* val destructor of malloc(sizeof(double)) */
342};
343
344/* Db->dict, keys are sds strings, vals are Redis objects. */
345dictType dbDictType = {
346 dictSdsHash, /* hash function */
347 NULL, /* key dup */
348 NULL, /* val dup */
349 dictSdsKeyCompare, /* key compare */
350 dictSdsDestructor, /* key destructor */
351 dictRedisObjectDestructor /* val destructor */
352};
353
354/* Db->expires */
355dictType keyptrDictType = {
356 dictSdsHash, /* hash function */
357 NULL, /* key dup */
358 NULL, /* val dup */
359 dictSdsKeyCompare, /* key compare */
360 NULL, /* key destructor */
361 NULL /* val destructor */
362};
363
364/* Hash type hash table (note that small hashes are represented with zimpaps) */
365dictType hashDictType = {
366 dictEncObjHash, /* hash function */
367 NULL, /* key dup */
368 NULL, /* val dup */
369 dictEncObjKeyCompare, /* key compare */
370 dictRedisObjectDestructor, /* key destructor */
371 dictRedisObjectDestructor /* val destructor */
372};
373
374/* Keylist hash table type has unencoded redis objects as keys and
375 * lists as values. It's used for blocking operations (BLPOP) and to
376 * map swapped keys to a list of clients waiting for this keys to be loaded. */
377dictType keylistDictType = {
378 dictObjHash, /* hash function */
379 NULL, /* key dup */
380 NULL, /* val dup */
381 dictObjKeyCompare, /* key compare */
382 dictRedisObjectDestructor, /* key destructor */
383 dictListDestructor /* val destructor */
384};
385
386int htNeedsResize(dict *dict) {
387 long long size, used;
388
389 size = dictSlots(dict);
390 used = dictSize(dict);
391 return (size && used && size > DICT_HT_INITIAL_SIZE &&
392 (used*100/size < REDIS_HT_MINFILL));
393}
394
395/* If the percentage of used slots in the HT reaches REDIS_HT_MINFILL
396 * we resize the hash table to save memory */
397void tryResizeHashTables(void) {
398 int j;
399
400 for (j = 0; j < server.dbnum; j++) {
401 if (htNeedsResize(server.db[j].dict))
402 dictResize(server.db[j].dict);
403 if (htNeedsResize(server.db[j].expires))
404 dictResize(server.db[j].expires);
405 }
406}
407
408/* Our hash table implementation performs rehashing incrementally while
409 * we write/read from the hash table. Still if the server is idle, the hash
410 * table will use two tables for a long time. So we try to use 1 millisecond
411 * of CPU time at every serverCron() loop in order to rehash some key. */
412void incrementallyRehash(void) {
413 int j;
414
415 for (j = 0; j < server.dbnum; j++) {
416 if (dictIsRehashing(server.db[j].dict)) {
417 dictRehashMilliseconds(server.db[j].dict,1);
418 break; /* already used our millisecond for this loop... */
419 }
420 }
421}
422
423/* This function is called once a background process of some kind terminates,
424 * as we want to avoid resizing the hash tables when there is a child in order
425 * to play well with copy-on-write (otherwise when a resize happens lots of
426 * memory pages are copied). The goal of this function is to update the ability
427 * for dict.c to resize the hash tables accordingly to the fact we have o not
428 * running childs. */
429void updateDictResizePolicy(void) {
430 if (server.bgsavechildpid == -1 && server.bgrewritechildpid == -1)
431 dictEnableResize();
432 else
433 dictDisableResize();
434}
435
436/* ======================= Cron: called every 100 ms ======================== */
437
438int serverCron(struct aeEventLoop *eventLoop, long long id, void *clientData) {
439 int j, loops = server.cronloops++;
440 REDIS_NOTUSED(eventLoop);
441 REDIS_NOTUSED(id);
442 REDIS_NOTUSED(clientData);
443
444 /* We take a cached value of the unix time in the global state because
445 * with virtual memory and aging there is to store the current time
446 * in objects at every object access, and accuracy is not needed.
447 * To access a global var is faster than calling time(NULL) */
448 server.unixtime = time(NULL);
449 /* We have just 21 bits per object for LRU information.
450 * So we use an (eventually wrapping) LRU clock with minutes resolution.
451 *
452 * When we need to select what object to swap, we compute the minimum
453 * time distance between the current lruclock and the object last access
454 * lruclock info. Even if clocks will wrap on overflow, there is
455 * the interesting property that we are sure that at least
456 * ABS(A-B) minutes passed between current time and timestamp B.
457 *
458 * This is not precise but we don't need at all precision, but just
459 * something statistically reasonable.
460 */
461 server.lruclock = (time(NULL)/60)&((1<<21)-1);
462
463 /* We received a SIGTERM, shutting down here in a safe way, as it is
464 * not ok doing so inside the signal handler. */
465 if (server.shutdown_asap) {
466 if (prepareForShutdown() == REDIS_OK) exit(0);
467 redisLog(REDIS_WARNING,"SIGTERM received but errors trying to shut down the server, check the logs for more information");
468 }
469
470 /* Show some info about non-empty databases */
471 for (j = 0; j < server.dbnum; j++) {
472 long long size, used, vkeys;
473
474 size = dictSlots(server.db[j].dict);
475 used = dictSize(server.db[j].dict);
476 vkeys = dictSize(server.db[j].expires);
477 if (!(loops % 50) && (used || vkeys)) {
478 redisLog(REDIS_VERBOSE,"DB %d: %lld keys (%lld volatile) in %lld slots HT.",j,used,vkeys,size);
479 /* dictPrintStats(server.dict); */
480 }
481 }
482
483 /* We don't want to resize the hash tables while a bacground saving
484 * is in progress: the saving child is created using fork() that is
485 * implemented with a copy-on-write semantic in most modern systems, so
486 * if we resize the HT while there is the saving child at work actually
487 * a lot of memory movements in the parent will cause a lot of pages
488 * copied. */
489 if (server.bgsavechildpid == -1 && server.bgrewritechildpid == -1) {
490 if (!(loops % 10)) tryResizeHashTables();
491 if (server.activerehashing) incrementallyRehash();
492 }
493
494 /* Show information about connected clients */
495 if (!(loops % 50)) {
496 redisLog(REDIS_VERBOSE,"%d clients connected (%d slaves), %zu bytes in use",
497 listLength(server.clients)-listLength(server.slaves),
498 listLength(server.slaves),
499 zmalloc_used_memory());
500 }
501
502 /* Close connections of timedout clients */
503 if ((server.maxidletime && !(loops % 100)) || server.blpop_blocked_clients)
504 closeTimedoutClients();
505
506 /* Check if a background saving or AOF rewrite in progress terminated */
507 if (server.bgsavechildpid != -1 || server.bgrewritechildpid != -1) {
508 int statloc;
509 pid_t pid;
510
511 if ((pid = wait3(&statloc,WNOHANG,NULL)) != 0) {
512 if (pid == server.bgsavechildpid) {
513 backgroundSaveDoneHandler(statloc);
514 } else {
515 backgroundRewriteDoneHandler(statloc);
516 }
517 updateDictResizePolicy();
518 }
519 } else {
520 /* If there is not a background saving in progress check if
521 * we have to save now */
522 time_t now = time(NULL);
523 for (j = 0; j < server.saveparamslen; j++) {
524 struct saveparam *sp = server.saveparams+j;
525
526 if (server.dirty >= sp->changes &&
527 now-server.lastsave > sp->seconds) {
528 redisLog(REDIS_NOTICE,"%d changes in %d seconds. Saving...",
529 sp->changes, sp->seconds);
530 rdbSaveBackground(server.dbfilename);
531 break;
532 }
533 }
534 }
535
536 /* Try to expire a few timed out keys. The algorithm used is adaptive and
537 * will use few CPU cycles if there are few expiring keys, otherwise
538 * it will get more aggressive to avoid that too much memory is used by
539 * keys that can be removed from the keyspace. */
540 for (j = 0; j < server.dbnum; j++) {
541 int expired;
542 redisDb *db = server.db+j;
543
544 /* Continue to expire if at the end of the cycle more than 25%
545 * of the keys were expired. */
546 do {
547 long num = dictSize(db->expires);
548 time_t now = time(NULL);
549
550 expired = 0;
551 if (num > REDIS_EXPIRELOOKUPS_PER_CRON)
552 num = REDIS_EXPIRELOOKUPS_PER_CRON;
553 while (num--) {
554 dictEntry *de;
555 time_t t;
556
557 if ((de = dictGetRandomKey(db->expires)) == NULL) break;
558 t = (time_t) dictGetEntryVal(de);
559 if (now > t) {
560 sds key = dictGetEntryKey(de);
561 robj *keyobj = createStringObject(key,sdslen(key));
562
563 dbDelete(db,keyobj);
564 decrRefCount(keyobj);
565 expired++;
566 server.stat_expiredkeys++;
567 }
568 }
569 } while (expired > REDIS_EXPIRELOOKUPS_PER_CRON/4);
570 }
571
572 /* Swap a few keys on disk if we are over the memory limit and VM
573 * is enbled. Try to free objects from the free list first. */
574 if (vmCanSwapOut()) {
575 while (server.vm_enabled && zmalloc_used_memory() >
576 server.vm_max_memory)
577 {
578 int retval;
579
580 if (tryFreeOneObjectFromFreelist() == REDIS_OK) continue;
581 retval = (server.vm_max_threads == 0) ?
582 vmSwapOneObjectBlocking() :
583 vmSwapOneObjectThreaded();
584 if (retval == REDIS_ERR && !(loops % 300) &&
585 zmalloc_used_memory() >
586 (server.vm_max_memory+server.vm_max_memory/10))
587 {
588 redisLog(REDIS_WARNING,"WARNING: vm-max-memory limit exceeded by more than 10%% but unable to swap more objects out!");
589 }
590 /* Note that when using threade I/O we free just one object,
591 * because anyway when the I/O thread in charge to swap this
592 * object out will finish, the handler of completed jobs
593 * will try to swap more objects if we are still out of memory. */
594 if (retval == REDIS_ERR || server.vm_max_threads > 0) break;
595 }
596 }
597
598 /* Check if we should connect to a MASTER */
599 if (server.replstate == REDIS_REPL_CONNECT && !(loops % 10)) {
600 redisLog(REDIS_NOTICE,"Connecting to MASTER...");
601 if (syncWithMaster() == REDIS_OK) {
602 redisLog(REDIS_NOTICE,"MASTER <-> SLAVE sync succeeded");
603 if (server.appendonly) rewriteAppendOnlyFileBackground();
604 }
605 }
606 return 100;
607}
608
609/* This function gets called every time Redis is entering the
610 * main loop of the event driven library, that is, before to sleep
611 * for ready file descriptors. */
612void beforeSleep(struct aeEventLoop *eventLoop) {
613 REDIS_NOTUSED(eventLoop);
614
615 /* Awake clients that got all the swapped keys they requested */
616 if (server.vm_enabled && listLength(server.io_ready_clients)) {
617 listIter li;
618 listNode *ln;
619
620 listRewind(server.io_ready_clients,&li);
621 while((ln = listNext(&li))) {
622 redisClient *c = ln->value;
623 struct redisCommand *cmd;
624
625 /* Resume the client. */
626 listDelNode(server.io_ready_clients,ln);
627 c->flags &= (~REDIS_IO_WAIT);
628 server.vm_blocked_clients--;
629 aeCreateFileEvent(server.el, c->fd, AE_READABLE,
630 readQueryFromClient, c);
631 cmd = lookupCommand(c->argv[0]->ptr);
632 redisAssert(cmd != NULL);
633 call(c,cmd);
634 resetClient(c);
635 /* There may be more data to process in the input buffer. */
636 if (c->querybuf && sdslen(c->querybuf) > 0)
637 processInputBuffer(c);
638 }
639 }
640 /* Write the AOF buffer on disk */
641 flushAppendOnlyFile();
642}
643
644/* =========================== Server initialization ======================== */
645
646void createSharedObjects(void) {
647 int j;
648
649 shared.crlf = createObject(REDIS_STRING,sdsnew("\r\n"));
650 shared.ok = createObject(REDIS_STRING,sdsnew("+OK\r\n"));
651 shared.err = createObject(REDIS_STRING,sdsnew("-ERR\r\n"));
652 shared.emptybulk = createObject(REDIS_STRING,sdsnew("$0\r\n\r\n"));
653 shared.czero = createObject(REDIS_STRING,sdsnew(":0\r\n"));
654 shared.cone = createObject(REDIS_STRING,sdsnew(":1\r\n"));
655 shared.cnegone = createObject(REDIS_STRING,sdsnew(":-1\r\n"));
656 shared.nullbulk = createObject(REDIS_STRING,sdsnew("$-1\r\n"));
657 shared.nullmultibulk = createObject(REDIS_STRING,sdsnew("*-1\r\n"));
658 shared.emptymultibulk = createObject(REDIS_STRING,sdsnew("*0\r\n"));
659 shared.pong = createObject(REDIS_STRING,sdsnew("+PONG\r\n"));
660 shared.queued = createObject(REDIS_STRING,sdsnew("+QUEUED\r\n"));
661 shared.wrongtypeerr = createObject(REDIS_STRING,sdsnew(
662 "-ERR Operation against a key holding the wrong kind of value\r\n"));
663 shared.nokeyerr = createObject(REDIS_STRING,sdsnew(
664 "-ERR no such key\r\n"));
665 shared.syntaxerr = createObject(REDIS_STRING,sdsnew(
666 "-ERR syntax error\r\n"));
667 shared.sameobjecterr = createObject(REDIS_STRING,sdsnew(
668 "-ERR source and destination objects are the same\r\n"));
669 shared.outofrangeerr = createObject(REDIS_STRING,sdsnew(
670 "-ERR index out of range\r\n"));
671 shared.space = createObject(REDIS_STRING,sdsnew(" "));
672 shared.colon = createObject(REDIS_STRING,sdsnew(":"));
673 shared.plus = createObject(REDIS_STRING,sdsnew("+"));
674 shared.select0 = createStringObject("select 0\r\n",10);
675 shared.select1 = createStringObject("select 1\r\n",10);
676 shared.select2 = createStringObject("select 2\r\n",10);
677 shared.select3 = createStringObject("select 3\r\n",10);
678 shared.select4 = createStringObject("select 4\r\n",10);
679 shared.select5 = createStringObject("select 5\r\n",10);
680 shared.select6 = createStringObject("select 6\r\n",10);
681 shared.select7 = createStringObject("select 7\r\n",10);
682 shared.select8 = createStringObject("select 8\r\n",10);
683 shared.select9 = createStringObject("select 9\r\n",10);
684 shared.messagebulk = createStringObject("$7\r\nmessage\r\n",13);
685 shared.pmessagebulk = createStringObject("$8\r\npmessage\r\n",14);
686 shared.subscribebulk = createStringObject("$9\r\nsubscribe\r\n",15);
687 shared.unsubscribebulk = createStringObject("$11\r\nunsubscribe\r\n",18);
688 shared.psubscribebulk = createStringObject("$10\r\npsubscribe\r\n",17);
689 shared.punsubscribebulk = createStringObject("$12\r\npunsubscribe\r\n",19);
690 shared.mbulk3 = createStringObject("*3\r\n",4);
691 shared.mbulk4 = createStringObject("*4\r\n",4);
692 for (j = 0; j < REDIS_SHARED_INTEGERS; j++) {
693 shared.integers[j] = createObject(REDIS_STRING,(void*)(long)j);
694 shared.integers[j]->encoding = REDIS_ENCODING_INT;
695 }
696}
697
698void initServerConfig() {
699 server.dbnum = REDIS_DEFAULT_DBNUM;
700 server.port = REDIS_SERVERPORT;
701 server.verbosity = REDIS_VERBOSE;
702 server.maxidletime = REDIS_MAXIDLETIME;
703 server.saveparams = NULL;
704 server.logfile = NULL; /* NULL = log on standard output */
705 server.bindaddr = NULL;
706 server.glueoutputbuf = 1;
707 server.daemonize = 0;
708 server.appendonly = 0;
709 server.appendfsync = APPENDFSYNC_EVERYSEC;
710 server.no_appendfsync_on_rewrite = 0;
711 server.lastfsync = time(NULL);
712 server.appendfd = -1;
713 server.appendseldb = -1; /* Make sure the first time will not match */
714 server.pidfile = zstrdup("/var/run/redis.pid");
715 server.dbfilename = zstrdup("dump.rdb");
716 server.appendfilename = zstrdup("appendonly.aof");
717 server.requirepass = NULL;
718 server.rdbcompression = 1;
719 server.activerehashing = 1;
720 server.maxclients = 0;
721 server.blpop_blocked_clients = 0;
722 server.maxmemory = 0;
723 server.vm_enabled = 0;
724 server.vm_swap_file = zstrdup("/tmp/redis-%p.vm");
725 server.vm_page_size = 256; /* 256 bytes per page */
726 server.vm_pages = 1024*1024*100; /* 104 millions of pages */
727 server.vm_max_memory = 1024LL*1024*1024*1; /* 1 GB of RAM */
728 server.vm_max_threads = 4;
729 server.vm_blocked_clients = 0;
730 server.hash_max_zipmap_entries = REDIS_HASH_MAX_ZIPMAP_ENTRIES;
731 server.hash_max_zipmap_value = REDIS_HASH_MAX_ZIPMAP_VALUE;
732 server.list_max_ziplist_entries = REDIS_LIST_MAX_ZIPLIST_ENTRIES;
733 server.list_max_ziplist_value = REDIS_LIST_MAX_ZIPLIST_VALUE;
734 server.shutdown_asap = 0;
735
736 resetServerSaveParams();
737
738 appendServerSaveParams(60*60,1); /* save after 1 hour and 1 change */
739 appendServerSaveParams(300,100); /* save after 5 minutes and 100 changes */
740 appendServerSaveParams(60,10000); /* save after 1 minute and 10000 changes */
741 /* Replication related */
742 server.isslave = 0;
743 server.masterauth = NULL;
744 server.masterhost = NULL;
745 server.masterport = 6379;
746 server.master = NULL;
747 server.replstate = REDIS_REPL_NONE;
748
749 /* Double constants initialization */
750 R_Zero = 0.0;
751 R_PosInf = 1.0/R_Zero;
752 R_NegInf = -1.0/R_Zero;
753 R_Nan = R_Zero/R_Zero;
754}
755
756void initServer() {
757 int j;
758
759 signal(SIGHUP, SIG_IGN);
760 signal(SIGPIPE, SIG_IGN);
761 setupSigSegvAction();
762
763 server.mainthread = pthread_self();
764 server.devnull = fopen("/dev/null","w");
765 if (server.devnull == NULL) {
766 redisLog(REDIS_WARNING, "Can't open /dev/null: %s", server.neterr);
767 exit(1);
768 }
769 server.clients = listCreate();
770 server.slaves = listCreate();
771 server.monitors = listCreate();
772 server.objfreelist = listCreate();
773 createSharedObjects();
774 server.el = aeCreateEventLoop();
775 server.db = zmalloc(sizeof(redisDb)*server.dbnum);
776 server.fd = anetTcpServer(server.neterr, server.port, server.bindaddr);
777 if (server.fd == -1) {
778 redisLog(REDIS_WARNING, "Opening TCP port: %s", server.neterr);
779 exit(1);
780 }
781 for (j = 0; j < server.dbnum; j++) {
782 server.db[j].dict = dictCreate(&dbDictType,NULL);
783 server.db[j].expires = dictCreate(&keyptrDictType,NULL);
784 server.db[j].blocking_keys = dictCreate(&keylistDictType,NULL);
785 server.db[j].watched_keys = dictCreate(&keylistDictType,NULL);
786 if (server.vm_enabled)
787 server.db[j].io_keys = dictCreate(&keylistDictType,NULL);
788 server.db[j].id = j;
789 }
790 server.pubsub_channels = dictCreate(&keylistDictType,NULL);
791 server.pubsub_patterns = listCreate();
792 listSetFreeMethod(server.pubsub_patterns,freePubsubPattern);
793 listSetMatchMethod(server.pubsub_patterns,listMatchPubsubPattern);
794 server.cronloops = 0;
795 server.bgsavechildpid = -1;
796 server.bgrewritechildpid = -1;
797 server.bgrewritebuf = sdsempty();
798 server.aofbuf = sdsempty();
799 server.lastsave = time(NULL);
800 server.dirty = 0;
801 server.stat_numcommands = 0;
802 server.stat_numconnections = 0;
803 server.stat_expiredkeys = 0;
804 server.stat_starttime = time(NULL);
805 server.unixtime = time(NULL);
806 aeCreateTimeEvent(server.el, 1, serverCron, NULL, NULL);
807 if (aeCreateFileEvent(server.el, server.fd, AE_READABLE,
808 acceptHandler, NULL) == AE_ERR) oom("creating file event");
809
810 if (server.appendonly) {
811 server.appendfd = open(server.appendfilename,O_WRONLY|O_APPEND|O_CREAT,0644);
812 if (server.appendfd == -1) {
813 redisLog(REDIS_WARNING, "Can't open the append-only file: %s",
814 strerror(errno));
815 exit(1);
816 }
817 }
818
819 if (server.vm_enabled) vmInit();
820}
821
822int qsortRedisCommands(const void *r1, const void *r2) {
823 return strcasecmp(
824 ((struct redisCommand*)r1)->name,
825 ((struct redisCommand*)r2)->name);
826}
827
828void sortCommandTable() {
829 /* Copy and sort the read-only version of the command table */
830 commandTable = (struct redisCommand*)malloc(sizeof(readonlyCommandTable));
831 memcpy(commandTable,readonlyCommandTable,sizeof(readonlyCommandTable));
832 qsort(commandTable,
833 sizeof(readonlyCommandTable)/sizeof(struct redisCommand),
834 sizeof(struct redisCommand),qsortRedisCommands);
835}
836
837/* ====================== Commands lookup and execution ===================== */
838
839struct redisCommand *lookupCommand(char *name) {
840 struct redisCommand tmp = {name,NULL,0,0,NULL,0,0,0};
841 return bsearch(
842 &tmp,
843 commandTable,
844 sizeof(readonlyCommandTable)/sizeof(struct redisCommand),
845 sizeof(struct redisCommand),
846 qsortRedisCommands);
847}
848
849/* Call() is the core of Redis execution of a command */
850void call(redisClient *c, struct redisCommand *cmd) {
851 long long dirty;
852
853 dirty = server.dirty;
854 cmd->proc(c);
855 dirty = server.dirty-dirty;
856
857 if (server.appendonly && dirty)
858 feedAppendOnlyFile(cmd,c->db->id,c->argv,c->argc);
859 if ((dirty || cmd->flags & REDIS_CMD_FORCE_REPLICATION) &&
860 listLength(server.slaves))
861 replicationFeedSlaves(server.slaves,c->db->id,c->argv,c->argc);
862 if (listLength(server.monitors))
863 replicationFeedMonitors(server.monitors,c->db->id,c->argv,c->argc);
864 server.stat_numcommands++;
865}
866
867/* If this function gets called we already read a whole
868 * command, argments are in the client argv/argc fields.
869 * processCommand() execute the command or prepare the
870 * server for a bulk read from the client.
871 *
872 * If 1 is returned the client is still alive and valid and
873 * and other operations can be performed by the caller. Otherwise
874 * if 0 is returned the client was destroied (i.e. after QUIT). */
875int processCommand(redisClient *c) {
876 struct redisCommand *cmd;
877
878 /* Free some memory if needed (maxmemory setting) */
879 if (server.maxmemory) freeMemoryIfNeeded();
880
881 /* Handle the multi bulk command type. This is an alternative protocol
882 * supported by Redis in order to receive commands that are composed of
883 * multiple binary-safe "bulk" arguments. The latency of processing is
884 * a bit higher but this allows things like multi-sets, so if this
885 * protocol is used only for MSET and similar commands this is a big win. */
886 if (c->multibulk == 0 && c->argc == 1 && ((char*)(c->argv[0]->ptr))[0] == '*') {
887 c->multibulk = atoi(((char*)c->argv[0]->ptr)+1);
888 if (c->multibulk <= 0) {
889 resetClient(c);
890 return 1;
891 } else {
892 decrRefCount(c->argv[c->argc-1]);
893 c->argc--;
894 return 1;
895 }
896 } else if (c->multibulk) {
897 if (c->bulklen == -1) {
898 if (((char*)c->argv[0]->ptr)[0] != '$') {
899 addReplySds(c,sdsnew("-ERR multi bulk protocol error\r\n"));
900 resetClient(c);
901 return 1;
902 } else {
903 int bulklen = atoi(((char*)c->argv[0]->ptr)+1);
904 decrRefCount(c->argv[0]);
905 if (bulklen < 0 || bulklen > 1024*1024*1024) {
906 c->argc--;
907 addReplySds(c,sdsnew("-ERR invalid bulk write count\r\n"));
908 resetClient(c);
909 return 1;
910 }
911 c->argc--;
912 c->bulklen = bulklen+2; /* add two bytes for CR+LF */
913 return 1;
914 }
915 } else {
916 c->mbargv = zrealloc(c->mbargv,(sizeof(robj*))*(c->mbargc+1));
917 c->mbargv[c->mbargc] = c->argv[0];
918 c->mbargc++;
919 c->argc--;
920 c->multibulk--;
921 if (c->multibulk == 0) {
922 robj **auxargv;
923 int auxargc;
924
925 /* Here we need to swap the multi-bulk argc/argv with the
926 * normal argc/argv of the client structure. */
927 auxargv = c->argv;
928 c->argv = c->mbargv;
929 c->mbargv = auxargv;
930
931 auxargc = c->argc;
932 c->argc = c->mbargc;
933 c->mbargc = auxargc;
934
935 /* We need to set bulklen to something different than -1
936 * in order for the code below to process the command without
937 * to try to read the last argument of a bulk command as
938 * a special argument. */
939 c->bulklen = 0;
940 /* continue below and process the command */
941 } else {
942 c->bulklen = -1;
943 return 1;
944 }
945 }
946 }
947 /* -- end of multi bulk commands processing -- */
948
949 /* The QUIT command is handled as a special case. Normal command
950 * procs are unable to close the client connection safely */
951 if (!strcasecmp(c->argv[0]->ptr,"quit")) {
952 freeClient(c);
953 return 0;
954 }
955
956 /* Now lookup the command and check ASAP about trivial error conditions
957 * such wrong arity, bad command name and so forth. */
958 cmd = lookupCommand(c->argv[0]->ptr);
959 if (!cmd) {
960 addReplySds(c,
961 sdscatprintf(sdsempty(), "-ERR unknown command '%s'\r\n",
962 (char*)c->argv[0]->ptr));
963 resetClient(c);
964 return 1;
965 } else if ((cmd->arity > 0 && cmd->arity != c->argc) ||
966 (c->argc < -cmd->arity)) {
967 addReplySds(c,
968 sdscatprintf(sdsempty(),
969 "-ERR wrong number of arguments for '%s' command\r\n",
970 cmd->name));
971 resetClient(c);
972 return 1;
973 } else if (cmd->flags & REDIS_CMD_BULK && c->bulklen == -1) {
974 /* This is a bulk command, we have to read the last argument yet. */
975 int bulklen = atoi(c->argv[c->argc-1]->ptr);
976
977 decrRefCount(c->argv[c->argc-1]);
978 if (bulklen < 0 || bulklen > 1024*1024*1024) {
979 c->argc--;
980 addReplySds(c,sdsnew("-ERR invalid bulk write count\r\n"));
981 resetClient(c);
982 return 1;
983 }
984 c->argc--;
985 c->bulklen = bulklen+2; /* add two bytes for CR+LF */
986 /* It is possible that the bulk read is already in the
987 * buffer. Check this condition and handle it accordingly.
988 * This is just a fast path, alternative to call processInputBuffer().
989 * It's a good idea since the code is small and this condition
990 * happens most of the times. */
991 if ((signed)sdslen(c->querybuf) >= c->bulklen) {
992 c->argv[c->argc] = createStringObject(c->querybuf,c->bulklen-2);
993 c->argc++;
994 c->querybuf = sdsrange(c->querybuf,c->bulklen,-1);
995 } else {
996 /* Otherwise return... there is to read the last argument
997 * from the socket. */
998 return 1;
999 }
1000 }
1001 /* Let's try to encode the bulk object to save space. */
1002 if (cmd->flags & REDIS_CMD_BULK)
1003 c->argv[c->argc-1] = tryObjectEncoding(c->argv[c->argc-1]);
1004
1005 /* Check if the user is authenticated */
1006 if (server.requirepass && !c->authenticated && cmd->proc != authCommand) {
1007 addReplySds(c,sdsnew("-ERR operation not permitted\r\n"));
1008 resetClient(c);
1009 return 1;
1010 }
1011
1012 /* Handle the maxmemory directive */
1013 if (server.maxmemory && (cmd->flags & REDIS_CMD_DENYOOM) &&
1014 zmalloc_used_memory() > server.maxmemory)
1015 {
1016 addReplySds(c,sdsnew("-ERR command not allowed when used memory > 'maxmemory'\r\n"));
1017 resetClient(c);
1018 return 1;
1019 }
1020
1021 /* Only allow SUBSCRIBE and UNSUBSCRIBE in the context of Pub/Sub */
1022 if ((dictSize(c->pubsub_channels) > 0 || listLength(c->pubsub_patterns) > 0)
1023 &&
1024 cmd->proc != subscribeCommand && cmd->proc != unsubscribeCommand &&
1025 cmd->proc != psubscribeCommand && cmd->proc != punsubscribeCommand) {
1026 addReplySds(c,sdsnew("-ERR only (P)SUBSCRIBE / (P)UNSUBSCRIBE / QUIT allowed in this context\r\n"));
1027 resetClient(c);
1028 return 1;
1029 }
1030
1031 /* Exec the command */
1032 if (c->flags & REDIS_MULTI &&
1033 cmd->proc != execCommand && cmd->proc != discardCommand &&
1034 cmd->proc != multiCommand && cmd->proc != watchCommand)
1035 {
1036 queueMultiCommand(c,cmd);
1037 addReply(c,shared.queued);
1038 } else {
1039 if (server.vm_enabled && server.vm_max_threads > 0 &&
1040 blockClientOnSwappedKeys(c,cmd)) return 1;
1041 call(c,cmd);
1042 }
1043
1044 /* Prepare the client for the next command */
1045 resetClient(c);
1046 return 1;
1047}
1048
1049/*================================== Shutdown =============================== */
1050
1051int prepareForShutdown() {
1052 redisLog(REDIS_WARNING,"User requested shutdown, saving DB...");
1053 /* Kill the saving child if there is a background saving in progress.
1054 We want to avoid race conditions, for instance our saving child may
1055 overwrite the synchronous saving did by SHUTDOWN. */
1056 if (server.bgsavechildpid != -1) {
1057 redisLog(REDIS_WARNING,"There is a live saving child. Killing it!");
1058 kill(server.bgsavechildpid,SIGKILL);
1059 rdbRemoveTempFile(server.bgsavechildpid);
1060 }
1061 if (server.appendonly) {
1062 /* Append only file: fsync() the AOF and exit */
1063 aof_fsync(server.appendfd);
1064 if (server.vm_enabled) unlink(server.vm_swap_file);
1065 } else {
1066 /* Snapshotting. Perform a SYNC SAVE and exit */
1067 if (rdbSave(server.dbfilename) == REDIS_OK) {
1068 if (server.daemonize)
1069 unlink(server.pidfile);
1070 redisLog(REDIS_WARNING,"%zu bytes used at exit",zmalloc_used_memory());
1071 } else {
1072 /* Ooops.. error saving! The best we can do is to continue
1073 * operating. Note that if there was a background saving process,
1074 * in the next cron() Redis will be notified that the background
1075 * saving aborted, handling special stuff like slaves pending for
1076 * synchronization... */
1077 redisLog(REDIS_WARNING,"Error trying to save the DB, can't exit");
1078 return REDIS_ERR;
1079 }
1080 }
1081 redisLog(REDIS_WARNING,"Server exit now, bye bye...");
1082 return REDIS_OK;
1083}
1084
1085/*================================== Commands =============================== */
1086
1087void authCommand(redisClient *c) {
1088 if (!server.requirepass || !strcmp(c->argv[1]->ptr, server.requirepass)) {
1089 c->authenticated = 1;
1090 addReply(c,shared.ok);
1091 } else {
1092 c->authenticated = 0;
1093 addReplySds(c,sdscatprintf(sdsempty(),"-ERR invalid password\r\n"));
1094 }
1095}
1096
1097void pingCommand(redisClient *c) {
1098 addReply(c,shared.pong);
1099}
1100
1101void echoCommand(redisClient *c) {
1102 addReplyBulk(c,c->argv[1]);
1103}
1104
1105/* Convert an amount of bytes into a human readable string in the form
1106 * of 100B, 2G, 100M, 4K, and so forth. */
1107void bytesToHuman(char *s, unsigned long long n) {
1108 double d;
1109
1110 if (n < 1024) {
1111 /* Bytes */
1112 sprintf(s,"%lluB",n);
1113 return;
1114 } else if (n < (1024*1024)) {
1115 d = (double)n/(1024);
1116 sprintf(s,"%.2fK",d);
1117 } else if (n < (1024LL*1024*1024)) {
1118 d = (double)n/(1024*1024);
1119 sprintf(s,"%.2fM",d);
1120 } else if (n < (1024LL*1024*1024*1024)) {
1121 d = (double)n/(1024LL*1024*1024);
1122 sprintf(s,"%.2fG",d);
1123 }
1124}
1125
1126/* Create the string returned by the INFO command. This is decoupled
1127 * by the INFO command itself as we need to report the same information
1128 * on memory corruption problems. */
1129sds genRedisInfoString(void) {
1130 sds info;
1131 time_t uptime = time(NULL)-server.stat_starttime;
1132 int j;
1133 char hmem[64];
1134
1135 bytesToHuman(hmem,zmalloc_used_memory());
1136 info = sdscatprintf(sdsempty(),
1137 "redis_version:%s\r\n"
1138 "redis_git_sha1:%s\r\n"
1139 "redis_git_dirty:%d\r\n"
1140 "arch_bits:%s\r\n"
1141 "multiplexing_api:%s\r\n"
1142 "process_id:%ld\r\n"
1143 "uptime_in_seconds:%ld\r\n"
1144 "uptime_in_days:%ld\r\n"
1145 "connected_clients:%d\r\n"
1146 "connected_slaves:%d\r\n"
1147 "blocked_clients:%d\r\n"
1148 "used_memory:%zu\r\n"
1149 "used_memory_human:%s\r\n"
1150 "changes_since_last_save:%lld\r\n"
1151 "bgsave_in_progress:%d\r\n"
1152 "last_save_time:%ld\r\n"
1153 "bgrewriteaof_in_progress:%d\r\n"
1154 "total_connections_received:%lld\r\n"
1155 "total_commands_processed:%lld\r\n"
1156 "expired_keys:%lld\r\n"
1157 "hash_max_zipmap_entries:%zu\r\n"
1158 "hash_max_zipmap_value:%zu\r\n"
1159 "pubsub_channels:%ld\r\n"
1160 "pubsub_patterns:%u\r\n"
1161 "vm_enabled:%d\r\n"
1162 "role:%s\r\n"
1163 ,REDIS_VERSION,
1164 redisGitSHA1(),
1165 strtol(redisGitDirty(),NULL,10) > 0,
1166 (sizeof(long) == 8) ? "64" : "32",
1167 aeGetApiName(),
1168 (long) getpid(),
1169 uptime,
1170 uptime/(3600*24),
1171 listLength(server.clients)-listLength(server.slaves),
1172 listLength(server.slaves),
1173 server.blpop_blocked_clients,
1174 zmalloc_used_memory(),
1175 hmem,
1176 server.dirty,
1177 server.bgsavechildpid != -1,
1178 server.lastsave,
1179 server.bgrewritechildpid != -1,
1180 server.stat_numconnections,
1181 server.stat_numcommands,
1182 server.stat_expiredkeys,
1183 server.hash_max_zipmap_entries,
1184 server.hash_max_zipmap_value,
1185 dictSize(server.pubsub_channels),
1186 listLength(server.pubsub_patterns),
1187 server.vm_enabled != 0,
1188 server.masterhost == NULL ? "master" : "slave"
1189 );
1190 if (server.masterhost) {
1191 info = sdscatprintf(info,
1192 "master_host:%s\r\n"
1193 "master_port:%d\r\n"
1194 "master_link_status:%s\r\n"
1195 "master_last_io_seconds_ago:%d\r\n"
1196 ,server.masterhost,
1197 server.masterport,
1198 (server.replstate == REDIS_REPL_CONNECTED) ?
1199 "up" : "down",
1200 server.master ? ((int)(time(NULL)-server.master->lastinteraction)) : -1
1201 );
1202 }
1203 if (server.vm_enabled) {
1204 lockThreadedIO();
1205 info = sdscatprintf(info,
1206 "vm_conf_max_memory:%llu\r\n"
1207 "vm_conf_page_size:%llu\r\n"
1208 "vm_conf_pages:%llu\r\n"
1209 "vm_stats_used_pages:%llu\r\n"
1210 "vm_stats_swapped_objects:%llu\r\n"
1211 "vm_stats_swappin_count:%llu\r\n"
1212 "vm_stats_swappout_count:%llu\r\n"
1213 "vm_stats_io_newjobs_len:%lu\r\n"
1214 "vm_stats_io_processing_len:%lu\r\n"
1215 "vm_stats_io_processed_len:%lu\r\n"
1216 "vm_stats_io_active_threads:%lu\r\n"
1217 "vm_stats_blocked_clients:%lu\r\n"
1218 ,(unsigned long long) server.vm_max_memory,
1219 (unsigned long long) server.vm_page_size,
1220 (unsigned long long) server.vm_pages,
1221 (unsigned long long) server.vm_stats_used_pages,
1222 (unsigned long long) server.vm_stats_swapped_objects,
1223 (unsigned long long) server.vm_stats_swapins,
1224 (unsigned long long) server.vm_stats_swapouts,
1225 (unsigned long) listLength(server.io_newjobs),
1226 (unsigned long) listLength(server.io_processing),
1227 (unsigned long) listLength(server.io_processed),
1228 (unsigned long) server.io_active_threads,
1229 (unsigned long) server.vm_blocked_clients
1230 );
1231 unlockThreadedIO();
1232 }
1233 for (j = 0; j < server.dbnum; j++) {
1234 long long keys, vkeys;
1235
1236 keys = dictSize(server.db[j].dict);
1237 vkeys = dictSize(server.db[j].expires);
1238 if (keys || vkeys) {
1239 info = sdscatprintf(info, "db%d:keys=%lld,expires=%lld\r\n",
1240 j, keys, vkeys);
1241 }
1242 }
1243 return info;
1244}
1245
1246void infoCommand(redisClient *c) {
1247 sds info = genRedisInfoString();
1248 addReplySds(c,sdscatprintf(sdsempty(),"$%lu\r\n",
1249 (unsigned long)sdslen(info)));
1250 addReplySds(c,info);
1251 addReply(c,shared.crlf);
1252}
1253
1254void monitorCommand(redisClient *c) {
1255 /* ignore MONITOR if aleady slave or in monitor mode */
1256 if (c->flags & REDIS_SLAVE) return;
1257
1258 c->flags |= (REDIS_SLAVE|REDIS_MONITOR);
1259 c->slaveseldb = 0;
1260 listAddNodeTail(server.monitors,c);
1261 addReply(c,shared.ok);
1262}
1263
1264/* ============================ Maxmemory directive ======================== */
1265
1266/* Try to free one object form the pre-allocated objects free list.
1267 * This is useful under low mem conditions as by default we take 1 million
1268 * free objects allocated. On success REDIS_OK is returned, otherwise
1269 * REDIS_ERR. */
1270int tryFreeOneObjectFromFreelist(void) {
1271 robj *o;
1272
1273 if (server.vm_enabled) pthread_mutex_lock(&server.obj_freelist_mutex);
1274 if (listLength(server.objfreelist)) {
1275 listNode *head = listFirst(server.objfreelist);
1276 o = listNodeValue(head);
1277 listDelNode(server.objfreelist,head);
1278 if (server.vm_enabled) pthread_mutex_unlock(&server.obj_freelist_mutex);
1279 zfree(o);
1280 return REDIS_OK;
1281 } else {
1282 if (server.vm_enabled) pthread_mutex_unlock(&server.obj_freelist_mutex);
1283 return REDIS_ERR;
1284 }
1285}
1286
1287/* This function gets called when 'maxmemory' is set on the config file to limit
1288 * the max memory used by the server, and we are out of memory.
1289 * This function will try to, in order:
1290 *
1291 * - Free objects from the free list
1292 * - Try to remove keys with an EXPIRE set
1293 *
1294 * It is not possible to free enough memory to reach used-memory < maxmemory
1295 * the server will start refusing commands that will enlarge even more the
1296 * memory usage.
1297 */
1298void freeMemoryIfNeeded(void) {
1299 while (server.maxmemory && zmalloc_used_memory() > server.maxmemory) {
1300 int j, k, freed = 0;
1301
1302 if (tryFreeOneObjectFromFreelist() == REDIS_OK) continue;
1303 for (j = 0; j < server.dbnum; j++) {
1304 int minttl = -1;
1305 robj *minkey = NULL;
1306 struct dictEntry *de;
1307
1308 if (dictSize(server.db[j].expires)) {
1309 freed = 1;
1310 /* From a sample of three keys drop the one nearest to
1311 * the natural expire */
1312 for (k = 0; k < 3; k++) {
1313 time_t t;
1314
1315 de = dictGetRandomKey(server.db[j].expires);
1316 t = (time_t) dictGetEntryVal(de);
1317 if (minttl == -1 || t < minttl) {
1318 minkey = dictGetEntryKey(de);
1319 minttl = t;
1320 }
1321 }
1322 dbDelete(server.db+j,minkey);
1323 }
1324 }
1325 if (!freed) return; /* nothing to free... */
1326 }
1327}
1328
1329/* =================================== Main! ================================ */
1330
1331#ifdef __linux__
1332int linuxOvercommitMemoryValue(void) {
1333 FILE *fp = fopen("/proc/sys/vm/overcommit_memory","r");
1334 char buf[64];
1335
1336 if (!fp) return -1;
1337 if (fgets(buf,64,fp) == NULL) {
1338 fclose(fp);
1339 return -1;
1340 }
1341 fclose(fp);
1342
1343 return atoi(buf);
1344}
1345
1346void linuxOvercommitMemoryWarning(void) {
1347 if (linuxOvercommitMemoryValue() == 0) {
1348 redisLog(REDIS_WARNING,"WARNING overcommit_memory is set to 0! Background save may fail under low memory condition. To fix this issue add 'vm.overcommit_memory = 1' to /etc/sysctl.conf and then reboot or run the command 'sysctl vm.overcommit_memory=1' for this to take effect.");
1349 }
1350}
1351#endif /* __linux__ */
1352
1353void daemonize(void) {
1354 int fd;
1355 FILE *fp;
1356
1357 if (fork() != 0) exit(0); /* parent exits */
1358 setsid(); /* create a new session */
1359
1360 /* Every output goes to /dev/null. If Redis is daemonized but
1361 * the 'logfile' is set to 'stdout' in the configuration file
1362 * it will not log at all. */
1363 if ((fd = open("/dev/null", O_RDWR, 0)) != -1) {
1364 dup2(fd, STDIN_FILENO);
1365 dup2(fd, STDOUT_FILENO);
1366 dup2(fd, STDERR_FILENO);
1367 if (fd > STDERR_FILENO) close(fd);
1368 }
1369 /* Try to write the pid file */
1370 fp = fopen(server.pidfile,"w");
1371 if (fp) {
1372 fprintf(fp,"%d\n",getpid());
1373 fclose(fp);
1374 }
1375}
1376
1377void version() {
1378 printf("Redis server version %s (%s:%d)\n", REDIS_VERSION,
1379 redisGitSHA1(), atoi(redisGitDirty()) > 0);
1380 exit(0);
1381}
1382
1383void usage() {
1384 fprintf(stderr,"Usage: ./redis-server [/path/to/redis.conf]\n");
1385 fprintf(stderr," ./redis-server - (read config from stdin)\n");
1386 exit(1);
1387}
1388
1389int main(int argc, char **argv) {
1390 time_t start;
1391
1392 initServerConfig();
1393 sortCommandTable();
1394 if (argc == 2) {
1395 if (strcmp(argv[1], "-v") == 0 ||
1396 strcmp(argv[1], "--version") == 0) version();
1397 if (strcmp(argv[1], "--help") == 0) usage();
1398 resetServerSaveParams();
1399 loadServerConfig(argv[1]);
1400 } else if ((argc > 2)) {
1401 usage();
1402 } else {
1403 redisLog(REDIS_WARNING,"Warning: no config file specified, using the default config. In order to specify a config file use 'redis-server /path/to/redis.conf'");
1404 }
1405 if (server.daemonize) daemonize();
1406 initServer();
1407 redisLog(REDIS_NOTICE,"Server started, Redis version " REDIS_VERSION);
1408#ifdef __linux__
1409 linuxOvercommitMemoryWarning();
1410#endif
1411 start = time(NULL);
1412 if (server.appendonly) {
1413 if (loadAppendOnlyFile(server.appendfilename) == REDIS_OK)
1414 redisLog(REDIS_NOTICE,"DB loaded from append only file: %ld seconds",time(NULL)-start);
1415 } else {
1416 if (rdbLoad(server.dbfilename) == REDIS_OK)
1417 redisLog(REDIS_NOTICE,"DB loaded from disk: %ld seconds",time(NULL)-start);
1418 }
1419 redisLog(REDIS_NOTICE,"The server is now ready to accept connections on port %d", server.port);
1420 aeSetBeforeSleepProc(server.el,beforeSleep);
1421 aeMain(server.el);
1422 aeDeleteEventLoop(server.el);
1423 return 0;
1424}
1425
1426/* ============================= Backtrace support ========================= */
1427
1428#ifdef HAVE_BACKTRACE
1429void *getMcontextEip(ucontext_t *uc) {
1430#if defined(__FreeBSD__)
1431 return (void*) uc->uc_mcontext.mc_eip;
1432#elif defined(__dietlibc__)
1433 return (void*) uc->uc_mcontext.eip;
1434#elif defined(__APPLE__) && !defined(MAC_OS_X_VERSION_10_6)
1435 #if __x86_64__
1436 return (void*) uc->uc_mcontext->__ss.__rip;
1437 #else
1438 return (void*) uc->uc_mcontext->__ss.__eip;
1439 #endif
1440#elif defined(__APPLE__) && defined(MAC_OS_X_VERSION_10_6)
1441 #if defined(_STRUCT_X86_THREAD_STATE64) && !defined(__i386__)
1442 return (void*) uc->uc_mcontext->__ss.__rip;
1443 #else
1444 return (void*) uc->uc_mcontext->__ss.__eip;
1445 #endif
1446#elif defined(__i386__)
1447 return (void*) uc->uc_mcontext.gregs[14]; /* Linux 32 */
1448#elif defined(__X86_64__) || defined(__x86_64__)
1449 return (void*) uc->uc_mcontext.gregs[16]; /* Linux 64 */
1450#elif defined(__ia64__) /* Linux IA64 */
1451 return (void*) uc->uc_mcontext.sc_ip;
1452#else
1453 return NULL;
1454#endif
1455}
1456
1457void segvHandler(int sig, siginfo_t *info, void *secret) {
1458 void *trace[100];
1459 char **messages = NULL;
1460 int i, trace_size = 0;
1461 ucontext_t *uc = (ucontext_t*) secret;
1462 sds infostring;
1463 REDIS_NOTUSED(info);
1464
1465 redisLog(REDIS_WARNING,
1466 "======= Ooops! Redis %s got signal: -%d- =======", REDIS_VERSION, sig);
1467 infostring = genRedisInfoString();
1468 redisLog(REDIS_WARNING, "%s",infostring);
1469 /* It's not safe to sdsfree() the returned string under memory
1470 * corruption conditions. Let it leak as we are going to abort */
1471
1472 trace_size = backtrace(trace, 100);
1473 /* overwrite sigaction with caller's address */
1474 if (getMcontextEip(uc) != NULL) {
1475 trace[1] = getMcontextEip(uc);
1476 }
1477 messages = backtrace_symbols(trace, trace_size);
1478
1479 for (i=1; i<trace_size; ++i)
1480 redisLog(REDIS_WARNING,"%s", messages[i]);
1481
1482 /* free(messages); Don't call free() with possibly corrupted memory. */
1483 _exit(0);
1484}
1485
1486void sigtermHandler(int sig) {
1487 REDIS_NOTUSED(sig);
1488
1489 redisLog(REDIS_WARNING,"SIGTERM received, scheduling shutting down...");
1490 server.shutdown_asap = 1;
1491}
1492
1493void setupSigSegvAction(void) {
1494 struct sigaction act;
1495
1496 sigemptyset (&act.sa_mask);
1497 /* When the SA_SIGINFO flag is set in sa_flags then sa_sigaction
1498 * is used. Otherwise, sa_handler is used */
1499 act.sa_flags = SA_NODEFER | SA_ONSTACK | SA_RESETHAND | SA_SIGINFO;
1500 act.sa_sigaction = segvHandler;
1501 sigaction (SIGSEGV, &act, NULL);
1502 sigaction (SIGBUS, &act, NULL);
1503 sigaction (SIGFPE, &act, NULL);
1504 sigaction (SIGILL, &act, NULL);
1505 sigaction (SIGBUS, &act, NULL);
1506
1507 act.sa_flags = SA_NODEFER | SA_ONSTACK | SA_RESETHAND;
1508 act.sa_handler = sigtermHandler;
1509 sigaction (SIGTERM, &act, NULL);
1510 return;
1511}
1512
1513#else /* HAVE_BACKTRACE */
1514void setupSigSegvAction(void) {
1515}
1516#endif /* HAVE_BACKTRACE */
1517
1518/* The End */