00001 /* 00002 * Copyright (c) 2008 Jakub Jermar 00003 * All rights reserved. 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 * 00009 * - Redistributions of source code must retain the above copyright 00010 * notice, this list of conditions and the following disclaimer. 00011 * - Redistributions in binary form must reproduce the above copyright 00012 * notice, this list of conditions and the following disclaimer in the 00013 * documentation and/or other materials provided with the distribution. 00014 * - The name of the author may not be used to endorse or promote products 00015 * derived from this software without specific prior written permission. 00016 * 00017 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR 00018 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES 00019 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. 00020 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, 00021 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT 00022 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 00023 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 00024 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 00025 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF 00026 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 00027 */ 00028 00035 #include <futex.h> 00036 #include <atomic.h> 00037 #include <libc.h> 00038 #include <sys/types.h> 00039 00046 void futex_initialize(futex_t *futex, int val) 00047 { 00048 atomic_set(futex, val); 00049 } 00050 00059 int futex_trydown(futex_t *futex) 00060 { 00061 return cas(futex, 1, 0); 00062 } 00063 00073 int futex_down(futex_t *futex) 00074 { 00075 if ((atomic_signed_t) atomic_predec(futex) < 0) 00076 return __SYSCALL1(SYS_FUTEX_SLEEP, (sysarg_t) &futex->count); 00077 00078 return 0; 00079 } 00080 00089 int futex_up(futex_t *futex) 00090 { 00091 if ((atomic_signed_t) atomic_postinc(futex) < 0) 00092 return __SYSCALL1(SYS_FUTEX_WAKEUP, (sysarg_t) &futex->count); 00093 00094 return 0; 00095 } 00096