from:"Vallish Vaidyeshwara"

Re: [PATCH v2 0/2] enable hires timer to timeout datagram socket

2017-09-20 Thread Vallish Vaidyeshwara

On Sat, Sep 16, 2017 at 11:47:56AM +0200, Thomas Gleixner wrote:
> On Fri, 8 Sep 2017, Eric Dumazet wrote:
> > On Fri, 2017-09-08 at 11:55 -0700, Eduardo Valentin wrote:
> > > Hello,
> > > 
> > > On Fri, Sep 08, 2017 at 10:26:45AM -0700, David Miller wrote:
> > > > From: David Woodhouse 
> > > > Date: Fri, 08 Sep 2017 18:23:22 +0100
> > > > 
> > > > > I don't know that anyone's ever tried saying "show me the chapter
> > > and
> > > > > verse of the documentation"
> > > > 
> > > > Do you know why I brought this up?  Because the person I am replying
> > > > to told me that the syscall documentation should have suggested this
> > > > or that.
> > > > 
> > > > That's why.
> > > 
> > > :-) My intention was for sure not to upset anybody.
> > > 
> > > Just to reiterate, the point of patch is simple, there was a change in
> > > behavior in the system call from one kernel version to the other. As I
> > > mentioned, I agree that the userspace could use other means to achieve
> > > the same, but still the system call behavior has changed.
> > > 
> > > > 
> > > > So let's concentrate on the other aspects of my reply, ok?
> > > 
> > > I agree. I would prefer to understand here what is the technical
> > > reason not to accept these patches other than "use other system
> > > calls".
> > 
> > So if we need to replace all 'legacy' timers to high resolution timer,
> > because some application was _relying_ on jiffies being kind of precise,
> > maybe it is better to revert the change done on legacy timers.
> 
> Which would be a major step back in terms of timer performance and system
> disturbance caused by massive recascading operations.
> 
> > Or continue the migration and make them use high res internally.
> > 
> > select() and poll() are the standard way to have precise timeouts,
> > it is silly we have to maintain a timeout handling in the datagram fast
> > path.
> 
> A few years ago we switched select/poll over to use hrtimers because the
> wheel timers were too inaccurate for some operations, so it feels
> consequent to switch the timeout in the datagram rcv path over as well. I
> agree that the whole timeout magic there feels silly, but unfortunately
> it's a documented property of sockets.
> 
> Thanks,
> 
>   tglx
> 

Hello Thomas,

Thanks for your comments. This patch has been NACK'ed by David Miller. Is
there any other approach to solve this problem with out application code
being recompiled?

Thanks.
-Vallish

Re: [PATCH v2 0/2] enable hires timer to timeout datagram socket

2017-08-27 Thread Vallish Vaidyeshwara

On Tue, Aug 22, 2017 at 09:30:30PM -0700, David Miller wrote:
> From: Vallish Vaidyeshwara <vall...@amazon.com>
> Date: Wed, 23 Aug 2017 00:10:25 +
> 
> > I am submitting 2 patch series to enable hires timer to timeout
> > datagram sockets (AF_UNIX & AF_INET domain) and test code to test
> > timeout accuracy on these sockets.
> 
> This is not reasonable.
> 
> If you want high resolution events with real guarantees, please use
> the kernel interfaces which provide this as explained to you as
> feedback by other reviewers.
> 
> I'm not applying this, sorry.

Hello David,

I respect the decision not to upstream this patch series, however I
wanted to provide additional details. Application wanting high
resolution events with real guarantees is not the case, but the case
here is regression in system call behavior:

1) Change in system call behavior:
strace from 4.4 test run of waiting for 180 seconds on datagram socket:
10:25:48.239685 setsockopt(3, SOL_SOCKET, SO_RCVTIMEO, 
"\264\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0", 16) = 0
10:25:48.239755 recvmsg(3, 0x7ffd0a3beec0, 0) = -1 EAGAIN (Resource temporarily 
unavailable)
10:28:48.236989 fstat(1, {st_mode=S_IFCHR|0620, st_rdev=makedev(136, 0), ...}) 
= 0

strace from 4.9 test run of waiting for 180 seconds on datagram socket times 
out close to 195 seconds:
setsockopt(3, SOL_SOCKET, SO_RCVTIMEO, "\264\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0", 
16) = 0 <0.28>
recvmsg(3, 0x7ffd6a2c4380, 0)   = -1 EAGAIN (Resource temporarily 
unavailable) <194.852000>
fstat(1, {st_mode=S_IFCHR|0620, st_rdev=makedev(136, 0), ...}) = 0 <0.18>

This is the change in behavior of system call that is causing our application
to regress on 4.9 kernel. There are events which need to be run on timeouts
and now response time for such timeouts on 4.9 kernel are being triggered
with extended delay of close to 195 seconds as in one of the test runs
shown above.

2) Comparison with MacOS:
I ran the same test on OS X El Capitan version 10.11.6 and the behavior is
consistent with Linux 4.4 Kernel behavior. I have not tested the program on
other flavors of OS like HPUX or AIX or Solaris, but I guess if these OS
implement SO_RCVTIMEO and tested, this behavior will not be different than
Linux 4.4 kernel.

3) Standards Specification:
Opengroups standard does not talk about how quick SO_RCVTIMEO need to respond
for timeouts. However, the standards for select system call do mention that
timeout need to respond quickly. It would be good to restore SO_RCVTIMEO
behavior to 4.4 kernel and have SO_RCVTIMEO be consistent with select timeout.

4) Changing application code:
Any change to application code to accommodate this change of behavior in system
call breaks application migration between 4.4 kernel and 4.9 kernel.
Moreover, making application code change is not feasible in all cases as in
the case where the source code is not available (third party vendor).

Thanks.
-Vallish

[PATCH v2 2/2] selftests/net: add test to verify datagram socket timeout

2017-08-22 Thread Vallish Vaidyeshwara

AF_UNIX and AF_INET datagram sockets use high resolution timer to time
SO_RCVTIMEO value used with setsockopt(2). This test checks for the
accuracy of kernel notifying these sockets timeout to application. Test
program has code to check AF_UNIX socket, however the kernel function used
to timeout AF_INET socket is the same kernel function used by AF_UNIX as
well which is __skb_wait_for_more_packets().

Reported-by: Manjula Peiris <thel...@amazon.com>
Reviewed-by: Eduardo Valentin <edu...@amazon.com>
Reviewed-by: Anchal Agarwal <ancha...@amazon.com>
Signed-off-by: Vallish Vaidyeshwara <vall...@amazon.com>
---
 tools/testing/selftests/net/Makefile   |   3 +-
 .../testing/selftests/net/datagram_sock_timeout.c  | 119 +
 .../selftests/net/run_datagram_sock_timeout.sh |  12 +++
 3 files changed, 133 insertions(+), 1 deletion(-)
 create mode 100644 tools/testing/selftests/net/datagram_sock_timeout.c
 create mode 100755 tools/testing/selftests/net/run_datagram_sock_timeout.sh

diff --git a/tools/testing/selftests/net/Makefile 
b/tools/testing/selftests/net/Makefile
index f6c9dbf..eb5a8c7 100644
--- a/tools/testing/selftests/net/Makefile
+++ b/tools/testing/selftests/net/Makefile
@@ -3,11 +3,12 @@
 CFLAGS =  -Wall -Wl,--no-as-needed -O2 -g
 CFLAGS += -I../../../../usr/include/
 
-TEST_PROGS := run_netsocktests run_afpackettests test_bpf.sh netdevice.sh
+TEST_PROGS := run_netsocktests run_afpackettests test_bpf.sh netdevice.sh 
run_datagram_sock_timeout.sh
 TEST_GEN_FILES =  socket
 TEST_GEN_FILES += psock_fanout psock_tpacket
 TEST_GEN_FILES += reuseport_bpf reuseport_bpf_cpu reuseport_bpf_numa
 TEST_GEN_FILES += reuseport_dualstack
+TEST_GEN_FILES += datagram_sock_timeout
 
 include ../lib.mk
 
diff --git a/tools/testing/selftests/net/datagram_sock_timeout.c 
b/tools/testing/selftests/net/datagram_sock_timeout.c
new file mode 100644
index 000..362becf
--- /dev/null
+++ b/tools/testing/selftests/net/datagram_sock_timeout.c
@@ -0,0 +1,119 @@
+/*
+ * Copyright 2017 Amazon.com, Inc.
+ * Author: Manjula Peiris <thel...@amazon.com>
+ * Vallish Vaidyeshwara <vall...@amazon.com>
+ *
+ * selftests/net: test to verify datagram socket timeout
+ *
+ * AF_UNIX and AF_INET datagram sockets use high resolution timer to time
+ * SO_RCVTIMEO value used with setsockopt(2). This test checks for the accuracy
+ * of kernel notifying these sockets timeout to application. Test program has
+ * code to check AF_UNIX socket, however the kernel function used to timeout
+ * AF_INET socket is the same kernel function used by AF_UNIX as well which is
+ * __skb_wait_for_more_packets().
+ *
+ * License (GPLv2):
+ *
+ * This program is free software; you can redistribute it and/or modify it
+ * under the terms and conditions of the GNU General Public License,
+ * version 2, as published by the Free Software Foundation.
+ *
+ * This program is distributed in the hope it will be useful, but WITHOUT
+ * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
+ * FITNESS FOR A PARTICULAR PURPOSE. * See the GNU General Public License for
+ * more details.
+ *
+ * You should have received a copy of the GNU General Public License along with
+ * this program.
+ */
+
+#include 
+#include 
+#include 
+#include 
+#include 
+#include 
+#include 
+#include 
+#include 
+#include 
+#include 
+
+#define BUF_SIZE 128
+#define KB 1024
+#define NUM_FD 2
+
+static int set_socket_timeout(int sockfd, unsigned int ms)
+{
+   int ret;
+   struct timeval timeout;
+   socklen_t cb = sizeof(timeout);
+
+   timeout.tv_sec = ms / 1000;
+   timeout.tv_usec = (ms % 1000) * 1000;
+   ret = setsockopt(sockfd, SOL_SOCKET, SO_RCVTIMEO, , cb);
+   return ret;
+}
+
+int main(int argc, char **argv)
+{
+   char err[BUF_SIZE];
+   int ret;
+   int fds[NUM_FD];
+   struct msghdr message;
+   char buffer[KB];
+   struct sockaddr_storage src_addr;
+   struct iovec iov[1];
+   time_t start, end;
+   unsigned int timeout;
+
+   iov[0].iov_base = buffer;
+   iov[0].iov_len = sizeof(buffer);
+   message.msg_name = _addr;
+   message.msg_namelen = sizeof(src_addr);
+   message.msg_iov = iov;
+   message.msg_iovlen = 1;
+   message.msg_control = 0;
+   message.msg_controllen = 0;
+
+   if (argc != 2) {
+   fprintf(stderr,
+   "datagram_sock_timeout failed: no timeout specified\n");
+   return -1;
+   }
+   timeout = (unsigned int)(atoi(argv[1]));
+
+   if (socketpair(AF_UNIX, SOCK_DGRAM, 0, fds) != 0) {
+   strerror_r(errno, err, BUF_SIZE);
+   fprintf(stderr, "socketpair() call failed with %s\n", err);
+   return -1;
+   }
+
+   if (set_socket_timeout(fds[0], timeout) != 0) {
+   strerror_r(errno, err, BUF_SIZE);
+   fprintf(stderr, "setsock

[PATCH v2 0/2] enable hires timer to timeout datagram socket

2017-08-22 Thread Vallish Vaidyeshwara

v1->v2:
 - Cong Wang pointed out MAX_SCHEDULE_TIMEOUT wraparound, fixed the
   patch 1/2 to accommodate MAX_SCHEDULE_TIMEOUT wait time
 - Changed format of printing total time from float to long in
   selftests patch 2/2

Hello Dave,

Resending the patch series to include netdev mailing list with a
cover letter.

I am submitting 2 patch series to enable hires timer to timeout
datagram sockets (AF_UNIX & AF_INET domain) and test code to test
timeout accuracy on these sockets.

There has been a behavior change in 4.9 kernel with refactoring of Kernel
timer wheel in 4.8. We have a use case wherein our datagram socket
application is sensitive to socket timeout including long timeouts.

One of the test runs with a timeout value of 180 seconds timed out at
190 seconds.
[root@]# ./datagram_sock_timeout 18
datagram_sock_timeout failed: took 190.00 seconds
[root@]#
The same program when run on a 4.4 kernel would timeout more accurately and
the kernel added slack was not noticeable to user application.

Patch 1: Has core code change of enabling hires timer to timeout datagram
 socket on AF_UNIX and AF_INET domain
 Patch 2: Test code to report regression in timeout behavior related to
 patch 1

Vallish Vaidyeshwara (2):
  net: enable high resolution timer mode to timeout datagram sockets
  selftests/net: add test to verify datagram socket timeout

 net/core/datagram.c|  14 ++-
 tools/testing/selftests/net/Makefile   |   3 +-
 .../testing/selftests/net/datagram_sock_timeout.c  | 119 +
 .../selftests/net/run_datagram_sock_timeout.sh |  12 +++
 4 files changed, 146 insertions(+), 2 deletions(-)
 create mode 100644 tools/testing/selftests/net/datagram_sock_timeout.c
 create mode 100755 tools/testing/selftests/net/run_datagram_sock_timeout.sh

-- 
2.7.3.AMZN

[PATCH v2 1/2] net: enable high resolution timer mode to timeout datagram sockets

2017-08-22 Thread Vallish Vaidyeshwara

Enable high resolution timer mode to time SO_RCVTIMEO value used with
setsockopt(2) on AF_UNIX and AF_INET datagram sockets. By default,
SO_RCVTIMEO uses low resolution timer which is good for most of socket
use cases.

Background:
Kernel timer wheel was refactored in 4.8 to avoid drawbacks with previous
implementation:
https://lwn.net/Articles/691064/
Unlike the previous "kernel timer wheel" implementation in 4.4 which aimed
for accuracy by paying cost for cascading tracked timers at the boundary of
256 jiffies, the new timer wheel implementation gets rid of cascading
latency by paying a price for being less accurate for far off timers.

Use Case:
New implementation is good for most of socket use cases. However we have a
use case where our application is sensitive to socket timeout including
long timeouts.  Please refer to test code as part of this patch series.
One of the test runs with a timeout value of 180 seconds timed out at
190 seconds.
[root@]# ./datagram_sock_timeout 18
datagram_sock_timeout failed: took 190.00 seconds
[root@]#
The same program when run on a 4.4 kernel would timeout more acurately and
the kernel added slack was not noticeable to user application.

Interesting text:
a) Standards for setsockopt:
http://pubs.opengroup.org/onlinepubs/009695399/functions/setsockopt.html

SO_RCVTIMEO
Sets the timeout value that specifies the maximum amount of time an input
function waits until it completes. It accepts a timeval structure with the
number of seconds and microseconds specifying the limit on how long to wait
for an input operation to complete. If a receive operation has blocked for
this much time without receiving additional data, it shall return with a
partial count or errno set to [EAGAIN] or [EWOULDBLOCK] if no data is
received. The default for this option is zero, which indicates that a
receive operation shall not time out. This option takes a timeval
structure. Note that not all implementations allow this option to be set.

This only talks about the maximum time and the current behavior indeed
follows this standard. System call does not return before the time
specified and it does return EAGAIN.
b) Man page for SETSOCKOPT(3P):

The  option_name  argument  specifies  a  single  option to set. It can be
one of the socket-level options defined in  and described in
Section 2.10.16, Use of Options.  If option_name is equal to SO_RCVTIMEO
or SO_SNDTIMEO and the implementation supports setting the option, it is
unspecified whether the struct timeval  pointed  to by  option_value  is
stored  as  provided by this function or is rounded up to align with the
resolution of the clock being used. If setsockopt() is called with
option_name equal to SO_ACCEPTCONN, SO_ERROR, or SO_TYPE, the behavior is
unspecified.

Behavior is unspecified.
3) Man page for SELECT(2):

Note  that  the  timeout  interval  will  be  rounded up to the system
clock granularity, and kernel scheduling delays mean that the blocking
interval may overrun by a small amount.  If both fields of the timeval
structure are zero, then select() returns immediately.  (This is useful
for polling.)  If timeout is NULL (no timeout),  select()  can block
indefinitely.

Select system call guarantees timeout interval and inturn uses highres
timer.

Reported-by: Manjula Peiris <thel...@amazon.com>
Reviewed-by: Eduardo Valentin <edu...@amazon.com>
Reviewed-by: Anchal Agarwal <ancha...@amazon.com>
Signed-off-by: Vallish Vaidyeshwara <vall...@amazon.com>
---
 net/core/datagram.c | 14 +-
 1 file changed, 13 insertions(+), 1 deletion(-)

diff --git a/net/core/datagram.c b/net/core/datagram.c
index ee5647b..832c147 100644
--- a/net/core/datagram.c
+++ b/net/core/datagram.c
@@ -80,6 +80,7 @@ static int receiver_wake_function(wait_queue_entry_t *wait, 
unsigned int mode, i
return 0;
return autoremove_wake_function(wait, mode, sync, key);
 }
+
 /*
  * Wait for the last received packet to be different from skb
  */
@@ -87,6 +88,9 @@ int __skb_wait_for_more_packets(struct sock *sk, int *err, 
long *timeo_p,
const struct sk_buff *skb)
 {
int error;
+   ktime_t expires;
+   struct timespec64 time;
+   unsigned long pre_sched_time;
DEFINE_WAIT_FUNC(wait, receiver_wake_function);
 
prepare_to_wait_exclusive(sk_sleep(sk), , TASK_INTERRUPTIBLE);
@@ -116,7 +120,15 @@ int __skb_wait_for_more_packets(struct sock *sk, int *err, 
long *timeo_p,
goto interrupted;
 
error = 0;
-   *timeo_p = schedule_timeout(*timeo_p);
+   /* Wait using highres timer */
+   time.tv_sec = *timeo_p / HZ;
+   time.tv_nsec = jiffies_to_nsecs(*timeo_p % HZ);
+   expires = ktime_add_safe(ktime_get(), timespec64_to_ktime(time));
+   pre_sched_time = jiffies;
+   if (schedule_hrtimeout(, HRTIMER_MODE_ABS))
+   *timeo_p = jiffies - pre_sched_time;
+   else
+   *time

Re: [PATCH RESEND 0/2] enable hires timer to timeout datagram socket

2017-08-22 Thread Vallish Vaidyeshwara

On Tue, Aug 22, 2017 at 08:23:11AM +0200, Richard Cochran wrote:
> On Mon, Aug 21, 2017 at 06:22:10PM +0000, Vallish Vaidyeshwara wrote:
> > AWS Lambda is affected by this change in behavior in
> > system call. Following links has more information:
> > https://en.wikipedia.org/wiki/AWS_Lambda
> 
> Quote:
> 
> Unlike Amazon EC2, which is priced by the hour, AWS Lambda is
> metered in increments of 100 milliseconds.
>
> So I guess you want the accurate timeout in order to support billing?
> In any case, even with the old wheel you didn't have guarantees WRT
> timeout latency, and so the proper way for the application to handle
> this is to use a timerfd together with HIGH_RES_TIMERS, and PREEMPT_RT
> in order to have sub-millisecond latency.
> 
> Thanks,
> Richard

Hello Richard,

4.4 kernel implementation of datagram socket wait code is calling
schedule_timeout() which in-turn calls __mod_timer(). __mod_timer()
does not add any slack. mod_timer() is the function that adds slack.
This gives good consistent results for event handling response time
on datagram socket timeouts.

strace from 4.4 test run of waiting for 180 seconds:
10:25:48.239685 setsockopt(3, SOL_SOCKET, SO_RCVTIMEO, 
"\264\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0", 16) = 0
10:25:48.239755 recvmsg(3, 0x7ffd0a3beec0, 0) = -1 EAGAIN (Resource temporarily 
unavailable)
10:28:48.236989 fstat(1, {st_mode=S_IFCHR|0620, st_rdev=makedev(136, 0), ...}) 
= 0

strace from 4.9 test run of waiting for 180 seconds times out close to 195 
seconds:
setsockopt(3, SOL_SOCKET, SO_RCVTIMEO, "\264\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0", 
16) = 0 <0.28>
recvmsg(3, 0x7ffd6a2c4380, 0)   = -1 EAGAIN (Resource temporarily 
unavailable) <194.852000>
fstat(1, {st_mode=S_IFCHR|0620, st_rdev=makedev(136, 0), ...}) = 0 <0.18>

This change of behavior in system call is breaking the application logic and
response time.

Thanks.
-Vallish

Re: [PATCH RESEND 1/2] net: enable high resolution timer mode to timeout datagram sockets

2017-08-22 Thread Vallish Vaidyeshwara

On Mon, Aug 21, 2017 at 01:10:34PM -0700, Cong Wang wrote:
> On Fri, Aug 18, 2017 at 11:44 AM, Vallish Vaidyeshwara
> <vall...@amazon.com> wrote:
> > -   *timeo_p = schedule_timeout(*timeo_p);
> > +   /* Wait using highres timer */
> > +   expires = ktime_add_ns(ktime_get(), jiffies_to_nsecs(*timeo_p));
> > +   pre_sched_time = jiffies;
> > +   if (schedule_hrtimeout(, HRTIMER_MODE_ABS))
>

Hello Cong,

> Does this work with MAX_SCHEDULE_TIMEOUT too??
> 

Thanks for pointing out MAX_SCHEDULE_TIMEOUT. I have made minor change to
accommodate MAX_SCHEDULE_TIMEOUT and will send out next version of the patch
for review.

Thanks.
-Vallish

Re: [PATCH RESEND 0/2] enable hires timer to timeout datagram socket

2017-08-21 Thread Vallish Vaidyeshwara

On Sun, Aug 20, 2017 at 01:47:45AM +, Vallish Vaidyeshwara wrote:
> On Sat, Aug 19, 2017 at 08:21:45AM +0200, Richard Cochran wrote:
> > On Fri, Aug 18, 2017 at 10:27:56PM +, Vallish Vaidyeshwara wrote:
> > > We have a on-demand application that uses long timeouts and needs to 
> > > react to
> > > events within milliseconds.
> >
> 
> Hello Richard,
> 
> > Huh?  The test program you posted does not react to any event.
> >
> 
> Application has logic for complex events and test program is kept simple to
> highlight the change in behavior seen with system calls.
>

Hello Richard,

AWS Lambda is affected by this change in behavior in
system call. Following links has more information:
https://en.wikipedia.org/wiki/AWS_Lambda
https://aws.amazon.com/lambda/

Thanks.
-Vallish

Re: [PATCH RESEND 0/2] enable hires timer to timeout datagram socket

2017-08-19 Thread Vallish Vaidyeshwara

On Sat, Aug 19, 2017 at 08:21:45AM +0200, Richard Cochran wrote:
> On Fri, Aug 18, 2017 at 10:27:56PM +0000, Vallish Vaidyeshwara wrote:
> > We have a on-demand application that uses long timeouts and needs to react 
> > to
> > events within milliseconds.
>

Hello Richard,

> Huh?  The test program you posted does not react to any event.
>

Application has logic for complex events and test program is kept simple to
highlight the change in behavior seen with system calls.

Thanks.
-Vallish

> Thanks,
> Richard
>

Re: [PATCH RESEND 0/2] enable hires timer to timeout datagram socket

2017-08-18 Thread Vallish Vaidyeshwara

On Fri, Aug 18, 2017 at 10:18:54PM +0200, Richard Cochran wrote:
> On Fri, Aug 18, 2017 at 06:44:08PM +0000, Vallish Vaidyeshwara wrote:
> > There has been a behavior change in 4.9 kernel with refactoring of Kernel
> > timer wheel in 4.8. We have a use case wherein our datagram socket
> > application is sensitive to socket timeout including long timeouts.
> > 
> > One of the test runs with a timeout value of 180 seconds timed out at
> > 190 seconds.
> 
> So the whole premise of the new timer wheel is that long timeouts need
> not be very accurate.
> 
> > Patch 1: Has core code change of enabling hires timer to timeout datagram
> >  socket on AF_UNIX and AF_INET domain
>

Hello Richard,

> Using hrtimers will hurt performance for most applications.  Can you
> please explain your use case and why is it so important?
>

We have a on-demand application that uses long timeouts and needs to react to
events within milliseconds. With this change in behavior, we notice from 4.4 to
4.9, the legacy application is now exhibiting incorrect behavior with same set
of system calls.

Thanks.
-Vallish

> Thanks,
> Richard
> 
>

[PATCH RESEND 2/2] selftests/net: add test to verify datagram socket timeout

2017-08-18 Thread Vallish Vaidyeshwara

AF_UNIX and AF_INET datagram sockets use high resolution timer to time
SO_RCVTIMEO value used with setsockopt(2). This test checks for the
accuracy of kernel notifying these sockets timeout to application. Test
program has code to check AF_UNIX socket, however the kernel function used
to timeout AF_INET socket is the same kernel function used by AF_UNIX as
well which is __skb_wait_for_more_packets().

Reported-by: Manjula Peiris <thel...@amazon.com>
Reviewed-by: Eduardo Valentin <edu...@amazon.com>
Reviewed-by: Anchal Agarwal <ancha...@amazon.com>
Signed-off-by: Vallish Vaidyeshwara <vall...@amazon.com>
---
 tools/testing/selftests/net/Makefile   |   3 +-
 .../testing/selftests/net/datagram_sock_timeout.c  | 119 +
 .../selftests/net/run_datagram_sock_timeout.sh |  12 +++
 3 files changed, 133 insertions(+), 1 deletion(-)
 create mode 100644 tools/testing/selftests/net/datagram_sock_timeout.c
 create mode 100755 tools/testing/selftests/net/run_datagram_sock_timeout.sh

diff --git a/tools/testing/selftests/net/Makefile 
b/tools/testing/selftests/net/Makefile
index f6c9dbf..eb5a8c7 100644
--- a/tools/testing/selftests/net/Makefile
+++ b/tools/testing/selftests/net/Makefile
@@ -3,11 +3,12 @@
 CFLAGS =  -Wall -Wl,--no-as-needed -O2 -g
 CFLAGS += -I../../../../usr/include/
 
-TEST_PROGS := run_netsocktests run_afpackettests test_bpf.sh netdevice.sh
+TEST_PROGS := run_netsocktests run_afpackettests test_bpf.sh netdevice.sh 
run_datagram_sock_timeout.sh
 TEST_GEN_FILES =  socket
 TEST_GEN_FILES += psock_fanout psock_tpacket
 TEST_GEN_FILES += reuseport_bpf reuseport_bpf_cpu reuseport_bpf_numa
 TEST_GEN_FILES += reuseport_dualstack
+TEST_GEN_FILES += datagram_sock_timeout
 
 include ../lib.mk
 
diff --git a/tools/testing/selftests/net/datagram_sock_timeout.c 
b/tools/testing/selftests/net/datagram_sock_timeout.c
new file mode 100644
index 000..2549be5
--- /dev/null
+++ b/tools/testing/selftests/net/datagram_sock_timeout.c
@@ -0,0 +1,119 @@
+/*
+ * Copyright 2017 Amazon.com, Inc.
+ * Author: Manjula Peiris <thel...@amazon.com>
+ * Vallish Vaidyeshwara <vall...@amazon.com>
+ *
+ * selftests/net: test to verify datagram socket timeout
+ *
+ * AF_UNIX and AF_INET datagram sockets use high resolution timer to time
+ * SO_RCVTIMEO value used with setsockopt(2). This test checks for the accuracy
+ * of kernel notifying these sockets timeout to application. Test program has
+ * code to check AF_UNIX socket, however the kernel function used to timeout
+ * AF_INET socket is the same kernel function used by AF_UNIX as well which is
+ * __skb_wait_for_more_packets().
+ *
+ * License (GPLv2):
+ *
+ * This program is free software; you can redistribute it and/or modify it
+ * under the terms and conditions of the GNU General Public License,
+ * version 2, as published by the Free Software Foundation.
+ *
+ * This program is distributed in the hope it will be useful, but WITHOUT
+ * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
+ * FITNESS FOR A PARTICULAR PURPOSE. * See the GNU General Public License for
+ * more details.
+ *
+ * You should have received a copy of the GNU General Public License along with
+ * this program.
+ */
+
+#include 
+#include 
+#include 
+#include 
+#include 
+#include 
+#include 
+#include 
+#include 
+#include 
+#include 
+
+#define BUF_SIZE 128
+#define KB 1024
+#define NUM_FD 2
+
+static int set_socket_timeout(int sockfd, unsigned int ms)
+{
+   int ret;
+   struct timeval timeout;
+   socklen_t cb = sizeof(timeout);
+
+   timeout.tv_sec = ms / 1000;
+   timeout.tv_usec = (ms % 1000) * 1000;
+   ret = setsockopt(sockfd, SOL_SOCKET, SO_RCVTIMEO, , cb);
+   return ret;
+}
+
+int main(int argc, char **argv)
+{
+   char err[BUF_SIZE];
+   int ret;
+   int fds[NUM_FD];
+   struct msghdr message;
+   char buffer[KB];
+   struct sockaddr_storage src_addr;
+   struct iovec iov[1];
+   time_t start, end;
+   unsigned int timeout;
+
+   iov[0].iov_base = buffer;
+   iov[0].iov_len = sizeof(buffer);
+   message.msg_name = _addr;
+   message.msg_namelen = sizeof(src_addr);
+   message.msg_iov = iov;
+   message.msg_iovlen = 1;
+   message.msg_control = 0;
+   message.msg_controllen = 0;
+
+   if (argc != 2) {
+   fprintf(stderr,
+   "datagram_sock_timeout failed: no timeout specified\n");
+   return -1;
+   }
+   timeout = (unsigned int)(atoi(argv[1]));
+
+   if (socketpair(AF_UNIX, SOCK_DGRAM, 0, fds) != 0) {
+   strerror_r(errno, err, BUF_SIZE);
+   fprintf(stderr, "socketpair() call failed with %s\n", err);
+   return -1;
+   }
+
+   if (set_socket_timeout(fds[0], timeout) != 0) {
+   strerror_r(errno, err, BUF_SIZE);
+   fprintf(stderr, "setsock

[PATCH RESEND 0/2] enable hires timer to timeout datagram socket

2017-08-18 Thread Vallish Vaidyeshwara

Hello Dave,

Resending the patch series to include netdev mailing list with a
cover letter.

I am submitting 2 patch series to enable hires timer to timeout
datagram sockets (AF_UNIX & AF_INET domain) and test code to test
timeout accuracy on these sockets.

There has been a behavior change in 4.9 kernel with refactoring of Kernel
timer wheel in 4.8. We have a use case wherein our datagram socket
application is sensitive to socket timeout including long timeouts.

One of the test runs with a timeout value of 180 seconds timed out at
190 seconds.
[root@]# ./datagram_sock_timeout 18
datagram_sock_timeout failed: took 190.00 seconds
[root@]#
The same program when run on a 4.4 kernel would timeout more accurately and
the kernel added slack was not noticeable to user application.

Patch 1: Has core code change of enabling hires timer to timeout datagram
 socket on AF_UNIX and AF_INET domain
Patch 2: Test code to report regression in timeout behavior related to
 patch 1

Vallish Vaidyeshwara (2):
  net: enable high resolution timer mode to timeout datagram sockets
  selftests/net: add test to verify datagram socket timeout

 net/core/datagram.c|  11 +-
 tools/testing/selftests/net/Makefile   |   3 +-
 .../testing/selftests/net/datagram_sock_timeout.c  | 119 +
 .../selftests/net/run_datagram_sock_timeout.sh |  12 +++
 4 files changed, 143 insertions(+), 2 deletions(-)
 create mode 100644 tools/testing/selftests/net/datagram_sock_timeout.c
 create mode 100755 tools/testing/selftests/net/run_datagram_sock_timeout.sh

-- 
2.7.3.AMZN

[PATCH RESEND 1/2] net: enable high resolution timer mode to timeout datagram sockets

2017-08-18 Thread Vallish Vaidyeshwara

Enable high resolution timer mode to time SO_RCVTIMEO value used with
setsockopt(2) on AF_UNIX and AF_INET datagram sockets. By default,
SO_RCVTIMEO uses low resolution timer which is good for most of socket
use cases.

Background:
Kernel timer wheel was refactored in 4.8 to avoid drawbacks with previous
implementation:
https://lwn.net/Articles/691064/
Unlike the previous "kernel timer wheel" implementation in 4.4 which aimed
for accuracy by paying cost for cascading tracked timers at the boundary of
256 jiffies, the new timer wheel implementation gets rid of cascading
latency by paying a price for being less accurate for far off timers.

Use Case:
New implementation is good for most of socket use cases. However we have a
use case where our application is sensitive to socket timeout including
long timeouts.  Please refer to test code as part of this patch series.
One of the test runs with a timeout value of 180 seconds timed out at
190 seconds.
[root@]# ./datagram_sock_timeout 18
datagram_sock_timeout failed: took 190.00 seconds
[root@]#
The same program when run on a 4.4 kernel would timeout more acurately and
the kernel added slack was not noticeable to user application.

Interesting text:
a) Standards for setsockopt:
http://pubs.opengroup.org/onlinepubs/009695399/functions/setsockopt.html

SO_RCVTIMEO
Sets the timeout value that specifies the maximum amount of time an input
function waits until it completes. It accepts a timeval structure with the
number of seconds and microseconds specifying the limit on how long to wait
for an input operation to complete. If a receive operation has blocked for
this much time without receiving additional data, it shall return with a
partial count or errno set to [EAGAIN] or [EWOULDBLOCK] if no data is
received. The default for this option is zero, which indicates that a
receive operation shall not time out. This option takes a timeval
structure. Note that not all implementations allow this option to be set.

This only talks about the maximum time and the current behavior indeed
follows this standard. System call does not return before the time
specified and it does return EAGAIN.
b) Man page for SETSOCKOPT(3P):

The  option_name  argument  specifies  a  single  option to set. It can be
one of the socket-level options defined in  and described in
Section 2.10.16, Use of Options.  If option_name is equal to SO_RCVTIMEO
or SO_SNDTIMEO and the implementation supports setting the option, it is
unspecified whether the struct timeval  pointed  to by  option_value  is
stored  as  provided by this function or is rounded up to align with the
resolution of the clock being used. If setsockopt() is called with
option_name equal to SO_ACCEPTCONN, SO_ERROR, or SO_TYPE, the behavior is
unspecified.

Behavior is unspecified.
3) Man page for SELECT(2):

Note  that  the  timeout  interval  will  be  rounded up to the system
clock granularity, and kernel scheduling delays mean that the blocking
interval may overrun by a small amount.  If both fields of the timeval
structure are zero, then select() returns immediately.  (This is useful
for polling.)  If timeout is NULL (no timeout),  select()  can block
indefinitely.

Select system call guarantees timeout interval and inturn uses highres
timer.

Reported-by: Manjula Peiris <thel...@amazon.com>
Reviewed-by: Eduardo Valentin <edu...@amazon.com>
Reviewed-by: Anchal Agarwal <ancha...@amazon.com>
Signed-off-by: Vallish Vaidyeshwara <vall...@amazon.com>
---
 net/core/datagram.c | 11 ++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/net/core/datagram.c b/net/core/datagram.c
index ee5647b..c89a104 100644
--- a/net/core/datagram.c
+++ b/net/core/datagram.c
@@ -80,6 +80,7 @@ static int receiver_wake_function(wait_queue_entry_t *wait, 
unsigned int mode, i
return 0;
return autoremove_wake_function(wait, mode, sync, key);
 }
+
 /*
  * Wait for the last received packet to be different from skb
  */
@@ -87,6 +88,8 @@ int __skb_wait_for_more_packets(struct sock *sk, int *err, 
long *timeo_p,
const struct sk_buff *skb)
 {
int error;
+   ktime_t expires;
+   unsigned long pre_sched_time;
DEFINE_WAIT_FUNC(wait, receiver_wake_function);
 
prepare_to_wait_exclusive(sk_sleep(sk), , TASK_INTERRUPTIBLE);
@@ -116,7 +119,13 @@ int __skb_wait_for_more_packets(struct sock *sk, int *err, 
long *timeo_p,
goto interrupted;
 
error = 0;
-   *timeo_p = schedule_timeout(*timeo_p);
+   /* Wait using highres timer */
+   expires = ktime_add_ns(ktime_get(), jiffies_to_nsecs(*timeo_p));
+   pre_sched_time = jiffies;
+   if (schedule_hrtimeout(, HRTIMER_MODE_ABS))
+   *timeo_p = jiffies - pre_sched_time;
+   else
+   *timeo_p = 0;
 out:
finish_wait(sk_sleep(sk), );
return error;
-- 
2.7.3.AMZN

Re: [PATCH v2 0/2] enable hires timer to timeout datagram socket

Re: [PATCH v2 0/2] enable hires timer to timeout datagram socket

[PATCH v2 2/2] selftests/net: add test to verify datagram socket timeout

[PATCH v2 0/2] enable hires timer to timeout datagram socket

[PATCH v2 1/2] net: enable high resolution timer mode to timeout datagram sockets

Re: [PATCH RESEND 0/2] enable hires timer to timeout datagram socket

Re: [PATCH RESEND 1/2] net: enable high resolution timer mode to timeout datagram sockets

Re: [PATCH RESEND 0/2] enable hires timer to timeout datagram socket

Re: [PATCH RESEND 0/2] enable hires timer to timeout datagram socket

Re: [PATCH RESEND 0/2] enable hires timer to timeout datagram socket

[PATCH RESEND 2/2] selftests/net: add test to verify datagram socket timeout

[PATCH RESEND 0/2] enable hires timer to timeout datagram socket

[PATCH RESEND 1/2] net: enable high resolution timer mode to timeout datagram sockets

13 matches

Site Navigation

Mail list logo

Footer information