| lists.openwall.net | lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC | |
|
Open Source and information security mailing list archives
| ||
|
Message-ID: <4DD34163.8010306@redhat.com>
Date: Tue, 17 May 2011 22:47:47 -0500
From: Eric Sandeen <sandeen@...hat.com>
To: Yongqiang Yang <xiaoqiangnk@...il.com>
CC: Ext4 Developers List <linux-ext4@...r.kernel.org>, xfs@....sgi.com,
Josef Bacik <jbacik@...hat.com>
Subject: Re: [PATCH] xfstests:Make 225 compare map and fiemap at each block.
On 5/17/11 10:29 PM, Yongqiang Yang wrote:
> Hi Eric,
>
> Could you have a look at this patch?
I was kind of hoping Josef would since he wrote it in the first place ;)
I can try to take a look...
-Eric
> On Sat, May 14, 2011 at 11:47 AM, Yongqiang Yang <xiaoqiangnk@...il.com> wrote:
>> Hi All,
>>
>> Due to my carelessness, I induced a ugly patch to ext4's fiemap, but
>> 225 could not find it. So I looked into the 225 and could not figure out
>> logic in compare_map_and_fiemap(), which seemed to mixed extents with
>> blocks. Then I made 225 compare map and fiemap at each block, the new
>> 225 can find another bug in ext4's fiemap.
>>
>> The new 225 works well on ext3 and ext4 with both 1K and 4K block. However,
>> it report fiemap error on xfs with 4K block. My working tree is 2.6.39-rc3
>> pulled from Ted's tree. The error message is as follows.
>>
>> QA output created by 225
>> fiemap run without preallocation, with sync
>> +map is 'DDHDHHDHHDHDDHDDHDDHHDHDDHDDDDDDHHDDDHHHHDH
>> DDDDDDDDHDDHHHDDDHDDHHDDDDDDHHHHHHDDHHHHHDHDHDHDD
>> DHDDHD'
>> +logical: [ 0.. 15] phys: 12.. 27 flags: 0x000 tot: 16
>> +logical: [ 17.. 31] phys: 29.. 43 flags: 0x000 tot: 15
>> +logical: [ 34.. 63] phys: 46.. 75 flags: 0x000 tot: 30
>> +logical: [ 65.. 95] phys: 77.. 107 flags: 0x001 tot: 31
>> +Problem comparing fiemap and map
>> fiemap run without preallocation or sync
>> +map is 'DDHDHHDHHDHDDHDDHDDHHDHDDHDDDDDDHHDDDHHHHDH
>> DDDDDDDDHDDHHHDDDHDDHHDDDDDDHHHHHHDDHHHHHDHDHDHDD
>> DHDDHD'
>> +logical: [ 0.. 15] phys: 0.. 15 flags: 0x006 tot: 16
>> +Problem comparing fiemap and map
>> Ran: 225
>> Failures: 225
>> Failed 1 of 1 tests
>>
>> I am not sure this is a bug in new 225 or xfs.
>>
>> Yongqiang.
>>
>> Signed-off-by: Yongqiang Yang <xiaoqiangnk@...il.com>
>> ---
>> src/fiemap-tester.c | 223 ++++++++++++++++++++++++++++----------------------
>> 1 files changed, 125 insertions(+), 98 deletions(-)
>>
>> diff --git a/src/fiemap-tester.c b/src/fiemap-tester.c
>> index 1663f84..99bb5ce 100644
>> --- a/src/fiemap-tester.c
>> +++ b/src/fiemap-tester.c
>> @@ -14,6 +14,9 @@
>> * You should have received a copy of the GNU General Public License
>> * along with this program; if not, write the Free Software Foundation,
>> * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
>> + *
>> + * Compare map and fiemap at each block,
>> + * Yongqiang Yang <xiaoqiangnk@...il.com>, 2011
>> */
>>
>> #include <stdio.h>
>> @@ -57,7 +60,7 @@ generate_file_mapping(int blocks, int prealloc)
>> int num_types = 2, cur_block = 0;
>> int i = 0;
>>
>> - map = malloc(sizeof(char) * blocks);
>> + map = malloc(sizeof(char) * (blocks + 1));
>> if (!map)
>> return NULL;
>>
>> @@ -80,7 +83,8 @@ generate_file_mapping(int blocks, int prealloc)
>> }
>> cur_block++;
>> }
>> -
>> +
>> + map[blocks] = 0;
>> return map;
>> }
>>
>> @@ -247,55 +251,36 @@ check_flags(struct fiemap *fiemap, int blocksize)
>> }
>>
>> static int
>> -check_data(struct fiemap *fiemap, __u64 logical_offset, int blocksize,
>> +check_data(struct fiemap_extent * extent , __u64 logical_offset, int
>> blocksize,
>> int last, int prealloc)
>> {
>> - struct fiemap_extent *extent;
>> - __u64 orig_offset = logical_offset;
>> - int c, found = 0;
>> -
>> - for (c = 0; c < fiemap->fm_mapped_extents; c++) {
>> - __u64 start, end;
>> - extent = &fiemap->fm_extents[c];
>> -
>> - start = extent->fe_logical;
>> - end = extent->fe_logical + extent->fe_length;
>> -
>> - if (logical_offset > end)
>> - continue;
>> -
>> - if (logical_offset + blocksize < start)
>> - break;
>> -
>> - if (logical_offset >= start &&
>> - logical_offset < end) {
>> - if (prealloc &&
>> - !(extent->fe_flags & FIEMAP_EXTENT_UNWRITTEN)) {
>> - printf("ERROR: preallocated extent is not "
>> - "marked with FIEMAP_EXTENT_UNWRITTEN: "
>> - "%llu\n",
>> - (unsigned long long)
>> - (start / blocksize));
>> - return -1;
>> - }
>> -
>> - if (logical_offset + blocksize > end) {
>> - logical_offset = end+1;
>> - continue;
>> - } else {
>> - found = 1;
>> - break;
>> - }
>> + int found = 0;
>> + __u64 start, end;
>> +
>> + start = extent->fe_logical;
>> + end = extent->fe_logical + extent->fe_length;
>> +
>> + if (logical_offset >= start &&
>> + logical_offset < end) {
>> + if (prealloc &&
>> + !(extent->fe_flags & FIEMAP_EXTENT_UNWRITTEN)) {
>> + printf("ERROR: preallocated extent is not "
>> + "marked with FIEMAP_EXTENT_UNWRITTEN: "
>> + "%llu\n",
>> + (unsigned long long)
>> + (start / blocksize));
>> + return -1;
>> }
>> + found = 1;
>> }
>> -
>> +
>> if (!found) {
>> printf("ERROR: couldn't find extent at %llu\n",
>> - (unsigned long long)(orig_offset / blocksize));
>> + (unsigned long long)(logical_offset / blocksize));
>> } else if (last &&
>> - !(fiemap->fm_extents[c].fe_flags & FIEMAP_EXTENT_LAST)) {
>> + !(extent->fe_flags & FIEMAP_EXTENT_LAST)) {
>> printf("ERROR: last extent not marked as last: %llu\n",
>> - (unsigned long long)(orig_offset / blocksize));
>> + (unsigned long long)(logical_offset / blocksize));
>> found = 0;
>> }
>>
>> @@ -370,37 +355,26 @@ check_weird_fs_hole(int fd, __u64
>> logical_offset, int blocksize)
>> }
>>
>> static int
>> -check_hole(struct fiemap *fiemap, int fd, __u64 logical_offset, int blocksize)
>> +check_hole(struct fiemap_extent *extent, int fd, __u64
>> logical_offset, int blocksize)
>> {
>> - struct fiemap_extent *extent;
>> - int c;
>> + __u64 start, end;
>>
>> - for (c = 0; c < fiemap->fm_mapped_extents; c++) {
>> - __u64 start, end;
>> - extent = &fiemap->fm_extents[c];
>> + start = extent->fe_logical;
>> + end = extent->fe_logical + extent->fe_length;
>>
>> - start = extent->fe_logical;
>> - end = extent->fe_logical + extent->fe_length;
>> + if (logical_offset >= start &&
>> + logical_offset < end) {
>>
>> - if (logical_offset > end)
>> - continue;
>> - if (logical_offset + blocksize < start)
>> - break;
>> + if (check_weird_fs_hole(fd, logical_offset,
>> + blocksize) == 0)
>> + return 0;
>>
>> - if (logical_offset >= start &&
>> - logical_offset < end) {
>> -
>> - if (check_weird_fs_hole(fd, logical_offset,
>> - blocksize) == 0)
>> - break;
>> -
>> - printf("ERROR: found an allocated extent where a hole "
>> - "should be: %llu\n",
>> - (unsigned long long)(start / blocksize));
>> - return -1;
>> - }
>> + printf("ERROR: found an allocated extent where a hole "
>> + "should be: %llu\n",
>> + (unsigned long long)(start / blocksize));
>> + return -1;
>> }
>> -
>> +
>> return 0;
>> }
>>
>> @@ -423,9 +397,11 @@ compare_fiemap_and_map(int fd, char *map, int
>> blocks, int blocksize, int syncfil
>> {
>> struct fiemap *fiemap;
>> char *fiebuf;
>> - int blocks_to_map, ret, cur_extent = 0, last_data;
>> + int blocks_to_map, ret, last_data = -1;
>> __u64 map_start, map_length;
>> int i, c;
>> + int cur_block = 0;
>> + int last_found = 0;
>>
>> if (query_fiemap_count(fd, blocks, blocksize) < 0)
>> return -1;
>> @@ -451,8 +427,11 @@ compare_fiemap_and_map(int fd, char *map, int
>> blocks, int blocksize, int syncfil
>> fiemap->fm_extent_count = blocks_to_map;
>> fiemap->fm_mapped_extents = 0;
>>
>> + /* check fiemap by looking at each block. */
>> do {
>> - fiemap->fm_start = map_start;
>> + int nr_extents;
>> +
>> + fiemap->fm_start = cur_block * blocksize;
>> fiemap->fm_length = map_length;
>>
>> ret = ioctl(fd, FS_IOC_FIEMAP, (unsigned long)fiemap);
>> @@ -465,45 +444,93 @@ compare_fiemap_and_map(int fd, char *map, int
>> blocks, int blocksize, int syncfil
>> if (check_flags(fiemap, blocksize))
>> goto error;
>>
>> - for (i = cur_extent, c = 1; i < blocks; i++, c++) {
>> - __u64 logical_offset = i * blocksize;
>> + nr_extents = fiemap->fm_mapped_extents;
>> + if (nr_extents == 0) {
>> + int block = cur_block + (map_length - 1)/ blocksize;
>> + for (; cur_block <= block && cur_block < blocks; cur_block++) {
>> + /* check hole */
>> + if (map[cur_block] != 'H') {
>> + printf("ERROR: map[%d] should not be "
>> + "a hole\n", cur_block);
>> + goto error;
>> + }
>> + }
>> + continue;
>> + }
>>
>> - if (c > fiemap->fm_mapped_extents) {
>> - i++;
>> - break;
>> + for (c = 0; c < nr_extents; c++) {
>> + __u64 offset;
>> + int block;
>> + struct fiemap_extent *extent;
>> +
>> + if (last_found) {
>> + printf("ERROR: there is extent after"
>> + "the last extent\n");
>> + goto error;
>> }
>>
>> - switch (map[i]) {
>> - case 'D':
>> - if (check_data(fiemap, logical_offset,
>> - blocksize, last_data == i, 0))
>> - goto error;
>> - break;
>> - case 'H':
>> - if (check_hole(fiemap, fd, logical_offset,
>> - blocksize))
>> - goto error;
>> - break;
>> - case 'P':
>> - if (check_data(fiemap, logical_offset,
>> - blocksize, last_data == i, 1))
>> + extent = &fiemap->fm_extents[c];
>> + offset = extent->fe_logical;
>> + block = offset / blocksize;
>> +
>> + /* check hole. */
>> + for (; cur_block < block; cur_block++) {
>> + if (map[cur_block] != 'H') {
>> + printf("ERROR: map[%d] should not be "
>> + "a hole\n", cur_block);
>> goto error;
>> - break;
>> - default:
>> - printf("ERROR: weird value in map: %c\n",
>> - map[i]);
>> + }
>> + }
>> +
>> + offset = extent->fe_logical + extent->fe_length;
>> + block = offset / blocksize;
>> +
>> + if (block > blocks) {
>> + printf("ERROR: there are extents beyond EOF\n");
>> goto error;
>> }
>> +
>> + /* check data */
>> + for (; cur_block < block; cur_block++) {
>> + offset = (__u64)cur_block * blocksize;
>> + last_found = (last_data == cur_block);
>> + switch (map[cur_block]) {
>> + case 'D':
>> + if (check_data(extent, offset,
>> + blocksize, last_found, 0))
>> + goto error;
>> + break;
>> + case 'H':
>> + if (check_hole(extent, fd, offset,
>> + blocksize));
>> + goto error;
>> + break;
>> +
>> + case 'P':
>> + if (check_data(extent, offset,
>> + blocksize, last_found, 1))
>> + goto error;
>> + break;
>> + default:
>> + printf("ERROR: weird value in map: %c\n",
>> + map[i]);
>> + goto error;
>> + }
>> + }
>> }
>> - cur_extent = i;
>> - map_start = i * blocksize;
>> - } while (cur_extent < blocks);
>> + } while (cur_block < blocks);
>>
>> - ret = 0;
>> - return ret;
>> + if (!last_found && last_data != -1) {
>> + printf("ERROR: find no last extent\n");
>> + goto error;
>> + }
>> +
>> + free(fiebuf);
>> + return 0;
>> error:
>> printf("map is '%s'\n", map);
>> show_extents(fiemap, blocksize);
>> + free(fiebuf);
>> return -1;
>> }
>>
>> --
>> 1.7.5.1
>>
>> --
>> Best Wishes
>> Yongqiang Yang
>>
>
>
>
--
To unsubscribe from this list: send the line "unsubscribe linux-ext4" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Powered by blists - more mailing lists