Skip to content

Conversation

@fingolfin
Copy link
Member

@fingolfin fingolfin commented Sep 8, 2017

Right now, we reserve 8 bit for the tnum in each "Bag". GASMAN also uses the special value 255 = 0xFF in the tnum/type field internally, so that means TNUMs from 0 to 254 are potentially valid.

Now there are various places were this information is implicitly used. If we ever want to e.g. increase the number of TNUMs, we have to find all these places. And even if we don't change it, it can be illuminating to have these facts made explicit. This PR is a first step at doing that.

@fingolfin fingolfin added do not merge PRs which are not yet ready to be merged (e.g. submitted for discussion, or test results) topic: kernel labels Sep 8, 2017
@codecov
Copy link

codecov bot commented Sep 8, 2017

Codecov Report

Merging #1700 into master will increase coverage by <.01%.
The diff coverage is 54.54%.

@@            Coverage Diff             @@
##           master    #1700      +/-   ##
==========================================
+ Coverage   75.34%   75.34%   +<.01%     
==========================================
  Files         442      442              
  Lines      228957   228958       +1     
==========================================
+ Hits       172498   172499       +1     
  Misses      56459    56459
Impacted Files Coverage Δ
src/objects.h 100% <ø> (ø) ⬆️
src/gasman.h 93.1% <ø> (ø) ⬆️
src/gap.c 85.27% <0%> (ø) ⬆️
src/objects.c 80.08% <0%> (ø) ⬆️
src/gasman.c 87.86% <100%> (+0.02%) ⬆️
src/boehm_gc.c 94.14% <100%> (ø) ⬆️

@olexandr-konovalov olexandr-konovalov added the gapdays2017-fall Issues and PRs that arose at https://www.gapdays.de/gapdays2017-fall label Sep 9, 2017
@fingolfin fingolfin mentioned this pull request Apr 12, 2018
23 tasks
@fingolfin fingolfin changed the title Add NUM_TYPES, MAX_TNUM, T_DUMMY (DO NOT MERGE) kernel cleanup: add NUM_TYPES and T_DUMMY Jul 2, 2018
@fingolfin fingolfin added release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes and removed do not merge PRs which are not yet ready to be merged (e.g. submitted for discussion, or test results) labels Jul 2, 2018
@fingolfin
Copy link
Member Author

Reminder: should this get merged, rebase PR #2092 (Julia GC) on it, and edit src/julia_gc.c to also use NUM_TYPES

@fingolfin fingolfin merged commit b9b4fb9 into gap-system:master Jul 6, 2018
@fingolfin fingolfin deleted the mh/NUM_TYPES branch July 6, 2018 12:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

gapdays2017-fall Issues and PRs that arose at https://www.gapdays.de/gapdays2017-fall release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: kernel

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants