[COMMITTED] Test that pthread_create diagnoses invalid scheduling parameters.

Message ID 20141120013341.AAEF42C3B18@topped-with-meat.com
State Committed
Headers

Commit Message

Roland McGrath Nov. 20, 2014, 1:33 a.m. UTC
  Tested x86_64-linux-gnu.


Thanks,
Roland


2014-11-19  Roland McGrath  <roland@hack.frob.com>

	* nptl/tst-bad-schedattr.c: New file.
	* nptl/Makefile (tests): Add it.
  

Comments

Joseph Myers Nov. 21, 2014, 7:14 p.m. UTC | #1
On Wed, 19 Nov 2014, Roland McGrath wrote:

> Tested x86_64-linux-gnu.
> 
> 
> Thanks,
> Roland
> 
> 
> 2014-11-19  Roland McGrath  <roland@hack.frob.com>
> 
> 	* nptl/tst-bad-schedattr.c: New file.
> 	* nptl/Makefile (tests): Add it.

FWIW, I'm seeing this fail on x86_64 (Ubuntu 14.04, GCC 4.9 branch).

pthread_create returned 0 (Success), expected 22 (EINVAL: Invalid argument)
Didn't expect signal from child: got `Aborted'
  
H.J. Lu Nov. 21, 2014, 8:36 p.m. UTC | #2
On Wed, Nov 19, 2014 at 5:33 PM, Roland McGrath <roland@hack.frob.com> wrote:
> Tested x86_64-linux-gnu.
>
>
> Thanks,
> Roland
>
>
> 2014-11-19  Roland McGrath  <roland@hack.frob.com>
>
>         * nptl/tst-bad-schedattr.c: New file.
>         * nptl/Makefile (tests): Add it.
>

It fails on ia32 and x32:

pthread_create returned 0 (Success), expected 22 (EINVAL: Invalid argument)
Didn't expect signal from child: got `Aborted'

Is this expected?
  
Roland McGrath Nov. 21, 2014, 10:10 p.m. UTC | #3
In fact the test itself is fine.  It was my later default-sched.h change
that broke it.  I thought I had tested it properly before Carlos's review,
but apparently I confused myself.
  

Patch

--- a/nptl/Makefile
+++ b/nptl/Makefile
@@ -270,7 +270,8 @@  tests = tst-typesizes \
 	tst-vfork1 tst-vfork2 tst-vfork1x tst-vfork2x \
 	tst-getpid1 tst-getpid2 tst-getpid3 \
 	tst-setuid3 \
-	tst-initializers1 $(patsubst %,tst-initializers1-%,c89 gnu89 c99 gnu99)
+	tst-initializers1 $(addprefix tst-initializers1-,c89 gnu89 c99 gnu99) \
+	tst-bad-schedattr
 xtests = tst-setuid1 tst-setuid1-static tst-setuid2 \
 	tst-mutexpp1 tst-mutexpp6 tst-mutexpp10
 test-srcs = tst-oddstacklimit
--- /dev/null
+++ b/nptl/tst-bad-schedattr.c
@@ -0,0 +1,97 @@ 
+/* Test that pthread_create diagnoses invalid scheduling parameters.
+   Copyright (C) 2014 Free Software Foundation, Inc.
+   This file is part of the GNU C Library.
+
+   The GNU C Library is free software; you can redistribute it and/or
+   modify it under the terms of the GNU Lesser General Public
+   License as published by the Free Software Foundation; either
+   version 2.1 of the License, or (at your option) any later version.
+
+   The GNU C Library is distributed in the hope that it will be useful,
+   but WITHOUT ANY WARRANTY; without even the implied warranty of
+   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+   Lesser General Public License for more details.
+
+   You should have received a copy of the GNU Lesser General Public
+   License along with the GNU C Library; if not, see
+   <http://www.gnu.org/licenses/>.  */
+
+#include <assert.h>
+#include <errno.h>
+#include <pthread.h>
+#include <stdio.h>
+#include <stdlib.h>
+#include <string.h>
+
+
+static void *
+thread_function (void *arg)
+{
+  abort ();
+}
+
+
+static int
+do_test (void)
+{
+#if !defined SCHED_FIFO || !defined SCHED_OTHER
+  puts ("SCHED_FIFO or SCHED_OTHER not available at compile time");
+  return 0; /* 77 */
+#else
+
+  int err;
+
+#define TRY(func, arglist)                              \
+  if ((err = func arglist) != 0)                        \
+    {                                                   \
+      printf ("%s: %s\n", #func, strerror (err));       \
+      return 2;                                         \
+    }
+
+  int fifo_max = sched_get_priority_max (SCHED_FIFO);
+  if (fifo_max == -1)
+    {
+      assert (errno == ENOTSUP || errno == ENOSYS);
+      puts ("SCHED_FIFO not supported, cannot test");
+      return 0; /* 77 */
+    }
+
+  int other_max = sched_get_priority_max (SCHED_OTHER);
+  if (other_max == -1)
+    {
+      assert (errno == ENOTSUP || errno == ENOSYS);
+      puts ("SCHED_OTHER not supported, cannot test");
+      return 0; /* 77 */
+    }
+
+  assert (fifo_max > other_max);
+
+  pthread_attr_t attr;
+  TRY (pthread_attr_init, (&attr));
+  TRY (pthread_attr_setinheritsched, (&attr, PTHREAD_EXPLICIT_SCHED));
+  TRY (pthread_attr_setschedpolicy, (&attr, SCHED_FIFO));
+
+  /* This value is chosen so as to be valid for SCHED_FIFO but invalid for
+     SCHED_OTHER.  */
+  struct sched_param param = { .sched_priority = other_max + 1 };
+  TRY (pthread_attr_setschedparam, (&attr, &param));
+
+  TRY (pthread_attr_setschedpolicy, (&attr, SCHED_OTHER));
+
+  /* Now ATTR has a sched_param that is invalid for its policy.  */
+  pthread_t th;
+  err = pthread_create (&th, &attr, &thread_function, NULL);
+  if (err != EINVAL)
+    {
+      printf ("pthread_create returned %d (%s), expected %d (EINVAL: %s)\n",
+              err, strerror (err), EINVAL, strerror (EINVAL));
+      return 1;
+    }
+
+  return 0;
+#endif
+}
+
+
+#define TEST_FUNCTION do_test ()
+#include "../test-skeleton.c"