Commit | Line | Data |
---|---|---|
bae7f79e ILT |
1 | // readsyms.cc -- read input file symbols for gold |
2 | ||
0f7c0701 | 3 | // Copyright 2006, 2007, 2008, 2009 Free Software Foundation, Inc. |
6cb15b7f ILT |
4 | // Written by Ian Lance Taylor <iant@google.com>. |
5 | ||
6 | // This file is part of gold. | |
7 | ||
8 | // This program is free software; you can redistribute it and/or modify | |
9 | // it under the terms of the GNU General Public License as published by | |
10 | // the Free Software Foundation; either version 3 of the License, or | |
11 | // (at your option) any later version. | |
12 | ||
13 | // This program is distributed in the hope that it will be useful, | |
14 | // but WITHOUT ANY WARRANTY; without even the implied warranty of | |
15 | // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
16 | // GNU General Public License for more details. | |
17 | ||
18 | // You should have received a copy of the GNU General Public License | |
19 | // along with this program; if not, write to the Free Software | |
20 | // Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston, | |
21 | // MA 02110-1301, USA. | |
22 | ||
bae7f79e ILT |
23 | #include "gold.h" |
24 | ||
25 | #include <cstring> | |
26 | ||
27 | #include "elfcpp.h" | |
28 | #include "options.h" | |
29 | #include "dirsearch.h" | |
f6ce93d6 | 30 | #include "symtab.h" |
a2fb1b05 | 31 | #include "object.h" |
61ba1cf9 | 32 | #include "archive.h" |
dbe717ef | 33 | #include "script.h" |
61ba1cf9 | 34 | #include "readsyms.h" |
89fc3421 | 35 | #include "plugin.h" |
bae7f79e ILT |
36 | |
37 | namespace gold | |
38 | { | |
39 | ||
ee6d2efe ILT |
40 | // If we fail to open the object, then we won't create an Add_symbols |
41 | // task. However, we still need to unblock the token, or else the | |
42 | // link won't proceed to generate more error messages. We can only | |
17a1d0a9 ILT |
43 | // unblock tokens when the workqueue lock is held, so we need a dummy |
44 | // task to do that. The dummy task has to maintain the right sequence | |
45 | // of blocks, so we need both this_blocker and next_blocker. | |
ee6d2efe ILT |
46 | |
47 | class Unblock_token : public Task | |
48 | { | |
49 | public: | |
50 | Unblock_token(Task_token* this_blocker, Task_token* next_blocker) | |
51 | : this_blocker_(this_blocker), next_blocker_(next_blocker) | |
52 | { } | |
53 | ||
54 | ~Unblock_token() | |
55 | { | |
56 | if (this->this_blocker_ != NULL) | |
57 | delete this->this_blocker_; | |
58 | } | |
59 | ||
17a1d0a9 ILT |
60 | Task_token* |
61 | is_runnable() | |
ee6d2efe ILT |
62 | { |
63 | if (this->this_blocker_ != NULL && this->this_blocker_->is_blocked()) | |
17a1d0a9 ILT |
64 | return this->this_blocker_; |
65 | return NULL; | |
ee6d2efe ILT |
66 | } |
67 | ||
17a1d0a9 ILT |
68 | void |
69 | locks(Task_locker* tl) | |
70 | { tl->add(this, this->next_blocker_); } | |
ee6d2efe ILT |
71 | |
72 | void | |
73 | run(Workqueue*) | |
74 | { } | |
75 | ||
c7912668 ILT |
76 | std::string |
77 | get_name() const | |
78 | { return "Unblock_token"; } | |
79 | ||
ee6d2efe ILT |
80 | private: |
81 | Task_token* this_blocker_; | |
82 | Task_token* next_blocker_; | |
83 | }; | |
84 | ||
bae7f79e ILT |
85 | // Class read_symbols. |
86 | ||
87 | Read_symbols::~Read_symbols() | |
88 | { | |
89 | // The this_blocker_ and next_blocker_ pointers are passed on to the | |
90 | // Add_symbols task. | |
91 | } | |
92 | ||
ead1e424 ILT |
93 | // Return whether a Read_symbols task is runnable. We can read an |
94 | // ordinary input file immediately. For an archive specified using | |
95 | // -l, we have to wait until the search path is complete. | |
bae7f79e | 96 | |
17a1d0a9 ILT |
97 | Task_token* |
98 | Read_symbols::is_runnable() | |
bae7f79e | 99 | { |
dbe717ef | 100 | if (this->input_argument_->is_file() |
51dee2fe | 101 | && this->input_argument_->file().may_need_search() |
17a1d0a9 ILT |
102 | && this->dirpath_->token()->is_blocked()) |
103 | return this->dirpath_->token(); | |
bae7f79e | 104 | |
17a1d0a9 | 105 | return NULL; |
bae7f79e ILT |
106 | } |
107 | ||
108 | // Return a Task_locker for a Read_symbols task. We don't need any | |
109 | // locks here. | |
110 | ||
17a1d0a9 ILT |
111 | void |
112 | Read_symbols::locks(Task_locker*) | |
bae7f79e | 113 | { |
bae7f79e ILT |
114 | } |
115 | ||
ee6d2efe | 116 | // Run a Read_symbols task. |
bae7f79e ILT |
117 | |
118 | void | |
119 | Read_symbols::run(Workqueue* workqueue) | |
ee6d2efe ILT |
120 | { |
121 | // If we didn't queue a new task, then we need to explicitly unblock | |
122 | // the token. | |
123 | if (!this->do_read_symbols(workqueue)) | |
da769d56 ILT |
124 | workqueue->queue_soon(new Unblock_token(this->this_blocker_, |
125 | this->next_blocker_)); | |
ee6d2efe ILT |
126 | } |
127 | ||
128 | // Open the file and read the symbols. Return true if a new task was | |
129 | // queued, false if that could not happen due to some error. | |
130 | ||
131 | bool | |
132 | Read_symbols::do_read_symbols(Workqueue* workqueue) | |
bae7f79e | 133 | { |
dbe717ef | 134 | if (this->input_argument_->is_group()) |
ead1e424 | 135 | { |
a3ad94ed | 136 | gold_assert(this->input_group_ == NULL); |
ead1e424 | 137 | this->do_group(workqueue); |
ee6d2efe | 138 | return true; |
ead1e424 ILT |
139 | } |
140 | ||
5a6f7e2d | 141 | Input_file* input_file = new Input_file(&this->input_argument_->file()); |
f1ed28fb | 142 | if (!input_file->open(*this->dirpath_, this)) |
ee6d2efe | 143 | return false; |
bae7f79e ILT |
144 | |
145 | // Read enough of the file to pick up the entire ELF header. | |
146 | ||
82dcae9d | 147 | off_t filesize = input_file->file().filesize(); |
bae3688d | 148 | |
82dcae9d ILT |
149 | if (filesize == 0) |
150 | { | |
75f2446e ILT |
151 | gold_error(_("%s: file is empty"), |
152 | input_file->file().filename().c_str()); | |
ee6d2efe | 153 | return false; |
82dcae9d ILT |
154 | } |
155 | ||
82dcae9d ILT |
156 | int read_size = elfcpp::Elf_sizes<64>::ehdr_size; |
157 | if (filesize < read_size) | |
158 | read_size = filesize; | |
159 | ||
7ef73768 ILT |
160 | const unsigned char* ehdr = input_file->file().get_view(0, 0, read_size, |
161 | true, false); | |
82dcae9d | 162 | |
89fc3421 CC |
163 | if (read_size >= Archive::sarmag) |
164 | { | |
165 | bool is_thin_archive | |
166 | = memcmp(ehdr, Archive::armagt, Archive::sarmag) == 0; | |
167 | if (is_thin_archive | |
168 | || memcmp(ehdr, Archive::armag, Archive::sarmag) == 0) | |
169 | { | |
170 | // This is an archive. | |
171 | Archive* arch = new Archive(this->input_argument_->file().name(), | |
172 | input_file, is_thin_archive, | |
173 | this->dirpath_, this); | |
174 | arch->setup(this->input_objects_); | |
175 | ||
176 | // Unlock the archive so it can be used in the next task. | |
177 | arch->unlock(this); | |
178 | ||
179 | workqueue->queue_next(new Add_archive_symbols(this->symtab_, | |
180 | this->layout_, | |
181 | this->input_objects_, | |
182 | this->mapfile_, | |
183 | arch, | |
184 | this->input_group_, | |
185 | this->this_blocker_, | |
186 | this->next_blocker_)); | |
187 | return true; | |
188 | } | |
189 | } | |
190 | ||
191 | if (parameters->options().has_plugins()) | |
192 | { | |
193 | Pluginobj* obj = parameters->options().plugins()->claim_file(input_file, | |
194 | 0, filesize); | |
195 | if (obj != NULL) | |
196 | { | |
197 | // The input file was claimed by a plugin, and its symbols | |
198 | // have been provided by the plugin. | |
0f7c0701 CC |
199 | |
200 | // We are done with the file at this point, so unlock it. | |
201 | obj->unlock(this); | |
202 | ||
f488e4b0 CC |
203 | workqueue->queue_next(new Add_symbols(this->input_objects_, |
204 | this->symtab_, | |
205 | this->layout_, | |
206 | obj, NULL, | |
207 | this->this_blocker_, | |
208 | this->next_blocker_)); | |
89fc3421 CC |
209 | return true; |
210 | } | |
211 | } | |
212 | ||
82dcae9d | 213 | if (read_size >= 4) |
bae7f79e ILT |
214 | { |
215 | static unsigned char elfmagic[4] = | |
216 | { | |
217 | elfcpp::ELFMAG0, elfcpp::ELFMAG1, | |
218 | elfcpp::ELFMAG2, elfcpp::ELFMAG3 | |
219 | }; | |
7ef73768 | 220 | if (memcmp(ehdr, elfmagic, 4) == 0) |
bae7f79e ILT |
221 | { |
222 | // This is an ELF object. | |
a2fb1b05 | 223 | |
dbe717ef | 224 | Object* obj = make_elf_object(input_file->filename(), |
7ef73768 | 225 | input_file, 0, ehdr, read_size); |
75f2446e | 226 | if (obj == NULL) |
ee6d2efe | 227 | return false; |
dbe717ef | 228 | |
12e14209 ILT |
229 | Read_symbols_data* sd = new Read_symbols_data; |
230 | obj->read_symbols(sd); | |
17a1d0a9 ILT |
231 | |
232 | // Opening the file locked it, so now we need to unlock it. | |
233 | // We need to unlock it before queuing the Add_symbols task, | |
234 | // because the workqueue doesn't know about our lock on the | |
235 | // file. If we queue the Add_symbols task first, it will be | |
236 | // stuck on the end of the file lock, but since the | |
237 | // workqueue doesn't know about that lock, it will never | |
238 | // release the Add_symbols task. | |
239 | ||
240 | input_file->file().unlock(this); | |
241 | ||
da769d56 ILT |
242 | // We use queue_next because everything is cached for this |
243 | // task to run right away if possible. | |
244 | ||
245 | workqueue->queue_next(new Add_symbols(this->input_objects_, | |
246 | this->symtab_, this->layout_, | |
247 | obj, sd, | |
248 | this->this_blocker_, | |
249 | this->next_blocker_)); | |
bae7f79e | 250 | |
ee6d2efe | 251 | return true; |
bae7f79e ILT |
252 | } |
253 | } | |
254 | ||
da769d56 ILT |
255 | // Queue up a task to try to parse this file as a script. We use a |
256 | // separate task so that the script will be read in order with other | |
257 | // objects named on the command line. Also so that we don't try to | |
258 | // read multiple scripts simultaneously, which could lead to | |
259 | // unpredictable changes to the General_options structure. | |
260 | ||
f1ed28fb | 261 | workqueue->queue_soon(new Read_script(this->symtab_, |
da769d56 ILT |
262 | this->layout_, |
263 | this->dirpath_, | |
264 | this->input_objects_, | |
7d9e3d98 | 265 | this->mapfile_, |
da769d56 ILT |
266 | this->input_group_, |
267 | this->input_argument_, | |
268 | input_file, | |
269 | this->this_blocker_, | |
270 | this->next_blocker_)); | |
271 | return true; | |
bae7f79e ILT |
272 | } |
273 | ||
ead1e424 ILT |
274 | // Handle a group. We need to walk through the arguments over and |
275 | // over until we don't see any new undefined symbols. We do this by | |
276 | // setting off Read_symbols Tasks as usual, but recording the archive | |
277 | // entries instead of deleting them. We also start a Finish_group | |
278 | // Task which runs after we've read all the symbols. In that task we | |
279 | // process the archives in a loop until we are done. | |
280 | ||
281 | void | |
282 | Read_symbols::do_group(Workqueue* workqueue) | |
283 | { | |
284 | Input_group* input_group = new Input_group(); | |
285 | ||
dbe717ef | 286 | const Input_file_group* group = this->input_argument_->group(); |
ead1e424 | 287 | Task_token* this_blocker = this->this_blocker_; |
17a1d0a9 | 288 | |
ead1e424 ILT |
289 | for (Input_file_group::const_iterator p = group->begin(); |
290 | p != group->end(); | |
291 | ++p) | |
292 | { | |
dbe717ef | 293 | const Input_argument* arg = &*p; |
a3ad94ed | 294 | gold_assert(arg->is_file()); |
ead1e424 | 295 | |
17a1d0a9 | 296 | Task_token* next_blocker = new Task_token(true); |
ead1e424 | 297 | next_blocker->add_blocker(); |
f1ed28fb | 298 | workqueue->queue_soon(new Read_symbols(this->input_objects_, |
da769d56 | 299 | this->symtab_, this->layout_, |
7d9e3d98 ILT |
300 | this->dirpath_, this->mapfile_, |
301 | arg, input_group, | |
da769d56 | 302 | this_blocker, next_blocker)); |
ead1e424 ILT |
303 | this_blocker = next_blocker; |
304 | } | |
305 | ||
306 | const int saw_undefined = this->symtab_->saw_undefined(); | |
da769d56 ILT |
307 | workqueue->queue_soon(new Finish_group(this->input_objects_, |
308 | this->symtab_, | |
309 | this->layout_, | |
7d9e3d98 | 310 | this->mapfile_, |
da769d56 ILT |
311 | input_group, |
312 | saw_undefined, | |
313 | this_blocker, | |
314 | this->next_blocker_)); | |
ead1e424 ILT |
315 | } |
316 | ||
c7912668 ILT |
317 | // Return a debugging name for a Read_symbols task. |
318 | ||
319 | std::string | |
320 | Read_symbols::get_name() const | |
321 | { | |
322 | if (!this->input_argument_->is_group()) | |
323 | { | |
324 | std::string ret("Read_symbols "); | |
325 | if (this->input_argument_->file().is_lib()) | |
326 | ret += "-l"; | |
327 | ret += this->input_argument_->file().name(); | |
328 | return ret; | |
329 | } | |
330 | ||
331 | std::string ret("Read_symbols group ("); | |
332 | bool add_space = false; | |
333 | const Input_file_group* group = this->input_argument_->group(); | |
334 | for (Input_file_group::const_iterator p = group->begin(); | |
335 | p != group->end(); | |
336 | ++p) | |
337 | { | |
338 | if (add_space) | |
339 | ret += ' '; | |
340 | ret += p->file().name(); | |
341 | add_space = true; | |
342 | } | |
343 | return ret + ')'; | |
344 | } | |
345 | ||
bae7f79e ILT |
346 | // Class Add_symbols. |
347 | ||
348 | Add_symbols::~Add_symbols() | |
349 | { | |
350 | if (this->this_blocker_ != NULL) | |
351 | delete this->this_blocker_; | |
352 | // next_blocker_ is deleted by the task associated with the next | |
353 | // input file. | |
354 | } | |
355 | ||
a2fb1b05 ILT |
356 | // We are blocked by this_blocker_. We block next_blocker_. We also |
357 | // lock the file. | |
bae7f79e | 358 | |
17a1d0a9 ILT |
359 | Task_token* |
360 | Add_symbols::is_runnable() | |
bae7f79e ILT |
361 | { |
362 | if (this->this_blocker_ != NULL && this->this_blocker_->is_blocked()) | |
17a1d0a9 | 363 | return this->this_blocker_; |
a2fb1b05 | 364 | if (this->object_->is_locked()) |
17a1d0a9 ILT |
365 | return this->object_->token(); |
366 | return NULL; | |
bae7f79e ILT |
367 | } |
368 | ||
17a1d0a9 ILT |
369 | void |
370 | Add_symbols::locks(Task_locker* tl) | |
bae7f79e | 371 | { |
17a1d0a9 ILT |
372 | tl->add(this, this->next_blocker_); |
373 | tl->add(this, this->object_->token()); | |
bae7f79e ILT |
374 | } |
375 | ||
ead1e424 ILT |
376 | // Add the symbols in the object to the symbol table. |
377 | ||
bae7f79e ILT |
378 | void |
379 | Add_symbols::run(Workqueue*) | |
380 | { | |
f488e4b0 CC |
381 | Pluginobj* pluginobj = this->object_->pluginobj(); |
382 | if (pluginobj != NULL) | |
383 | { | |
384 | this->object_->add_symbols(this->symtab_, this->sd_, this->layout_); | |
385 | return; | |
386 | } | |
387 | ||
008db82e ILT |
388 | if (!this->input_objects_->add_object(this->object_)) |
389 | { | |
390 | // FIXME: We need to close the descriptor here. | |
391 | delete this->object_; | |
392 | } | |
393 | else | |
394 | { | |
7e1edb90 | 395 | this->object_->layout(this->symtab_, this->layout_, this->sd_); |
f488e4b0 | 396 | this->object_->add_symbols(this->symtab_, this->sd_, this->layout_); |
17a1d0a9 | 397 | this->object_->release(); |
008db82e | 398 | } |
12e14209 ILT |
399 | delete this->sd_; |
400 | this->sd_ = NULL; | |
bae7f79e ILT |
401 | } |
402 | ||
ead1e424 ILT |
403 | // Class Finish_group. |
404 | ||
405 | Finish_group::~Finish_group() | |
406 | { | |
407 | if (this->this_blocker_ != NULL) | |
408 | delete this->this_blocker_; | |
409 | // next_blocker_ is deleted by the task associated with the next | |
410 | // input file following the group. | |
411 | } | |
412 | ||
413 | // We need to wait for THIS_BLOCKER_ and unblock NEXT_BLOCKER_. | |
414 | ||
17a1d0a9 ILT |
415 | Task_token* |
416 | Finish_group::is_runnable() | |
ead1e424 ILT |
417 | { |
418 | if (this->this_blocker_ != NULL && this->this_blocker_->is_blocked()) | |
17a1d0a9 ILT |
419 | return this->this_blocker_; |
420 | return NULL; | |
ead1e424 ILT |
421 | } |
422 | ||
17a1d0a9 ILT |
423 | void |
424 | Finish_group::locks(Task_locker* tl) | |
ead1e424 | 425 | { |
17a1d0a9 | 426 | tl->add(this, this->next_blocker_); |
ead1e424 ILT |
427 | } |
428 | ||
429 | // Loop over the archives until there are no new undefined symbols. | |
430 | ||
431 | void | |
432 | Finish_group::run(Workqueue*) | |
433 | { | |
434 | int saw_undefined = this->saw_undefined_; | |
435 | while (saw_undefined != this->symtab_->saw_undefined()) | |
436 | { | |
437 | saw_undefined = this->symtab_->saw_undefined(); | |
438 | ||
439 | for (Input_group::const_iterator p = this->input_group_->begin(); | |
440 | p != this->input_group_->end(); | |
441 | ++p) | |
442 | { | |
17a1d0a9 | 443 | Task_lock_obj<Archive> tl(this, *p); |
ead1e424 | 444 | |
7e1edb90 | 445 | (*p)->add_symbols(this->symtab_, this->layout_, |
7d9e3d98 | 446 | this->input_objects_, this->mapfile_); |
ead1e424 ILT |
447 | } |
448 | } | |
449 | ||
450 | // Delete all the archives now that we no longer need them. | |
451 | for (Input_group::const_iterator p = this->input_group_->begin(); | |
452 | p != this->input_group_->end(); | |
453 | ++p) | |
454 | delete *p; | |
455 | delete this->input_group_; | |
456 | } | |
457 | ||
da769d56 ILT |
458 | // Class Read_script |
459 | ||
460 | Read_script::~Read_script() | |
461 | { | |
462 | if (this->this_blocker_ != NULL) | |
463 | delete this->this_blocker_; | |
464 | // next_blocker_ is deleted by the task associated with the next | |
465 | // input file. | |
466 | } | |
467 | ||
468 | // We are blocked by this_blocker_. | |
469 | ||
470 | Task_token* | |
471 | Read_script::is_runnable() | |
472 | { | |
473 | if (this->this_blocker_ != NULL && this->this_blocker_->is_blocked()) | |
474 | return this->this_blocker_; | |
475 | return NULL; | |
476 | } | |
477 | ||
478 | // We don't unlock next_blocker_ here. If the script names any input | |
479 | // files, then the last file will be responsible for unlocking it. | |
480 | ||
481 | void | |
482 | Read_script::locks(Task_locker*) | |
483 | { | |
484 | } | |
485 | ||
486 | // Read the script, if it is a script. | |
487 | ||
488 | void | |
489 | Read_script::run(Workqueue* workqueue) | |
490 | { | |
491 | bool used_next_blocker; | |
f1ed28fb ILT |
492 | if (!read_input_script(workqueue, this->symtab_, this->layout_, |
493 | this->dirpath_, this->input_objects_, | |
7d9e3d98 ILT |
494 | this->mapfile_, this->input_group_, |
495 | this->input_argument_, this->input_file_, | |
496 | this->next_blocker_, &used_next_blocker)) | |
da769d56 ILT |
497 | { |
498 | // Here we have to handle any other input file types we need. | |
499 | gold_error(_("%s: not an object or archive"), | |
500 | this->input_file_->file().filename().c_str()); | |
501 | } | |
502 | ||
503 | if (!used_next_blocker) | |
504 | { | |
505 | // Queue up a task to unlock next_blocker. We can't just unlock | |
506 | // it here, as we don't hold the workqueue lock. | |
507 | workqueue->queue_soon(new Unblock_token(NULL, this->next_blocker_)); | |
508 | } | |
509 | } | |
510 | ||
511 | // Return a debugging name for a Read_script task. | |
512 | ||
513 | std::string | |
514 | Read_script::get_name() const | |
515 | { | |
516 | std::string ret("Read_script "); | |
517 | if (this->input_argument_->file().is_lib()) | |
518 | ret += "-l"; | |
519 | ret += this->input_argument_->file().name(); | |
520 | return ret; | |
521 | } | |
522 | ||
bae7f79e | 523 | } // End namespace gold. |