-void xbt_os_thread_setstacksize(int stack_size)
-{
- size_t alignment[] = {
- xbt_pagesize,
-#ifdef PTHREAD_STACK_MIN
- PTHREAD_STACK_MIN,
-#endif
- 0
- };
-
- xbt_assert(stack_size >= 0, "stack size %d is negative, maybe it exceeds MAX_INT?", stack_size);
-
- size_t sz = stack_size;
- int res = pthread_attr_setstacksize(&thread_attr, sz);
-
- for (int i = 0; res == EINVAL && alignment[i] > 0; i++) {
- /* Invalid size, try again with next multiple of alignment[i]. */
- size_t rem = sz % alignment[i];
- if (rem != 0 || sz == 0) {
- size_t sz2 = sz - rem + alignment[i];
- XBT_DEBUG("pthread_attr_setstacksize failed for %zu, try again with %zu", sz, sz2);
- sz = sz2;
- res = pthread_attr_setstacksize(&thread_attr, sz);
- }
- }
-
- if (res == EINVAL)
- XBT_WARN("invalid stack size (maybe too big): %zu", sz);
- else if (res != 0)
- XBT_WARN("unknown error %d in pthread stacksize setting: %zu", res, sz);
-}
-
-void xbt_os_thread_setguardsize(int guard_size)
-{
-#ifdef WIN32
- THROW_UNIMPLEMENTED; //pthread_attr_setguardsize is not implemented in pthread.h on windows
-#else
- size_t sz = guard_size;
- int res = pthread_attr_setguardsize(&thread_attr, sz);
- if (res)
- XBT_WARN("pthread_attr_setguardsize failed (%d) for size: %zu", res, sz);
-#endif
-}
-