কীভাবে একটি "দ্বিগুণ মুক্ত বা দুর্নীতি" ত্রুটিটি চিহ্নিত করা যায়

Question 1

আমি যখন আমার (সি ++) প্রোগ্রামটি চালাচ্ছি তখন এটি ত্রুটিযুক্ত হয়ে ক্রাশ হয়।

* গ্লিবিসি সনাক্ত হয়েছে * ./লোড: ডাবল ফ্রি বা দুর্নীতি (! পূর্ব): 0x0000000000006650 ***

আমি কীভাবে ত্রুটিটি সনাক্ত করতে পারি?

আমি std::coutসাফল্য ছাড়াই, মুদ্রণ ( ) বিবৃতি ব্যবহার করার চেষ্টা করেছি । এটাকে gdbআরও সহজ করতে পারব?

Question 2

আপনি যদি গ্লিবিসি ব্যবহার করে থাকেন তবে আপনি MALLOC_CHECK_পরিবেশের পরিবর্তনশীলটিকে সেট করতে পারেন 2, এটি গ্লাবসিটির একটি ত্রুটি সহনীয় সংস্করণ ব্যবহার mallocকরবে, যার ফলে ডাবল ফ্রি হওয়ার পরে আপনার প্রোগ্রামটি বাতিল করতে হবে।

set environment MALLOC_CHECK_ 2আপনার প্রোগ্রামটি চালানোর আগে কমান্ডটি ব্যবহার করে আপনি gdb থেকে সেট করতে পারেন ; free()কলটি ব্যাকট্রেসে দৃশ্যমান সহ প্রোগ্রামটি বাতিল করা উচিত ।

দেখতে জন্য man পৃষ্ঠাmalloc() আরও তথ্যের জন্য

Question 3

কমপক্ষে দুটি সম্ভাব্য পরিস্থিতি রয়েছে:

আপনি একই সত্তা দু'বার মুছে ফেলছেন
আপনি এমন কিছু মুছছেন যা বরাদ্দ ছিল না

প্রথমটির জন্য আমি দৃ deleted়ভাবে সমস্ত মুছে ফেলা পয়েন্টারগুলিকে NULL-ing প্রস্তাব দিচ্ছি।

আপনার কাছে তিনটি বিকল্প রয়েছে:

ওভারলোড নতুন এবং বরাদ্দগুলি মুছুন এবং ট্র্যাক করুন
হ্যাঁ, জিডিবি ব্যবহার করুন - তারপরে আপনি আপনার ক্র্যাশ থেকে একটি ব্যাকট্র্যাস পাবেন এবং এটি সম্ভবত খুব সহায়ক হবে
প্রস্তাবিত হিসাবে - ভালগ্র্যান্ড ব্যবহার করুন - এটি প্রবেশ করা সহজ নয় তবে ভবিষ্যতে এটি আপনার হাজার হাজার গুণ সাশ্রয় করবে ...

Question 4

আপনি জিডিবি ব্যবহার করতে পারেন তবে আমি প্রথমে ভালগ্রাইন্ডটি চেষ্টা করব । দেখুন দ্রুত সূচনা নির্দেশিকা ।

সংক্ষেপে, ভালগ্রাইন্ড আপনার প্রোগ্রামটি ইনস্টল করে যাতে এটি গতিশীল বরাদ্দ মেমরির ব্যবহারে বিভিন্ন ধরণের ত্রুটি সনাক্ত করতে পারে যেমন ডাবল ফ্রি এবং মেমরির বরাদ্দকৃত ব্লকের (যা হিপকে দূষিত করতে পারে) শেষের দিকে লিখে দেয়। তা সনাক্ত করার এবং ত্রুটি রিপোর্ট যত তাড়াতাড়ি তারা ঘটতে , এইভাবে আপনি সমস্যার কারণ সরাসরি নির্দেশ।

Question 5

তিনটি মূল নিয়ম:

NULLবিনামূল্যে পরে পয়েন্টার সেট করুন
NULLমুক্ত করার আগে পরীক্ষা করুন ।
শুরুতে পয়েন্টার NULLশুরু করুন।

এই তিনটির সংমিশ্রণটি বেশ ভালভাবে কাজ করে।

Question 6

আপনি valgrindএটি ডিবাগ করতে ব্যবহার করতে পারেন ।

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

int main()
{
 char *x = malloc(100);
 free(x);
 free(x);
 return 0;
}

[sand@PS-CNTOS-64-S11 testbox]$ vim t1.c
[sand@PS-CNTOS-64-S11 testbox]$ cc -g t1.c -o t1
[sand@PS-CNTOS-64-S11 testbox]$ ./t1
*** glibc detected *** ./t1: double free or corruption (top): 0x00000000058f7010 ***
======= Backtrace: =========
/lib64/libc.so.6[0x3a3127245f]
/lib64/libc.so.6(cfree+0x4b)[0x3a312728bb]
./t1[0x400500]
/lib64/libc.so.6(__libc_start_main+0xf4)[0x3a3121d994]
./t1[0x400429]
======= Memory map: ========
00400000-00401000 r-xp 00000000 68:02 30246184                           /home/sand/testbox/t1
00600000-00601000 rw-p 00000000 68:02 30246184                           /home/sand/testbox/t1
058f7000-05918000 rw-p 058f7000 00:00 0                                  [heap]
3a30e00000-3a30e1c000 r-xp 00000000 68:03 5308733                        /lib64/ld-2.5.so
3a3101b000-3a3101c000 r--p 0001b000 68:03 5308733                        /lib64/ld-2.5.so
3a3101c000-3a3101d000 rw-p 0001c000 68:03 5308733                        /lib64/ld-2.5.so
3a31200000-3a3134e000 r-xp 00000000 68:03 5310248                        /lib64/libc-2.5.so
3a3134e000-3a3154e000 ---p 0014e000 68:03 5310248                        /lib64/libc-2.5.so
3a3154e000-3a31552000 r--p 0014e000 68:03 5310248                        /lib64/libc-2.5.so
3a31552000-3a31553000 rw-p 00152000 68:03 5310248                        /lib64/libc-2.5.so
3a31553000-3a31558000 rw-p 3a31553000 00:00 0
3a41c00000-3a41c0d000 r-xp 00000000 68:03 5310264                        /lib64/libgcc_s-4.1.2-20080825.so.1
3a41c0d000-3a41e0d000 ---p 0000d000 68:03 5310264                        /lib64/libgcc_s-4.1.2-20080825.so.1
3a41e0d000-3a41e0e000 rw-p 0000d000 68:03 5310264                        /lib64/libgcc_s-4.1.2-20080825.so.1
2b1912300000-2b1912302000 rw-p 2b1912300000 00:00 0
2b191231c000-2b191231d000 rw-p 2b191231c000 00:00 0
7ffffe214000-7ffffe229000 rw-p 7ffffffe9000 00:00 0                      [stack]
7ffffe2b0000-7ffffe2b4000 r-xp 7ffffe2b0000 00:00 0                      [vdso]
ffffffffff600000-ffffffffffe00000 ---p 00000000 00:00 0                  [vsyscall]
Aborted
[sand@PS-CNTOS-64-S11 testbox]$


[sand@PS-CNTOS-64-S11 testbox]$ vim t1.c
[sand@PS-CNTOS-64-S11 testbox]$ cc -g t1.c -o t1
[sand@PS-CNTOS-64-S11 testbox]$ valgrind --tool=memcheck ./t1
==20859== Memcheck, a memory error detector
==20859== Copyright (C) 2002-2009, and GNU GPL'd, by Julian Seward et al.
==20859== Using Valgrind-3.5.0 and LibVEX; rerun with -h for copyright info
==20859== Command: ./t1
==20859==
==20859== Invalid free() / delete / delete[]
==20859==    at 0x4A05A31: free (vg_replace_malloc.c:325)
==20859==    by 0x4004FF: main (t1.c:8)
==20859==  Address 0x4c26040 is 0 bytes inside a block of size 100 free'd
==20859==    at 0x4A05A31: free (vg_replace_malloc.c:325)
==20859==    by 0x4004F6: main (t1.c:7)
==20859==
==20859==
==20859== HEAP SUMMARY:
==20859==     in use at exit: 0 bytes in 0 blocks
==20859==   total heap usage: 1 allocs, 2 frees, 100 bytes allocated
==20859==
==20859== All heap blocks were freed -- no leaks are possible
==20859==
==20859== For counts of detected and suppressed errors, rerun with: -v
==20859== ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 4 from 4)
[sand@PS-CNTOS-64-S11 testbox]$


[sand@PS-CNTOS-64-S11 testbox]$ valgrind --tool=memcheck --leak-check=full ./t1
==20899== Memcheck, a memory error detector
==20899== Copyright (C) 2002-2009, and GNU GPL'd, by Julian Seward et al.
==20899== Using Valgrind-3.5.0 and LibVEX; rerun with -h for copyright info
==20899== Command: ./t1
==20899==
==20899== Invalid free() / delete / delete[]
==20899==    at 0x4A05A31: free (vg_replace_malloc.c:325)
==20899==    by 0x4004FF: main (t1.c:8)
==20899==  Address 0x4c26040 is 0 bytes inside a block of size 100 free'd
==20899==    at 0x4A05A31: free (vg_replace_malloc.c:325)
==20899==    by 0x4004F6: main (t1.c:7)
==20899==
==20899==
==20899== HEAP SUMMARY:
==20899==     in use at exit: 0 bytes in 0 blocks
==20899==   total heap usage: 1 allocs, 2 frees, 100 bytes allocated
==20899==
==20899== All heap blocks were freed -- no leaks are possible
==20899==
==20899== For counts of detected and suppressed errors, rerun with: -v
==20899== ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 4 from 4)
[sand@PS-CNTOS-64-S11 testbox]$

একটি সম্ভাব্য সমাধান:

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

int main()
{
 char *x = malloc(100);
 free(x);
 x=NULL;
 free(x);
 return 0;
}

[sand@PS-CNTOS-64-S11 testbox]$ vim t1.c
[sand@PS-CNTOS-64-S11 testbox]$ cc -g t1.c -o t1
[sand@PS-CNTOS-64-S11 testbox]$ ./t1
[sand@PS-CNTOS-64-S11 testbox]$

[sand@PS-CNTOS-64-S11 testbox]$ valgrind --tool=memcheck --leak-check=full ./t1
==20958== Memcheck, a memory error detector
==20958== Copyright (C) 2002-2009, and GNU GPL'd, by Julian Seward et al.
==20958== Using Valgrind-3.5.0 and LibVEX; rerun with -h for copyright info
==20958== Command: ./t1
==20958==
==20958==
==20958== HEAP SUMMARY:
==20958==     in use at exit: 0 bytes in 0 blocks
==20958==   total heap usage: 1 allocs, 1 frees, 100 bytes allocated
==20958==
==20958== All heap blocks were freed -- no leaks are possible
==20958==
==20958== For counts of detected and suppressed errors, rerun with: -v
==20958== ERROR SUMMARY: 0 errors from 0 contexts (suppressed: 4 from 4)
[sand@PS-CNTOS-64-S11 testbox]$

ভালগ্রাইন্ড লিঙ্কটি ব্যবহার করে ব্লগটি দেখুন

Question 7

আধুনিক সি ++ সংকলকগুলির সাহায্যে আপনি স্যানিটাইজারগুলি ট্র্যাক করতে ব্যবহার করতে পারেন ।

উদাহরণ উদাহরণ:

আমার প্রোগ্রাম:

$cat d_free.cxx 
#include<iostream>

using namespace std;

int main()

{
   int * i = new int();
   delete i;
   //i = NULL;
   delete i;
}

ঠিকানা স্যানিটাইজারগুলির সাথে সংকলন করুন:

# g++-7.1 d_free.cxx -Wall -Werror -fsanitize=address -g

এক্সিকিউট :

# ./a.out 
=================================================================
==4836==ERROR: AddressSanitizer: attempting double-free on 0x602000000010 in thread T0:
    #0 0x7f35b2d7b3c8 in operator delete(void*, unsigned long) /media/sf_shared/gcc-7.1.0/libsanitizer/asan/asan_new_delete.cc:140
    #1 0x400b2c in main /media/sf_shared/jkr/cpp/d_free/d_free.cxx:11
    #2 0x7f35b2050c04 in __libc_start_main (/lib64/libc.so.6+0x21c04)
    #3 0x400a08  (/media/sf_shared/jkr/cpp/d_free/a.out+0x400a08)

0x602000000010 is located 0 bytes inside of 4-byte region [0x602000000010,0x602000000014)
freed by thread T0 here:
    #0 0x7f35b2d7b3c8 in operator delete(void*, unsigned long) /media/sf_shared/gcc-7.1.0/libsanitizer/asan/asan_new_delete.cc:140
    #1 0x400b1b in main /media/sf_shared/jkr/cpp/d_free/d_free.cxx:9
    #2 0x7f35b2050c04 in __libc_start_main (/lib64/libc.so.6+0x21c04)

previously allocated by thread T0 here:
    #0 0x7f35b2d7a040 in operator new(unsigned long) /media/sf_shared/gcc-7.1.0/libsanitizer/asan/asan_new_delete.cc:80
    #1 0x400ac9 in main /media/sf_shared/jkr/cpp/d_free/d_free.cxx:8
    #2 0x7f35b2050c04 in __libc_start_main (/lib64/libc.so.6+0x21c04)

SUMMARY: AddressSanitizer: double-free /media/sf_shared/gcc-7.1.0/libsanitizer/asan/asan_new_delete.cc:140 in operator delete(void*, unsigned long)
==4836==ABORTING

স্যানিটাইজারগুলির সম্পর্কে আরও জানতে আপনি এটি বা এটি বা যে কোনও আধুনিক সি ++ সংকলক (যেমন জিসিসি, কলং ইত্যাদি) ডকুমেন্টেশনগুলি পরীক্ষা করতে পারেন ।

Question 8

আপনি কি বুস্টের মতো স্মার্ট পয়েন্টার ব্যবহার করছেন shared_ptr? যদি তাই হয়, আপনি কল করে সরাসরি যে কোনও জায়গায় কাঁচা পয়েন্টার ব্যবহার করছেন কিনা তা পরীক্ষা করে দেখুন get()। আমি এটি বেশ সাধারণ সমস্যা বলে মনে করেছি।

উদাহরণস্বরূপ, এমন একটি দৃশ্যের কল্পনা করুন যেখানে আপনার কোডটিতে একটি কাঁচা পয়েন্টার (সম্ভবত কলব্যাক হ্যান্ডলার হিসাবে বলুন) পাস হয়েছে। রেফারেন্স গণনা ইত্যাদির সাথে লড়াই করার জন্য আপনি এটি কোনও স্মার্ট পয়েন্টারকে অর্পণ করার সিদ্ধান্ত নিতে পারেন Big আপনার কোডটি স্মার্ট পয়েন্টার দিয়ে হয়ে গেলে এটি এটি ধ্বংস করে দেয় এবং স্মৃতিটিকে বিনষ্ট করার চেষ্টা করবে যেহেতু এটি মনে করে যে অন্য কারও প্রয়োজন নেই, তবে কলিং কোডটি এটি মুছে ফেলার চেষ্টা করবে এবং আপনি দ্বিগুণ হয়ে যাবেন বিনামূল্যে সমস্যা

অবশ্যই, এটি এখানে আপনার সমস্যা নাও হতে পারে। এটি এখানে সবচেয়ে সহজ একটি উদাহরণ যা এটি কীভাবে ঘটতে পারে তা দেখায়। প্রথম মুছুন ঠিক আছে তবে সংকলকটি অনুভূত করে যে এটি ইতিমধ্যে সেই মেমরিটি মুছে ফেলেছে এবং একটি সমস্যা তৈরি করে। এই কারণেই মুছে ফেলার সাথে সাথে 0 নির্দেশকের কাছে নির্ধারিত করা ভাল ধারণা।

int main(int argc, char* argv[])
{
    char* ptr = new char[20];

    delete[] ptr;
    ptr = 0;  // Comment me out and watch me crash and burn.
    delete[] ptr;
}

সম্পাদনা: পরিবর্তিত deleteহয়েছে delete[], কারণ পিটিআরটি একটি চরের অ্যারে is

Question 9

আমি জানি এটি একটি খুব পুরানো থ্রেড, তবে এটি এই ত্রুটির জন্য শীর্ষস্থানীয় গুগল অনুসন্ধান এবং কোনও প্রতিক্রিয়া ত্রুটির একটি সাধারণ কারণ উল্লেখ করে না।

যা ইতিমধ্যে বন্ধ করে দেওয়া কোনও ফাইলটি বন্ধ করে দিচ্ছে।

আপনি যদি মনোযোগ দিচ্ছেন না এবং দুটি আলাদা ফাংশন একই ফাইলটি বন্ধ করে রাখেন তবে দ্বিতীয়টি এই ত্রুটিটি উত্পন্ন করবে।