Question

/*language C code*/

#include "windows.h"

typedef struct object_s
{
    SRWLOCK lock;
    int data;
} object_t, *object_p; /*own and pointer type*/

void thread(object_p x)
{
    AcquireSRWLockExclusive(&x->lock);
    //...do something that could probably change x->data value to 0
    if(x->data==0)
        free(x);
    else
        ReleaseSRWLockExclusive(&x->lock);
}

void main()
{
    int i;
    object_p object=(object_p)malloc(sizeof(object_t));

    InitializeSRWLock(&object->lock);

    for(i=0;i<3;i++)
     CreateThread(0,0,thread,object,0);
}

正如你在上面的代码中可以看出的那样，我必须要做的是让一个线程有条件地释放其他两个可能阻塞的对象。上面的代码显然是有缺陷的，因为如果对象与锁一起被释放，那么所有阻塞线程都无法给我们带来任何错误。

以下解决方案

/*language C code*/

#include "windows.h"

typedef struct object_s
{
    /*change: move lock to stack in main()*/
    int data;
} object_t, *object_p; /*own and pointer type*/

void thread(void * x)
{
    struct {
    PSRWLOCK l;
    object_p o;
    } * _x=x;
    AcquireSRWLockExclusive(_x->l);
    //...do something that could probably change x->data value to 0
    if(_x->o->data==0)
        free(_x->o);
    ReleaseSRWLockExclusive(&x->lock);
}

void main()
{
    int i;
    SRWLOCK lock; /*lock over here*/
    object_p object=(object_p)malloc(sizeof(object_t));

    InitializeSRWLock(&lock);

    /*pack for thread context*/
    struct
    {
        PSRWLOCK l;
        object_p o;
    } context={&lock, object};

    for(i=0;i<3;i++)
     CreateThread(0,0,thread,&context,0);
}

在这种情况下有效，但在我的最终项目中不适用，因为实际上有一个动态链接的对象列表。通过应用此解决方案，这意味着必须相应地存在锁定列表，每个锁定一个对象，而且，当某个对象被释放时，其锁定必须同时设置为空闲。与第一个代码部分相比，没有什么新东西。

现在我想知道是否有替代解决方案。非常感谢你！

Answer 1

解决方案是不将锁与数据一起分配。我建议您将数据移出该结构，并用指向数据的指针替换它。然后，您的链接列表可以首先释放数据，然后释放节点，而不会出现任何问题。这是一些伪代码：

typedef struct 
{
  lock_t lock;
  int*   data_ptr;
} something_t;

void init_something (something_t* thing, ...)
{
  thing->lock = init_lock();
  thing->data_ptr = malloc(...);  // whatever the data is supposed to be
}

void free_something (somthing_t* thing)
{
  lock(thing->lock);
    free(thing->data_ptr);
    thing->data_ptr = NULL;
  unlock(thing->lock);
}

...

void linked_list_delete_node (...)
{
  free_something(node_to_delete->thing);
  free(node_to_delete);
}

...

void thread (void* x)
{
  lock(x->lock);
    //...do something that could probably change x->data_ptr->data... to 0
    if(x->data_ptr->data == 0)
    {
      free_something(x->data_ptr->data);
    }
  unlock(x->lock);
}



 AcquireSRWLockExclusive(lock);
  if(_x->o->data==0)
    free(_x);
 ReleaseSRWLockExclusive(lock);

作为旁注，Windows的C程序永远不会返回void。托管的C程序必须始终返回int。您的程序不能在C编译器上编译。

此外，CreateThread（）需要一个函数指针，该函数指向一个返回32位值并将void指针作为参数的函数。你传递了一种不同类型的函数指针，在C中不允许函数指针强制转换，也不确定如果它获得的函数指针与预期不同，Windows会执行什么样的疯狂行为。您调用未定义的行为。这可能会导致程序崩溃或以意外或随机方式运行。

您需要将线程功能更改为DWORD WINAPI thread (LPVOID param);

使用Windows slim读/写锁

1 个答案: