处理内存分配时的保护标志

Question

i在以下代码中了解了对后卫标志的麻烦。

// User-defined operator new.  
    void *operator new( size_t stAllocateBlock ) {  
       static int fInOpNew = 0;   // Guard flag.  
       if ( fLogMemory && !fInOpNew ) {  
          fInOpNew = 1;  
          clog << "Memory block " << ++cBlocksAllocated  
              << " allocated for " << stAllocateBlock  
              << " bytesn";  
          fInOpNew = 0;  
       }  
       return malloc( stAllocateBlock );  
    } 

有人帮助理解这一点吗？

谢谢

编辑：感谢您清除我的疑问，我现在了解这一点。我从这里得到了此代码：https：//msdn.microsoft.com/en-us/library/kftdy56f.aspx，他们也使用了相同的后卫进行删除。原因是相同的吗？

请检查我的代码，并分享您的建议以改进代码。另外，如何使用示例保护多线程中的代码？我真的很感激这一点，它将清除我对线程安全代码的理解，也可以很好地了解内存管理。

谢谢

我的代码版本：

/*
 * Memory leak detector
 */
#include <iostream> // for cout, clog
#include <new>      // for size_t
using std::clog;
using std::cout;

/* Logging toggle, 0x0 - No, 0xFF - Yes */
char    logMemory;
/* Number of Memory blocks allocated */
int     memoryBlocksAllocated;
void* AllocateMemory(size_t size)
{
    /*
     * Guard flag for protecting from reentrancy (recursion),
     * as clog also make use of new operator for
     * allocating memory to the buffer.
     */
    static char InOperationNew = 0x0;
    if ( logMemory && !InOperationNew ) {
        InOperationNew = 0xFF;
        clog << "Memory block allocated " << ++memoryBlocksAllocated
        <<" for requested size " << size << " bytesn";
        InOperationNew = 0x0;
    }
    return malloc(size);
}
void ReleaseMemory(void *ptr)
{
    /*
     * Guard flag for protecting from reentrancy (recursion),
     * as clog also make use of new operator for
     * allocating memory to the buffer.
     */
    static char InOperationDelete = 0x0;

    if ( logMemory && !InOperationDelete ) {
        InOperationDelete = 0xFF;
        clog << "Memory block deallocated " << memoryBlocksAllocated-- << "n";
        InOperationDelete = 0x0;
    }
    free(ptr);
}
/* User defined(overriden) global scope new operator */
void* operator new (size_t size)
{
    return AllocateMemory(size);
}
/* User defined(overriden) global scope new[] array operator */
void* operator new[] (size_t size)
{
    return AllocateMemory(size);
}

/* User defined(overriden) global scope delete operator */
void operator delete (void *ptr)
{
    ReleaseMemory(ptr);
}
/* User defined(overriden) global scope delete[] array operator */
void operator delete[] (void *ptr)
{
    ReleaseMemory(ptr);
}
int main()
{
    logMemory = 0xFF;   // Enable logging
    // Allocate and destroy an array of objects
    char *objArray = new char[2];
    if ( objArray )
    {
        delete[] objArray;
    }
    else {
        cout << "Memory allocation failedn";
        return -1;
    }
    // Allocate and destroy an object
    char *obj = new char;
    if ( obj )
    {
        delete obj;
    }
    else {
        cout << "Memory allocation failedn";
        return -1;
    }
    logMemory = 0x0;    // Disable logging
    return 0;
}

Answer 1

据我了解，这是试图避免通过多个线程对日志流进行撞击。

说两个线程同时调用该功能。正在打印的消息将混合在一起（取决于运行时使用的缓冲机制）。

为了避免这种情况，程序员创建了一个static标志。函数本地的静态变量在所有调用中共享。

目的是，当一个呼叫记录消息时，它将首先将标志设置为1。这将不允许其他线程输入。（查看是否！finopnew）

打印完成后，它将标志设置回0。

尽管这种机制避免了种族状况，而无法工作。由于两个线程可以输入IF条件，然后可以设置标志。

程序员需要使用比较和交换之类的原子原始图，以确保对关键部分的保护。

也使用静态变量是不安全的。如果两个线程同时写入它，则可以获得不等于0或1的值。

编辑：正如托比·斯佩特（Toby Speight）所建议的那样，标志的另一个目的是避免重新进入。称为＆lt;＆lt;Clog上的操作员也是可能使用新操作员的功能（可能是同一新操作员）。这将导致此功能的无限递归。标志确保在＆lt;＆lt;＆lt; lt; lt; lt; lt; lt; lt; lt; lt; lt; lt; lt; lt; lt; lt; lt; lt; lt; lt; lt; lt;操作员致电新。

该程序是单线螺纹的假设不会带来种族条件。