bluesky/cloudlog.c

   1 /* Blue Sky: File Systems in the Cloud
   2  *
   3  * Copyright (C) 2009  The Regents of the University of California
   4  * Written by Michael Vrable <mvrable@cs.ucsd.edu>
   5  *
   6  * TODO: Licensing
   7  */
   8
   9 #include <stdio.h>
  10 #include <stdint.h>
  11 #include <glib.h>
  12 #include <string.h>
  13
  14 #include "bluesky-private.h"
  15
  16 // Rough size limit for a log segment.  This is not a firm limit and there are
  17 // no absolute guarantees on the size of a log segment.
  18 #define CLOUDLOG_SEGMENT_SIZE (4 << 20)
  19
  20 BlueSkyCloudID bluesky_cloudlog_new_id()
  21 {
  22     BlueSkyCloudID id;
  23     bluesky_crypt_random_bytes((uint8_t *)&id.bytes, sizeof(id));
  24     return id;
  25 }
  26
  27 gchar *bluesky_cloudlog_id_to_string(BlueSkyCloudID id)
  28 {
  29     char buf[sizeof(BlueSkyCloudID) * 2 + 1];
  30     buf[0] = '\0';
  31
  32     for (int i = 0; i < sizeof(BlueSkyCloudID); i++) {
  33         sprintf(&buf[2*i], "%02x", (uint8_t)(id.bytes[i]));
  34     }
  35
  36     return g_strdup(buf);
  37 }
  38
  39 BlueSkyCloudID bluesky_cloudlog_id_from_string(const gchar *idstr)
  40 {
  41     BlueSkyCloudID id;
  42     memset(&id, 0, sizeof(id));
  43     for (int i = 0; i < 2*sizeof(BlueSkyCloudID); i++) {
  44         char c = idstr[i];
  45         if (c == '\0') {
  46             g_warning("Short cloud id: %s\n", idstr);
  47             break;
  48         }
  49         int val = 0;
  50         if (c >= '0' && c <= '9')
  51             val = c - '0';
  52         else if (c >= 'a' && c <= 'f')
  53             val = c - 'a' + 10;
  54         else
  55             g_warning("Bad character in cloud id: %s\n", idstr);
  56         id.bytes[i / 2] += val << (i % 2 ? 0 : 4);
  57     }
  58     return id;
  59 }
  60
  61 gboolean bluesky_cloudlog_equal(gconstpointer a, gconstpointer b)
  62 {
  63     BlueSkyCloudID *id1 = (BlueSkyCloudID *)a, *id2 = (BlueSkyCloudID *)b;
  64
  65     return memcmp(id1, id2, sizeof(BlueSkyCloudID)) == 0;
  66 }
  67
  68 guint bluesky_cloudlog_hash(gconstpointer a)
  69 {
  70     BlueSkyCloudID *id = (BlueSkyCloudID *)a;
  71
  72     // Assume that bits in the ID are randomly chosen so that any subset of the
  73     // bits can be used as a hash key.
  74     return *(guint *)(&id->bytes);
  75 }
  76
  77 /* Formatting of cloud log segments.  This handles grouping items together
  78  * before writing a batch to the cloud, handling indirection through items like
  79  * the inode map, etc. */
  80
  81 BlueSkyCloudLog *bluesky_cloudlog_new(BlueSkyFS *fs, const BlueSkyCloudID *id)
  82 {
  83     BlueSkyCloudLog *log = g_new0(BlueSkyCloudLog, 1);
  84
  85     log->lock = g_mutex_new();
  86     log->cond = g_cond_new();
  87     log->fs = fs;
  88     log->type = LOGTYPE_UNKNOWN;
  89     if (id != NULL)
  90         memcpy(&log->id, id, sizeof(BlueSkyCloudID));
  91     else
  92         log->id = bluesky_cloudlog_new_id();
  93     log->links = g_array_new(FALSE, TRUE, sizeof(BlueSkyCloudLog *));
  94     g_atomic_int_set(&log->refcount, 1);
  95
  96     return log;
  97 }
  98
  99 /* Helper function for updating memory usage statistics for a filesystem (the
 100  * cache_log_* variables).  This will increment (type=1) or decrement (type=-1)
 101  * the counter associated with the current state of the cloud log item.  The
 102  * item should be locked or otherwise protected from concurrent access. */
 103 void bluesky_cloudlog_stats_update(BlueSkyCloudLog *log, int type)
 104 {
 105     BlueSkyFS *fs = log->fs;
 106
 107     if (log->location_flags & CLOUDLOG_CLOUD) {
 108         g_atomic_int_add(&fs->cache_log_cloud, type);
 109     } else if (log->location_flags & CLOUDLOG_JOURNAL) {
 110         g_atomic_int_add(&fs->cache_log_journal, type);
 111     } else if (log->pending_write & CLOUDLOG_JOURNAL) {
 112         g_atomic_int_add(&fs->cache_log_journal, type);
 113     } else if (log->data != NULL) {
 114         g_atomic_int_add(&fs->cache_log_dirty, type);
 115     }
 116 }
 117
 118 /* The reference held by the hash table does not count towards the reference
 119  * count.  When a new object is created, it initially has a reference count of
 120  * 1 for the creator, and similarly fetching an item from the hash table will
 121  * also create a reference.  If the reference count drops to zero,
 122  * bluesky_cloudlog_unref attempts to remove the object from the hash
 123  * table--but there is a potential race since another thread might read the
 124  * object from the hash table at the same time.  So an object with a reference
 125  * count of zero may still be resurrected, in which case we need to abort the
 126  * destruction.  Once the object is gone from the hash table, and if the
 127  * reference count is still zero, it can actually be deleted. */
 128 void bluesky_cloudlog_ref(BlueSkyCloudLog *log)
 129 {
 130     if (log == NULL)
 131         return;
 132
 133     g_atomic_int_inc(&log->refcount);
 134 }
 135
 136 void bluesky_cloudlog_unref(BlueSkyCloudLog *log)
 137 {
 138     if (log == NULL)
 139         return;
 140
 141     if (g_atomic_int_dec_and_test(&log->refcount)) {
 142         BlueSkyFS *fs = log->fs;
 143
 144         g_mutex_lock(fs->lock);
 145         if (g_atomic_int_get(&log->refcount) > 0) {
 146             g_mutex_unlock(fs->lock);
 147             return;
 148         }
 149
 150         g_hash_table_remove(fs->locations, &log->id);
 151         g_mutex_unlock(fs->lock);
 152
 153         bluesky_cloudlog_stats_update(log, -1);
 154         log->type = LOGTYPE_INVALID;
 155         g_mutex_free(log->lock);
 156         g_cond_free(log->cond);
 157         for (int i = 0; i < log->links->len; i++) {
 158             BlueSkyCloudLog *c = g_array_index(log->links,
 159                                                BlueSkyCloudLog *, i);
 160             bluesky_cloudlog_unref(c);
 161         }
 162         g_array_unref(log->links);
 163         bluesky_string_unref(log->data);
 164         g_free(log);
 165     }
 166 }
 167
 168 /* Erase the information contained within the in-memory cloud log
 169  * representation.  This does not free up the item itself, but frees the data
 170  * and references to other log items and resets the type back to unknown.  If
 171  * the object was written out to persistent storage, all state about it can be
 172  * recovered by loading the object back in.  The object must be locked before
 173  * calling this function. */
 174 void bluesky_cloudlog_erase(BlueSkyCloudLog *log)
 175 {
 176     g_assert(log->data_lock_count == 0);
 177
 178     log->type = LOGTYPE_UNKNOWN;
 179     log->data_size = 0;
 180     bluesky_string_unref(log->data);
 181     log->data = NULL;
 182     log->data_lock_count = 0;
 183
 184     for (int i = 0; i < log->links->len; i++) {
 185         BlueSkyCloudLog *c = g_array_index(log->links,
 186                                            BlueSkyCloudLog *, i);
 187         bluesky_cloudlog_unref(c);
 188     }
 189     g_array_unref(log->links);
 190     log->links = g_array_new(FALSE, TRUE, sizeof(BlueSkyCloudLog *));
 191 }
 192
 193 /* Start a write of the object to the local log. */
 194 void bluesky_cloudlog_sync(BlueSkyCloudLog *log)
 195 {
 196     bluesky_log_item_submit(log, log->fs->log);
 197 }
 198
 199 /* Add the given entry to the global hash table containing cloud log entries.
 200  * Takes ownership of the caller's reference. */
 201 void bluesky_cloudlog_insert_locked(BlueSkyCloudLog *log)
 202 {
 203     g_hash_table_insert(log->fs->locations, &log->id, log);
 204 }
 205
 206 void bluesky_cloudlog_insert(BlueSkyCloudLog *log)
 207 {
 208     g_mutex_lock(log->fs->lock);
 209     bluesky_cloudlog_insert(log);
 210     g_mutex_unlock(log->fs->lock);
 211 }
 212
 213 /* Look up the cloud log entry for the given ID.  If create is TRUE and the
 214  * item does not exist, create a special pending entry that can later be filled
 215  * in when the real item is loaded.  The returned item has a reference held.
 216  * As a special case, if a null ID is provided then NULL is returned. */
 217 BlueSkyCloudLog *bluesky_cloudlog_get(BlueSkyFS *fs, BlueSkyCloudID id)
 218 {
 219     static BlueSkyCloudID id0 = {{0}};
 220
 221     if (memcmp(&id, &id0, sizeof(BlueSkyCloudID)) == 0)
 222         return NULL;
 223
 224     g_mutex_lock(fs->lock);
 225     BlueSkyCloudLog *item;
 226     item = g_hash_table_lookup(fs->locations, &id);
 227     if (item == NULL) {
 228         item = bluesky_cloudlog_new(fs, &id);
 229         g_hash_table_insert(fs->locations, &id, item);
 230     } else {
 231         bluesky_cloudlog_ref(item);
 232     }
 233     g_mutex_unlock(fs->lock);
 234     return item;
 235 }
 236
 237 /* Ensure that a cloud log item is loaded in memory, and if not read it in.
 238  * TODO: Make asynchronous, and make this also fetch from the cloud.  Right now
 239  * we only read from the log.  Log item must be locked. */
 240 void bluesky_cloudlog_fetch(BlueSkyCloudLog *log)
 241 {
 242     if (log->data != NULL)
 243         return;
 244
 245     /* There are actually two cases: a full deserialization if we have not ever
 246      * read the object before, and a partial deserialization where the metadata
 247      * is already in memory and we just need to remap the data.  If the object
 248      * type has not yet been set, we'll need to read and parse the metadata.
 249      * Once that is done, we can fall through the case of remapping the data
 250      * itself. */
 251     if (log->type == LOGTYPE_UNKNOWN) {
 252         BlueSkyRCStr *raw = NULL;
 253         if ((log->location_flags | log->pending_write) & CLOUDLOG_JOURNAL) {
 254             raw = bluesky_log_map_object(log->fs, -1, log->log_seq,
 255                                          log->log_offset, log->log_size);
 256         }
 257
 258         if (raw == NULL && (log->location_flags & CLOUDLOG_CLOUD)) {
 259             log->location_flags &= ~CLOUDLOG_JOURNAL;
 260             raw = bluesky_log_map_object(log->fs,
 261                                          log->location.directory,
 262                                          log->location.sequence,
 263                                          log->location.offset,
 264                                          log->location.size);
 265         }
 266
 267         g_assert(raw != NULL);
 268         bluesky_deserialize_cloudlog(log, raw->data, raw->len);
 269         bluesky_string_unref(raw);
 270     }
 271
 272     /* At this point all metadata should be available and we need only remap
 273      * the object data. */
 274
 275     int offset;
 276     if ((log->location_flags | log->pending_write) & CLOUDLOG_JOURNAL) {
 277         bluesky_cloudlog_stats_update(log, -1);
 278         offset = log->log_offset + sizeof(struct log_header);
 279         log->data = bluesky_log_map_object(log->fs, -1, log->log_seq,
 280                                            offset, log->data_size);
 281         bluesky_cloudlog_stats_update(log, 1);
 282     }
 283
 284     if (log->data == NULL && (log->location_flags & CLOUDLOG_CLOUD)) {
 285         log->location_flags &= ~CLOUDLOG_JOURNAL;
 286         bluesky_cloudlog_stats_update(log, -1);
 287         offset = log->location.offset + sizeof(struct cloudlog_header);
 288         log->data = bluesky_log_map_object(log->fs, log->location.directory,
 289                                            log->location.sequence,
 290                                            offset, log->data_size);
 291         bluesky_cloudlog_stats_update(log, 1);
 292     }
 293
 294     if (log->data == NULL) {
 295         g_error("Unable to fetch cloudlog entry!");
 296     }
 297
 298     g_cond_broadcast(log->cond);
 299 }
 300
 301 BlueSkyCloudPointer bluesky_cloudlog_serialize(BlueSkyCloudLog *log,
 302                                                BlueSkyFS *fs)
 303 {
 304     BlueSkyCloudLogState *state = fs->log_state;
 305
 306     if ((log->location_flags | log->pending_write) & CLOUDLOG_CLOUD) {
 307         return log->location;
 308     }
 309
 310     for (int i = 0; i < log->links->len; i++) {
 311         BlueSkyCloudLog *ref = g_array_index(log->links,
 312                                              BlueSkyCloudLog *, i);
 313         if (ref != NULL)
 314             bluesky_cloudlog_serialize(ref, fs);
 315     }
 316
 317     g_mutex_lock(log->lock);
 318     bluesky_cloudlog_fetch(log);
 319     g_assert(log->data != NULL);
 320
 321     bluesky_cloudlog_stats_update(log, -1);
 322
 323     GString *data1 = g_string_new("");
 324     GString *data2 = g_string_new("");
 325     GString *data3 = g_string_new("");
 326     bluesky_serialize_cloudlog(log, data1, data2, data3);
 327
 328     log->location = state->location;
 329     log->location.offset = state->data->len;
 330     log->data_size = data1->len;
 331
 332     struct cloudlog_header header;
 333     memcpy(header.magic, CLOUDLOG_MAGIC, 4);
 334     memset(header.crypt_auth, sizeof(header.crypt_auth), 0);
 335     memset(header.crypt_iv, sizeof(header.crypt_iv), 0);
 336     header.type = log->type + '0';
 337     header.size1 = GUINT32_TO_LE(data1->len);
 338     header.size2 = GUINT32_TO_LE(data2->len);
 339     header.size3 = GUINT32_TO_LE(data3->len);
 340     header.id = log->id;
 341     header.inum = GUINT64_TO_LE(log->inum);
 342
 343     g_string_append_len(state->data, (const char *)&header, sizeof(header));
 344     g_string_append_len(state->data, data1->str, data1->len);
 345     g_string_append_len(state->data, data2->str, data2->len);
 346     g_string_append_len(state->data, data3->str, data3->len);
 347
 348     log->location.size = state->data->len - log->location.offset;
 349
 350     g_string_free(data1, TRUE);
 351     g_string_free(data2, TRUE);
 352     g_string_free(data3, TRUE);
 353
 354     /* If the object we flushed was an inode, update the inode map. */
 355     if (log->type == LOGTYPE_INODE) {
 356         g_mutex_lock(fs->lock);
 357         InodeMapEntry *entry = bluesky_inode_map_lookup(fs->inode_map,
 358                                                         log->inum, 1);
 359         entry->id = log->id;
 360         entry->location = log->location;
 361         entry->item = log;
 362         bluesky_cloudlog_ref(entry->item);
 363         g_mutex_unlock(fs->lock);
 364     }
 365
 366     /* TODO: We should mark the objects as committed on the cloud until the
 367      * data is flushed and acknowledged. */
 368     log->pending_write |= CLOUDLOG_CLOUD;
 369     bluesky_cloudlog_stats_update(log, 1);
 370     state->writeback_list = g_slist_prepend(state->writeback_list, log);
 371     bluesky_cloudlog_ref(log);
 372     g_mutex_unlock(log->lock);
 373
 374     if (state->data->len > CLOUDLOG_SEGMENT_SIZE)
 375         bluesky_cloudlog_flush(fs);
 376
 377     return log->location;
 378 }
 379
 380 static void cloudlog_flush_complete(BlueSkyStoreAsync *async,
 381                                     SerializedRecord *record)
 382 {
 383     g_print("Write of %s to cloud complete, status = %d\n",
 384             async->key, async->result);
 385
 386     g_mutex_lock(record->lock);
 387     if (async->result >= 0) {
 388         while (record->items != NULL) {
 389             BlueSkyCloudLog *item = (BlueSkyCloudLog *)record->items->data;
 390             g_mutex_lock(item->lock);
 391             bluesky_cloudlog_stats_update(item, -1);
 392             item->pending_write &= ~CLOUDLOG_CLOUD;
 393             item->location_flags |= CLOUDLOG_CLOUD;
 394             bluesky_cloudlog_stats_update(item, 1);
 395             g_mutex_unlock(item->lock);
 396             bluesky_cloudlog_unref(item);
 397
 398             record->items = g_slist_delete_link(record->items, record->items);
 399         }
 400
 401         bluesky_string_unref(record->data);
 402         record->data = NULL;
 403         g_slist_free(record->items);
 404         record->items = NULL;
 405         record->complete = TRUE;
 406         g_cond_broadcast(record->cond);
 407     } else {
 408         g_print("Write should be resubmitted...\n");
 409
 410         BlueSkyStoreAsync *async2 = bluesky_store_async_new(async->store);
 411         async2->op = STORE_OP_PUT;
 412         async2->key = g_strdup(async->key);
 413         async2->data = record->data;
 414         bluesky_string_ref(record->data);
 415         bluesky_store_async_submit(async2);
 416         bluesky_store_async_add_notifier(async2,
 417                                          (GFunc)cloudlog_flush_complete,
 418                                          record);
 419         bluesky_store_async_unref(async2);
 420     }
 421     g_mutex_unlock(record->lock);
 422 }
 423
 424 /* Finish up a partially-written cloud log segment and flush it to storage. */
 425 void bluesky_cloudlog_flush(BlueSkyFS *fs)
 426 {
 427     BlueSkyCloudLogState *state = fs->log_state;
 428     if (state->data == NULL || state->data->len == 0)
 429         return;
 430
 431     /* TODO: Append some type of commit record to the log segment? */
 432
 433     g_print("Serializing %zd bytes of data to cloud\n", state->data->len);
 434     SerializedRecord *record = g_new0(SerializedRecord, 1);
 435     record->data = bluesky_string_new_from_gstring(state->data);
 436     record->items = state->writeback_list;
 437     record->lock = g_mutex_new();
 438     record->cond = g_cond_new();
 439     state->writeback_list = NULL;
 440
 441     BlueSkyStoreAsync *async = bluesky_store_async_new(fs->store);
 442     async->op = STORE_OP_PUT;
 443     async->key = g_strdup_printf("log-%08d-%08d",
 444                                  state->location.directory,
 445                                  state->location.sequence);
 446     async->data = record->data;
 447     bluesky_string_ref(record->data);
 448     bluesky_store_async_submit(async);
 449     bluesky_store_async_add_notifier(async,
 450                                      (GFunc)cloudlog_flush_complete,
 451                                      record);
 452     bluesky_store_async_unref(async);
 453
 454     state->pending_segments = g_list_prepend(state->pending_segments, record);
 455
 456     state->location.sequence++;
 457     state->location.offset = 0;
 458     state->data = g_string_new("");
 459 }