File content as of revision 0:90e393878517:

#include "mbed.h"
#include "rtos.h"

#define RED_OFF    1
#define YELLOW_OFF 2
#define GREEN_OFF  4
#define ALL_OFF    7

//Function declarations
void Function1(void const *args);
void Function2(void const *args);
void Function3(void const *args);
void Function4(void const *args);

//I/O
DigitalOut onBoardLED(LED1);
DigitalOut redLED(D7);
DigitalOut yellowLED(D6);
DigitalOut greenLED(D5);

DigitalIn  onBoardSwitch(USER_BUTTON);
DigitalIn  SW1(D4);
DigitalIn  SW2(D3);

Thread* t1;
Thread* t2;
Thread* t3;
Thread* t4;

//Thread ID
osThreadId idMain;
osThreadId id1;
osThreadId id2;
osThreadId id3;
osThreadId id4;

void Function1(void const *args)
{
    while (true) {
        redLED = !redLED;
        if (redLED == 0) {
            t2->signal_set(RED_OFF);
        }
        Thread::wait(1000);
    }
}

void Function2(void const *args)
{
    while (true) {
        Thread::signal_wait(RED_OFF);
        yellowLED = !yellowLED;
        if (yellowLED == 0) {
            t3->signal_set(YELLOW_OFF);
        }
    }
}

//Green Flashing
void Function3(void const *args)
{
    while (true) {
        Thread::signal_wait(YELLOW_OFF);
        greenLED = !greenLED;
        if (greenLED == 0) {
            t4->signal_set(GREEN_OFF);
        }       
    }
}

//This function waits for signals from all other threads
void Function4(void const *args)
{
    while (true) {
        Thread::signal_wait(GREEN_OFF);
        //Signal main thread       
        osSignalSet(idMain, ALL_OFF);              
    }
}

//Main thread
int main() {
    redLED    = 0;
    yellowLED = 0;
    greenLED  = 0;
    
    //Main thread ID
    idMain = osThreadGetId();   //CMSIS RTOS call
    
    //Create and run threads
    t4 = new Thread(Function4);
    t1 = new Thread(Function1);           
    t2 = new Thread(Function2);    
    t3 = new Thread(Function3);     //Dynamically allocated

    
    //Thread ID
    id1 = t1->gettid();
    id2 = t2->gettid();
    id3 = t3->gettid();
    id4 = t4->gettid();
    
    while(1) {
        //Wait for the ALL_ON signal
        osSignalWait(ALL_OFF,osWaitForever);
        printf("ALL OFF\n");
    }
}