单选题 12.  为正确使用临界资源，可把对临界资源的访问分成进入区、临界区、退出区和剩余区四部分。请指出下列飞机订票代码中while TS(&lock)语句属于哪一个区域?______
    int booking(id)
    { int c;
    while TS(&lock);
    c=fetch(ticket);
    show(c);
    if (read(input)=1)
    {c=c-1;
    send(c);
    }
    lock=FALSE;
    output(list);}