编程范式 18 冰淇淋商店

最新推荐文章于 2025-07-18 18:59:31 发布

原创最新推荐文章于 2025-07-18 18:59:31 发布 · 447 阅读

1 ·

CC 4.0 BY-SA版权

文章标签：

#编程

编程范式专栏收录该内容

23 篇文章

订阅专栏

本文介绍了一个使用多线程技术模拟冰淇淋店运作过程的程序案例。案例中包括经理、店员、顾客及收银员四种角色，通过信号量协调各角色间的交互，确保资源的有效分配和使用。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

clerks
40 cones
10 customers 每人吃1-4个冰淇淋 FIFO
manager不同意要重做同时只能有一个clerk和manager见面
cashier
需要四类线程

manager
clerks
customers
cashier

int main()
{
    int totalCones=0;
    InitThreadPackage();
    SetupSemaphores();
    for(int i=0;i<10;i++)
    {
        int numCones=RandomInteger(1,1);
        ThreadNew(,Customer,1,numCunstomers);
        totalCones+=numCones;
    }
    ThreadNew(,Cashier,0);
    ThreadNew(,Manager,1,totalCones);
    RunAllThreads();
    FreeSemaphores();
    return 0;
}

struct inspection{
    bool passed;//false
    Semaphore requested;//0
    Semaphore finished;//0
    Semphore lock;//1
}

void Manager(int totalConesNeeded)
{
    int numApproved=0;
    int numInsected=0;
    while(numApproved<totalConesNeeded)
    {
        sw(inspection<requested);
        numINspected++;
        inspection.passed=Random(1,0)
        //50%概率通过
        if(inspection.passed)
        {
            numApproved++;
        }
        ss(inspected.finished);
    }
}

void clerk(Semaphore semaToSignal)
{
    bool passed=false;
    while(!passed)
    {
        MakeCone();
        sw(inspection.lock);//semaphore wait
        ss(inspection.requested);//semaphore signal
        sw(inspection.finished);
        passed=inspection.passed;
        ss(inspection.lock);
    }
    ss(semaToSignal);
}

void Customer(int numCones)
{
    Brow X();//等店员做完
    Samphore clerkDone;
    for(int i=0;i<numCones;i++)
    {
        TN(,1,clerkDone);//ThreadNew
    }
    for(int i=0;i<numCones;i++)
    {
        sw(clerksDone);
    }
    SemaphoreFree(clerksDone);
    WalkToCashier();
    ss(line.requested);
    sw(line.lock);
    int place=line.number++;
    ss(line.lock);
    ss(line.requested);
    sw(line.customers[place]);
}

struct line{
    int number;//0
    Semaphore requested;//0
    Semaphore Customers[10];
    Semaphore lock;//1
}

void Cashier()
{
    for(int i=0;i<10;i++)
    {
        sw(line.requested);
        checkout(i);
        semaphore line(customers[i]);
    }
}