[rtems commit] libcsupport: Add and use rtems_libio_iovec_eval()
Sebastian Huber
sebh at rtems.org
Fri Dec 20 09:26:48 UTC 2013
Module: rtems
Branch: master
Commit: 95a57280ebc3996547fccd6065a5652a846d1447
Changeset: http://git.rtems.org/rtems/commit/?id=95a57280ebc3996547fccd6065a5652a846d1447
Author: Sebastian Huber <sebastian.huber at embedded-brains.de>
Date: Mon Dec 16 13:12:22 2013 +0100
libcsupport: Add and use rtems_libio_iovec_eval()
---
cpukit/libcsupport/include/rtems/libio_.h | 56 ++++++++++++++++
cpukit/libcsupport/src/readv.c | 88 +++++---------------------
cpukit/libcsupport/src/writev.c | 98 +++++------------------------
testsuites/psxtests/psxrdwrv/psxrdwrv.scn | 8 ++-
testsuites/psxtests/psxrdwrv/test.c | 33 +++++++++-
5 files changed, 122 insertions(+), 161 deletions(-)
diff --git a/cpukit/libcsupport/include/rtems/libio_.h b/cpukit/libcsupport/include/rtems/libio_.h
index bf01cd5..995d621 100644
--- a/cpukit/libcsupport/include/rtems/libio_.h
+++ b/cpukit/libcsupport/include/rtems/libio_.h
@@ -21,7 +21,9 @@
#ifndef _RTEMS_RTEMS_LIBIO__H
#define _RTEMS_RTEMS_LIBIO__H
+#include <sys/uio.h>
#include <errno.h>
+#include <limits.h>
#include <rtems.h>
#include <rtems/libio.h>
@@ -839,6 +841,60 @@ static inline bool rtems_filesystem_is_parent_directory(
return tokenlen == 2 && token [0] == '.' && token [1] == '.';
}
+static inline ssize_t rtems_libio_iovec_eval(
+ int fd,
+ const struct iovec *iov,
+ int iovcnt,
+ uint32_t flags,
+ rtems_libio_t **iopp
+)
+{
+ ssize_t total;
+ int v;
+ rtems_libio_t *iop;
+
+ rtems_libio_check_fd( fd );
+ iop = rtems_libio_iop( fd );
+ rtems_libio_check_is_open( iop );
+ rtems_libio_check_permissions_with_error( iop, flags, EBADF );
+
+ *iopp = iop;
+
+ /*
+ * Argument validation on IO vector
+ */
+ if ( iov == NULL )
+ rtems_set_errno_and_return_minus_one( EINVAL );
+
+ if ( iovcnt <= 0 )
+ rtems_set_errno_and_return_minus_one( EINVAL );
+
+ if ( iovcnt > IOV_MAX )
+ rtems_set_errno_and_return_minus_one( EINVAL );
+
+ /*
+ * OpenGroup says that you are supposed to return EINVAL if the
+ * sum of the iov_len values in the iov array would overflow a
+ * ssize_t.
+ */
+ total = 0;
+ for ( v = 0 ; v < iovcnt ; ++v ) {
+ size_t len = iov[ v ].iov_len;
+
+ if ( len > ( size_t ) ( SSIZE_MAX - total ) ) {
+ rtems_set_errno_and_return_minus_one( EINVAL );
+ }
+
+ total += ( ssize_t ) len;
+
+ if ( iov[ v ].iov_base == NULL ) {
+ rtems_set_errno_and_return_minus_one( EINVAL );
+ }
+ }
+
+ return total;
+}
+
/** @} */
#ifdef __cplusplus
diff --git a/cpukit/libcsupport/src/readv.c b/cpukit/libcsupport/src/readv.c
index 2ff7f63..e47f228 100644
--- a/cpukit/libcsupport/src/readv.c
+++ b/cpukit/libcsupport/src/readv.c
@@ -18,11 +18,9 @@
#include "config.h"
#endif
-#include <sys/types.h>
#include <sys/uio.h>
#include <rtems/libio_.h>
-#include <rtems/seterr.h>
/**
* readv() - POSIX 1003.1 - Read a Vector
@@ -39,86 +37,30 @@ ssize_t readv(
{
ssize_t total;
int v;
- int bytes;
rtems_libio_t *iop;
- bool all_zeros;
- rtems_libio_check_fd( fd );
- iop = rtems_libio_iop( fd );
- rtems_libio_check_is_open( iop );
- rtems_libio_check_permissions_with_error( iop, LIBIO_FLAGS_READ, EBADF );
-
- /*
- * Argument validation on IO vector
- */
- if ( !iov )
- rtems_set_errno_and_return_minus_one( EINVAL );
-
- if ( iovcnt <= 0 )
- rtems_set_errno_and_return_minus_one( EINVAL );
-
- if ( iovcnt > IOV_MAX )
- rtems_set_errno_and_return_minus_one( EINVAL );
-
- /*
- * OpenGroup says that you are supposed to return EINVAL if the
- * sum of the iov_len values in the iov array would overflow a
- * ssize_t.
- *
- * Also we would like to ensure that no IO is performed if there
- * are obvious errors in the iovec. So this extra loop ensures
- * that we do not do anything if there is an argument error.
- */
-
- all_zeros = true;
- for ( total=0, v=0 ; v < iovcnt ; v++ ) {
- ssize_t old;
+ total = rtems_libio_iovec_eval( fd, iov, iovcnt, LIBIO_FLAGS_READ, &iop );
+ if ( total > 0 ) {
/*
- * iov[v].iov_len cannot be less than 0 because size_t is unsigned.
- * So we only check for zero.
+ * Now process the readv().
*/
- if ( iov[v].iov_base == 0 )
- rtems_set_errno_and_return_minus_one( EINVAL );
+ total = 0;
+ for ( v = 0 ; v < iovcnt ; v++ ) {
+ ssize_t bytes = ( *iop->pathinfo.handlers->read_h )(
+ iop,
+ iov[ v ].iov_base,
+ iov[ v ].iov_len
+ );
- /* check for wrap */
- old = total;
- total += iov[v].iov_len;
- if ( total < old )
- rtems_set_errno_and_return_minus_one( EINVAL );
+ if ( bytes < 0 )
+ return -1;
- if ( iov[v].iov_len )
- all_zeros = false;
- }
+ total += bytes;
- /*
- * A readv with all zeros logically has no effect. Even though
- * OpenGroup didn't address this case as they did with writev(),
- * we will handle it the same way for symmetry.
- */
- if ( all_zeros == true ) {
- return 0;
- }
-
- /*
- * Now process the readv().
- */
- for ( total=0, v=0 ; v < iovcnt ; v++ ) {
- bytes = (*iop->pathinfo.handlers->read_h)(
- iop,
- iov[v].iov_base,
- iov[v].iov_len
- );
-
- if ( bytes < 0 )
- return -1;
-
- if ( bytes > 0 ) {
- total += bytes;
+ if ( bytes != iov[ v ].iov_len )
+ break;
}
-
- if (bytes != iov[ v ].iov_len)
- break;
}
return total;
diff --git a/cpukit/libcsupport/src/writev.c b/cpukit/libcsupport/src/writev.c
index 47605a4..4a8dc73 100644
--- a/cpukit/libcsupport/src/writev.c
+++ b/cpukit/libcsupport/src/writev.c
@@ -1,5 +1,5 @@
/*
- * writev() - POSIX 1003.1 - Read a Vector
+ * writev() - POSIX 1003.1 - Write a Vector
*
* OpenGroup URL:
*
@@ -17,11 +17,9 @@
#include "config.h"
#endif
-#include <sys/types.h>
#include <sys/uio.h>
#include <rtems/libio_.h>
-#include <rtems/seterr.h>
ssize_t writev(
int fd,
@@ -31,95 +29,31 @@ ssize_t writev(
{
ssize_t total;
int v;
- int bytes;
rtems_libio_t *iop;
- ssize_t old;
- bool all_zeros;
- rtems_libio_check_fd( fd );
- iop = rtems_libio_iop( fd );
- rtems_libio_check_is_open( iop );
- rtems_libio_check_permissions_with_error( iop, LIBIO_FLAGS_WRITE, EBADF );
-
- /*
- * Argument validation on IO vector
- */
- if ( !iov )
- rtems_set_errno_and_return_minus_one( EINVAL );
-
- if ( iovcnt <= 0 )
- rtems_set_errno_and_return_minus_one( EINVAL );
-
- if ( iovcnt > IOV_MAX )
- rtems_set_errno_and_return_minus_one( EINVAL );
-
- /*
- * OpenGroup says that you are supposed to return EINVAL if the
- * sum of the iov_len values in the iov array would overflow a
- * ssize_t.
- *
- * Also we would like to ensure that no IO is performed if there
- * are obvious errors in the iovec. So this extra loop ensures
- * that we do not do anything if there is an argument error.
- *
- * In addition,the OpenGroup specification says that if all the
- * iov_len entries are zero, then the call has no effect. So
- * this loop does that check as well and sets "all-zero" appropriately.
- * The variable "all_zero" is used as an early exit point before
- * entering the write loop.
- */
- all_zeros = true;
- for ( old=0, total=0, v=0 ; v < iovcnt ; v++ ) {
+ total = rtems_libio_iovec_eval( fd, iov, iovcnt, LIBIO_FLAGS_WRITE, &iop );
+ if ( total > 0 ) {
/*
- * iov[v].iov_len cannot be less than 0 because size_t is unsigned.
- * So we only check for zero.
+ * Now process the writev().
*/
- if ( iov[v].iov_base == 0 )
- rtems_set_errno_and_return_minus_one( EINVAL );
-
- if ( iov[v].iov_len )
- all_zeros = false;
-
- /* check for wrap */
- old = total;
- total += iov[v].iov_len;
- if ( total < old || total > SSIZE_MAX )
- rtems_set_errno_and_return_minus_one( EINVAL );
- }
-
- /*
- * A writev with all zeros is supposed to have no effect per OpenGroup.
- */
- if ( all_zeros == true ) {
- return 0;
- }
+ total = 0;
+ for ( v = 0 ; v < iovcnt ; v++ ) {
+ ssize_t bytes = ( *iop->pathinfo.handlers->write_h )(
+ iop,
+ iov[ v ].iov_base,
+ iov[ v ].iov_len
+ );
- /*
- * Now process the writev().
- */
- for ( total=0, v=0 ; v < iovcnt ; v++ ) {
- /* all zero lengths has no effect */
- if ( iov[v].iov_len == 0 )
- continue;
+ if ( bytes < 0 )
+ return -1;
- bytes = (*iop->pathinfo.handlers->write_h)(
- iop,
- iov[v].iov_base,
- iov[v].iov_len
- );
+ total += bytes;
- if ( bytes < 0 )
- return -1;
-
- if ( bytes > 0 ) {
- total += bytes;
+ if ( bytes != iov[ v ].iov_len )
+ break;
}
-
- if (bytes != iov[ v ].iov_len)
- break;
}
return total;
}
-
diff --git a/testsuites/psxtests/psxrdwrv/psxrdwrv.scn b/testsuites/psxtests/psxrdwrv/psxrdwrv.scn
index 26e1ea5..7d070ea 100644
--- a/testsuites/psxtests/psxrdwrv/psxrdwrv.scn
+++ b/testsuites/psxtests/psxrdwrv/psxrdwrv.scn
@@ -3,16 +3,20 @@ writev bad file descriptor -- EBADF
readv bad file descriptor -- EBADF
writev bad iovec pointer -- EINVAL
readv bad iovec pointer -- EINVAL
-readv bad iovcnt of 0 -- EINVAL
+writev bad iovcnt of 0 -- EINVAL
readv bad iovcnt of 0 -- EINVAL
writev bad iovcnt negative -- EINVAL
readv bad iovcnt negative -- EINVAL
writev bad iov[i].iov_base -- EINVAL
readv bad iov[i].iov_base -- EINVAL
writev bad iov[i].iov_len < 0 -- EINVAL
-readv bad iov[i].iov_len = 0 -- EINVAL
+readv bad iov[i].iov_len < 0 -- EINVAL
writev iov_len total overflows -- EINVAL
readv iov_len total overflows -- EINVAL
+writev iov_len works with no effect -- OK
+readv iov_len works with no effect -- OK
+readv bad iovcnt of IOV_MAX + 1 -- EINVAL
+writev bad iovcnt of IOV_MAX + 1 -- EINVAL
File written using writev .. OK
File read using readv .. OK
*** END OF TEST PSXRDWRV ***
diff --git a/testsuites/psxtests/psxrdwrv/test.c b/testsuites/psxtests/psxrdwrv/test.c
index cedca90..0e06674 100644
--- a/testsuites/psxtests/psxrdwrv/test.c
+++ b/testsuites/psxtests/psxrdwrv/test.c
@@ -27,6 +27,7 @@
#include <utime.h>
#include <string.h>
#include <inttypes.h>
+#include <limits.h>
#include <stdio.h>
#include <unistd.h>
@@ -217,6 +218,7 @@ int doErrorTest(void)
}
fd = fileno(fp);
+#ifdef __rtems__
/* writev -- bad iovec pointer */
puts("writev bad iovec pointer -- EINVAL");
rc = writev(fd, NULL, 4);
@@ -236,7 +238,7 @@ int doErrorTest(void)
}
/* writev -- bad iovcnt 0 */
- puts("readv bad iovcnt of 0 -- EINVAL");
+ puts("writev bad iovcnt of 0 -- EINVAL");
rc = writev(fd, vec, 0);
if ( (rc != -1) || (errno != EINVAL) ) {
printf( "writev error 3: %d=%s\n", errno, strerror(errno) );
@@ -252,6 +254,7 @@ int doErrorTest(void)
fclose(fp);
return FALSE;
}
+#endif /* __rtems__ */
/* writev -- bad iovcnt negative */
puts("writev bad iovcnt negative -- EINVAL");
@@ -271,6 +274,7 @@ int doErrorTest(void)
return FALSE;
}
+#ifdef __rtems__
/* writev -- bad iov[i].iov_base */
vec[0].iov_base = vec;
vec[0].iov_len = 100;
@@ -296,6 +300,7 @@ int doErrorTest(void)
fclose(fp);
return FALSE;
}
+#endif /* __rtems__ */
/* writev -- bad iov[i].iov_len < 0 */
vec[0].iov_base = vec;
@@ -310,12 +315,12 @@ int doErrorTest(void)
return FALSE;
}
- /* readv -- bad iov[i].iov_len = 0 */
+ /* readv -- bad iov[i].iov_len < 0 */
vec[0].iov_base = vec;
vec[0].iov_len = 100;
vec[1].iov_base = vec;
vec[1].iov_len = -1024;
- puts("readv bad iov[i].iov_len = 0 -- EINVAL");
+ puts("readv bad iov[i].iov_len < 0 -- EINVAL");
rc = readv(fd, vec, 2);
if ( (rc != -1) || (errno != EINVAL) ) {
printf( "readv error 6: %d=%s\n", errno, strerror(errno) );
@@ -343,8 +348,10 @@ int doErrorTest(void)
vec[0].iov_len = SIZE_MAX;
vec[1].iov_base = vec;
vec[1].iov_len = SIZE_MAX;
+ vec[2].iov_base = vec;
+ vec[2].iov_len = SIZE_MAX;
puts("readv iov_len total overflows -- EINVAL");
- rc = readv(fd, vec, 2);
+ rc = readv(fd, vec, 3);
if ( (rc != -1) || (errno != EINVAL) ) {
printf( "read error 7: rc=%d %d=%s\n", rc, errno, strerror(errno) );
fclose(fp);
@@ -377,6 +384,24 @@ int doErrorTest(void)
return FALSE;
}
+#ifdef __rtems__
+ puts("readv bad iovcnt of IOV_MAX + 1 -- EINVAL");
+ rc = readv(fd, vec, IOV_MAX + 1);
+ if ( (rc != -1) || (errno != EINVAL) ) {
+ printf( "readv error 9: %d=%s\n", errno, strerror(errno) );
+ fclose(fp);
+ return FALSE;
+ }
+
+ puts("writev bad iovcnt of IOV_MAX + 1 -- EINVAL");
+ rc = writev(fd, vec, IOV_MAX + 1);
+ if ( (rc != -1) || (errno != EINVAL) ) {
+ printf( "writev error 9: %d=%s\n", errno, strerror(errno) );
+ fclose(fp);
+ return FALSE;
+ }
+#endif /* __rtems__ */
+
fclose(fp);
return TRUE;
}
More information about the vc
mailing list