| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510 |
- /*
- * This file is part of the MicroPython project, http://micropython.org/
- *
- * The MIT License (MIT)
- *
- * Copyright (c) 2013, 2014 Damien P. George
- *
- * Permission is hereby granted, free of charge, to any person obtaining a copy
- * of this software and associated documentation files (the "Software"), to deal
- * in the Software without restriction, including without limitation the rights
- * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
- * copies of the Software, and to permit persons to whom the Software is
- * furnished to do so, subject to the following conditions:
- *
- * The above copyright notice and this permission notice shall be included in
- * all copies or substantial portions of the Software.
- *
- * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
- * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
- * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
- * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
- * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
- * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
- * THE SOFTWARE.
- */
- #include <assert.h>
- #include <string.h>
- #include <stdio.h>
- #include "py/mpstate.h"
- #include "py/qstr.h"
- #include "py/gc.h"
- #include "py/runtime.h"
- #if MICROPY_DEBUG_VERBOSE // print debugging info
- #define DEBUG_printf DEBUG_printf
- #else // don't print debugging info
- #define DEBUG_printf(...) (void)0
- #endif
- // A qstr is an index into the qstr pool.
- // The data for a qstr is \0 terminated (so they can be printed using printf)
- #if MICROPY_QSTR_BYTES_IN_HASH
- #define Q_HASH_MASK ((1 << (8 * MICROPY_QSTR_BYTES_IN_HASH)) - 1)
- #else
- #define Q_HASH_MASK (0xffff)
- #endif
- #if MICROPY_PY_THREAD && !MICROPY_PY_THREAD_GIL
- #define QSTR_ENTER() mp_thread_mutex_lock(&MP_STATE_VM(qstr_mutex), 1)
- #define QSTR_EXIT() mp_thread_mutex_unlock(&MP_STATE_VM(qstr_mutex))
- #else
- #define QSTR_ENTER()
- #define QSTR_EXIT()
- #endif
- // Initial number of entries for qstr pool, set so that the first dynamically
- // allocated pool is twice this size. The value here must be <= MP_QSTRnumber_of.
- #define MICROPY_ALLOC_QSTR_ENTRIES_INIT (10)
- // this must match the equivalent function in makeqstrdata.py
- size_t qstr_compute_hash(const byte *data, size_t len) {
- // djb2 algorithm; see http://www.cse.yorku.ca/~oz/hash.html
- size_t hash = 5381;
- for (const byte *top = data + len; data < top; data++) {
- hash = ((hash << 5) + hash) ^ (*data); // hash * 33 ^ data
- }
- hash &= Q_HASH_MASK;
- // Make sure that valid hash is never zero, zero means "hash not computed"
- if (hash == 0) {
- hash++;
- }
- return hash;
- }
- // The first pool is the static qstr table. The contents must remain stable as
- // it is part of the .mpy ABI. See the top of py/persistentcode.c and
- // static_qstr_list in makeqstrdata.py. This pool is unsorted (although in a
- // future .mpy version we could re-order them and make it sorted). It also
- // contains additional qstrs that must have IDs <256, see unsorted_qstr_list
- // in makeqstrdata.py.
- #if MICROPY_QSTR_BYTES_IN_HASH
- const qstr_hash_t mp_qstr_const_hashes_static[] = {
- #ifndef NO_QSTR
- #define QDEF0(id, hash, len, str) hash,
- #define QDEF1(id, hash, len, str)
- #include "genhdr/qstrdefs.generated.h"
- #undef QDEF0
- #undef QDEF1
- #endif
- };
- #endif
- const qstr_len_t mp_qstr_const_lengths_static[] = {
- #ifndef NO_QSTR
- #define QDEF0(id, hash, len, str) len,
- #define QDEF1(id, hash, len, str)
- #include "genhdr/qstrdefs.generated.h"
- #undef QDEF0
- #undef QDEF1
- #endif
- };
- const qstr_pool_t mp_qstr_const_pool_static = {
- NULL, // no previous pool
- 0, // no previous pool
- false, // is_sorted
- MICROPY_ALLOC_QSTR_ENTRIES_INIT,
- MP_QSTRnumber_of_static, // corresponds to number of strings in array just below
- #if MICROPY_QSTR_BYTES_IN_HASH
- (qstr_hash_t *)mp_qstr_const_hashes_static,
- #endif
- (qstr_len_t *)mp_qstr_const_lengths_static,
- {
- #ifndef NO_QSTR
- #define QDEF0(id, hash, len, str) str,
- #define QDEF1(id, hash, len, str)
- #include "genhdr/qstrdefs.generated.h"
- #undef QDEF0
- #undef QDEF1
- #endif
- },
- };
- // The next pool is the remainder of the qstrs defined in the firmware. This
- // is sorted.
- #if MICROPY_QSTR_BYTES_IN_HASH
- const qstr_hash_t mp_qstr_const_hashes[] = {
- #ifndef NO_QSTR
- #define QDEF0(id, hash, len, str)
- #define QDEF1(id, hash, len, str) hash,
- #include "genhdr/qstrdefs.generated.h"
- #undef QDEF0
- #undef QDEF1
- #endif
- };
- #endif
- const qstr_len_t mp_qstr_const_lengths[] = {
- #ifndef NO_QSTR
- #define QDEF0(id, hash, len, str)
- #define QDEF1(id, hash, len, str) len,
- #include "genhdr/qstrdefs.generated.h"
- #undef QDEF0
- #undef QDEF1
- #endif
- };
- const qstr_pool_t mp_qstr_const_pool = {
- &mp_qstr_const_pool_static,
- MP_QSTRnumber_of_static,
- true, // is_sorted
- MICROPY_ALLOC_QSTR_ENTRIES_INIT,
- MP_QSTRnumber_of - MP_QSTRnumber_of_static, // corresponds to number of strings in array just below
- #if MICROPY_QSTR_BYTES_IN_HASH
- (qstr_hash_t *)mp_qstr_const_hashes,
- #endif
- (qstr_len_t *)mp_qstr_const_lengths,
- {
- #ifndef NO_QSTR
- #define QDEF0(id, hash, len, str)
- #define QDEF1(id, hash, len, str) str,
- #include "genhdr/qstrdefs.generated.h"
- #undef QDEF0
- #undef QDEF1
- #endif
- },
- };
- // If frozen code is enabled, then there is an additional, sorted, ROM pool
- // containing additional qstrs required by the frozen code.
- #ifdef MICROPY_QSTR_EXTRA_POOL
- extern const qstr_pool_t MICROPY_QSTR_EXTRA_POOL;
- #define CONST_POOL MICROPY_QSTR_EXTRA_POOL
- #else
- #define CONST_POOL mp_qstr_const_pool
- #endif
- void qstr_init(void) {
- MP_STATE_VM(last_pool) = (qstr_pool_t *)&CONST_POOL; // we won't modify the const_pool since it has no allocated room left
- MP_STATE_VM(qstr_last_chunk) = NULL;
- #if MICROPY_PY_THREAD && !MICROPY_PY_THREAD_GIL
- mp_thread_mutex_init(&MP_STATE_VM(qstr_mutex));
- #endif
- }
- static const qstr_pool_t *find_qstr(qstr *q) {
- // search pool for this qstr
- // total_prev_len==0 in the final pool, so the loop will always terminate
- const qstr_pool_t *pool = MP_STATE_VM(last_pool);
- while (*q < pool->total_prev_len) {
- pool = pool->prev;
- }
- *q -= pool->total_prev_len;
- assert(*q < pool->len);
- return pool;
- }
- // qstr_mutex must be taken while in this function
- static qstr qstr_add(mp_uint_t len, const char *q_ptr) {
- #if MICROPY_QSTR_BYTES_IN_HASH
- mp_uint_t hash = qstr_compute_hash((const byte *)q_ptr, len);
- DEBUG_printf("QSTR: add hash=%d len=%d data=%.*s\n", hash, len, len, q_ptr);
- #else
- DEBUG_printf("QSTR: add len=%d data=%.*s\n", len, len, q_ptr);
- #endif
- // make sure we have room in the pool for a new qstr
- if (MP_STATE_VM(last_pool)->len >= MP_STATE_VM(last_pool)->alloc) {
- size_t new_alloc = MP_STATE_VM(last_pool)->alloc * 2;
- #ifdef MICROPY_QSTR_EXTRA_POOL
- // Put a lower bound on the allocation size in case the extra qstr pool has few entries
- new_alloc = MAX(MICROPY_ALLOC_QSTR_ENTRIES_INIT, new_alloc);
- #endif
- mp_uint_t pool_size = sizeof(qstr_pool_t)
- + (sizeof(const char *)
- #if MICROPY_QSTR_BYTES_IN_HASH
- + sizeof(qstr_hash_t)
- #endif
- + sizeof(qstr_len_t)) * new_alloc;
- qstr_pool_t *pool = (qstr_pool_t *)m_malloc_maybe(pool_size);
- if (pool == NULL) {
- // Keep qstr_last_chunk consistent with qstr_pool_t: qstr_last_chunk is not scanned
- // at garbage collection since it's reachable from a qstr_pool_t. And the caller of
- // this function expects q_ptr to be stored in a qstr_pool_t so it can be reached
- // by the collector. If qstr_pool_t allocation failed, qstr_last_chunk needs to be
- // NULL'd. Otherwise it may become a dangling pointer at the next garbage collection.
- MP_STATE_VM(qstr_last_chunk) = NULL;
- QSTR_EXIT();
- m_malloc_fail(new_alloc);
- }
- #if MICROPY_QSTR_BYTES_IN_HASH
- pool->hashes = (qstr_hash_t *)(pool->qstrs + new_alloc);
- pool->lengths = (qstr_len_t *)(pool->hashes + new_alloc);
- #else
- pool->lengths = (qstr_len_t *)(pool->qstrs + new_alloc);
- #endif
- pool->prev = MP_STATE_VM(last_pool);
- pool->total_prev_len = MP_STATE_VM(last_pool)->total_prev_len + MP_STATE_VM(last_pool)->len;
- pool->alloc = new_alloc;
- pool->len = 0;
- MP_STATE_VM(last_pool) = pool;
- DEBUG_printf("QSTR: allocate new pool of size %d\n", MP_STATE_VM(last_pool)->alloc);
- }
- // add the new qstr
- mp_uint_t at = MP_STATE_VM(last_pool)->len;
- #if MICROPY_QSTR_BYTES_IN_HASH
- MP_STATE_VM(last_pool)->hashes[at] = hash;
- #endif
- MP_STATE_VM(last_pool)->lengths[at] = len;
- MP_STATE_VM(last_pool)->qstrs[at] = q_ptr;
- MP_STATE_VM(last_pool)->len++;
- // return id for the newly-added qstr
- return MP_STATE_VM(last_pool)->total_prev_len + at;
- }
- qstr qstr_find_strn(const char *str, size_t str_len) {
- if (str_len == 0) {
- // strncmp behaviour is undefined for str==NULL.
- return MP_QSTR_;
- }
- #if MICROPY_QSTR_BYTES_IN_HASH
- // work out hash of str
- size_t str_hash = qstr_compute_hash((const byte *)str, str_len);
- #endif
- // search pools for the data
- for (const qstr_pool_t *pool = MP_STATE_VM(last_pool); pool != NULL; pool = pool->prev) {
- size_t low = 0;
- size_t high = pool->len - 1;
- // binary search inside the pool
- if (pool->is_sorted) {
- while (high - low > 1) {
- size_t mid = (low + high) / 2;
- int cmp = strncmp(str, pool->qstrs[mid], str_len);
- if (cmp <= 0) {
- high = mid;
- } else {
- low = mid;
- }
- }
- }
- // sequential search for the remaining strings
- for (mp_uint_t at = low; at < high + 1; at++) {
- if (
- #if MICROPY_QSTR_BYTES_IN_HASH
- pool->hashes[at] == str_hash &&
- #endif
- pool->lengths[at] == str_len
- && memcmp(pool->qstrs[at], str, str_len) == 0) {
- return pool->total_prev_len + at;
- }
- }
- }
- // not found; return null qstr
- return MP_QSTRnull;
- }
- qstr qstr_from_str(const char *str) {
- return qstr_from_strn(str, strlen(str));
- }
- qstr qstr_from_strn(const char *str, size_t len) {
- QSTR_ENTER();
- qstr q = qstr_find_strn(str, len);
- if (q == 0) {
- // qstr does not exist in interned pool so need to add it
- // check that len is not too big
- if (len >= (1 << (8 * MICROPY_QSTR_BYTES_IN_LEN))) {
- QSTR_EXIT();
- mp_raise_msg(&mp_type_RuntimeError, MP_ERROR_TEXT("name too long"));
- }
- // compute number of bytes needed to intern this string
- size_t n_bytes = len + 1;
- if (MP_STATE_VM(qstr_last_chunk) != NULL && MP_STATE_VM(qstr_last_used) + n_bytes > MP_STATE_VM(qstr_last_alloc)) {
- // not enough room at end of previously interned string so try to grow
- char *new_p = m_renew_maybe(char, MP_STATE_VM(qstr_last_chunk), MP_STATE_VM(qstr_last_alloc), MP_STATE_VM(qstr_last_alloc) + n_bytes, false);
- if (new_p == NULL) {
- // could not grow existing memory; shrink it to fit previous
- (void)m_renew_maybe(char, MP_STATE_VM(qstr_last_chunk), MP_STATE_VM(qstr_last_alloc), MP_STATE_VM(qstr_last_used), false);
- MP_STATE_VM(qstr_last_chunk) = NULL;
- } else {
- // could grow existing memory
- MP_STATE_VM(qstr_last_alloc) += n_bytes;
- }
- }
- if (MP_STATE_VM(qstr_last_chunk) == NULL) {
- // no existing memory for the interned string so allocate a new chunk
- size_t al = n_bytes;
- if (al < MICROPY_ALLOC_QSTR_CHUNK_INIT) {
- al = MICROPY_ALLOC_QSTR_CHUNK_INIT;
- }
- MP_STATE_VM(qstr_last_chunk) = m_new_maybe(char, al);
- if (MP_STATE_VM(qstr_last_chunk) == NULL) {
- // failed to allocate a large chunk so try with exact size
- MP_STATE_VM(qstr_last_chunk) = m_new_maybe(char, n_bytes);
- if (MP_STATE_VM(qstr_last_chunk) == NULL) {
- QSTR_EXIT();
- m_malloc_fail(n_bytes);
- }
- al = n_bytes;
- }
- MP_STATE_VM(qstr_last_alloc) = al;
- MP_STATE_VM(qstr_last_used) = 0;
- }
- // allocate memory from the chunk for this new interned string's data
- char *q_ptr = MP_STATE_VM(qstr_last_chunk) + MP_STATE_VM(qstr_last_used);
- MP_STATE_VM(qstr_last_used) += n_bytes;
- // store the interned strings' data
- memcpy(q_ptr, str, len);
- q_ptr[len] = '\0';
- q = qstr_add(len, q_ptr);
- }
- QSTR_EXIT();
- return q;
- }
- mp_uint_t qstr_hash(qstr q) {
- const qstr_pool_t *pool = find_qstr(&q);
- #if MICROPY_QSTR_BYTES_IN_HASH
- return pool->hashes[q];
- #else
- return qstr_compute_hash((byte *)pool->qstrs[q], pool->lengths[q]);
- #endif
- }
- size_t qstr_len(qstr q) {
- const qstr_pool_t *pool = find_qstr(&q);
- return pool->lengths[q];
- }
- const char *qstr_str(qstr q) {
- const qstr_pool_t *pool = find_qstr(&q);
- return pool->qstrs[q];
- }
- const byte *qstr_data(qstr q, size_t *len) {
- const qstr_pool_t *pool = find_qstr(&q);
- *len = pool->lengths[q];
- return (byte *)pool->qstrs[q];
- }
- void qstr_pool_info(size_t *n_pool, size_t *n_qstr, size_t *n_str_data_bytes, size_t *n_total_bytes) {
- QSTR_ENTER();
- *n_pool = 0;
- *n_qstr = 0;
- *n_str_data_bytes = 0;
- *n_total_bytes = 0;
- for (const qstr_pool_t *pool = MP_STATE_VM(last_pool); pool != NULL && pool != &CONST_POOL; pool = pool->prev) {
- *n_pool += 1;
- *n_qstr += pool->len;
- for (qstr_len_t *l = pool->lengths, *l_top = pool->lengths + pool->len; l < l_top; l++) {
- *n_str_data_bytes += *l + 1;
- }
- #if MICROPY_ENABLE_GC
- *n_total_bytes += gc_nbytes(pool); // this counts actual bytes used in heap
- #else
- *n_total_bytes += sizeof(qstr_pool_t)
- + (sizeof(const char *)
- #if MICROPY_QSTR_BYTES_IN_HASH
- + sizeof(qstr_hash_t)
- #endif
- + sizeof(qstr_len_t)) * pool->alloc;
- #endif
- }
- *n_total_bytes += *n_str_data_bytes;
- QSTR_EXIT();
- }
- #if MICROPY_PY_MICROPYTHON_MEM_INFO
- void qstr_dump_data(void) {
- QSTR_ENTER();
- for (const qstr_pool_t *pool = MP_STATE_VM(last_pool); pool != NULL && pool != &CONST_POOL; pool = pool->prev) {
- for (const char *const *q = pool->qstrs, *const *q_top = pool->qstrs + pool->len; q < q_top; q++) {
- mp_printf(&mp_plat_print, "Q(%s)\n", *q);
- }
- }
- QSTR_EXIT();
- }
- #endif
- #if MICROPY_ROM_TEXT_COMPRESSION
- #ifdef NO_QSTR
- // If NO_QSTR is set, it means we're doing QSTR extraction.
- // So we won't yet have "genhdr/compressed.data.h"
- #else
- // Emit the compressed_string_data string.
- #define MP_COMPRESSED_DATA(x) static const char *compressed_string_data = x;
- #define MP_MATCH_COMPRESSED(a, b)
- #include "genhdr/compressed.data.h"
- #undef MP_COMPRESSED_DATA
- #undef MP_MATCH_COMPRESSED
- #endif // NO_QSTR
- // This implements the "common word" compression scheme (see makecompresseddata.py) where the most
- // common 128 words in error messages are replaced by their index into the list of common words.
- // The compressed string data is delimited by setting high bit in the final char of each word.
- // e.g. aaaa<0x80|a>bbbbbb<0x80|b>....
- // This method finds the n'th string.
- static const byte *find_uncompressed_string(uint8_t n) {
- const byte *c = (byte *)compressed_string_data;
- while (n > 0) {
- while ((*c & 0x80) == 0) {
- ++c;
- }
- ++c;
- --n;
- }
- return c;
- }
- // Given a compressed string in src, decompresses it into dst.
- // dst must be large enough (use MP_MAX_UNCOMPRESSED_TEXT_LEN+1).
- void mp_decompress_rom_string(byte *dst, const mp_rom_error_text_t src_chr) {
- // Skip past the 0xff marker.
- const byte *src = (byte *)src_chr + 1;
- // Need to add spaces around compressed words, except for the first (i.e. transition from 1<->2).
- // 0 = start, 1 = compressed, 2 = regular.
- int state = 0;
- while (*src) {
- if ((byte) * src >= 128) {
- if (state != 0) {
- *dst++ = ' ';
- }
- state = 1;
- // High bit set, replace with common word.
- const byte *word = find_uncompressed_string(*src & 0x7f);
- // The word is terminated by the final char having its high bit set.
- while ((*word & 0x80) == 0) {
- *dst++ = *word++;
- }
- *dst++ = (*word & 0x7f);
- } else {
- // Otherwise just copy one char.
- if (state == 1) {
- *dst++ = ' ';
- }
- state = 2;
- *dst++ = *src;
- }
- ++src;
- }
- // Add null-terminator.
- *dst = 0;
- }
- #endif // MICROPY_ROM_TEXT_COMPRESSION
|