while循环从2个不同的pthread读取相同的变量，但代码未运行

#include <pthread.h>

int sharedVariable = 0;
pthread_mutex_t mutex;

void* threadFunction(void* arg) {
    while (1) {
        pthread_mutex_lock(&mutex);
        // 读取共享变量
        int value = sharedVariable;
        pthread_mutex_unlock(&mutex);
        
        // 进行其他操作
        // ...
    }
    return NULL;
}

int main() {
    pthread_t thread1, thread2;
    pthread_mutex_init(&mutex, NULL);
    
    // 创建两个线程
    pthread_create(&thread1, NULL, threadFunction, NULL);
    pthread_create(&thread2, NULL, threadFunction, NULL);
    
    // 等待线程结束
    pthread_join(thread1, NULL);
    pthread_join(thread2, NULL);
    
    pthread_mutex_destroy(&mutex);
    return 0;
}