]>
git.saurik.com Git - redis.git/blob - src/diskstore.c
1 /* diskstore.c implements a very simple disk backed key-value store used
2 * by Redis for the "disk" backend. This implementation uses the filesystem
3 * to store key/value pairs. Every file represents a given key.
5 * The key path is calculated using the SHA1 of the key name. For instance
6 * the key "foo" is stored as a file name called:
8 * /0b/ee/0beec7b5ea3f0fdbc95d0dd47f3c5bc275da8a33
10 * The couples of characters from the hex output of SHA1 are also used
11 * to locate two two levels of directories to store the file (as most
12 * filesystems are not able to handle too many files in a single dir).
14 * In the end there are 65536 final directories (256 directories inside
15 * every 256 top level directories), so that with 1 billion of files every
16 * directory will contain in the average 15258 entires, that is ok with
17 * most filesystems implementation.
19 * Note that since Redis supports multiple databases, the actual key name
22 * /0b/ee/<dbid>_0beec7b5ea3f0fdbc95d0dd47f3c5bc275da8a33
24 * so for instance if the key is inside DB 0:
26 * /0b/ee/0_0beec7b5ea3f0fdbc95d0dd47f3c5bc275da8a33
28 * The actaul implementation of this disk store is highly dependant to the
29 * filesystem implementation itself. This implementation may be replaced by
30 * a B+TREE implementation in future implementations.
32 * Data ok every key is serialized using the same format used for .rdb
33 * serialization. Everything is serialized on every entry: key name,
34 * ttl information in case of keys with an associated expire time, and the
35 * serialized value itself.
37 * Because the format is the same of the .rdb files it is trivial to create
38 * an .rdb file starting from this format just by mean of scanning the
39 * directories and concatenating entries, with the sole addition of an
40 * .rdb header at the start and the end-of-db opcode at the end.
42 * -------------------------------------------------------------------------
44 * Copyright (c) 2010-2011, Salvatore Sanfilippo <antirez at gmail dot com>
45 * All rights reserved.
47 * Redistribution and use in source and binary forms, with or without
48 * modification, are permitted provided that the following conditions are met:
50 * * Redistributions of source code must retain the above copyright notice,
51 * this list of conditions and the following disclaimer.
52 * * Redistributions in binary form must reproduce the above copyright
53 * notice, this list of conditions and the following disclaimer in the
54 * documentation and/or other materials provided with the distribution.
55 * * Neither the name of Redis nor the names of its contributors may be used
56 * to endorse or promote products derived from this software without
57 * specific prior written permission.
59 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
60 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
61 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
62 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
63 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
64 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
65 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
66 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
67 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
68 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
69 * POSSIBILITY OF SUCH DAMAGE.
78 int create256dir(char *prefix
) {
82 for (j
= 0; j
< 256; j
++) {
83 snprintf(buf
,sizeof(buf
),"%s%02x",prefix
,j
);
84 if (mkdir(buf
,0755) == -1) {
85 redisLog(REDIS_WARNING
,"Error creating dir %s for diskstore: %s",
96 char *path
= server
.ds_path
;
99 if ((retval
= stat(path
,&sb
) == -1) && errno
!= ENOENT
) {
100 redisLog(REDIS_WARNING
, "Error opening disk store at %s: %s",
101 path
, strerror(errno
));
105 /* Directory already in place. Assume everything is ok. */
106 if (retval
== 0 && S_ISDIR(sb
.st_mode
)) {
107 redisLog(REDIS_NOTICE
,"Disk store %s exists", path
);
111 /* File exists but it's not a directory */
112 if (retval
== 0 && !S_ISDIR(sb
.st_mode
)) {
113 redisLog(REDIS_WARNING
,"Disk store at %s is not a directory", path
);
117 /* New disk store, create the directory structure now, as creating
118 * them in a lazy way is not a good idea, after very few insertions
119 * we'll need most of the 65536 directories anyway. */
120 redisLog(REDIS_NOTICE
,"Disk store %s does not exist: creating", path
);
121 if (mkdir(path
,0755) == -1) {
122 redisLog(REDIS_WARNING
,"Disk store init failed creating dir %s: %s",
123 path
, strerror(errno
));
126 /* Create the top level 256 directories */
127 snprintf(buf
,sizeof(buf
),"%s/",path
);
128 if (create256dir(buf
) == REDIS_ERR
) return REDIS_ERR
;
130 /* For every 256 top level dir, create 256 nested dirs */
131 for (j
= 0; j
< 256; j
++) {
132 snprintf(buf
,sizeof(buf
),"%s/%02x/",path
,j
);
133 if (create256dir(buf
) == REDIS_ERR
) return REDIS_ERR
;
142 /* Convert key into full path for this object. Dirty but hopefully
144 void dsKeyToPath(redisDb
*db
, char *buf
, robj
*key
) {
146 unsigned char hash
[20];
147 char hex
[40], digits
[] = "0123456789abcdef";
151 SHA1Update(&ctx
,key
->ptr
,sdslen(key
->ptr
));
152 SHA1Final(hash
,&ctx
);
154 /* Convert the hash into hex format */
155 for (j
= 0; j
< 20; j
++) {
156 hex
[j
*2] = digits
[(hash
[j
]&0xF0)>>4];
157 hex
[(j
*2)+1] = digits
[hash
[j
]&0x0F];
160 /* Create the object path. Start with server.ds_path that's the root dir */
161 l
= sdslen(server
.ds_path
);
162 memcpy(buf
,server
.ds_path
,l
);
166 /* Then add xx/yy/ that is the two level directories */
175 /* Add the database number followed by _ and finall the SHA1 hex */
176 l
= ll2string(buf
,64,db
->id
);
179 memcpy(buf
+1,hex
,40);
183 int dsSet(redisDb
*db
, robj
*key
, robj
*val
) {
188 dsKeyToPath(db
,buf
,key
);
190 if ((retval
= rdbSaveKeyValuePair(fp
,db
,key
,val
,time(NULL
))) == -1)
193 if (retval
== 0) unlink(buf
); /* Expired key. Unlink failing not critical */
197 robj
*dsGet(redisDb
*db
, robj
*key
, time_t *expire
) {
200 time_t expiretime
= -1; /* -1 means: no expire */
201 robj
*dskey
; /* Key as loaded from disk. */
205 dsKeyToPath(db
,buf
,key
);
207 if (fp
== NULL
&& errno
== ENOENT
) return NULL
; /* No such key */
209 redisLog(REDIS_WARNING
,"Disk store failed opening %s: %s",
210 buf
, strerror(errno
));
214 if ((type
= rdbLoadType(fp
)) == -1) goto readerr
;
215 if (type
== REDIS_EXPIRETIME
) {
216 if ((expiretime
= rdbLoadTime(fp
)) == -1) goto readerr
;
217 /* We read the time so we need to read the object type again */
218 if ((type
= rdbLoadType(fp
)) == -1) goto readerr
;
221 if ((dskey
= rdbLoadStringObject(fp
)) == NULL
) goto readerr
;
223 if ((val
= rdbLoadObject(type
,fp
)) == NULL
) goto readerr
;
226 /* The key we asked, and the key returned, must be the same */
227 redisAssert(equalStringObjects(key
,dskey
));
229 /* Check if the key already expired */
231 if (expiretime
!= -1 && expiretime
< time(NULL
)) {
233 unlink(buf
); /* This failing is non critical here */
237 /* Everything ok... */
238 *expire
= expiretime
;
242 redisPanic("Unrecoverable error reading from disk store");
243 return NULL
; /* unreached */
246 int dsDel(redisDb
*db
, robj
*key
) {
249 dsKeyToPath(db
,buf
,key
);
250 if (unlink(buf
) == -1) {
251 if (errno
== ENOENT
) {
254 redisLog(REDIS_WARNING
,"Disk store can't remove %s: %s",
255 buf
, strerror(errno
));
256 redisPanic("Unrecoverable Disk store errore. Existing.");
257 return REDIS_ERR
; /* unreached */
264 int dsExists(redisDb
*db
, robj
*key
) {
267 int dsFlushDb(int dbid
) {