使用信号量的程序在Linux上运行正常… Mac OSX上的意外结果

我的计划：

#include <semaphore.h>
#include <sys/types.h>
#include <stdio.h>
#include <pthread.h>
#include <unistd.h>

void* function1(void* val);
void* function2(void* val);

// shared values
volatilE int X;
volatilE int Y;

// declare semaphores
sem_t s1;
sem_t s2;

main()
{
void* status;

pthread_t thread1;
pthread_t thread2;
srand(time(NULL));

// initialize semaphores to zero
sem_init(&s1,0);
sem_init(&s2,0);

pthread_create(&thread1,NULL,function1,null);
pthread_create(&thread2,function2,null);

pthread_join(thread1,&status);
pthread_join(thread2,&status);

sem_destroy(&s1);
sem_destroy(&s2);

}

void* function1(void* val)
{
   while(1)
   {
   X = rand()%1000; // write 
   printf("After thread ID A writes to X,X = %d\n",X);
   sem_post(&s1); // signal
   sem_wait(&s2); // wait
   printf("After thread ID A reads from Y,Y = %d\n",Y); // read
   sleep(3);
   }   
}

void* function2(void* val)
{
   while(1)
   {
    sem_wait(&s1); // wait
    printf("After thread ID B reads from X,X); // read
    Y = rand()%1000; // write
    printf("After thread ID B write to Y,Y);
    sem_post(&s2); // signal
    sleep(3);
   }
}

我在Linux上收到的输出(应该是什么样的)：

After thread ID A writes to X,X = 100
After thread ID B reads from X,X = 100
After thread ID B write to Y,Y = 234
After thread ID A reads from Y,Y = 234
...

After thread ID A writes to X,X = 253
After thread ID A reads from Y,Y = 0
After thread ID B reads from X,X = 253
After thread ID B write to Y,Y = 728
...