wirtev: Get rid of alloca

Message ID 20230608155214.975683-1-josimmon@redhat.com
State Superseded
Headers
Series wirtev: Get rid of alloca |

Checks

Context Check Description
redhat-pt-bot/TryBot-apply_patch success Patch applied to master at the time it was sent
redhat-pt-bot/TryBot-32bit success Build for i686
linaro-tcwg-bot/tcwg_glibc_build--master-aarch64 success Testing passed
linaro-tcwg-bot/tcwg_glibc_build--master-arm success Testing passed
linaro-tcwg-bot/tcwg_glibc_check--master-arm success Testing passed
linaro-tcwg-bot/tcwg_glibc_check--master-aarch64 success Testing passed

Commit Message

Joe Simmons-Talbott June 8, 2023, 3:52 p.m. UTC
  Use a scratch_buffer rather than alloca to avoid potential stack
overflows.
---
 sysdeps/posix/writev.c | 35 ++++++++++++-----------------------
 1 file changed, 12 insertions(+), 23 deletions(-)
  

Comments

Joe Simmons-Talbott June 8, 2023, 3:57 p.m. UTC | #1
On Thu, Jun 08, 2023 at 11:52:14AM -0400, Joe Simmons-Talbott wrote:
> Use a scratch_buffer rather than alloca to avoid potential stack
> overflows.

Please disregard this patch.  There's a typo in the subject so I'll send
a new patch with that fixed.

Thanks,
Joe
> ---
>  sysdeps/posix/writev.c | 35 ++++++++++++-----------------------
>  1 file changed, 12 insertions(+), 23 deletions(-)
> 
> diff --git a/sysdeps/posix/writev.c b/sysdeps/posix/writev.c
> index 53e090c087..0cee0aa692 100644
> --- a/sysdeps/posix/writev.c
> +++ b/sysdeps/posix/writev.c
> @@ -19,19 +19,13 @@
>  #include <unistd.h>
>  #include <string.h>
>  #include <limits.h>
> +#include <scratch_buffer.h>
>  #include <stdbool.h>
>  #include <sys/param.h>
>  #include <sys/uio.h>
>  #include <errno.h>
>  
>  
> -static void
> -ifree (char **ptrp)
> -{
> -  free (*ptrp);
> -}
> -
> -
>  /* Write data pointed by the buffers described by VECTOR, which
>     is a vector of COUNT 'struct iovec's, to file descriptor FD.
>     The data is written in the order specified.
> @@ -53,22 +47,15 @@ __writev (int fd, const struct iovec *vector, int count)
>        bytes += vector[i].iov_len;
>      }
>  
> -  /* Allocate a temporary buffer to hold the data.  We should normally
> -     use alloca since it's faster and does not require synchronization
> -     with other threads.  But we cannot if the amount of memory
> -     required is too large.  */
> -  char *buffer;
> -  char *malloced_buffer __attribute__ ((__cleanup__ (ifree))) = NULL;
> -  if (__libc_use_alloca (bytes))
> -    buffer = (char *) __alloca (bytes);
> -  else
> -    {
> -      malloced_buffer = buffer = (char *) malloc (bytes);
> -      if (buffer == NULL)
> -	/* XXX I don't know whether it is acceptable to try writing
> -	   the data in chunks.  Probably not so we just fail here.  */
> -	return -1;
> -    }
> +  /* Allocate a temporary buffer to hold the data.  Use a scratch_buffer
> +     since it's faster for small buffer sizes but can handle larger
> +     allocations as well.  */
> +     
> +  struct scratch_buffer buf;
> +  scratch_buffer_init (&buf);
> +  if (!scratch_buffer_set_array_size (&buf, 1, bytes))
> +    return -1;
> +  char *buffer = buf.data;
>  
>    /* Copy the data into BUFFER.  */
>    size_t to_copy = bytes;
> @@ -86,6 +73,8 @@ __writev (int fd, const struct iovec *vector, int count)
>  
>    ssize_t bytes_written = __write (fd, buffer, bytes);
>  
> +  scratch_buffer_free (&buf);
> +
>    return bytes_written;
>  }
>  libc_hidden_def (__writev)
> -- 
> 2.39.2
>
  

Patch

diff --git a/sysdeps/posix/writev.c b/sysdeps/posix/writev.c
index 53e090c087..0cee0aa692 100644
--- a/sysdeps/posix/writev.c
+++ b/sysdeps/posix/writev.c
@@ -19,19 +19,13 @@ 
 #include <unistd.h>
 #include <string.h>
 #include <limits.h>
+#include <scratch_buffer.h>
 #include <stdbool.h>
 #include <sys/param.h>
 #include <sys/uio.h>
 #include <errno.h>
 
 
-static void
-ifree (char **ptrp)
-{
-  free (*ptrp);
-}
-
-
 /* Write data pointed by the buffers described by VECTOR, which
    is a vector of COUNT 'struct iovec's, to file descriptor FD.
    The data is written in the order specified.
@@ -53,22 +47,15 @@  __writev (int fd, const struct iovec *vector, int count)
       bytes += vector[i].iov_len;
     }
 
-  /* Allocate a temporary buffer to hold the data.  We should normally
-     use alloca since it's faster and does not require synchronization
-     with other threads.  But we cannot if the amount of memory
-     required is too large.  */
-  char *buffer;
-  char *malloced_buffer __attribute__ ((__cleanup__ (ifree))) = NULL;
-  if (__libc_use_alloca (bytes))
-    buffer = (char *) __alloca (bytes);
-  else
-    {
-      malloced_buffer = buffer = (char *) malloc (bytes);
-      if (buffer == NULL)
-	/* XXX I don't know whether it is acceptable to try writing
-	   the data in chunks.  Probably not so we just fail here.  */
-	return -1;
-    }
+  /* Allocate a temporary buffer to hold the data.  Use a scratch_buffer
+     since it's faster for small buffer sizes but can handle larger
+     allocations as well.  */
+     
+  struct scratch_buffer buf;
+  scratch_buffer_init (&buf);
+  if (!scratch_buffer_set_array_size (&buf, 1, bytes))
+    return -1;
+  char *buffer = buf.data;
 
   /* Copy the data into BUFFER.  */
   size_t to_copy = bytes;
@@ -86,6 +73,8 @@  __writev (int fd, const struct iovec *vector, int count)
 
   ssize_t bytes_written = __write (fd, buffer, bytes);
 
+  scratch_buffer_free (&buf);
+
   return bytes_written;
 }
 libc_hidden_def (__writev)