关键部分和关闭/销毁？

Question

当您有一个包含临界区 CS 和指向另一个对象 OBJ2 的指针的对象 OBJ1 时，我无法弄清楚正确的关闭过程是什么

假设你有两个函数 A 和 B。

A进入临界区，修改OBJ2中的数据，离开临界区。 B 是一个关闭/销毁程序，应该销毁所有东西（OBJ2、CS 和 OBJ1）

我的问题是：

您如何解决由于 B 已经进入临界区而导致 A 等待进入临界区的场景？ B会摧毁一切。如果“破坏”（出于某种有趣的原因）导致/允许 A 进入临界区，则 A 将生成异常，因为它正在尝试访问不再存在的对象。如果“破坏”没有导致 A 进入临界区，那么 A 将永远挂起等待进入临界区。

销毁包含临界区和指向对象的指针的类实例的正确方法是什么？

对我来说，似乎唯一的解决方案是将关键部分作为全局变量，而数据可以放在“类”（结构）中......但我不喜欢那个解决方案！

我使用的语言是 C。我知道 C 中没有类。我有结构的实例。

例子：

typedef struct classX_t
{
   CRITICAL_SECTION cs;
   classY* thisY;
} classX;


typedef struct classY_t
{
   int some_variable;
} classY;

我创建了一个 X 的实例和一个 Y 的实例。变量 'thisY' 指向 Y 的实例。我的两个函数是：

void funcA(classX* thisClassX)
{
   if (thisClassX == NULL) return;
   EnterCriticalSection(thisClassX->cs);

   thisClassX->thisY->some_variable++;

   LeaveCriticalSection(thisClass->cs);
}


void funcB(classX* thisClassX)
{
   if (thisClassX == NULL) return;
   EnterCriticalSection(thisClassX->cs);
   /* free stuff here */
   free(thisClassX->thisY);
   DeleteCriticalSection(thisClass->cs);
   /* and destroy instance */
   free(thisClassX)
}

如果 funcA 正在等待进入临界区，因为 B 已经进入了临界区，那么我看不出 funcA 如何正确执行而不会导致问题。有什么办法解决这个问题？

编辑：

也许我需要某种“锁定”计数；即当某些代码进入临界区时计数器增加 1 并在代码离开临界区时递减？如果我有，那么关闭程序可以检查计数以查看它是否大于 1（表明其他一些代码正在等待进入临界区），如果计数大于 1，那么它可以休眠直到计数消失回到 1。所以这就是我的建议：

每个函数都这样做：

void someFunction(...)
{
    if (thisClassX == NULL) return;
    thisClassX->counter++;
    EnterCriticalSection(thisClassX->cs);
    /* do something */
    LeaveCriticalSection(thisClassX->cs);
    thisClassX->counter--;
}

Answer 1

你可以做的是添加一个开关（一个整数或任何你喜欢的），它告诉每个函数它是否仍然有效/允许改变你的 OBJ。