os161-1.99
 All Data Structures
bad_sbrk.c
00001 /*
00002  * Copyright (c) 2000, 2001, 2002, 2003, 2004, 2005, 2008, 2009
00003  *      The President and Fellows of Harvard College.
00004  *
00005  * Redistribution and use in source and binary forms, with or without
00006  * modification, are permitted provided that the following conditions
00007  * are met:
00008  * 1. Redistributions of source code must retain the above copyright
00009  *    notice, this list of conditions and the following disclaimer.
00010  * 2. Redistributions in binary form must reproduce the above copyright
00011  *    notice, this list of conditions and the following disclaimer in the
00012  *    documentation and/or other materials provided with the distribution.
00013  * 3. Neither the name of the University nor the names of its contributors
00014  *    may be used to endorse or promote products derived from this software
00015  *    without specific prior written permission.
00016  *
00017  * THIS SOFTWARE IS PROVIDED BY THE UNIVERSITY AND CONTRIBUTORS ``AS IS'' AND
00018  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
00019  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
00020  * ARE DISCLAIMED.  IN NO EVENT SHALL THE UNIVERSITY OR CONTRIBUTORS BE LIABLE
00021  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
00022  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
00023  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
00024  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
00025  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
00026  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
00027  * SUCH DAMAGE.
00028  */
00029 
00030 /*
00031  * sbrk
00032  */
00033 
00034 #include <sys/types.h>
00035 #include <sys/stat.h>
00036 #include <stdio.h>
00037 #include <stdlib.h>
00038 #include <string.h>
00039 #include <unistd.h>
00040 #include <errno.h>
00041 #include <err.h>
00042 
00043 #include "config.h"
00044 #include "test.h"
00045 
00046 static
00047 int
00048 try_sbrk(long val)
00049 {
00050         void *rv;
00051         rv = sbrk(val);
00052         if (rv==(void *)-1) {
00053                 return errno;
00054         }
00055         return 0;
00056 }
00057 
00058 static
00059 void
00060 enforce_sbrk(long val, const char *desc, int err)
00061 {
00062         int e;
00063 
00064         e = try_sbrk(val);
00065         if (e != err && e==0) {
00066                 warnx("FAILURE: sbrk(%s): no error", desc);
00067                 return;
00068         }
00069         if (e != err) {
00070                 errno = e;
00071                 warn("FAILURE: sbrk(%s): wrong error", desc);
00072                 return;
00073         }
00074         warnx("passed: sbrk(%s)", desc);
00075 }
00076 
00077 static
00078 void
00079 sbrk_bigpos(void)
00080 {
00081         enforce_sbrk(4096*1024*256, "huge positive", ENOMEM);
00082 }
00083 
00084 static
00085 void
00086 sbrk_bigneg(void)
00087 {
00088         enforce_sbrk(-4096*1024*256, "huge negative", EINVAL);
00089 }
00090 
00091 static
00092 void
00093 sbrk_neg(void)
00094 {
00095         enforce_sbrk(-8192, "too-large negative", EINVAL);
00096 }
00097 
00098 static
00099 void
00100 sbrk_unalignedpos(void)
00101 {
00102         switch (try_sbrk(17)) {
00103             case 0:
00104             case EINVAL:
00105                 warnx("passed: sbrk(unaligned positive)");
00106                 break;
00107             default:
00108                 warn("FAILURE: sbrk(unaligned positive): wrong error");
00109                 break;
00110         }
00111 }
00112 
00113 static
00114 void
00115 sbrk_unalignedneg(void)
00116 {
00117         switch (try_sbrk(-17)) {
00118             case 0:
00119             case EINVAL:
00120                 warnx("passed: sbrk(unaligned negative)");
00121                 break;
00122             default:
00123                 warn("FAILURE: sbrk(unaligned negative): wrong error");
00124                 break;
00125         }
00126 }
00127 
00128 void
00129 test_sbrk(void)
00130 {
00131         sbrk_neg();
00132         sbrk_bigpos();
00133         sbrk_bigneg();
00134         sbrk_unalignedpos();
00135         sbrk_unalignedneg();
00136 }
00137 
 All Data Structures