面试题：C语言指针基础对程序效率影响之专家题

指针相关效率问题

缓存一致性问题：不同线程可能将共享内存中的数据读取到各自的缓存中。如果一个线程修改了共享数据，其他线程的缓存可能不会立即更新，导致读取到旧数据。
频繁的内存访问：如果通过指针频繁地访问共享内存，会增加内存总线的负载，影响整体性能。

内存一致性问题

数据竞争：多个线程同时读写共享内存，可能导致数据不一致。例如，一个线程正在修改共享指针指向的数据，另一个线程同时读取该数据，可能读到不完整或错误的数据。
顺序一致性：线程对共享内存的操作顺序在不同线程中可能不一致，导致程序逻辑错误。

优化方法

合理使用指针：减少不必要的指针间接访问，尽量在局部变量中保存共享数据的副本，减少对共享内存的访问次数。
同步机制：使用互斥锁、信号量等同步机制来保证在同一时间只有一个线程可以访问共享内存。

代码示例

#include <stdio.h>
#include <stdlib.h>
#include <pthread.h>
#include <semaphore.h>

// 共享数据结构
typedef struct {
    int data;
} SharedData;

SharedData *shared_ptr;
sem_t semaphore;

// 线程函数
void* thread_function(void* arg) {
    // 获取信号量
    sem_wait(&semaphore);
    // 访问共享数据
    shared_ptr->data += 1;
    printf("Thread incremented data to %d\n", shared_ptr->data);
    // 释放信号量
    sem_post(&semaphore);
    return NULL;
}

int main() {
    pthread_t thread1, thread2;
    // 初始化共享内存
    shared_ptr = (SharedData*)malloc(sizeof(SharedData));
    shared_ptr->data = 0;
    // 初始化信号量
    sem_init(&semaphore, 0, 1);

    // 创建线程
    pthread_create(&thread1, NULL, thread_function, NULL);
    pthread_create(&thread2, NULL, thread_function, NULL);

    // 等待线程结束
    pthread_join(thread1, NULL);
    pthread_join(thread2, NULL);

    // 清理
    free(shared_ptr);
    sem_destroy(&semaphore);
    return 0;
}

代码分析

共享数据结构：定义了一个包含 int 类型数据的结构体 SharedData，并通过指针 shared_ptr 指向共享内存。
同步机制：使用信号量 semaphore 来保证同一时间只有一个线程可以访问共享内存。sem_wait 函数用于获取信号量，如果信号量的值为0，则线程会阻塞；sem_post 函数用于释放信号量，将信号量的值加1。
线程函数：在 thread_function 中，首先获取信号量，然后对共享数据进行操作，最后释放信号量。这样可以避免数据竞争，保证数据的一致性和正确性。
主函数：在 main 函数中，初始化共享内存和信号量，创建两个线程，等待线程结束后清理资源。

通过这种方式，可以在多线程环境下有效地使用共享内存，并通过同步机制保证数据的一致性和正确性，同时优化程序的效率。

星途面试题库

面试题：C语言指针基础对程序效率影响之专家题

知识考点

面试题答案

指针相关效率问题

内存一致性问题

优化方法

代码示例

代码分析