Subversion Repositories Kolibri OS

Rev

Details | Last modification | View Log | RSS feed

Rev Author Line No. Line
5563 serge 1
/**************************************************************************
2
 *
3
 * Copyright 2006-2008 Tungsten Graphics, Inc., Cedar Park, TX., USA
4
 * All Rights Reserved.
5
 *
6
 * Permission is hereby granted, FREE of charge, to any person obtaining a
7
 * copy of this software and associated documentation files (the
8
 * "Software"), to deal in the Software without restriction, including
9
 * without limitation the rights to use, copy, modify, merge, publish,
10
 * distribute, sub license, and/or sell copies of the Software, and to
11
 * permit persons to whom the Software is furnished to do so, subject to
12
 * the following conditions:
13
 *
14
 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
15
 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
16
 * FITNESS FOR A PARTICULAR PURPOSE AND NON-INFRINGEMENT. IN NO EVENT SHALL
17
 * THE COPYRIGHT HOLDERS, AUTHORS AND/OR ITS SUPPLIERS BE LIABLE FOR ANY CLAIM,
18
 * DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR
19
 * OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE
20
 * USE OR OTHER DEALINGS IN THE SOFTWARE.
21
 *
22
 * The above copyright notice and this permission notice (including the
23
 * next paragraph) shall be included in all copies or substantial portions
24
 * of the Software.
25
 *
26
 *
27
 **************************************************************************/
28
 
29
/**
30
 * @file
31
 * S-lab pool implementation.
32
 *
33
 * @sa http://en.wikipedia.org/wiki/Slab_allocation
34
 *
35
 * @author Thomas Hellstrom 
36
 * @author Jose Fonseca 
37
 */
38
 
39
#include "pipe/p_compiler.h"
40
#include "util/u_debug.h"
41
#include "os/os_thread.h"
42
#include "pipe/p_defines.h"
43
#include "util/u_memory.h"
44
#include "util/u_double_list.h"
45
#include "util/u_time.h"
46
 
47
#include "pb_buffer.h"
48
#include "pb_bufmgr.h"
49
 
50
 
51
struct pb_slab;
52
 
53
 
54
/**
55
 * Buffer in a slab.
56
 *
57
 * Sub-allocation of a contiguous buffer.
58
 */
59
struct pb_slab_buffer
60
{
61
   struct pb_buffer base;
62
 
63
   struct pb_slab *slab;
64
 
65
   struct list_head head;
66
 
67
   unsigned mapCount;
68
 
69
   /** Offset relative to the start of the slab buffer. */
70
   pb_size start;
71
 
72
   /** Use when validating, to signal that all mappings are finished */
73
   /* TODO: Actually validation does not reach this stage yet */
74
   pipe_condvar event;
75
};
76
 
77
 
78
/**
79
 * Slab -- a contiguous piece of memory.
80
 */
81
struct pb_slab
82
{
83
   struct list_head head;
84
   struct list_head freeBuffers;
85
   pb_size numBuffers;
86
   pb_size numFree;
87
 
88
   struct pb_slab_buffer *buffers;
89
   struct pb_slab_manager *mgr;
90
 
91
   /** Buffer from the provider */
92
   struct pb_buffer *bo;
93
 
94
   void *virtual;
95
};
96
 
97
 
98
/**
99
 * It adds/removes slabs as needed in order to meet the allocation/destruction
100
 * of individual buffers.
101
 */
102
struct pb_slab_manager
103
{
104
   struct pb_manager base;
105
 
106
   /** From where we get our buffers */
107
   struct pb_manager *provider;
108
 
109
   /** Size of the buffers we hand on downstream */
110
   pb_size bufSize;
111
 
112
   /** Size of the buffers we request upstream */
113
   pb_size slabSize;
114
 
115
   /**
116
    * Alignment, usage to be used to allocate the slab buffers.
117
    *
118
    * We can only provide buffers which are consistent (in alignment, usage)
119
    * with this description.
120
    */
121
   struct pb_desc desc;
122
 
123
   /**
124
    * Partial slabs
125
    *
126
    * Full slabs are not stored in any list. Empty slabs are destroyed
127
    * immediatly.
128
    */
129
   struct list_head slabs;
130
 
131
   pipe_mutex mutex;
132
};
133
 
134
 
135
/**
136
 * Wrapper around several slabs, therefore capable of handling buffers of
137
 * multiple sizes.
138
 *
139
 * This buffer manager just dispatches buffer allocations to the appropriate slab
140
 * manager, according to the requested buffer size, or by passes the slab
141
 * managers altogether for even greater sizes.
142
 *
143
 * The data of this structure remains constant after
144
 * initialization and thus needs no mutex protection.
145
 */
146
struct pb_slab_range_manager
147
{
148
   struct pb_manager base;
149
 
150
   struct pb_manager *provider;
151
 
152
   pb_size minBufSize;
153
   pb_size maxBufSize;
154
 
155
   /** @sa pb_slab_manager::desc */
156
   struct pb_desc desc;
157
 
158
   unsigned numBuckets;
159
   pb_size *bucketSizes;
160
 
161
   /** Array of pb_slab_manager, one for each bucket size */
162
   struct pb_manager **buckets;
163
};
164
 
165
 
166
static INLINE struct pb_slab_buffer *
167
pb_slab_buffer(struct pb_buffer *buf)
168
{
169
   assert(buf);
170
   return (struct pb_slab_buffer *)buf;
171
}
172
 
173
 
174
static INLINE struct pb_slab_manager *
175
pb_slab_manager(struct pb_manager *mgr)
176
{
177
   assert(mgr);
178
   return (struct pb_slab_manager *)mgr;
179
}
180
 
181
 
182
static INLINE struct pb_slab_range_manager *
183
pb_slab_range_manager(struct pb_manager *mgr)
184
{
185
   assert(mgr);
186
   return (struct pb_slab_range_manager *)mgr;
187
}
188
 
189
 
190
/**
191
 * Delete a buffer from the slab delayed list and put
192
 * it on the slab FREE list.
193
 */
194
static void
195
pb_slab_buffer_destroy(struct pb_buffer *_buf)
196
{
197
   struct pb_slab_buffer *buf = pb_slab_buffer(_buf);
198
   struct pb_slab *slab = buf->slab;
199
   struct pb_slab_manager *mgr = slab->mgr;
200
   struct list_head *list = &buf->head;
201
 
202
   pipe_mutex_lock(mgr->mutex);
203
 
204
   assert(!pipe_is_referenced(&buf->base.reference));
205
 
206
   buf->mapCount = 0;
207
 
208
   LIST_DEL(list);
209
   LIST_ADDTAIL(list, &slab->freeBuffers);
210
   slab->numFree++;
211
 
212
   if (slab->head.next == &slab->head)
213
      LIST_ADDTAIL(&slab->head, &mgr->slabs);
214
 
215
   /* If the slab becomes totally empty, free it */
216
   if (slab->numFree == slab->numBuffers) {
217
      list = &slab->head;
218
      LIST_DELINIT(list);
219
      pb_reference(&slab->bo, NULL);
220
      FREE(slab->buffers);
221
      FREE(slab);
222
   }
223
 
224
   pipe_mutex_unlock(mgr->mutex);
225
}
226
 
227
 
228
static void *
229
pb_slab_buffer_map(struct pb_buffer *_buf,
230
                   unsigned flags,
231
                   void *flush_ctx)
232
{
233
   struct pb_slab_buffer *buf = pb_slab_buffer(_buf);
234
 
235
   /* XXX: it will be necessary to remap here to propagate flush_ctx */
236
 
237
   ++buf->mapCount;
238
   return (void *) ((uint8_t *) buf->slab->virtual + buf->start);
239
}
240
 
241
 
242
static void
243
pb_slab_buffer_unmap(struct pb_buffer *_buf)
244
{
245
   struct pb_slab_buffer *buf = pb_slab_buffer(_buf);
246
 
247
   --buf->mapCount;
248
   if (buf->mapCount == 0)
249
       pipe_condvar_broadcast(buf->event);
250
}
251
 
252
 
253
static enum pipe_error
254
pb_slab_buffer_validate(struct pb_buffer *_buf,
255
                         struct pb_validate *vl,
256
                         unsigned flags)
257
{
258
   struct pb_slab_buffer *buf = pb_slab_buffer(_buf);
259
   return pb_validate(buf->slab->bo, vl, flags);
260
}
261
 
262
 
263
static void
264
pb_slab_buffer_fence(struct pb_buffer *_buf,
265
                      struct pipe_fence_handle *fence)
266
{
267
   struct pb_slab_buffer *buf = pb_slab_buffer(_buf);
268
   pb_fence(buf->slab->bo, fence);
269
}
270
 
271
 
272
static void
273
pb_slab_buffer_get_base_buffer(struct pb_buffer *_buf,
274
                               struct pb_buffer **base_buf,
275
                               pb_size *offset)
276
{
277
   struct pb_slab_buffer *buf = pb_slab_buffer(_buf);
278
   pb_get_base_buffer(buf->slab->bo, base_buf, offset);
279
   *offset += buf->start;
280
}
281
 
282
 
283
static const struct pb_vtbl
284
pb_slab_buffer_vtbl = {
285
      pb_slab_buffer_destroy,
286
      pb_slab_buffer_map,
287
      pb_slab_buffer_unmap,
288
      pb_slab_buffer_validate,
289
      pb_slab_buffer_fence,
290
      pb_slab_buffer_get_base_buffer
291
};
292
 
293
 
294
/**
295
 * Create a new slab.
296
 *
297
 * Called when we ran out of free slabs.
298
 */
299
static enum pipe_error
300
pb_slab_create(struct pb_slab_manager *mgr)
301
{
302
   struct pb_slab *slab;
303
   struct pb_slab_buffer *buf;
304
   unsigned numBuffers;
305
   unsigned i;
306
   enum pipe_error ret;
307
 
308
   slab = CALLOC_STRUCT(pb_slab);
309
   if (!slab)
310
      return PIPE_ERROR_OUT_OF_MEMORY;
311
 
312
   slab->bo = mgr->provider->create_buffer(mgr->provider, mgr->slabSize, &mgr->desc);
313
   if(!slab->bo) {
314
      ret = PIPE_ERROR_OUT_OF_MEMORY;
315
      goto out_err0;
316
   }
317
 
318
   /* Note down the slab virtual address. All mappings are accessed directly
319
    * through this address so it is required that the buffer is pinned. */
320
   slab->virtual = pb_map(slab->bo,
321
                          PB_USAGE_CPU_READ |
322
                          PB_USAGE_CPU_WRITE, NULL);
323
   if(!slab->virtual) {
324
      ret = PIPE_ERROR_OUT_OF_MEMORY;
325
      goto out_err1;
326
   }
327
   pb_unmap(slab->bo);
328
 
329
   numBuffers = slab->bo->size / mgr->bufSize;
330
 
331
   slab->buffers = CALLOC(numBuffers, sizeof(*slab->buffers));
332
   if (!slab->buffers) {
333
      ret = PIPE_ERROR_OUT_OF_MEMORY;
334
      goto out_err1;
335
   }
336
 
337
   LIST_INITHEAD(&slab->head);
338
   LIST_INITHEAD(&slab->freeBuffers);
339
   slab->numBuffers = numBuffers;
340
   slab->numFree = 0;
341
   slab->mgr = mgr;
342
 
343
   buf = slab->buffers;
344
   for (i=0; i < numBuffers; ++i) {
345
      pipe_reference_init(&buf->base.reference, 0);
346
      buf->base.size = mgr->bufSize;
347
      buf->base.alignment = 0;
348
      buf->base.usage = 0;
349
      buf->base.vtbl = &pb_slab_buffer_vtbl;
350
      buf->slab = slab;
351
      buf->start = i* mgr->bufSize;
352
      buf->mapCount = 0;
353
      pipe_condvar_init(buf->event);
354
      LIST_ADDTAIL(&buf->head, &slab->freeBuffers);
355
      slab->numFree++;
356
      buf++;
357
   }
358
 
359
   /* Add this slab to the list of partial slabs */
360
   LIST_ADDTAIL(&slab->head, &mgr->slabs);
361
 
362
   return PIPE_OK;
363
 
364
out_err1:
365
   pb_reference(&slab->bo, NULL);
366
out_err0:
367
   FREE(slab);
368
   return ret;
369
}
370
 
371
 
372
static struct pb_buffer *
373
pb_slab_manager_create_buffer(struct pb_manager *_mgr,
374
                              pb_size size,
375
                              const struct pb_desc *desc)
376
{
377
   struct pb_slab_manager *mgr = pb_slab_manager(_mgr);
378
   static struct pb_slab_buffer *buf;
379
   struct pb_slab *slab;
380
   struct list_head *list;
381
 
382
   /* check size */
383
   assert(size <= mgr->bufSize);
384
   if(size > mgr->bufSize)
385
      return NULL;
386
 
387
   /* check if we can provide the requested alignment */
388
   assert(pb_check_alignment(desc->alignment, mgr->desc.alignment));
389
   if(!pb_check_alignment(desc->alignment, mgr->desc.alignment))
390
      return NULL;
391
   assert(pb_check_alignment(desc->alignment, mgr->bufSize));
392
   if(!pb_check_alignment(desc->alignment, mgr->bufSize))
393
      return NULL;
394
 
395
   assert(pb_check_usage(desc->usage, mgr->desc.usage));
396
   if(!pb_check_usage(desc->usage, mgr->desc.usage))
397
      return NULL;
398
 
399
   pipe_mutex_lock(mgr->mutex);
400
 
401
   /* Create a new slab, if we run out of partial slabs */
402
   if (mgr->slabs.next == &mgr->slabs) {
403
      (void) pb_slab_create(mgr);
404
      if (mgr->slabs.next == &mgr->slabs) {
405
	 pipe_mutex_unlock(mgr->mutex);
406
	 return NULL;
407
      }
408
   }
409
 
410
   /* Allocate the buffer from a partial (or just created) slab */
411
   list = mgr->slabs.next;
412
   slab = LIST_ENTRY(struct pb_slab, list, head);
413
 
414
   /* If totally full remove from the partial slab list */
415
   if (--slab->numFree == 0)
416
      LIST_DELINIT(list);
417
 
418
   list = slab->freeBuffers.next;
419
   LIST_DELINIT(list);
420
 
421
   pipe_mutex_unlock(mgr->mutex);
422
   buf = LIST_ENTRY(struct pb_slab_buffer, list, head);
423
 
424
   pipe_reference_init(&buf->base.reference, 1);
425
   buf->base.alignment = desc->alignment;
426
   buf->base.usage = desc->usage;
427
 
428
   return &buf->base;
429
}
430
 
431
 
432
static void
433
pb_slab_manager_flush(struct pb_manager *_mgr)
434
{
435
   struct pb_slab_manager *mgr = pb_slab_manager(_mgr);
436
 
437
   assert(mgr->provider->flush);
438
   if(mgr->provider->flush)
439
      mgr->provider->flush(mgr->provider);
440
}
441
 
442
 
443
static void
444
pb_slab_manager_destroy(struct pb_manager *_mgr)
445
{
446
   struct pb_slab_manager *mgr = pb_slab_manager(_mgr);
447
 
448
   /* TODO: cleanup all allocated buffers */
449
   FREE(mgr);
450
}
451
 
452
 
453
struct pb_manager *
454
pb_slab_manager_create(struct pb_manager *provider,
455
                       pb_size bufSize,
456
                       pb_size slabSize,
457
                       const struct pb_desc *desc)
458
{
459
   struct pb_slab_manager *mgr;
460
 
461
   mgr = CALLOC_STRUCT(pb_slab_manager);
462
   if (!mgr)
463
      return NULL;
464
 
465
   mgr->base.destroy = pb_slab_manager_destroy;
466
   mgr->base.create_buffer = pb_slab_manager_create_buffer;
467
   mgr->base.flush = pb_slab_manager_flush;
468
 
469
   mgr->provider = provider;
470
   mgr->bufSize = bufSize;
471
   mgr->slabSize = slabSize;
472
   mgr->desc = *desc;
473
 
474
   LIST_INITHEAD(&mgr->slabs);
475
 
476
   pipe_mutex_init(mgr->mutex);
477
 
478
   return &mgr->base;
479
}
480
 
481
 
482
static struct pb_buffer *
483
pb_slab_range_manager_create_buffer(struct pb_manager *_mgr,
484
                                    pb_size size,
485
                                    const struct pb_desc *desc)
486
{
487
   struct pb_slab_range_manager *mgr = pb_slab_range_manager(_mgr);
488
   pb_size bufSize;
489
   pb_size reqSize = size;
490
   unsigned i;
491
 
492
   if(desc->alignment > reqSize)
493
	   reqSize = desc->alignment;
494
 
495
   bufSize = mgr->minBufSize;
496
   for (i = 0; i < mgr->numBuckets; ++i) {
497
      if(bufSize >= reqSize)
498
	 return mgr->buckets[i]->create_buffer(mgr->buckets[i], size, desc);
499
      bufSize *= 2;
500
   }
501
 
502
   /* Fall back to allocate a buffer object directly from the provider. */
503
   return mgr->provider->create_buffer(mgr->provider, size, desc);
504
}
505
 
506
 
507
static void
508
pb_slab_range_manager_flush(struct pb_manager *_mgr)
509
{
510
   struct pb_slab_range_manager *mgr = pb_slab_range_manager(_mgr);
511
 
512
   /* Individual slabs don't hold any temporary buffers so no need to call them */
513
 
514
   assert(mgr->provider->flush);
515
   if(mgr->provider->flush)
516
      mgr->provider->flush(mgr->provider);
517
}
518
 
519
 
520
static void
521
pb_slab_range_manager_destroy(struct pb_manager *_mgr)
522
{
523
   struct pb_slab_range_manager *mgr = pb_slab_range_manager(_mgr);
524
   unsigned i;
525
 
526
   for (i = 0; i < mgr->numBuckets; ++i)
527
      mgr->buckets[i]->destroy(mgr->buckets[i]);
528
   FREE(mgr->buckets);
529
   FREE(mgr->bucketSizes);
530
   FREE(mgr);
531
}
532
 
533
 
534
struct pb_manager *
535
pb_slab_range_manager_create(struct pb_manager *provider,
536
                             pb_size minBufSize,
537
                             pb_size maxBufSize,
538
                             pb_size slabSize,
539
                             const struct pb_desc *desc)
540
{
541
   struct pb_slab_range_manager *mgr;
542
   pb_size bufSize;
543
   unsigned i;
544
 
545
   if(!provider)
546
      return NULL;
547
 
548
   mgr = CALLOC_STRUCT(pb_slab_range_manager);
549
   if (!mgr)
550
      goto out_err0;
551
 
552
   mgr->base.destroy = pb_slab_range_manager_destroy;
553
   mgr->base.create_buffer = pb_slab_range_manager_create_buffer;
554
   mgr->base.flush = pb_slab_range_manager_flush;
555
 
556
   mgr->provider = provider;
557
   mgr->minBufSize = minBufSize;
558
   mgr->maxBufSize = maxBufSize;
559
 
560
   mgr->numBuckets = 1;
561
   bufSize = minBufSize;
562
   while(bufSize < maxBufSize) {
563
      bufSize *= 2;
564
      ++mgr->numBuckets;
565
   }
566
 
567
   mgr->buckets = CALLOC(mgr->numBuckets, sizeof(*mgr->buckets));
568
   if (!mgr->buckets)
569
      goto out_err1;
570
 
571
   bufSize = minBufSize;
572
   for (i = 0; i < mgr->numBuckets; ++i) {
573
      mgr->buckets[i] = pb_slab_manager_create(provider, bufSize, slabSize, desc);
574
      if(!mgr->buckets[i])
575
	 goto out_err2;
576
      bufSize *= 2;
577
   }
578
 
579
   return &mgr->base;
580
 
581
out_err2:
582
   for (i = 0; i < mgr->numBuckets; ++i)
583
      if(mgr->buckets[i])
584
	    mgr->buckets[i]->destroy(mgr->buckets[i]);
585
   FREE(mgr->buckets);
586
out_err1:
587
   FREE(mgr);
588
out_err0:
589
   return NULL;
590
}