Class: Innodb::System

Inherits:
Object
  • Object
show all
Defined in:
lib/innodb/system.rb

Overview

A class representing an entire InnoDB system, having a system tablespace and any number of attached single-table tablespaces.

Constant Summary collapse

SYSTEM_SPACE_ID =

The space ID of the system space, always 0.

0

Instance Attribute Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize(system_space_file) ⇒ System

Returns a new instance of System.



21
22
23
24
25
26
27
28
29
30
31
 
# File 'lib/innodb/system.rb', line 21

def initialize(system_space_file)
  @spaces = {}
  @orphans = []
  @config = {
    :datadir => File.dirname(system_space_file),
  }

  add_space_file(system_space_file)

  @data_dictionary = Innodb::DataDictionary.new(system_space)
end

Instance Attribute Details

#config ⇒ Object (readonly)

A hash of configuration options by configuration key.



7
8
9
 
# File 'lib/innodb/system.rb', line 7

def config
  @config
end

#data_dictionary ⇒ Object (readonly)

The Innodb::DataDictionary for this system.



16
17
18
 
# File 'lib/innodb/system.rb', line 16

def data_dictionary
  @data_dictionary
end

#orphans ⇒ Object (readonly)

Array of space names for which a space file was not found.



13
14
15
 
# File 'lib/innodb/system.rb', line 13

def orphans
  @orphans
end

#spaces ⇒ Object (readonly)

A hash of spaces by space ID.



10
11
12
 
# File 'lib/innodb/system.rb', line 10

def spaces
  @spaces
end

Instance Method Details

#add_space(space) ⇒ Object

Add an already-constructed Innodb::Space object.



39
40
41
42
43
44
45
 
# File 'lib/innodb/system.rb', line 39

def add_space(space)
  unless space.is_a?(Innodb::Space)
    raise "Object was not an Innodb::Space"
  end

  spaces[space.space_id.to_i] = space
end

#add_space_file(space_file) ⇒ Object

Add a space by filename.



48
49
50
51
52
 
# File 'lib/innodb/system.rb', line 48

def add_space_file(space_file)
  space = Innodb::Space.new(space_file)
  space.innodb_system = self
  add_space(space)
end

#add_space_orphan(space_file) ⇒ Object

Add an orphaned space.



55
56
57
 
# File 'lib/innodb/system.rb', line 55

def add_space_orphan(space_file)
  orphans << space_file
end

#add_table(table_name) ⇒ Object

Add a space by table name, constructing an appropriate filename from the provided table name.



61
62
63
64
65
66
67
68
 
# File 'lib/innodb/system.rb', line 61

def add_table(table_name)
  space_file = "%s/%s.ibd" % [config[:datadir], table_name]
  if File.exist?(space_file)
    add_space_file(space_file)
  else
    add_space_orphan(table_name)
  end
end

#each_column_name_by_table_name(table_name) ⇒ Object

Iterate through all column names by table name.



124
125
126
127
128
129
130
131
132
133
134
 
# File 'lib/innodb/system.rb', line 124

def each_column_name_by_table_name(table_name)
  unless block_given?
    return enum_for(:each_column_name_by_table_name, table_name)
  end

  data_dictionary.each_column_by_table_name(table_name) do |record|
    yield record["NAME"]
  end

  nil
end

#each_index_field_name_by_index_name(table_name, index_name) ⇒ Object

Iterate through all field names in a given index by table name and index name.



151
152
153
154
155
156
157
158
159
160
161
162
 
# File 'lib/innodb/system.rb', line 151

def each_index_field_name_by_index_name(table_name, index_name)
  unless block_given?
    return enum_for(:each_index_field_name_by_index_name,
                    table_name, index_name)
  end

  data_dictionary.each_field_by_index_name(table_name, index_name) do |record|
    yield record["COL_NAME"]
  end

  nil
end

#each_index_name_by_table_name(table_name) ⇒ Object

Iterate through all index names by table name.



137
138
139
140
141
142
143
144
145
146
147
 
# File 'lib/innodb/system.rb', line 137

def each_index_name_by_table_name(table_name)
  unless block_given?
    return enum_for(:each_index_name_by_table_name, table_name)
  end

  data_dictionary.each_index_by_table_name(table_name) do |record|
    yield record["NAME"]
  end

  nil
end

#each_orphan ⇒ Object

Iterate throught all orphaned spaces.



111
112
113
114
115
116
117
118
119
120
121
 
# File 'lib/innodb/system.rb', line 111

def each_orphan
  unless block_given?
    return enum_for(:each_orphan)
  end

  orphans.each do |space_name|
    yield space_name
  end

  nil
end

#each_table_name ⇒ Object

Iterate through all table names.



98
99
100
101
102
103
104
105
106
107
108
 
# File 'lib/innodb/system.rb', line 98

def each_table_name
  unless block_given?
    return enum_for(:each_table_name)
  end

  data_dictionary.each_table do |record|
    yield record["NAME"]
  end

  nil
end

#history ⇒ Object 



201
202
203
 
# File 'lib/innodb/system.rb', line 201

def history
  Innodb::History.new(self)
end

#index_by_name(table_name, index_name) ⇒ Object

Return an Innodb::Index object given a table name and index name.



191
192
193
194
195
196
197
198
199
 
# File 'lib/innodb/system.rb', line 191

def index_by_name(table_name, index_name)
  index_record = data_dictionary.index_by_name(table_name, index_name)

  index_space = space(index_record["SPACE"])
  describer = data_dictionary.record_describer_by_index_name(table_name, index_name)
  index = index_space.index(index_record["PAGE_NO"], describer)

  index
end

#index_name_by_id(index_id) ⇒ Object

Return the index name given an index ID.



172
173
174
175
176
 
# File 'lib/innodb/system.rb', line 172

def index_name_by_id(index_id)
  if index_record = data_dictionary.index_by_id(index_id)
    index_record["NAME"]
  end
end

#space(space_id) ⇒ Object

Return an Innodb::Space object for a given space ID, looking up and adding the single-table space if necessary.



72
73
74
75
76
77
78
79
80
81
82
 
# File 'lib/innodb/system.rb', line 72

def space(space_id)
  return spaces[space_id] if spaces[space_id]

  unless table_record = data_dictionary.table_by_space_id(space_id)
    raise "Table with space ID #{space_id} not found"
  end

  add_table(table_record["NAME"])

  spaces[space_id]
end

#space_by_table_name(table_name) ⇒ Object

Return an Innodb::Space object by table name.



85
86
87
88
89
90
91
92
93
94
95
 
# File 'lib/innodb/system.rb', line 85

def space_by_table_name(table_name)
  unless table_record = data_dictionary.table_by_name(table_name)
    raise "Table #{table_name} not found"
  end

  if table_record["SPACE"] == 0
    return nil
  end

  space(table_record["SPACE"])
end

#system_space ⇒ Object

A helper to get the system space.



34
35
36
 
# File 'lib/innodb/system.rb', line 34

def system_space
  spaces[SYSTEM_SPACE_ID]
end

#table_and_index_name_by_id(index_id) ⇒ Object

Return an array of the table name and index name given an index ID.



179
180
181
182
183
184
185
186
187
188
 
# File 'lib/innodb/system.rb', line 179

def table_and_index_name_by_id(index_id)
  if dd_index = data_dictionary.data_dictionary_index_ids[index_id]
    # This is a data dictionary index, which won't be found in the data
    # dictionary itself.
    [dd_index[:table], dd_index[:index]]
  elsif index_record = data_dictionary.index_by_id(index_id)
    # This is a system or user index.
    [table_name_by_id(index_record["TABLE_ID"]), index_record["NAME"]]
  end
end

#table_name_by_id(table_id) ⇒ Object

Return the table name given a table ID.



165
166
167
168
169
 
# File 'lib/innodb/system.rb', line 165

def table_name_by_id(table_id)
  if table_record = data_dictionary.table_by_id(table_id)
    table_record["NAME"]
  end
end