semaphore A=0;//用于确保C在AB之后执行
semaphore C=0;//用于确保E在C之后执行
T1 {
    A();
    signal(A);
    wait(C);
    E();
    F();
}

T2 {
    B();
    wait(A);
    C();
    signal(C);
    D();
}