-2

我正在尝试创建线程库。为此，我正在尝试实现队列来存储要执行的待处理线程。

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

   typedef struct {
       ucontext_t context;
   }MyThread;

   #define MAX 20
   MyThread queue[MAX];
   int rear=0,front=0;

   void addToQueue(MyThread t)
   {
       if(rear==MAX)
       {
           printf("Queue is full!");
           return;
       }        
       queue[front]=t;
       front+=1;
   }

   MyThread* removeFromQueue()
   {       
       if(front==rear)
       return NULL;        
       rear=rear+1;
       return &(queue[rear-1]);       
   }

   MyThread umain;

   void MyThreadInit (void(*start_funct)(void *), void *args)
   {
    getcontext(&(umain.context));
    char p[64000];
       umain.context.uc_stack.ss_sp =(char *)p;
       umain.context.uc_stack.ss_size = sizeof(p);
       umain.context.uc_link =NULL;
       makecontext(&umain.context,(void(*)(void))start_funct,1,args);
       setcontext(&(umain.context));

   }

    MyThread MyThreadCreate (void(*start_funct)(void *), void *arg)
   {
         MyThread newthread;
       char args[10000];
        getcontext(&(newthread.context));
        newthread.context.uc_stack.ss_sp =(char *)args;
        newthread.context.uc_stack.ss_size = sizeof(args);
        newthread.context.uc_link =NULL;
        makecontext(&newthread.context,(void(*)(void))start_funct,1,arg);
        addToQueue(newthread);

        return newthread;
    }         
    void MyThreadYield(void)
    {
        MyThread* a=removeFromQueue();
        MyThread save;
        if(a != NULL)
        {
         printf("Before yielding the context \n");

         getcontext(&(save.context));
         addToQueue(save);
         //swapcontext(&umain.context,&(a->context));
         setcontext(a);    
         printf("After the swapping the context \n");
        }
        else
        { printf("NULL!!! \n");
        }
    }

    void func1(void *arg)
    {
     printf("func1started \n");        
     MyThreadYield();
    }

    void func2(void *arg)
    {
     printf("func2started \n");
     MyThreadYield();         
    }
    void func12(void *arg)
    {
     printf("func12started \n");
     MyThreadCreate(func1,arg);
     MyThreadCreate(func2,arg);
     MyThreadYield();

    }

    int main(void)
    {
        int i=0;
        printf("inside the main function \n");
        MyThreadInit(func12,&i);

        return 0;
    }

     Output :
     inside the main function
     func12started
     Before yielding the context
     func1started
     Before yielding the context
     func2started
     Before yielding the context
     func1started
     Before yielding the context
     Segmentation fault

我之所以提到队列，是因为我尝试通过从“MyThreadYield”函数中删除下面的代码来进行试验，它工作正常，但没有达到预期的功能。
getcontext(&(save.context)); 添加队列（保存）；

4

1 回答 1

0

一方面，此时您的队列实现不是线程安全的。您的问题强烈表明此代码将在多线程环境中使用。拥有一个非线程安全的队列会给你错误的结果，并且可能会发生奇怪的事情（比如removeFromQueue()将相同的东西返回给两个不同的线程，或者addToQueue()在相同的位置插入两个项目）。

除此之外，您的队列实现永远不会工作。您没有front正确使用rear。仔细看插入函数：

void addToQueue(MyThread t)
{
    if (rear==MAX)
    {
        printf("Queue is full!");
        return;
    }        
    queue[front]=t;
    front+=1;
}

您检查是否rear是MAX，但是，您写入queue[front]并递增front。如果我只是继续向队列中添加项目，最终达到缓冲区的限制怎么办？rear将始终为 0，front将无限增长，并且您的函数将超出queue. 这可能是您的分段错误错误的原因。

我想你想检查一下front：

void addToQueue(MyThread t)
{
    if (front == MAX)
    {
        printf("Queue is full!");
        return;
    }        
    queue[front]=t;
    front+=1;
}

removeFromQueue()只要是一个全局数组，代码表面上看起来queue还可以（因为您要返回一个指针，并且不能返回指向局部变量的指针）。但是，您必须从这个答案中得出的一个最重要的事实是，您的队列实现不会长期扩展。基于数组的队列是一个糟糕的选择。当阵列中的空间不足时，您会怎么做？如果我插入MAX元素，然后删除 2 或 3，并尝试插入更多元素怎么办？您的代码会说队列已满，因为它只允许您MAX总共插入元素。当一个元素被移除时，你可以将队列中的每个元素都向左移动，但这很疯狂，而且效率极低。或者你可以增加front模数MAX，允许rear要领先front，只要你知道MAX最多可以插入元素。那会更好，但它会破坏 中的逻辑removeFromQueue()，因为在您操作队列时，较早返回的指针可能会指向不同的线程结构 - 完全是灾难。绝对不是你想要的。

一个更好的方法是使用链表来实现这一点，在该链表中保留指向头部的指针和指向尾部的指针。看看http://en.wikipedia.org/wiki/Queue_(abstract_data_type)#Queue_implementation

于 2014-09-02T17:58:26.820 回答