+
+void xbt_os_thread_setstacksize(int stack_size)
+{
+ size_t alignment[] = {
+ xbt_pagesize,
+#ifdef PTHREAD_STACK_MIN
+ PTHREAD_STACK_MIN,
+#endif
+ 0
+ };
+ size_t sz;
+ int res;
+ int i;
+
+ if (stack_size < 0)
+ xbt_die("stack size %d is negative, maybe it exceeds MAX_INT?", stack_size);
+
+ sz = stack_size;
+ res = pthread_attr_setstacksize(&thread_attr, sz);
+
+ for (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 %zd, try again with %zd",
+ sz, sz2);
+ sz = sz2;
+ res = pthread_attr_setstacksize(&thread_attr, sz);
+ }
+ }
+
+ if (res == EINVAL)
+ XBT_WARN("invalid stack size (maybe too big): %zd", sz);
+ else if (res != 0)
+ XBT_WARN("unknown error %d in pthread stacksize setting: %zd", 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: %zd", res, sz);
+#endif
+}
+