+
+void xbt_os_thread_setstacksize(int stack_size)
+{
+ size_t sz;
+ int res;
+
+ if (stack_size < 0)
+ xbt_die("stack size %d is negative, maybe it exceeds MAX_INT?", stack_size);
+
+ sz = stack_size;
+ pthread_attr_init(&attr);
+ res = pthread_attr_setstacksize(&attr, sz);
+
+#ifdef PTHREAD_STACK_MIN
+ if (res == EINVAL) {
+ /* Invalid size, try again with a multiple of PTHREAD_STACK_MIN. */
+ size_t rem = sz % PTHREAD_STACK_MIN;
+ if (rem != 0 || sz == 0) {
+ size_t sz2 = sz - rem + PTHREAD_STACK_MIN;
+ XBT_DEBUG("pthread_attr_setstacksize failed for %#zx, try again with %#zx",
+ sz, sz2);
+ sz = sz2;
+ res = pthread_attr_setstacksize(&attr, sz);
+ }
+ }
+#endif
+
+ if (res == EINVAL)
+ XBT_WARN("invalid stack size (maybe too big): %#zx", sz);
+ else if (res != 0)
+ XBT_WARN("unknown error %d in pthread stacksize setting: %#zx", res, sz);
+ thread_attr_inited = 1;
+}
+