Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

experiment: precise heap tags #4544

Open
wants to merge 31 commits into
base: master
Choose a base branch
from
Open

experiment: precise heap tags #4544

wants to merge 31 commits into from

Commits on May 17, 2024

  1. subdivide ambiguous tags

    @crusso
    crusso committed May 17, 2024
    Configuration menu
    Copy the full SHA
    6be52e1 View commit details
    Browse the repository at this point in the history

  2. WIP: rts for precise tagging

    @crusso
    crusso committed May 17, 2024
    Configuration menu
    Copy the full SHA
    7b03506 View commit details
    Browse the repository at this point in the history

  3. used correct tags in compile.ml

    @crusso
    crusso committed May 17, 2024
    Configuration menu
    Copy the full SHA
    cc85f80 View commit details
    Browse the repository at this point in the history

Commits on May 31, 2024

  1. ugly attempt to tag allocations

    @crusso
    crusso committed May 31, 2024
    Configuration menu
    Copy the full SHA
    99b2985 View commit details
    Browse the repository at this point in the history

  2. implement refined tagging; refine Blob Const (WIP); todo: refine Cons… 

    …t.Array in compile.ml
    @crusso
    crusso committed May 31, 2024
    Configuration menu
    Copy the full SHA
    0b0976a View commit details
    Browse the repository at this point in the history

  3. copy, don't alias, in blob_to_text;restrict blob_of_text; generslize … 

    …stream_write_text to accept blob or text
    @crusso
    crusso committed May 31, 2024
    Configuration menu
    Copy the full SHA
    00e5895 View commit details
    Browse the repository at this point in the history

  4. refine Const.Array into Const.Array and Const.Tuple to reflect precis… 

    …e heap tagging
    @crusso
    crusso committed May 31, 2024
    Configuration menu
    Copy the full SHA
    6bbfdea View commit details
    Browse the repository at this point in the history

  5. adapt incremental array slicing; fix rts tests

    @crusso
    crusso committed May 31, 2024
    Configuration menu
    Copy the full SHA
    4981b3a View commit details
    Browse the repository at this point in the history

  6. rust format

    @crusso
    crusso committed May 31, 2024
    Configuration menu
    Copy the full SHA
    788f403 View commit details
    Browse the repository at this point in the history

  7. adapt generational array slicing; updeate bench numbers

    @crusso
    crusso committed May 31, 2024
    Configuration menu
    Copy the full SHA
    30c91ee View commit details
    Browse the repository at this point in the history

  8. fix blob comparistion in patterns

    @crusso
    crusso committed May 31, 2024
    Configuration menu
    Copy the full SHA
    28d98e0 View commit details
    Browse the repository at this point in the history

  9. refactor slicing

    @crusso
    crusso committed May 31, 2024
    Configuration menu
    Copy the full SHA
    4310118 View commit details
    Browse the repository at this point in the history

  10. hide encoding of array tags in helpers

    @crusso
    crusso committed May 31, 2024
    Configuration menu
    Copy the full SHA
    448962f View commit details
    Browse the repository at this point in the history

  11. refactor array_slicing

    @crusso
    crusso committed May 31, 2024
    Configuration menu
    Copy the full SHA
    2cb651a View commit details
    Browse the repository at this point in the history

  12. Merge branch 'master' into claudio/precise-heap-tags

    @crusso
    crusso authored May 31, 2024
    Configuration menu
    Copy the full SHA
    3de6cac View commit details
    Browse the repository at this point in the history

  13. extern array_slicing test

    @crusso
    crusso committed May 31, 2024
    Configuration menu
    Copy the full SHA
    b44b133 View commit details
    Browse the repository at this point in the history

  14. add basic tag checking on unboxing of new tags

    @crusso
    crusso committed May 31, 2024
    Configuration menu
    Copy the full SHA
    8dbe885 View commit details
    Browse the repository at this point in the history

Commits on Jun 4, 2024

  1. refine tags for actors and shared functions, TAG_BLOB_A and TAB_ARRAY_S

    @crusso
    crusso committed Jun 4, 2024
    Configuration menu
    Copy the full SHA
    ac88615 View commit details
    Browse the repository at this point in the history

  2. format

    @crusso
    crusso committed Jun 4, 2024
    Configuration menu
    Copy the full SHA
    6f581c6 View commit details
    Browse the repository at this point in the history

  3. implement required coercions

    @crusso
    crusso committed Jun 4, 2024
    Configuration menu
    Copy the full SHA
    9f86d91 View commit details
    Browse the repository at this point in the history

  4. fix bugs; extend interpreter; rename prims; add __LINE__ to Tagged.sa… 

    …nity_check_tag
    @crusso
    crusso committed Jun 4, 2024
    Configuration menu
    Copy the full SHA
    ba137c7 View commit details
    Browse the repository at this point in the history

  5. Update rts/motoko-rts/src/debug.rs

    @crusso
    crusso authored Jun 4, 2024
    Configuration menu
    Copy the full SHA
    4d41889 View commit details
    Browse the repository at this point in the history

  6. document tags

    @crusso
    crusso committed Jun 4, 2024
    Configuration menu
    Copy the full SHA
    0fdbc12 View commit details
    Browse the repository at this point in the history

Commits on Jun 5, 2024

  1. reformat; implement and use blob_of_ptr_size, blob_of_str; fix base32… 

    …_to_blob to produce TAG_BLOB_B
    @crusso
    crusso committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    0ed4fe6 View commit details
    Browse the repository at this point in the history

  2. remove unused pattern match code from compile.ml

    @crusso
    crusso committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    41f8917 View commit details
    Browse the repository at this point in the history

  3. use binary, not text, blob for IDL decoding check

    @crusso
    crusso committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    1e8d0f6 View commit details
    Browse the repository at this point in the history

  4. add more assertions

    @crusso
    crusso committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    e8c4c19 View commit details
    Browse the repository at this point in the history

  5. assert array tag difference is even

    @crusso
    crusso committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    f5e97a9 View commit details
    Browse the repository at this point in the history

  6. fix one broken assert (missing TAG_BLOB_A case); refactor other asserts

    @crusso
    crusso committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    afde9e1 View commit details
    Browse the repository at this point in the history

Commits on Jun 6, 2024

  1. Update rts/motoko-rts-tests/src/gc/heap.rs 

    Co-authored-by: Luc Blaeser <[email protected]>
    @crusso @luc-blaeser
    crusso and luc-blaeser authored Jun 6, 2024
    Configuration menu
    Copy the full SHA
    34dd29d View commit details
    Browse the repository at this point in the history

Commits on Jun 7, 2024

  1. Update rts/motoko-rts-tests/src/gc/heap.rs 

    Co-authored-by: Luc Blaeser <[email protected]>
    @crusso @luc-blaeser
    crusso and luc-blaeser authored Jun 7, 2024
    Configuration menu
    Copy the full SHA
    0082f1d View commit details
    Browse the repository at this point in the history