-#include <limits.h>
#include "redis.h"
+#include <math.h> /* isnan(), isinf() */
/*-----------------------------------------------------------------------------
* String Commands
return REDIS_OK;
}
-void setGenericCommand(redisClient *c, int nx, robj *key, robj *val, robj *expire) {
- int retval;
- long seconds = 0; /* initialized to avoid an harmness warning */
+void setGenericCommand(redisClient *c, int nx, robj *key, robj *val, robj *expire, int unit) {
+ long long milliseconds = 0; /* initialized to avoid an harmness warning */
if (expire) {
- if (getLongFromObjectOrReply(c, expire, &seconds, NULL) != REDIS_OK)
+ if (getLongLongFromObjectOrReply(c, expire, &milliseconds, NULL) != REDIS_OK)
return;
- if (seconds <= 0) {
+ if (milliseconds <= 0) {
addReplyError(c,"invalid expire time in SETEX");
return;
}
+ if (unit == UNIT_SECONDS) milliseconds *= 1000;
}
- retval = dbAdd(c->db,key,val);
- if (retval == REDIS_ERR) {
- if (!nx) {
- dbReplace(c->db,key,val);
- incrRefCount(val);
- } else {
- addReply(c,shared.czero);
- return;
- }
- } else {
- incrRefCount(val);
+ if (lookupKeyWrite(c->db,key) != NULL && nx) {
+ addReply(c,shared.czero);
+ return;
}
- signalModifiedKey(c->db,key);
+ setKey(c->db,key,val);
server.dirty++;
- removeExpire(c->db,key);
- if (expire) setExpire(c->db,key,time(NULL)+seconds);
+ if (expire) setExpire(c->db,key,mstime()+milliseconds);
addReply(c, nx ? shared.cone : shared.ok);
}
void setCommand(redisClient *c) {
c->argv[2] = tryObjectEncoding(c->argv[2]);
- setGenericCommand(c,0,c->argv[1],c->argv[2],NULL);
+ setGenericCommand(c,0,c->argv[1],c->argv[2],NULL,0);
}
void setnxCommand(redisClient *c) {
c->argv[2] = tryObjectEncoding(c->argv[2]);
- setGenericCommand(c,1,c->argv[1],c->argv[2],NULL);
+ setGenericCommand(c,1,c->argv[1],c->argv[2],NULL,0);
}
void setexCommand(redisClient *c) {
c->argv[3] = tryObjectEncoding(c->argv[3]);
- setGenericCommand(c,0,c->argv[1],c->argv[3],c->argv[2]);
+ setGenericCommand(c,0,c->argv[1],c->argv[3],c->argv[2],UNIT_SECONDS);
+}
+
+void psetexCommand(redisClient *c) {
+ c->argv[3] = tryObjectEncoding(c->argv[3]);
+ setGenericCommand(c,0,c->argv[1],c->argv[3],c->argv[2],UNIT_MILLISECONDS);
}
int getGenericCommand(redisClient *c) {
void getsetCommand(redisClient *c) {
if (getGenericCommand(c) == REDIS_ERR) return;
c->argv[2] = tryObjectEncoding(c->argv[2]);
- dbReplace(c->db,c->argv[1],c->argv[2]);
- incrRefCount(c->argv[2]);
- signalModifiedKey(c->db,c->argv[1]);
- server.dirty++;
- removeExpire(c->db,c->argv[1]);
-}
-
-static int getBitOffsetFromArgument(redisClient *c, robj *o, size_t *offset) {
- long long loffset;
- char *err = "bit offset is not an integer or out of range";
-
- if (getLongLongFromObjectOrReply(c,o,&loffset,err) != REDIS_OK)
- return REDIS_ERR;
-
- /* Limit offset to 512MB in bytes */
- if ((loffset < 0) || ((unsigned long long)loffset >> 3) >= (512*1024*1024))
- {
- addReplyError(c,err);
- return REDIS_ERR;
- }
-
- *offset = (size_t)loffset;
- return REDIS_OK;
-}
-
-void setbitCommand(redisClient *c) {
- robj *o;
- char *err = "bit is not an integer or out of range";
- size_t bitoffset;
- int byte, bit;
- int byteval, bitval;
- long on;
-
- if (getBitOffsetFromArgument(c,c->argv[2],&bitoffset) != REDIS_OK)
- return;
-
- if (getLongFromObjectOrReply(c,c->argv[3],&on,err) != REDIS_OK)
- return;
-
- /* Bits can only be set or cleared... */
- if (on & ~1) {
- addReplyError(c,err);
- return;
- }
-
- o = lookupKeyWrite(c->db,c->argv[1]);
- if (o == NULL) {
- o = createObject(REDIS_STRING,sdsempty());
- dbAdd(c->db,c->argv[1],o);
- } else {
- if (checkType(c,o,REDIS_STRING)) return;
-
- /* Create a copy when the object is shared or encoded. */
- if (o->refcount != 1 || o->encoding != REDIS_ENCODING_RAW) {
- robj *decoded = getDecodedObject(o);
- o = createStringObject(decoded->ptr, sdslen(decoded->ptr));
- decrRefCount(decoded);
- dbReplace(c->db,c->argv[1],o);
- }
- }
-
- /* Grow sds value to the right length if necessary */
- byte = bitoffset >> 3;
- o->ptr = sdsgrowzero(o->ptr,byte+1);
-
- /* Get current values */
- byteval = ((char*)o->ptr)[byte];
- bit = 7 - (bitoffset & 0x7);
- bitval = byteval & (1 << bit);
-
- /* Update byte with new bit value and return original value */
- byteval &= ~(1 << bit);
- byteval |= ((on & 0x1) << bit);
- ((char*)o->ptr)[byte] = byteval;
- signalModifiedKey(c->db,c->argv[1]);
+ setKey(c->db,c->argv[1],c->argv[2]);
server.dirty++;
- addReply(c, bitval ? shared.cone : shared.czero);
-}
-
-void getbitCommand(redisClient *c) {
- robj *o;
- char llbuf[32];
- size_t bitoffset;
- size_t byte, bit;
- size_t bitval = 0;
-
- if (getBitOffsetFromArgument(c,c->argv[2],&bitoffset) != REDIS_OK)
- return;
-
- if ((o = lookupKeyReadOrReply(c,c->argv[1],shared.czero)) == NULL ||
- checkType(c,o,REDIS_STRING)) return;
-
- byte = bitoffset >> 3;
- bit = 7 - (bitoffset & 0x7);
- if (o->encoding != REDIS_ENCODING_RAW) {
- if (byte < (size_t)ll2string(llbuf,sizeof(llbuf),(long)o->ptr))
- bitval = llbuf[byte] & (1 << bit);
- } else {
- if (byte < sdslen(o->ptr))
- bitval = ((char*)o->ptr)[byte] & (1 << bit);
- }
-
- addReply(c, bitval ? shared.cone : shared.czero);
}
void setrangeCommand(redisClient *c) {
robj *decoded = getDecodedObject(o);
o = createStringObject(decoded->ptr, sdslen(decoded->ptr));
decrRefCount(decoded);
- dbReplace(c->db,c->argv[1],o);
+ dbOverwrite(c->db,c->argv[1],o);
}
}
return;
if (getLongFromObjectOrReply(c,c->argv[3],&end,NULL) != REDIS_OK)
return;
- if ((o = lookupKeyReadOrReply(c,c->argv[1],shared.nullbulk)) == NULL ||
+ if ((o = lookupKeyReadOrReply(c,c->argv[1],shared.emptybulk)) == NULL ||
checkType(c,o,REDIS_STRING)) return;
if (o->encoding == REDIS_ENCODING_INT) {
/* Precondition: end >= 0 && end < strlen, so the only condition where
* nothing can be returned is: start > end. */
if (start > end) {
- addReply(c,shared.nullbulk);
+ addReply(c,shared.emptybulk);
} else {
addReplyBulkCBuffer(c,(char*)str+start,end-start+1);
}
busykeys++;
}
}
- }
- if (busykeys) {
- addReply(c, shared.czero);
- return;
+ if (busykeys) {
+ addReply(c, shared.czero);
+ return;
+ }
}
for (j = 1; j < c->argc; j += 2) {
c->argv[j+1] = tryObjectEncoding(c->argv[j+1]);
- dbReplace(c->db,c->argv[j],c->argv[j+1]);
- incrRefCount(c->argv[j+1]);
- removeExpire(c->db,c->argv[j]);
- signalModifiedKey(c->db,c->argv[j]);
+ setKey(c->db,c->argv[j],c->argv[j+1]);
}
server.dirty += (c->argc-1)/2;
addReply(c, nx ? shared.cone : shared.ok);
void incrDecrCommand(redisClient *c, long long incr) {
long long value, oldvalue;
- robj *o;
+ robj *o, *new;
o = lookupKeyWrite(c->db,c->argv[1]);
if (o != NULL && checkType(c,o,REDIS_STRING)) return;
if (getLongLongFromObjectOrReply(c,o,&value,NULL) != REDIS_OK) return;
oldvalue = value;
- value += incr;
- if ((incr < 0 && value > oldvalue) || (incr > 0 && value < oldvalue)) {
+ if ((incr < 0 && oldvalue < 0 && incr < (LLONG_MIN-oldvalue)) ||
+ (incr > 0 && oldvalue > 0 && incr > (LLONG_MAX-oldvalue))) {
addReplyError(c,"increment or decrement would overflow");
return;
}
- o = createStringObjectFromLongLong(value);
- dbReplace(c->db,c->argv[1],o);
+ value += incr;
+ new = createStringObjectFromLongLong(value);
+ if (o)
+ dbOverwrite(c->db,c->argv[1],new);
+ else
+ dbAdd(c->db,c->argv[1],new);
signalModifiedKey(c->db,c->argv[1]);
server.dirty++;
addReply(c,shared.colon);
- addReply(c,o);
+ addReply(c,new);
addReply(c,shared.crlf);
}
incrDecrCommand(c,-incr);
}
+void incrbyfloatCommand(redisClient *c) {
+ long double incr, value;
+ robj *o, *new, *aux;
+
+ o = lookupKeyWrite(c->db,c->argv[1]);
+ if (o != NULL && checkType(c,o,REDIS_STRING)) return;
+ if (getLongDoubleFromObjectOrReply(c,o,&value,NULL) != REDIS_OK ||
+ getLongDoubleFromObjectOrReply(c,c->argv[2],&incr,NULL) != REDIS_OK)
+ return;
+
+ value += incr;
+ if (isnan(value) || isinf(value)) {
+ addReplyError(c,"increment would produce NaN or Infinity");
+ return;
+ }
+ new = createStringObjectFromLongDouble(value);
+ if (o)
+ dbOverwrite(c->db,c->argv[1],new);
+ else
+ dbAdd(c->db,c->argv[1],new);
+ signalModifiedKey(c->db,c->argv[1]);
+ server.dirty++;
+ addReplyBulk(c,new);
+
+ /* Always replicate INCRBYFLOAT as a SET command with the final value
+ * in order to make sure that differences in float pricision or formatting
+ * will not create differences in replicas or after an AOF restart. */
+ aux = createStringObject("SET",3);
+ rewriteClientCommandArgument(c,0,aux);
+ decrRefCount(aux);
+ rewriteClientCommandArgument(c,2,new);
+}
+
void appendCommand(redisClient *c) {
size_t totlen;
robj *o, *append;
robj *decoded = getDecodedObject(o);
o = createStringObject(decoded->ptr, sdslen(decoded->ptr));
decrRefCount(decoded);
- dbReplace(c->db,c->argv[1],o);
+ dbOverwrite(c->db,c->argv[1],o);
}
/* Append the value */
checkType(c,o,REDIS_STRING)) return;
addReplyLongLong(c,stringObjectLen(o));
}
-