X-Git-Url: https://wimlib.net/git/?a=blobdiff_plain;f=src%2Fhardlink.c;h=3f316f1d993d1f84fa9852fde53e9ec900ad3f09;hb=d4f8cc3998aebb08c6cd12d248173323b43c07b8;hp=08f622506b94be8eec79b07ab6d8bcb2a558a03e;hpb=13c6ce3160fce7c40008d1d182325c8b42450d1e;p=wimlib diff --git a/src/hardlink.c b/src/hardlink.c index 08f62250..3f316f1d 100644 --- a/src/hardlink.c +++ b/src/hardlink.c @@ -23,10 +23,14 @@ * along with wimlib; if not, see http://www.gnu.org/licenses/. */ -#include "wimlib_internal.h" -#include "dentry.h" -#include "list.h" -#include "lookup_table.h" +#ifdef HAVE_CONFIG_H +# include "config.h" +#endif + +#include "wimlib/capture.h" +#include "wimlib/dentry.h" +#include "wimlib/error.h" +#include "wimlib/lookup_table.h" /* NULL NULL * ^ ^ @@ -60,7 +64,7 @@ init_inode_table(struct wim_inode_table *table, size_t capacity) } table->num_entries = 0; table->capacity = capacity; - INIT_HLIST_HEAD(&table->extra_inodes); + INIT_LIST_HEAD(&table->extra_inodes); return 0; } @@ -87,11 +91,7 @@ inode_table_insert(struct wim_dentry *dentry, void *_table) /* A dentry with a hard link group ID of 0 indicates that it's * in a hard link group by itself. Add it to the list of extra * inodes rather than inserting it into the hash lists. */ - hlist_add_head(&d_inode->i_hlist, &table->extra_inodes); - - wimlib_assert(d_inode->i_dentry.next == &dentry->d_alias); - wimlib_assert(d_inode->i_dentry.prev == &dentry->d_alias); - wimlib_assert(d_inode->i_nlink == 1); + list_add_tail(&d_inode->i_list, &table->extra_inodes); } else { size_t pos; struct wim_inode *inode; @@ -101,8 +101,16 @@ inode_table_insert(struct wim_dentry *dentry, void *_table) pos = d_inode->i_ino % table->capacity; hlist_for_each_entry(inode, cur, &table->array[pos], i_hlist) { if (inode->i_ino == d_inode->i_ino) { + if (unlikely((inode->i_attributes & FILE_ATTRIBUTE_DIRECTORY) || + (d_inode->i_attributes & FILE_ATTRIBUTE_DIRECTORY))) + { + ERROR("Unsupported directory hard link " + "\"%"TS"\" <=> \"%"TS"\"", + dentry_full_path(dentry), + dentry_full_path(inode_first_dentry(inode))); + return WIMLIB_ERR_INVALID_METADATA_RESOURCE; + } inode_add_dentry(dentry, inode); - inode->i_nlink++; return 0; } } @@ -111,10 +119,6 @@ inode_table_insert(struct wim_dentry *dentry, void *_table) * it to the table. */ hlist_add_head(&d_inode->i_hlist, &table->array[pos]); - wimlib_assert(d_inode->i_dentry.next == &dentry->d_alias); - wimlib_assert(d_inode->i_dentry.prev == &dentry->d_alias); - wimlib_assert(d_inode->i_nlink == 1); - /* XXX Make the table grow when too many entries have been * inserted. */ table->num_entries++; @@ -148,6 +152,17 @@ inode_table_get_inode(struct wim_inode_table *table, u64 ino, u64 devno) return inode; } +void +inode_ref_streams(struct wim_inode *inode) +{ + for (unsigned i = 0; i <= inode->i_num_ads; i++) { + struct wim_lookup_table_entry *lte; + lte = inode_stream_lte_resolved(inode, i); + if (lte) + lte->refcnt++; + } +} + /* Given a directory entry with the name @name for the file with the inode * number @ino and device number @devno, create a new WIM dentry with an * associated inode, where the inode is shared if an inode with the same @ino @@ -157,46 +172,60 @@ inode_table_get_inode(struct wim_inode_table *table, u64 ino, u64 devno) */ int inode_table_new_dentry(struct wim_inode_table *table, const tchar *name, - u64 ino, u64 devno, struct wim_dentry **dentry_ret) + u64 ino, u64 devno, bool noshare, + struct wim_dentry **dentry_ret) { struct wim_dentry *dentry; struct wim_inode *inode; int ret; - ret = new_dentry(name, &dentry); - if (ret) - return ret; - - inode = inode_table_get_inode(table, ino, devno); - if (!inode) { - free_dentry(dentry); - return WIMLIB_ERR_NOMEM; + if (noshare) { + /* File that cannot be hardlinked--- Return a new inode with its + * inode and device numbers left at 0. */ + ret = new_dentry_with_timeless_inode(name, &dentry); + if (ret) + return ret; + list_add_tail(&dentry->d_inode->i_list, &table->extra_inodes); + } else { + /* File that can be hardlinked--- search the table for an + * existing inode matching the inode number and device; + * otherwise create a new inode. */ + ret = new_dentry(name, &dentry); + if (ret) + return ret; + inode = inode_table_get_inode(table, ino, devno); + if (!inode) { + free_dentry(dentry); + return WIMLIB_ERR_NOMEM; + } + /* If using an existing inode, we need to gain a reference to + * each of its streams. */ + if (inode->i_nlink > 1) + inode_ref_streams(inode); + dentry->d_inode = inode; + inode_add_dentry(dentry, inode); } - dentry->d_inode = inode; - inode_add_dentry(dentry, inode); *dentry_ret = dentry; return 0; } -#if defined(ENABLE_ERROR_MESSAGES) || defined(ENABLE_DEBUG) -static void +static inline void print_inode_dentries(const struct wim_inode *inode) { struct wim_dentry *dentry; inode_for_each_dentry(dentry, inode) - print_dentry_full_path(dentry, NULL); + tfprintf(stderr, T("%"TS"\n"), dentry_full_path(dentry)); } -#endif static void inconsistent_inode(const struct wim_inode *inode) { -#ifdef ENABLE_ERROR_MESSAGES - ERROR("An inconsistent hard link group that cannot be corrected has " - "been detected"); - ERROR("The dentries are located at the following paths:"); - print_inode_dentries(inode); -#endif + if (wimlib_print_errors) { + ERROR("An inconsistent hard link group that cannot be corrected has " + "been detected"); + ERROR("The dentries are located at the following paths:"); + print_inode_dentries(inode); + } } static bool @@ -251,7 +280,7 @@ inodes_consistent(const struct wim_inode * restrict ref_inode, /* Fix up a "true" inode and check for inconsistencies */ static int -fix_true_inode(struct wim_inode *inode, struct hlist_head *inode_list) +fix_true_inode(struct wim_inode *inode, struct list_head *inode_list) { struct wim_dentry *dentry; struct wim_dentry *ref_dentry = NULL; @@ -272,8 +301,8 @@ fix_true_inode(struct wim_inode *inode, struct hlist_head *inode_list) } ref_inode = ref_dentry->d_inode; - ref_inode->i_nlink = 1; - hlist_add_head(&ref_inode->i_hlist, inode_list); + wimlib_assert(ref_inode->i_nlink == 1); + list_add_tail(&ref_inode->i_list, inode_list); list_del(&inode->i_dentry); list_add(&ref_inode->i_dentry, &ref_dentry->d_alias); @@ -282,11 +311,10 @@ fix_true_inode(struct wim_inode *inode, struct hlist_head *inode_list) if (dentry != ref_dentry) { if (!inodes_consistent(ref_inode, dentry->d_inode)) { inconsistent_inode(ref_inode); - return WIMLIB_ERR_INVALID_DENTRY; + return WIMLIB_ERR_INVALID_METADATA_RESOURCE; } /* Free the unneeded `struct wim_inode'. */ - dentry->d_inode->i_hlist.next = NULL; - dentry->d_inode->i_hlist.pprev = NULL; + wimlib_assert(dentry->d_inode->i_nlink == 1); free_inode(dentry->d_inode); dentry->d_inode = ref_inode; ref_inode->i_nlink++; @@ -314,7 +342,7 @@ fix_true_inode(struct wim_inode *inode, struct hlist_head *inode_list) * group remaining. */ static int -fix_nominal_inode(struct wim_inode *inode, struct hlist_head *inode_list, +fix_nominal_inode(struct wim_inode *inode, struct list_head *inode_list, bool *ino_changes_needed) { struct wim_dentry *dentry; @@ -322,8 +350,6 @@ fix_nominal_inode(struct wim_inode *inode, struct hlist_head *inode_list, int ret; size_t num_true_inodes; - wimlib_assert(inode->i_nlink == inode_link_count(inode)); - LIST_HEAD(dentries_with_data_streams); LIST_HEAD(dentries_with_no_data_streams); HLIST_HEAD(true_inodes); @@ -351,9 +377,10 @@ fix_nominal_inode(struct wim_inode *inode, struct hlist_head *inode_list, * inode to be a true inode */ if (list_empty(&dentries_with_data_streams)) { #ifdef ENABLE_DEBUG - if (inode->i_nlink > 1) { + unsigned nominal_group_size = inode_link_count(inode); + if (nominal_group_size > 1) { DEBUG("Found link group of size %u without " - "any data streams:", inode->i_nlink); + "any data streams:", nominal_group_size); print_inode_dentries(inode); DEBUG("We are going to interpret it as true " "link group, provided that the dentries " @@ -393,13 +420,14 @@ next_dentry_2: * streamless dentries to. */ if (!list_empty(&dentries_with_no_data_streams)) { if (num_true_inodes != 1) { - ERROR("Hard inode ambiguity detected!"); + ERROR("Hard link ambiguity detected!"); ERROR("We split up inode 0x%"PRIx64" due to " "inconsistencies,", inode->i_ino); ERROR("but dentries with no stream information remained. " "We don't know which inode"); ERROR("to assign them to."); - return WIMLIB_ERR_INVALID_DENTRY; + ret = WIMLIB_ERR_INVALID_METADATA_RESOURCE; + goto out_cleanup_true_inode_list; } inode = container_of(true_inodes.first, struct wim_inode, i_hlist); /* Assign the streamless dentries to the one and only true @@ -428,30 +456,37 @@ next_dentry_2: } hlist_for_each_entry_safe(inode, cur, tmp, &true_inodes, i_hlist) { + hlist_del_init(&inode->i_hlist); ret = fix_true_inode(inode, inode_list); - if (ret != 0) - return ret; + if (ret) + goto out_cleanup_true_inode_list; } - return 0; + ret = 0; + goto out; +out_cleanup_true_inode_list: + hlist_for_each_entry_safe(inode, cur, tmp, &true_inodes, i_hlist) + hlist_del_init(&inode->i_hlist); +out: + return ret; } static int -fix_inodes(struct wim_inode_table *table, struct hlist_head *inode_list, +fix_inodes(struct wim_inode_table *table, struct list_head *inode_list, bool *ino_changes_needed) { struct wim_inode *inode; struct hlist_node *cur, *tmp; int ret; - INIT_HLIST_HEAD(inode_list); + INIT_LIST_HEAD(inode_list); for (u64 i = 0; i < table->capacity; i++) { hlist_for_each_entry_safe(inode, cur, tmp, &table->array[i], i_hlist) { + hlist_del_init(&inode->i_hlist); ret = fix_nominal_inode(inode, inode_list, ino_changes_needed); - if (ret != 0) + if (ret) return ret; } } - hlist_for_each_safe(cur, tmp, &table->extra_inodes) - hlist_add_head(cur, inode_list); + list_splice_tail(&table->extra_inodes, inode_list); return 0; } @@ -479,66 +514,102 @@ fix_inodes(struct wim_inode_table *table, struct hlist_head *inode_list, * WIM) is examined for consistency and may be split into multiple "true" inodes * that are maximally sized consistent sets of dentries. * - * Return 0 on success; WIMLIB_ERR_NOMEM or WIMLIB_ERR_INVALID_DENTRY on - * failure. On success, the list of "true" inodes, linked by the i_hlist field, + * On success, the list of "true" inodes, linked by the i_hlist field, * is returned in the hlist @inode_list. + * + * Return values: + * WIMLIB_ERR_SUCCESS (0) + * WIMLIB_ERR_INVALID_METADATA_RESOURCE + * WIMLIB_ERR_NOMEM */ int -dentry_tree_fix_inodes(struct wim_dentry *root, struct hlist_head *inode_list) +dentry_tree_fix_inodes(struct wim_dentry *root, struct list_head *inode_list) { struct wim_inode_table inode_tab; int ret; bool ino_changes_needed; + struct wim_inode *inode; DEBUG("Inserting dentries into inode table"); ret = init_inode_table(&inode_tab, 9001); if (ret) - return ret; + goto out; - for_dentry_in_tree(root, inode_table_insert, &inode_tab); + ret = for_dentry_in_tree(root, inode_table_insert, &inode_tab); + if (ret) + goto out_destroy_inode_table; DEBUG("Cleaning up the hard link groups"); ino_changes_needed = false; ret = fix_inodes(&inode_tab, inode_list, &ino_changes_needed); - destroy_inode_table(&inode_tab); + if (ret) + goto out_destroy_inode_table; - if (ret == 0 && ino_changes_needed) { + if (ino_changes_needed) { u64 cur_ino = 1; - struct hlist_node *tmp; - struct wim_inode *inode; WARNING("Re-assigning inode numbers due to inode inconsistencies"); - hlist_for_each_entry(inode, tmp, inode_list, i_hlist) { + list_for_each_entry(inode, inode_list, i_list) { if (inode->i_nlink > 1) inode->i_ino = cur_ino++; else inode->i_ino = 0; } } + /* On success, all the inodes have been moved to the image inode list, + * so there's no need to delete from from the hash lists in the inode + * table before freeing the hash buckets array directly. */ + ret = 0; + goto out_destroy_inode_table_raw; +out_destroy_inode_table: + for (size_t i = 0; i < inode_tab.capacity; i++) { + struct hlist_node *cur, *tmp; + hlist_for_each_entry_safe(inode, cur, tmp, &inode_tab.array[i], i_hlist) + hlist_del_init(&inode->i_hlist); + } + { + struct wim_inode *tmp; + list_for_each_entry_safe(inode, tmp, &inode_tab.extra_inodes, i_list) + list_del_init(&inode->i_list); + } +out_destroy_inode_table_raw: + destroy_inode_table(&inode_tab); +out: return ret; } -/* Assign consecutive inode numbers to the inodes in the inode table, and move - * the inodes to a single list @head. */ +/* Assign consecutive inode numbers to a new set of inodes from the inode table, + * and append the inodes to a single list @head that contains the inodes already + * existing in the WIM image. */ void inode_table_prepare_inode_list(struct wim_inode_table *table, - struct hlist_head *head) + struct list_head *head) { - struct wim_inode *inode; + struct wim_inode *inode, *tmp_inode; struct hlist_node *cur, *tmp; u64 cur_ino = 1; - INIT_HLIST_HEAD(head); + /* Re-assign inode numbers in the existing list to avoid duplicates. */ + list_for_each_entry(inode, head, i_list) + inode->i_ino = cur_ino++; + + /* Assign inode numbers to the new inodes and move them to the image's + * inode list. */ for (size_t i = 0; i < table->capacity; i++) { hlist_for_each_entry_safe(inode, cur, tmp, &table->array[i], i_hlist) { - if (inode->i_nlink > 1) - inode->i_ino = cur_ino++; - else - inode->i_ino = 0; - hlist_add_head(&inode->i_hlist, head); + inode->i_ino = cur_ino++; + inode->i_devno = 0; + list_add_tail(&inode->i_list, head); } INIT_HLIST_HEAD(&table->array[i]); } + list_for_each_entry_safe(inode, tmp_inode, &table->extra_inodes, i_list) + { + inode->i_ino = cur_ino++; + inode->i_devno = 0; + list_add_tail(&inode->i_list, head); + } + INIT_LIST_HEAD(&table->extra_inodes); table->num_entries = 0; }