Как правильно распределить пространство в двумерном массиве, избегая повреждения памяти? - PullRequest
0 голосов
/ 07 апреля 2019

Для алгоритма я хотел выделить пространство для двумерного массива каждый раз, когда это было необходимо, вместо этого я получаю эту ошибку

`main.run: malloc.c:2406: sysmalloc: Assertion `(old_top ==   initial_top (av) && old_size == 0) || ((unsigned long) (old_size) >= MINSIZE && prev_inuse (old_top) && ((unsigned long) old_end & (pagesize - 1)) == 0)' failed.
Aborted`

Я пробовал выходы ведьмы Valgrind:

==2903== Memcheck, a memory error detector
==2903== Copyright (C) 2002-2015, and GNU GPL'd, by Julian Seward et al.
==2903== Using Valgrind-3.12.0.SVN and LibVEX; rerun with -h for copyright info
==2903== Command: ./main.run
==2903== 
==2903== Invalid write of size 4
==2903==    at 0x1087B7: main (main.c:18)
==2903==  Address 0x51d70e4 is 0 bytes after a block of size 4 alloc'd
==2903==    at 0x4C2BBAF: malloc (vg_replace_malloc.c:299)
==2903==    by 0x108787: main (main.c:17)
==2903== 

valgrind: m_mallocfree.c:303 (get_bszB_as_is): Assertion 'bszB_lo == bszB_hi' failed.
valgrind: Heap block lo/hi size mismatch: lo = 12, hi = 368578837618884608.
This is probably caused by your program erroneously writing past the
end of a heap block and corrupting heap metadata.  If you fix any
invalid writes reported by Memcheck, this assertion failure will
probably go away.  Please try that before reporting this as a bug.


host stacktrace:
==2903==    at 0x38083828: show_sched_status_wrk (m_libcassert.c:343)
==2903==    by 0x38083944: report_and_quit (m_libcassert.c:419)
==2903==    by 0x38083AD1: vgPlain_assert_fail (m_libcassert.c:485)
==2903==    by 0x38091882: get_bszB_as_is (m_mallocfree.c:301)
==2903==    by 0x38091882: get_bszB (m_mallocfree.c:311)
==2903==    by 0x38091882: vgPlain_arena_malloc (m_mallocfree.c:1734)
==2903==    by 0x3804FAD4: vgMemCheck_new_block (mc_malloc_wrappers.c:350)
==2903==    by 0x3804FCA6: vgMemCheck_malloc (mc_malloc_wrappers.c:385)
==2903==    by 0x380D7B53: do_client_request (scheduler.c:1866)
==2903==    by 0x380D7B53: vgPlain_scheduler (scheduler.c:1425)
==2903==    by 0x380E6416: thread_wrapper (syswrap-linux.c:103)
==2903==    by 0x380E6416: run_a_thread_NORETURN (syswrap-linux.c:156)

sched status:
  running_tid=1

Thread 1: status = VgTs_Runnable (lwpid 2903)
==2903==    at 0x4C2BBAF: malloc (vg_replace_malloc.c:299)
==2903==    by 0x108787: main (main.c:17)

Это код, вызывающий проблему:

#include <stdio.h>
#include <stdlib.h> 

#define cats 3
#define loops 30

int main() {
    int **a;
    int i,j;

    a = (int **)malloc(sizeof(int *));

    for (i = 0; i < cats; i++)
        for (j = 0; j < loops; j++) {
            a[i] = (int *)malloc(sizeof(int));
            a[i][j] = i + j;
        }

    for (i = 0; i < cats; i++) {
        for (j = 0; j < loops; j++)
            printf("%d ", a[i][j]);
        printf("\n");
    }

    return 0;
}

Как возникает ошибка и как ее избежать?

Является ли этот тип распределения памяти плохой практикой?

Ответы [ 3 ]

1 голос
/ 07 апреля 2019

несколько проблем в вашем коде

a = (int **)malloc(sizeof(int *));

должно быть

a = (int **)malloc(sizeof(int *)*cats); /* size for cats pointers rather than just 1 */

и

for (i=0; i<cats; i++)
   for (j=0; j<loops; j++) {
       a[i] = (int *)malloc(sizeof(int));
       a[i][j] = i+j;
   }

должно быть

for (i=0; i<cats; i++) { /* '{' added */
    a[i] = (int *)malloc(sizeof(int) * loops); /* moved and loops int rather than 1 */
    for (j=0; j<loops; j++) {
        a[i][j] = i+j;
    }
} /* '}' added */

С этим исправлением, компиляция и выполнение в valgrind :

pi@raspberrypi:/tmp $ gcc -g -pedantic -Wextra -Wall c.c
pi@raspberrypi:/tmp $ valgrind ./a.out
==5795== Memcheck, a memory error detector
==5795== Copyright (C) 2002-2017, and GNU GPL'd, by Julian Seward et al.
==5795== Using Valgrind-3.13.0 and LibVEX; rerun with -h for copyright info
==5795== Command: ./a.out
==5795== 
0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 
2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 
==5795== 
==5795== HEAP SUMMARY:
==5795==     in use at exit: 372 bytes in 4 blocks
==5795==   total heap usage: 5 allocs, 1 frees, 1,396 bytes allocated
==5795== 
==5795== LEAK SUMMARY:
==5795==    definitely lost: 12 bytes in 1 blocks
==5795==    indirectly lost: 360 bytes in 3 blocks
==5795==      possibly lost: 0 bytes in 0 blocks
==5795==    still reachable: 0 bytes in 0 blocks
==5795==         suppressed: 0 bytes in 0 blocks
==5795== Rerun with --leak-check=full to see details of leaked memory
==5795== 
==5795== For counts of detected and suppressed errors, rerun with: -v
==5795== ERROR SUMMARY: 0 errors from 0 contexts (suppressed: 6 from 3)
p

конечно, у вас есть утечки памяти

0 голосов
/ 07 апреля 2019

Существуют различные способы выделения матрицы 2D int:

  • Вы можете выделить массив массивов int.

  • Вы можете выделить массив указателей для массивов int и выделить отдельный массив int для каждого из этих указателей.Это то, что вы пробовали, но размеры выделения неверны.

Массив указателей на массивы int должен иметь размер cats * sizeof(int *).и каждый массив int должен быть размещен во внешнем цикле размером loops * sizeof(int), а не во внутреннем цикле, который вы сделали.

Кроме того, вы должны освободить эти объекты перед выходом из программы, чтобыValgrind может видеть чистую пластину.

Вот исправленная версия:

#include <stdio.h>
#include <stdlib.h> 

#define cats 3
#define loops 30

int main() {
    int **a;
    int i, j;

    a = malloc(cats * sizeof(int *));

    for (i = 0; i < cats; i++) {
        a[i] = malloc(loops * sizeof(int));
        for (j = 0; j < loops; j++) {
            a[i][j] = i + j;
        }
    }

    for (i = 0; i < cats; i++) {
        for (j = 0; j < loops; j++)
            printf("%d ", a[i][j]);
        printf("\n");
    }

    for (i = 0; i < cats; i++)
        free(a[i]);
    free(a);

    return 0;
}

Этот стиль косвенной 2D матрицы обычно вызывает недовольство, потому что:

  • его сложнее и медленнее распределять, особенно если вы хотите избежать утечек памяти при частичном сбое выделения, что здесь не делается.
  • обычно он менее эффективен для доступа, поскольку компиляторгенерирует 2 чтения из памяти для чтения значения вместо потенциального умножения и одного чтения.
  • его сложнее освободить.

Есть некоторые преимущества, ни одно из которых не требуетсяздесь:

  • можно не выделять несколько строк
  • можно делить одинаковые строки (за счет усложнения dealloca))
  • строки могут иметь разные размеры, но это больше не матрица
  • строки могут быть эффективно заменены.

Другой подход, который считаетсятолько действительная 2D матрица , использует одиночное распределение и несколько менее очевидный тип для указателя матрицы:

    int (*a)[loops] = malloc(sizeof(int) * loops * cats);

, который можно записать:

    int (*a)[loops] = malloc(sizeof(*a) * cats);

иливозможно более читабельно:

    int (*a)[loops] = malloc(sizeof(int[cats][loops]));

a указывает на массив cats массивов loops int.

Этот подход был возможен только в ранних версиях C, еслиloops было константным выражением, как и в вашей программе, но это ограничение было снято в C99.

Вот упрощенная версия вашей программы с таким подходом:

#include <stdio.h>
#include <stdlib.h> 

#define cats 3
#define loops 30

int main() {
    int (*a)[loops] = malloc(sizeof(*a) * loops);

    if (a != NULL) {
        for (i = 0; i < cats; i++) {
            for (j = 0; j < loops; j++)
                a[i][j] = i + j;
        }
        for (i = 0; i < cats; i++) {
            for (j = 0; j < loops; j++)
                printf("%d ", a[i][j]);
            printf("\n");
        }
        free(a);
    }
    return 0;
}
0 голосов
/ 07 апреля 2019

a = (int **)malloc(sizeof(int *)); выделяет место для одного указателя динамически и возвращает указатель на него.Вы не можете получить доступ к a[i] для любого i> 0, потому что оно выйдет за пределы.Чтобы выделить место для нескольких указателей, необходимо передать соответствующий размер malloc.

Либо ...

a = malloc(sizeof*a * cats);

... или ...

a = malloc(sizeof (int*[cats]));

... сделаю.Кроме того, вы можете обойтись без зубчатого массива, поскольку все ваши экстенты равны, и распределить все это в одном блоке:

int (*a)[loops] = malloc(sizeof (int[cats][loops]));

Меньшее распределение означает меньше шансов ошибиться.

...