memcpy() 在迭代次数过多后会产生分段错误

Question

我正在尝试用 c 创建一个多线程库。这是整个项目的链接（因为在此处粘贴代码会导致文本过多）。

在文件 tests/MultithreadingTests.c 中，我正在测试 lib/systems/multithreading/src/ThreadPool.c 的功能。函数add_work将任何例程函数添加到工作队列中，该函数利用lib/sds/lists/src/Queue.c和lib/sds/lists的功能/src/LinkedList.c。在 MultithreadingTests.c 中，NUM_TESTS 定义了我添加到工作队列中由 NUM_THREADS 执行的作业数量

我遇到了一个奇怪的问题与代码。如果 NUM_TESTS 任何数字小于 349,261，则代码工作得很好，但任何高于或等于 349,261 的数字都会导致分段错误。我试图检查分段错误到底发生在哪里，发现它发生在 lib/sds/lists/src/Node.c 的第 29 行的 memcpy(node->; data, data, size);

错误的代码流是

• tests/MultiThreadingTests.c 第 95 行，位于 pool->add_work(pool, new_thread_job(routine, &arguments[i]));
• lib/systems/multithreading/src/ThreadPool.c 第 150 行 thread_pool->work.push(& thread_pool->work, &job, sizeof(job));
• lib/sds/lists/src/Queue.c 行54 return q->list.insert(&q->list, q->list.length, data, size);
• lib/sds/lists/src/LinkedLists .c第107行Node *node_to_insert = new_node(data, size);
• lib/sds/lists/src/Node.c line 29 memcpy(node->data, data, size);

我不确定为什么会发生这个问题当工作岗位数量高于或等于 349,261 时，但当其较小时则不然。

Answer 1

在函数 new_thread_pool() 中，既不

• 测试 thread_pool.pool = malloc(sizeof(pthread_t) * num_threads); 中的分配失败，也不
• 测试 中的线程创建失败>pthread_create(&thread_pool.pool[i], NULL, generic_thread_function, &thread_pool);

尝试在任意线程上创建 349261 个或更多线程系统看起来更像是压力测试，而不是现实生活中的目的。测试错误并以可用的方式报告它们。

new_node 也不检查分配失败。除非您为此检测代码，否则应该使用 malloc() 调用的包装器来检测分配失败并使用错误消息中止程序。

代码中的问题出在函数 mt_test_add_work() 中：您定义了一个具有自动存储功能的参数数组：

Arguments arguments[NUM_TESTS];

该对象在堆栈上分配，使用 8382264 字节的堆栈空间。这对于您的系统来说太过分了，会导致调用链中未定义的行为，进一步使用堆栈实际上会导致分段错误：堆栈溢出的典型情况。

您应该在退出函数之前从堆中分配该对象并释放它：

Arguments *arguments = malloc(sizeof(*arguments) * NUM_TESTS);