1 /* crypto/bn/bn_ctx.c */
2 /* Written by Ulf Moeller for the OpenSSL project. */
3 /* ====================================================================
4 * Copyright (c) 1998-2004 The OpenSSL Project. All rights reserved.
6 * Redistribution and use in source and binary forms, with or without
7 * modification, are permitted provided that the following conditions
10 * 1. Redistributions of source code must retain the above copyright
11 * notice, this list of conditions and the following disclaimer.
13 * 2. Redistributions in binary form must reproduce the above copyright
14 * notice, this list of conditions and the following disclaimer in
15 * the documentation and/or other materials provided with the
18 * 3. All advertising materials mentioning features or use of this
19 * software must display the following acknowledgment:
20 * "This product includes software developed by the OpenSSL Project
21 * for use in the OpenSSL Toolkit. (http://www.openssl.org/)"
23 * 4. The names "OpenSSL Toolkit" and "OpenSSL Project" must not be used to
24 * endorse or promote products derived from this software without
25 * prior written permission. For written permission, please contact
26 * openssl-core@openssl.org.
28 * 5. Products derived from this software may not be called "OpenSSL"
29 * nor may "OpenSSL" appear in their names without prior written
30 * permission of the OpenSSL Project.
32 * 6. Redistributions of any form whatsoever must retain the following
34 * "This product includes software developed by the OpenSSL Project
35 * for use in the OpenSSL Toolkit (http://www.openssl.org/)"
37 * THIS SOFTWARE IS PROVIDED BY THE OpenSSL PROJECT ``AS IS'' AND ANY
38 * EXPRESSED OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
39 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
40 * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE OpenSSL PROJECT OR
41 * ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
42 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
43 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
44 * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
45 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
46 * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
47 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
48 * OF THE POSSIBILITY OF SUCH DAMAGE.
49 * ====================================================================
51 * This product includes cryptographic software written by Eric Young
52 * (eay@cryptsoft.com). This product includes software written by Tim
53 * Hudson (tjh@cryptsoft.com).
57 #if !defined(BN_CTX_DEBUG) && !defined(BN_DEBUG)
71 * 1. Check a bunch of "(words+1)" type hacks in various bignum functions and
72 * check they can be safely removed.
73 * - Check +1 and other ugliness in BN_from_montgomery()
75 * 2. Consider allowing a BN_new_ex() that, at least, lets you specify an
76 * appropriate 'block' size that will be honoured by bn_expand_internal() to
77 * prevent piddly little reallocations. OTOH, profiling bignum expansions in
78 * BN_CTX doesn't show this to be a big issue.
81 /* How many bignums are in each "pool item"; */
82 #define BN_CTX_POOL_SIZE 16
83 /* The stack frame info is resizing, set a first-time expansion size; */
84 #define BN_CTX_START_FRAMES 32
90 /* A bundle of bignums that can be linked with other bundles */
91 typedef struct bignum_pool_item
93 /* The bignum values */
94 BIGNUM vals
[BN_CTX_POOL_SIZE
];
95 /* Linked-list admin */
96 struct bignum_pool_item
*prev
, *next
;
98 /* A linked-list of bignums grouped in bundles */
99 typedef struct bignum_pool
101 /* Linked-list admin */
102 BN_POOL_ITEM
*head
, *current
, *tail
;
103 /* Stack depth and allocation size */
106 static void BN_POOL_init(BN_POOL
*);
107 static void BN_POOL_finish(BN_POOL
*);
108 #ifndef OPENSSL_NO_DEPRECATED
109 static void BN_POOL_reset(BN_POOL
*);
111 static BIGNUM
* BN_POOL_get(BN_POOL
*);
112 static void BN_POOL_release(BN_POOL
*, unsigned int);
118 /* A wrapper to manage the "stack frames" */
119 typedef struct bignum_ctx_stack
121 /* Array of indexes into the bignum stack */
122 unsigned int *indexes
;
123 /* Number of stack frames, and the size of the allocated array */
124 unsigned int depth
, size
;
126 static void BN_STACK_init(BN_STACK
*);
127 static void BN_STACK_finish(BN_STACK
*);
128 #ifndef OPENSSL_NO_DEPRECATED
129 static void BN_STACK_reset(BN_STACK
*);
131 static int BN_STACK_push(BN_STACK
*, unsigned int);
132 static unsigned int BN_STACK_pop(BN_STACK
*);
138 /* The opaque BN_CTX type */
141 /* The bignum bundles */
143 /* The "stack frames", if you will */
145 /* The number of bignums currently assigned */
147 /* Depth of stack overflow */
149 /* Block "gets" until an "end" (compatibility behaviour) */
153 /* Enable this to find BN_CTX bugs */
155 static const char *ctxdbg_cur
= NULL
;
156 static void ctxdbg(BN_CTX
*ctx
)
158 unsigned int bnidx
= 0, fpidx
= 0;
159 BN_POOL_ITEM
*item
= ctx
->pool
.head
;
160 BN_STACK
*stack
= &ctx
->stack
;
161 fprintf(stderr
,"(%08x): ", (unsigned int)ctx
);
162 while(bnidx
< ctx
->used
)
164 fprintf(stderr
,"%03x ", item
->vals
[bnidx
++ % BN_CTX_POOL_SIZE
].dmax
);
165 if(!(bnidx
% BN_CTX_POOL_SIZE
))
168 fprintf(stderr
,"\n");
170 fprintf(stderr
," : ");
171 while(fpidx
< stack
->depth
)
173 while(bnidx
++ < stack
->indexes
[fpidx
])
175 fprintf(stderr
,"^^^ ");
179 fprintf(stderr
,"\n");
181 #define CTXDBG_ENTRY(str, ctx) do { \
182 ctxdbg_cur = (str); \
183 fprintf(stderr,"Starting %s\n", ctxdbg_cur); \
186 #define CTXDBG_EXIT(ctx) do { \
187 fprintf(stderr,"Ending %s\n", ctxdbg_cur); \
190 #define CTXDBG_RET(ctx,ret)
192 #define CTXDBG_ENTRY(str, ctx)
193 #define CTXDBG_EXIT(ctx)
194 #define CTXDBG_RET(ctx,ret)
197 /* This function is an evil legacy and should not be used. This implementation
198 * is WYSIWYG, though I've done my best. */
199 #ifndef OPENSSL_NO_DEPRECATED
200 void BN_CTX_init(BN_CTX
*ctx
)
202 /* Assume the caller obtained the context via BN_CTX_new() and so is
203 * trying to reset it for use. Nothing else makes sense, least of all
204 * binary compatibility from a time when they could declare a static
206 BN_POOL_reset(&ctx
->pool
);
207 BN_STACK_reset(&ctx
->stack
);
214 BN_CTX
*BN_CTX_new(void)
216 BN_CTX
*ret
= OPENSSL_malloc(sizeof(BN_CTX
));
219 BNerr(BN_F_BN_CTX_NEW
,ERR_R_MALLOC_FAILURE
);
222 /* Initialise the structure */
223 BN_POOL_init(&ret
->pool
);
224 BN_STACK_init(&ret
->stack
);
231 void BN_CTX_free(BN_CTX
*ctx
)
237 BN_POOL_ITEM
*pool
= ctx
->pool
.head
;
238 fprintf(stderr
,"BN_CTX_free, stack-size=%d, pool-bignums=%d\n",
239 ctx
->stack
.size
, ctx
->pool
.size
);
240 fprintf(stderr
,"dmaxs: ");
243 while(loop
< BN_CTX_POOL_SIZE
)
244 fprintf(stderr
,"%02x ", pool
->vals
[loop
++].dmax
);
247 fprintf(stderr
,"\n");
250 BN_STACK_finish(&ctx
->stack
);
251 BN_POOL_finish(&ctx
->pool
);
255 void BN_CTX_start(BN_CTX
*ctx
)
257 CTXDBG_ENTRY("BN_CTX_start", ctx
);
258 /* If we're already overflowing ... */
259 if(ctx
->err_stack
|| ctx
->too_many
)
261 /* (Try to) get a new frame pointer */
262 else if(!BN_STACK_push(&ctx
->stack
, ctx
->used
))
264 BNerr(BN_F_BN_CTX_START
,BN_R_TOO_MANY_TEMPORARY_VARIABLES
);
270 void BN_CTX_end(BN_CTX
*ctx
)
272 CTXDBG_ENTRY("BN_CTX_end", ctx
);
277 unsigned int fp
= BN_STACK_pop(&ctx
->stack
);
278 /* Does this stack frame have anything to release? */
280 BN_POOL_release(&ctx
->pool
, ctx
->used
- fp
);
282 /* Unjam "too_many" in case "get" had failed */
288 BIGNUM
*BN_CTX_get(BN_CTX
*ctx
)
291 CTXDBG_ENTRY("BN_CTX_get", ctx
);
292 if(ctx
->err_stack
|| ctx
->too_many
) return NULL
;
293 if((ret
= BN_POOL_get(&ctx
->pool
)) == NULL
)
295 /* Setting too_many prevents repeated "get" attempts from
296 * cluttering the error stack. */
298 BNerr(BN_F_BN_CTX_GET
,BN_R_TOO_MANY_TEMPORARY_VARIABLES
);
301 /* OK, make sure the returned bignum is "zero" */
304 CTXDBG_RET(ctx
, ret
);
312 static void BN_STACK_init(BN_STACK
*st
)
315 st
->depth
= st
->size
= 0;
318 static void BN_STACK_finish(BN_STACK
*st
)
320 if(st
->size
) OPENSSL_free(st
->indexes
);
323 #ifndef OPENSSL_NO_DEPRECATED
324 static void BN_STACK_reset(BN_STACK
*st
)
330 static int BN_STACK_push(BN_STACK
*st
, unsigned int idx
)
332 if(st
->depth
== st
->size
)
335 unsigned int newsize
= (st
->size
?
336 (st
->size
* 3 / 2) : BN_CTX_START_FRAMES
);
337 unsigned int *newitems
= OPENSSL_malloc(newsize
*
338 sizeof(unsigned int));
339 if(!newitems
) return 0;
341 memcpy(newitems
, st
->indexes
, st
->depth
*
342 sizeof(unsigned int));
343 if(st
->size
) OPENSSL_free(st
->indexes
);
344 st
->indexes
= newitems
;
347 st
->indexes
[(st
->depth
)++] = idx
;
351 static unsigned int BN_STACK_pop(BN_STACK
*st
)
353 return st
->indexes
[--(st
->depth
)];
360 static void BN_POOL_init(BN_POOL
*p
)
362 p
->head
= p
->current
= p
->tail
= NULL
;
363 p
->used
= p
->size
= 0;
366 static void BN_POOL_finish(BN_POOL
*p
)
370 unsigned int loop
= 0;
371 BIGNUM
*bn
= p
->head
->vals
;
372 while(loop
++ < BN_CTX_POOL_SIZE
)
374 if(bn
->d
) BN_clear_free(bn
);
377 p
->current
= p
->head
->next
;
378 OPENSSL_free(p
->head
);
379 p
->head
= p
->current
;
383 #ifndef OPENSSL_NO_DEPRECATED
384 static void BN_POOL_reset(BN_POOL
*p
)
386 BN_POOL_ITEM
*item
= p
->head
;
389 unsigned int loop
= 0;
390 BIGNUM
*bn
= item
->vals
;
391 while(loop
++ < BN_CTX_POOL_SIZE
)
393 if(bn
->d
) BN_clear(bn
);
398 p
->current
= p
->head
;
403 static BIGNUM
*BN_POOL_get(BN_POOL
*p
)
405 if(p
->used
== p
->size
)
408 unsigned int loop
= 0;
409 BN_POOL_ITEM
*item
= OPENSSL_malloc(sizeof(BN_POOL_ITEM
));
410 if(!item
) return NULL
;
411 /* Initialise the structure */
413 while(loop
++ < BN_CTX_POOL_SIZE
)
415 item
->prev
= p
->tail
;
419 p
->head
= p
->current
= p
->tail
= item
;
422 p
->tail
->next
= item
;
426 p
->size
+= BN_CTX_POOL_SIZE
;
428 /* Return the first bignum from the new pool */
432 p
->current
= p
->head
;
433 else if((p
->used
% BN_CTX_POOL_SIZE
) == 0)
434 p
->current
= p
->current
->next
;
435 return p
->current
->vals
+ ((p
->used
++) % BN_CTX_POOL_SIZE
);
438 static void BN_POOL_release(BN_POOL
*p
, unsigned int num
)
440 unsigned int offset
= (p
->used
- 1) % BN_CTX_POOL_SIZE
;
444 bn_check_top(p
->current
->vals
+ offset
);
447 offset
= BN_CTX_POOL_SIZE
- 1;
448 p
->current
= p
->current
->prev
;