1
1
mirror of https://github.com/urbit/shrub.git synced 2024-12-21 01:41:37 +03:00
shrub/i/n/a.h

421 lines
12 KiB
C
Raw Normal View History

2014-11-08 01:54:59 +03:00
/* i/n/a.h
2014-09-04 07:44:53 +04:00
**
** This file is in the public domain.
*/
2014-11-08 01:54:59 +03:00
/** Options.
**/
2014-11-08 01:54:59 +03:00
/* U3_MEMORY_DEBUG: add debugging information to heap. Breaks image.
*/
# undef U3_MEMORY_DEBUG
/** Constants.
**/
/* u3a_bits: number of bits in word-addressed pointer. 29 == 2GB.
*/
# define u3a_bits 29
/* u3a_page: number of bits in word-addressed page. 12 == 16Kbyte page.
*/
# define u3a_page 12
2014-09-04 07:44:53 +04:00
2014-11-08 01:54:59 +03:00
/* u3a_pages: number of pages in memory.
*/
# define u3a_pages (1 << (u3a_bits - u3a_page))
2014-11-08 01:54:59 +03:00
/* u3a_words: number of words in memory.
*/
# define u3a_words (1 << u3a_bits)
/* u3a_bytes: number of bytes in memory.
*/
# define u3a_bytes (c3_w)((1 << (2 + u3a_bits)))
/* u3a_minimum: minimum number of words in a box.
*/
2014-11-20 03:46:16 +03:00
#ifdef U3_MEMORY_DEBUG
# define u3a_minimum 8
#else
2014-11-08 01:54:59 +03:00
# define u3a_minimum 6
2014-11-20 03:46:16 +03:00
#endif
2014-11-08 01:54:59 +03:00
/* u3a_fbox_no: number of free lists per size.
*/
# define u3a_fbox_no 28
2014-11-08 01:54:59 +03:00
/** Structures.
**/
/* u3_atom, u3_cell: logical atom and cell structures.
*/
typedef struct {
c3_w mug_w;
2014-11-06 03:20:01 +03:00
} u3a_noun;
typedef struct {
c3_w mug_w;
c3_w len_w;
c3_w buf_w[0];
2014-11-06 03:20:01 +03:00
} u3a_atom;
typedef struct {
c3_w mug_w;
u3_noun hed;
u3_noun tel;
2014-11-06 03:20:01 +03:00
} u3a_cell;
2014-11-06 03:20:01 +03:00
/* u3a_box: classic allocation box.
**
** The box size is also stored at the end of the box in classic
** bad ass malloc style. Hence a box is:
**
** ---
** siz_w
** use_w
** user data
** siz_w
** ---
**
** Do not attempt to adjust this structure!
*/
2014-11-06 03:20:01 +03:00
typedef struct _u3a_box {
c3_w siz_w; // size of this box
c3_w use_w; // reference count; free if 0
# ifdef U3_MEMORY_DEBUG
c3_w eus_w; // recomputed refcount
c3_w cod_w; // tracing code
# endif
2014-11-06 03:20:01 +03:00
} u3a_box;
2014-11-06 03:20:01 +03:00
/* u3a_fbox: free node in heap. Sets minimum node size.
*/
2014-11-06 03:20:01 +03:00
typedef struct _u3a_fbox {
u3a_box box_u;
u3p(struct _u3a_fbox) pre_p;
u3p(struct _u3a_fbox) nex_p;
} u3a_fbox;
2014-11-06 03:20:01 +03:00
/* u3a_road: contiguous allocation and execution context.
*/
2014-11-06 03:20:01 +03:00
typedef struct _u3a_road {
struct _u3a_road* par_u; // parent road
2014-11-06 03:20:01 +03:00
struct _u3a_road* kid_u; // child road list
struct _u3a_road* nex_u; // sibling road
struct _u3a_road* now_u; // current road pointer
2014-11-08 01:54:59 +03:00
u3p(c3_w) cap_p; // top of transient region
u3p(c3_w) hat_p; // top of durable region
u3p(c3_w) mat_p; // bottom of transient region
u3p(c3_w) rut_p; // bottom of durable region
u3p(c3_w) ear_p; // original cap if kid is live
2014-11-08 01:54:59 +03:00
c3_w fut_w[32]; // futureproof buffer
2014-11-08 01:54:59 +03:00
struct { // escape buffer
union {
jmp_buf buf;
2014-11-08 01:54:59 +03:00
c3_w buf_w[256]; // futureproofing
};
} esc;
2014-11-08 01:54:59 +03:00
struct { // miscellaneous config
c3_w fag_w; // flag bits
} how; //
2014-11-08 01:54:59 +03:00
struct { // allocation pools
u3p(u3a_fbox) fre_p[u3a_fbox_no]; // heap by node size log
c3_w fre_w; // number of free words
} all;
2014-11-08 01:54:59 +03:00
struct { // jet dashboard
2014-11-16 04:10:15 +03:00
u3p(u3h_root) har_p; // warm state
u3_noun das; // cold state
} jed;
2014-11-08 01:54:59 +03:00
struct { // namespace
u3_noun flu; // (list $+(* (unit))), inward
} ski;
2014-11-08 01:54:59 +03:00
struct { // trace stack
u3_noun tax; // (list ,*)
u3_noun mer; // emergency buffer to release
} bug;
2014-11-08 01:54:59 +03:00
struct { // profile stack
c3_d nox_d; // nock steps
2014-11-29 05:19:11 +03:00
u3_noun don; // (list batt)
u3_noun day; // doss, only in u3H (moveme)
} pro;
2014-11-08 01:54:59 +03:00
struct { // memoization
2014-11-06 03:20:01 +03:00
u3p(u3h_root) har_p; // (map (pair term noun) noun)
} cax;
2014-11-06 03:20:01 +03:00
} u3a_road;
typedef u3a_road u3_road;
2014-11-29 05:19:11 +03:00
/* u3a_flag: flags for how.fag_w. All arena related.
2014-11-08 01:54:59 +03:00
*/
2014-11-06 03:20:01 +03:00
enum u3a_flag {
2014-11-29 05:19:11 +03:00
u3a_flag_sand = 0x1, // bump allocation (XX not impl)
};
2014-11-08 01:54:59 +03:00
/** Macros. Should be better commented.
**/
2014-11-08 01:54:59 +03:00
/* In and out of the box.
*/
# define u3a_boxed(len_w) (len_w + c3_wiseof(u3a_box) + 1)
# define u3a_boxto(box_v) ( (void *) \
( ((c3_w *)(void*)(box_v)) + \
c3_wiseof(u3a_box) ) )
# define u3a_botox(tox_v) ( (struct _u3a_box *) \
(void *) \
( ((c3_w *)(void*)(tox_v)) - \
c3_wiseof(u3a_box) ) )
/* Inside a noun.
*/
# define u3a_is_cat(som) (((som) >> 31) ? c3n : c3y)
# define u3a_is_dog(som) (((som) >> 31) ? c3y : c3n)
# define u3a_is_pug(som) ((2 == ((som) >> 30)) ? c3y : c3n)
# define u3a_is_pom(som) ((3 == ((som) >> 30)) ? c3y : c3n)
# define u3a_to_off(som) ((som) & 0x3fffffff)
# define u3a_to_ptr(som) (u3a_into(u3a_to_off(som)))
# define u3a_to_wtr(som) ((c3_w *)u3a_to_ptr(som))
# define u3a_to_pug(off) (off | 0x80000000)
# define u3a_to_pom(off) (off | 0xc0000000)
# define u3a_is_atom(som) c3o(u3a_is_cat(som), \
u3a_is_pug(som))
# define u3a_is_cell(som) u3a_is_pom(som)
# define u3a_de_twin(dog, dog_w) ((dog & 0xc0000000) | u3a_outa(dog_w))
# define u3a_h(som) \
( _(u3a_is_cell(som)) \
? ( ((u3a_cell *)u3a_to_ptr(som))->hed )\
: u3m_bail(c3__exit) )
# define u3a_t(som) \
( _(u3a_is_cell(som)) \
? ( ((u3a_cell *)u3a_to_ptr(som))->tel )\
: u3m_bail(c3__exit) )
2014-11-06 03:20:01 +03:00
# define u3a_into(x) ((void *)(u3_Loom + (x)))
# define u3a_outa(p) (((c3_w*)(void*)(p)) - u3_Loom)
2014-11-06 03:20:01 +03:00
# define u3a_is_north(r) __(r->cap_p > r->hat_p)
# define u3a_is_south(r) !u3a_is_north(r)
2014-11-06 03:20:01 +03:00
# define u3a_open(r) ( (c3y == u3a_is_north(r)) \
? (c3_w)(r->cap_p - r->hat_p) \
: (c3_w)(r->hat_p - r->cap_p) )
2014-11-06 03:20:01 +03:00
# define u3a_north_is_senior(r, dog) \
__((u3a_to_off(dog) < r->rut_p) || \
(u3a_to_off(dog) >= r->mat_p))
2014-11-06 03:20:01 +03:00
# define u3a_north_is_junior(r, dog) \
__((u3a_to_off(dog) >= r->cap_p) && \
(u3a_to_off(dog) < r->mat_p))
2014-11-06 03:20:01 +03:00
# define u3a_north_is_normal(r, dog) \
c3a(!(u3a_north_is_senior(r, dog)), \
!(u3a_north_is_junior(r, dog)))
2014-11-06 03:20:01 +03:00
# define u3a_south_is_senior(r, dog) \
__((u3a_to_off(dog) < r->mat_p) || \
(u3a_to_off(dog) >= r->rut_p))
2014-11-06 03:20:01 +03:00
# define u3a_south_is_junior(r, dog) \
__((u3a_to_off(dog) < r->cap_p) && \
(u3a_to_off(dog) >= r->mat_p))
2014-11-06 03:20:01 +03:00
# define u3a_south_is_normal(r, dog) \
c3a(!(u3a_south_is_senior(r, dog)), \
!(u3a_south_is_junior(r, dog)))
2014-11-06 03:20:01 +03:00
# define u3a_is_junior(r, som) \
( _(u3a_is_cat(som)) \
2014-11-05 04:18:47 +03:00
? c3n \
2014-11-06 03:20:01 +03:00
: _(u3a_is_north(r)) \
? u3a_north_is_junior(r, som) \
: u3a_south_is_junior(r, som) )
2014-11-06 03:20:01 +03:00
# define u3a_is_senior(r, som) \
( _(u3a_is_cat(som)) \
2014-11-05 04:18:47 +03:00
? c3y \
2014-11-06 03:20:01 +03:00
: _(u3a_is_north(r)) \
? u3a_north_is_senior(r, som) \
: u3a_south_is_senior(r, som) )
/** Globals.
**/
/* u3_Road / u3R: current road (thread-local).
*/
2014-11-08 01:54:59 +03:00
c3_global u3_road* u3a_Road;
# define u3R u3a_Road
/* u3_Code: memory code.
*/
#ifdef U3_MEMORY_DEBUG
c3_global c3_w u3_Code;
#endif
2014-11-05 03:53:07 +03:00
# define u3_Loom ((c3_w *)(void *)U3_OS_LoomBase)
/** Functions.
**/
2014-09-04 07:44:53 +04:00
/** Allocation.
**/
2014-11-12 00:49:45 +03:00
/* Word-aligned allocation.
2014-09-04 07:44:53 +04:00
*/
2014-11-06 03:20:01 +03:00
/* u3a_walloc(): allocate storage measured in words.
2014-09-04 07:44:53 +04:00
*/
void*
2014-11-06 03:20:01 +03:00
u3a_walloc(c3_w len_w);
2014-09-04 07:44:53 +04:00
/* u3a_wfree(): free storage.
2014-09-04 07:44:53 +04:00
*/
void
u3a_wfree(void* lag_v);
2014-09-04 07:44:53 +04:00
2014-11-06 03:20:01 +03:00
/* u3a_wealloc(): word realloc.
2014-09-04 07:44:53 +04:00
*/
void*
2014-11-06 03:20:01 +03:00
u3a_wealloc(void* lag_v, c3_w len_w);
2014-09-04 07:44:53 +04:00
2014-11-12 00:49:45 +03:00
/* C-style aligned allocation - *not* compatible with above.
*/
/* u3a_malloc(): aligned storage measured in bytes.
*/
void*
u3a_malloc(size_t len_i);
/* u3a_realloc(): aligned realloc in bytes.
2014-09-04 07:44:53 +04:00
*/
void*
2014-11-08 01:54:59 +03:00
u3a_realloc(void* lag_v, size_t len_i);
/* u3a_realloc2(): gmp-shaped realloc.
*/
void*
u3a_realloc2(void* lag_v, size_t old_i, size_t new_i);
2014-11-12 00:49:45 +03:00
/* u3a_free(): free for aligned malloc.
*/
void
u3a_free(void* tox_v);
2014-11-08 01:54:59 +03:00
/* u3a_free2(): gmp-shaped free.
*/
void
u3a_free2(void* tox_v, size_t siz_i);
2014-09-04 07:44:53 +04:00
/* Reference and arena control.
*/
2014-11-06 03:20:01 +03:00
/* u3a_gain(): gain a reference count in normal space.
2014-09-04 07:44:53 +04:00
*/
2014-09-06 00:13:24 +04:00
u3_weak
2014-11-06 03:20:01 +03:00
u3a_gain(u3_weak som);
2014-09-04 07:44:53 +04:00
2014-11-06 03:20:01 +03:00
/* u3a_take(): gain, copying juniors.
2014-10-01 10:34:30 +04:00
*/
u3_noun
2014-11-06 03:20:01 +03:00
u3a_take(u3_noun som);
2014-10-01 10:34:30 +04:00
2014-11-06 03:20:01 +03:00
/* u3a_left(): true of junior if preserved.
2014-10-31 00:40:05 +03:00
*/
c3_o
2014-11-06 03:20:01 +03:00
u3a_left(u3_noun som);
2014-10-31 00:40:05 +03:00
2014-11-06 03:20:01 +03:00
/* u3a_lose(): lose a reference.
2014-09-04 07:44:53 +04:00
*/
void
2014-11-06 03:20:01 +03:00
u3a_lose(u3_weak som);
2014-09-04 07:44:53 +04:00
2014-11-06 03:20:01 +03:00
/* u3a_wash(): wash all lazy mugs in subtree. RETAIN.
2014-10-24 04:35:26 +04:00
*/
void
2014-11-06 03:20:01 +03:00
u3a_wash(u3_noun som);
2014-10-24 04:35:26 +04:00
2014-11-06 03:20:01 +03:00
/* u3a_use(): reference count.
2014-09-04 07:44:53 +04:00
*/
c3_w
2014-11-06 03:20:01 +03:00
u3a_use(u3_noun som);
2014-09-04 07:44:53 +04:00
2014-11-30 13:06:41 +03:00
/* u3a_luse(): check refcount sanity.
*/
void
u3a_luse(u3_noun som);
2014-11-06 03:20:01 +03:00
/* u3a_mark_ptr(): mark a pointer for gc. Produce size.
2014-09-04 07:44:53 +04:00
*/
c3_w
2014-11-06 03:20:01 +03:00
u3a_mark_ptr(void* ptr_v);
2014-09-04 07:44:53 +04:00
2014-11-20 03:46:16 +03:00
/* u3a_mark_mptr(): mark a u3_malloc-allocated ptr for gc.
*/
c3_w
u3a_mark_mptr(void* ptr_v);
2014-11-06 03:20:01 +03:00
/* u3a_mark_noun(): mark a noun for gc. Produce size.
2014-09-04 07:44:53 +04:00
*/
c3_w
2014-11-06 03:20:01 +03:00
u3a_mark_noun(u3_noun som);
2014-10-09 06:20:57 +04:00
2014-11-06 03:20:01 +03:00
/* u3a_sweep(): sweep a fully marked road.
2014-10-09 06:20:57 +04:00
*/
void
2014-11-26 02:31:35 +03:00
u3a_sweep(void);
2014-09-04 07:44:53 +04:00
2014-11-06 03:20:01 +03:00
/* u3a_sane(): check allocator sanity.
2014-09-16 03:56:37 +04:00
*/
void
2014-11-06 03:20:01 +03:00
u3a_sane(void);
2014-09-04 07:44:53 +04:00
2014-11-06 03:20:01 +03:00
/* u3a_lush(): leak push.
2014-10-10 05:27:02 +04:00
*/
c3_w
2014-11-06 03:20:01 +03:00
u3a_lush(c3_w lab_w);
2014-10-10 05:27:02 +04:00
2014-11-06 03:20:01 +03:00
/* u3a_lop(): leak pop.
2014-10-10 05:27:02 +04:00
*/
void
2014-11-06 03:20:01 +03:00
u3a_lop(c3_w lab_w);
2014-10-10 05:27:02 +04:00
2014-11-06 03:20:01 +03:00
/* u3a_print_memory: print memory amount.
2014-10-31 00:40:05 +03:00
*/
void
2014-11-06 03:20:01 +03:00
u3a_print_memory(c3_c* cap_c, c3_w wor_w);
2014-10-31 00:40:05 +03:00
2014-09-04 07:44:53 +04:00
/* Atoms from proto-atoms.
*/
2014-11-06 03:20:01 +03:00
/* u3a_slab(): create a length-bounded proto-atom.
2014-09-04 07:44:53 +04:00
*/
c3_w*
2014-11-06 03:20:01 +03:00
u3a_slab(c3_w len_w);
2014-09-04 07:44:53 +04:00
2014-11-26 02:31:35 +03:00
/* u3a_slaq(): u3a_slab() with a defined blocksize.
2014-09-04 07:44:53 +04:00
*/
c3_w*
2014-11-06 03:20:01 +03:00
u3a_slaq(c3_g met_g, c3_w len_w);
2014-09-04 07:44:53 +04:00
2014-11-06 03:20:01 +03:00
/* u3a_malt(): measure and finish a proto-atom.
2014-09-04 07:44:53 +04:00
*/
2014-09-06 00:13:24 +04:00
u3_noun
2014-11-06 03:20:01 +03:00
u3a_malt(c3_w* sal_w);
2014-09-04 07:44:53 +04:00
2014-11-06 03:20:01 +03:00
/* u3a_moot(): finish a pre-measured proto-atom; dangerous.
2014-09-04 07:44:53 +04:00
*/
2014-09-06 00:13:24 +04:00
u3_noun
2014-11-06 03:20:01 +03:00
u3a_moot(c3_w* sal_w);
2014-09-04 07:44:53 +04:00
2014-11-06 03:20:01 +03:00
/* u3a_mint(): finish a measured proto-atom.
2014-09-04 07:44:53 +04:00
*/
2014-09-06 00:13:24 +04:00
u3_noun
2014-11-06 03:20:01 +03:00
u3a_mint(c3_w* sal_w, c3_w len_w);
2014-09-04 07:44:53 +04:00