public void createPartition(string partition_id) { String master_id = PartitionMapping.getPartitionMaster(partition_id); bool is_master = master_id.Equals(server_id); Partition p = new Partition(partition_id, is_master); partitions.Add(p); }
private void write(string partition_id, string object_id, string value) { WriteReply reply; if (debug_console) { Console.WriteLine("Get Partition Master from Partition Named: " + partition_id); } string partition_master_server_id = PartitionMapping.getPartitionMaster(partition_id); if (debug_console) { Console.WriteLine("Partition Master Server ID: " + partition_master_server_id); } reattachServer(partition_master_server_id); var object_key = new DataStoreKeyDto { PartitionId = partition_id, ObjectId = object_id }; var object_value = new DataStoreValueDto { Val = value }; Console.WriteLine(">>> Write request..."); try { reply = client.Write(new WriteRequest { ObjectKey = object_key, Object = object_value }); Console.WriteLine("Write result: " + reply); } catch { handle_crashed_server(attached_server_id); return; } }
public string getMasterID() { return(PartitionMapping.getPartitionMaster(this.id)); }