面试题：C语言Linux线程局部存储清理的性能优化与异常处理

优化线程局部存储清理过程中的性能

减少锁争用
- 读写锁代替互斥锁：如果线程局部存储数据的清理操作主要是读取操作（如统计信息等），可以使用读写锁。读操作时多个线程可以同时进行，只有写操作（如修改共享的清理状态）时才需要独占锁。
- 无锁数据结构：对于一些简单的计数、状态标记等场景，可以使用无锁数据结构，如无锁链表、无锁队列等。例如，使用无锁链表来管理需要清理的资源，在清理时通过原子操作（如atomic系列函数）来删除节点，避免锁争用。
合理使用内存池
- 线程专属内存池：为每个线程分配独立的内存池。在清理时，直接将线程局部存储中使用的内存块归还到该线程的专属内存池，而不是频繁地调用系统的内存分配和释放函数（如malloc和free）。这样可以减少系统调用开销，提高清理效率。
- 分层内存池：可以设计分层的内存池结构。例如，最底层是系统级的内存池，中间层是线程组级别的内存池，最上层是线程专属内存池。当线程专属内存池空间不足时，从线程组级别的内存池获取内存；线程组级别的内存池不足时，再从系统级内存池获取。清理时逆向操作，优先将内存归还到线程专属内存池，满了之后再归还到上一级内存池。

异常处理机制设计思路

错误码记录：在清理函数内部，使用一个全局的线程局部变量（通过__thread关键字声明）来记录清理过程中发生的错误码。每个系统调用或可能出错的操作后，检查返回值并设置相应的错误码。
日志记录：在发生异常时，记录详细的日志信息，包括线程ID、发生异常的时间、异常类型（如系统调用失败的具体错误码）、涉及的数据（如果可能）等。这有助于在事后分析问题。
恢复策略：根据不同的异常类型制定相应的恢复策略。例如，如果是某个文件描述符关闭失败，可以尝试多次关闭；如果是内存释放失败，可以标记该内存块为无效，避免后续使用，但不影响其他清理操作的继续进行。
全局状态标记：设置一个全局的清理状态标记，当某个线程清理过程中发生异常时，将该标记设置为异常状态。其他线程在清理时可以检查这个标记，如果已经处于异常状态，可以根据情况决定是否继续清理，或者采取一些特殊的处理方式（如跳过某些可能会导致问题的清理步骤）。

伪代码示例

#include <pthread.h>
#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
#include <fcntl.h>
#include <string.h>

// 定义线程局部变量用于记录错误码
__thread int cleanup_error_code = 0;

// 全局清理状态标记
volatile int global_cleanup_status = 0;

// 日志记录函数
void log_error(const char* msg) {
    // 实际实现中可以使用日志库记录详细信息
    printf("%s\n", msg);
}

// 模拟需要清理的资源
typedef struct {
    int fd;
    void* data;
} Resource;

// 清理资源函数
void cleanup_resource(Resource* res) {
    if (res->fd != -1) {
        if (close(res->fd) == -1) {
            cleanup_error_code = errno;
            log_error("Failed to close file descriptor");
            // 可以尝试多次关闭
            for (int i = 0; i < 3; i++) {
                if (close(res->fd) == 0) {
                    cleanup_error_code = 0;
                    break;
                }
            }
            if (cleanup_error_code != 0) {
                global_cleanup_status = 1;
            }
        }
    }
    if (res->data != NULL) {
        if (free(res->data) == -1) {
            cleanup_error_code = errno;
            log_error("Failed to free memory");
            // 标记该内存块为无效，不影响其他清理
            res->data = NULL;
            global_cleanup_status = 1;
        }
    }
}

void* thread_cleanup(void* arg) {
    Resource* res = (Resource*)arg;
    cleanup_resource(res);
    if (cleanup_error_code != 0) {
        // 线程可以根据错误码做进一步处理
        printf("Thread %ld cleanup failed with error code %d\n", (long)pthread_self(), cleanup_error_code);
    }
    return NULL;
}

int main() {
    pthread_t tid;
    Resource res = {open("test.txt", O_RDONLY), malloc(1024)};
    if (res.fd == -1 || res.data == NULL) {
        perror("Failed to initialize resource");
        return 1;
    }
    if (pthread_create(&tid, NULL, thread_cleanup, &res) != 0) {
        perror("Failed to create thread");
        return 1;
    }
    if (pthread_join(tid, NULL) != 0) {
        perror("Failed to join thread");
        return 1;
    }
    if (global_cleanup_status == 1) {
        printf("Global cleanup encountered errors\n");
    } else {
        printf("Cleanup completed successfully\n");
    }
    return 0;
}

星途面试题库

面试题：C语言Linux线程局部存储清理的性能优化与异常处理

知识考点

面试题答案

优化线程局部存储清理过程中的性能

异常处理机制设计思路

伪代码示例