ucx/stack.c

Sat, 04 Apr 2015 22:20:39 +0200

author
Mike Becker <universe@uap-core.de>
date
Sat, 04 Apr 2015 22:20:39 +0200
changeset 91
838b427267bb
parent 70
88092b88ec00
child 110
53895e9a4bbb
permissions
-rw-r--r--

parser verifies that path is an identifier

70
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
1 /*
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
2 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS HEADER.
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
3 *
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
4 * Copyright 2014 Olaf Wintermann. All rights reserved.
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
5 *
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
6 * Redistribution and use in source and binary forms, with or without
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
7 * modification, are permitted provided that the following conditions are met:
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
8 *
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
9 * 1. Redistributions of source code must retain the above copyright
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
10 * notice, this list of conditions and the following disclaimer.
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
11 *
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
12 * 2. Redistributions in binary form must reproduce the above copyright
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
13 * notice, this list of conditions and the following disclaimer in the
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
14 * documentation and/or other materials provided with the distribution.
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
15 *
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
16 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
17 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
18 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
19 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
20 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
21 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
22 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
23 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
24 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
25 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
26 * POSSIBILITY OF SUCH DAMAGE.
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
27 */
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
28
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
29 #include "stack.h"
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
30 #include <string.h>
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
31
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
32 static size_t ucx_stack_align(size_t n) {
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
33 int align = n % sizeof(void*);
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
34 if (align) {
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
35 n += sizeof(void*) - align;
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
36 }
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
37 return n;
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
38 }
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
39
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
40 void ucx_stack_init(UcxStack *stack, char* space, size_t size) {
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
41 stack->size = size - size % sizeof(void*);
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
42 stack->space = space;
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
43 stack->top = NULL;
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
44
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
45 stack->allocator.pool = stack;
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
46 stack->allocator.malloc = (ucx_allocator_malloc) ucx_stack_malloc;
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
47 stack->allocator.calloc = (ucx_allocator_calloc) ucx_stack_calloc;
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
48 stack->allocator.realloc = (ucx_allocator_realloc) ucx_stack_realloc;
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
49 stack->allocator.free = (ucx_allocator_free) ucx_stack_free;
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
50 }
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
51
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
52 void *ucx_stack_malloc(UcxStack *stack, size_t n) {
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
53
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
54 if (ucx_stack_avail(stack) < ucx_stack_align(n)) {
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
55 return NULL;
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
56 } else {
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
57 char *prev = stack->top;
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
58 if (stack->top) {
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
59 stack->top += ucx_stack_align(ucx_stack_topsize(stack));
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
60 } else {
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
61 stack->top = stack->space;
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
62 }
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
63
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
64 ((struct ucx_stack_metadata*)stack->top)->prev = prev;
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
65 ((struct ucx_stack_metadata*)stack->top)->size = n;
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
66 stack->top += sizeof(struct ucx_stack_metadata);
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
67
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
68 return stack->top;
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
69 }
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
70 }
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
71
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
72 void *ucx_stack_calloc(UcxStack *stack, size_t nelem, size_t elsize) {
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
73 void *mem = ucx_stack_malloc(stack, nelem*elsize);
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
74 memset(mem, 0, nelem*elsize);
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
75 return mem;
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
76 }
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
77
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
78 void *ucx_stack_realloc(UcxStack *stack, void *ptr, size_t n) {
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
79 if (ptr == stack->top) {
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
80 if (stack->size - (stack->top - stack->space) < ucx_stack_align(n)) {
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
81 return NULL;
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
82 } else {
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
83 ((struct ucx_stack_metadata*)stack->top - 1)->size = n;
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
84 return ptr;
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
85 }
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
86 } else {
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
87 if (ucx_stack_align(((struct ucx_stack_metadata*)ptr - 1)->size) <
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
88 ucx_stack_align(n)) {
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
89 void *nptr = ucx_stack_malloc(stack, n);
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
90 if (nptr) {
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
91 memcpy(nptr, ptr, n);
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
92 ucx_stack_free(stack, ptr);
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
93
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
94 return nptr;
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
95 } else {
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
96 return NULL;
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
97 }
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
98 } else {
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
99 ((struct ucx_stack_metadata*)ptr - 1)->size = n;
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
100 return ptr;
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
101 }
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
102 }
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
103 }
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
104
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
105 void ucx_stack_free(UcxStack *stack, void *ptr) {
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
106 if (ptr == stack->top) {
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
107 stack->top = ((struct ucx_stack_metadata*) stack->top - 1)->prev;
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
108 } else {
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
109 struct ucx_stack_metadata *next = (struct ucx_stack_metadata*)(
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
110 (char*)ptr +
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
111 ucx_stack_align(((struct ucx_stack_metadata*) ptr - 1)->size)
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
112 );
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
113 next->prev = ((struct ucx_stack_metadata*) ptr - 1)->prev;
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
114 }
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
115 }
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
116
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
117 void ucx_stack_popn(UcxStack *stack, void *dest, size_t n) {
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
118 if (ucx_stack_empty(stack)) {
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
119 return;
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
120 }
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
121
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
122 size_t len = ucx_stack_topsize(stack);
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
123 if (len > n) {
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
124 len = n;
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
125 }
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
126
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
127 memcpy(dest, stack->top, len);
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
128
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
129 ucx_stack_free(stack, stack->top);
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
130 }
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
131
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
132 size_t ucx_stack_avail(UcxStack *stack) {
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
133 size_t avail = ((stack->top ? (stack->size
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
134 - (stack->top - stack->space)
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
135 - ucx_stack_align(ucx_stack_topsize(stack)))
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
136 : stack->size));
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
137
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
138 if (avail > sizeof(struct ucx_stack_metadata)) {
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
139 return avail - sizeof(struct ucx_stack_metadata);
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
140 } else {
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
141 return 0;
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
142 }
88092b88ec00 ucx update
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
143 }

mercurial