7,Jj=rdZddlmZddlZddlZddlZddlmZddlm Z ee jjdZ e dz ZdZd Zd Zd Zd Zd ZddZddZddZd dZd!dZd"dZd#dZd$dZ d%dZ d& d'dZd(dZd(dZ efd)dZ!d*dZ"e#dk(re"yy)+zJSummarize duplicate save-selector field-map sets around the route blocker.) annotationsN)Path)Anyoutmap1_01amap2_02dz0:0z1:0z2:0z10:0cp|js|Stj|jdS)Nutf-8encoding)existsjsonloads read_text)pathfallbacks C/home/exedev/hwanse/tools/summarize_save_selector_mapset_aliases.py load_jsonrs* ;;= ::dnngn6 77cL|jdd|jdS)Ngroup:slotget)rows r selector_keyrs&ggg q 1 22rcR|D]}t||k(s|cStd|d)Nz selector z not found)r ValueError) selectorskeyrs r find_selectorr# s9   #J yZ0 11rc*tt|S)N)tuplesorted)mapss r mapset_keyr('s  rc|jdxsgDcic]%}|jdr|jd|'c}Scc}w)NrootsrootHexr)secondary_fill_rootsrs r fill_by_rootr-+sN(++G4:   779   C  s*Aci}|jdxsgD]K}|jd}|jd}|s(|s+|j|gj|M|S)Nsamplesselectorid)r setdefaultappend)sample_coverageresultsampler0 sample_ids rsample_ids_by_selectorr83si#%F!%%i06B>::j)JJt$    h + 2 29 = > Mrct|Dchc]5}|jdr"|jdr|jd7c}d}t|Dcic]\}}|| c}}Scc}wcc}}w)N fieldMapsselectedPointerHexct|dS)N)int)values rzaddress_order..Bs UBrr")r&r enumerate)r!rr*indexroots r address_orderrE=ss   77; CGG,@$A $% (  )E ,5U+; qR,,W5D9>b R,,W5D.228R@  rc |xsi}|xsi}|xsi}|xsi}t|}t|}t|}i}t|D]I\} } | j dxsg} | s|j t | gj| | fKg} |jD]u\} }t|dkr|D cgc]\} } t| | |||}} } | jt| t| t||t| vt| vdw| jdt|t }t|t"}t|t$}t |j dxsgt'fd| D}t)|j dxsg}t)|j dxsg}t)|j dxsg}|dD cgc]} | d  }} |dD cgc]} | j d xsgD]}| }} }||thzk(}||z}t+||z }t+||z }d }id td tdt dt"dt,dt$dt|dt| dt/d| Dd| d|d|dt|d|dt|d|dt1||||j d|j d|j d |j d!|j d"|j d#d$gd%|d& Scc} } wcc} wcc}} w)'Nr:r)rZr[r\r])mapCountr: aliasCountaliasescontainsSourcecontainsTargetc|d |dfS)Nrcr:)rs rr@z$build_alias_groups..seL.A-A5CU,VrrAc3FK|]}t|dk(s|yw)r:N)r%).0r target_keys r z%build_alias_groups..s$mU5Q\K]E^blElems!!rdr0rYaThe target-side map set for map2_02d has three selector aliases: 1:0, 10:0, and 17:0. Selector 1:0 is the logical selector-table predecessor and the only public-sample-covered alias; selector 10:0 is the address-adjacent root immediately before 2:0 and has many secondaryBranchState fills; selector 17:0 is another target-side alias without public sample coverage. The current 2:0 map set equals that target-side map set plus map1_01a, while source selector 0:0 plus the target-side set over-covers the current map set by map1_02b. This supports selector list recomposition/aliasing, but it still does not prove runtime execution order, state persistence into the 0x00542b0c reader, or a strict map1_01a source hotspot.sourcetargetsourceSelectorlogicalPredecessorSelectoraddressPredecessorSelectorcurrentSelectorfieldMapSetGroupCountduplicateMapSetGroupCountduplicateMapSetSelectorCountc3&K|] }|d yw)rcNrhrjrs rrlz%build_alias_groups..s+^EE,,?+^sduplicateGroupstargetAliasGrouptargetAliasSelectorstargetAliasSelectorCounttargetAliasPublicSampleIdstargetAliasPublicSampleCount"currentEqualsTargetAliasPlusSource"sourceTargetUnionOvercoversCurrent0addressPredecessorEqualsLogicalPredecessorMapSet'addressPredecessorToCurrentRootRefCount.addressPredecessorCurrentRootRefClassification addressContiguityProvesExecution"currentEqualsPredecessorPlusSourceexecutionOrderProvenblocked)zBprove which target-side alias executes before current selector 2:0z>prove secondaryBranchState persists into the 0x00542b0c readerzOfind a strict map1_01a source hotspot or equivalent original transition trigger) sourceTargetUnionExtraMapssourceTargetUnionMissingMapsrrrr2setDecompositionCurrentEqualsPredecessorPlusSource$setDecompositionExecutionOrderProvenpromotionStatusremainingProofs conclusion)r-r8rErBrr2r(r3itemslenr`listSOURCETARGETsortr#rGrHrJnextsetr&rIsumbool) r!r,r4address_predecessor_contextset_decompositionr\r]r[groupsrCrr'duplicate_groupsmaps_keyrowsrd source_rowpredecessor_row current_rowtarget_alias_group current_maps source_maps target_mapstarget_alias_selectorsr7public_sample_ids'current_equals_target_alias_plus_sourcesource_target_unionsource_target_union_extra_maps source_target_union_missing_mapsrrks @rbuild_alias_groupsrnsG052%+O"="C)/R !56M0Ay)J<>F *I sww{#)r    j. 3 : :E3< HI ,,. $ t9> #  s $%+$7       H hg,$0$0 !   *VWy/:J#I/KLO +;$?!  %&7!  ',=(>!  -.U!! " -d3Q.R#! $'E(HO>S>STx>y0A0E0EF\0]$ !A! !_  8XsM4 M #Mcddd|dd|ddd|d d |d d d j|ddd|dd|ddd j|dxsddd|dd|dd|dd|ddd|ddddd d!g}|d"d#D]K}|jd$|d%d&|d'd(|d)d&|d*d+|d,d(d j|d-xsdd. M|jgd/|d0D]t}d jd1|d#D}d j|d2dd3}t|d2d3kDr|d4t|d2d3z z }|jd5|d+|d6v|jdd7j|S)8Nz# Save Selector Map-Set Aliasesz - route: `rmz` -> `rn`z- duplicate map-set groups: rt" / selectors in duplicate groups: ruz- target alias selectors: `, rzz$- target alias public sample count: r}z+- current equals target alias plus source: r~z#- source+target union extra maps: `r-z:- address predecessor equals logical predecessor map set: rz,- address predecessor -> current root refs: rz'- address contiguity proves execution: rz- promotion status: `rrz## Target Alias GroupzC| selector | role | root | address order | fills | public samples |z'| --- | --- | --- | ---: | ---: | --- |ryrdz| `r0z` | rTz | `r+rUz | rPrYz` |)rz## Duplicate Groupsrz| aliases | maps |z | --- | --- |rxc3.K|] }d|ddyw)rr0Nrhrjrs rrlzmarkdown..sOsaJ02Osr: z, +z| z | )joinr3extendr)summarylinesrrrdr's rmarkdownrsx) WX&'vgh.?-@B &w/J'K&LLnovxVpWoX Y %dii8N0O&P%QQRS .w7U/V.WX 5g>b6c5de -dii@\8].^.ebe-ffgh DWMFAEB C 6w?h7i6jk 1':\2]1^_ (9 :;1=    M1' E*)*95  #j/"$s6{m4I7GtCPgLhKiil; TYYs3D/E%F%M#$Nc S   LL*+0))OeI>NOOyy{+CR01 u[! "R ' c#eK01B678 8D r'#dV2./ 0  LL 99U rcdjd|ddD}djd|dD}djddd d d tj|d d tj|ddd|dd|dddtjdj|ddd|ddd|dddtjdj|dxsddd|d dd!|d"dd#|d$dd%tj|d&dd'd(tj|d)d*d+d,|d-d.d/|d-gS)0Nrc3K|]}dtj|ddtj|ddtjt|ddtjt|ddtjt|ddtjd j|d xsd d y w)zr0zrTzr+rU rPrrYrzN)htmlescapestrrrs rrlzhtml_page..s   [[Z123{{3v;'()[[S^!4567{{3s#:;<=>?{{3s;/0123[[3/@+A!B!IcJKL   sCCryrdc 3K|]K}ddjd|dDdtjdj|ddMyw)zrc3XK|]"}dtj|dzdz$yw)zr0zN)rrrs rrlz&html_page...s(iQTDKKJ$@@9Lis(*rdrr:z Nrrrrws rrlzhtml_page..sc   yyiX]^gXhiijk{{499U;%789:; sAArxzQSave Selector Map-Set Aliaseszz&

Save Selector Map-Set Aliases

z
    z
  • route: rmz -> rnz
    • z
  • duplicate map-set groups: rtrruz
    • z"
  • target alias selectors: rrzz&
  • target alias public sample count: r}z-
  • current equals target alias plus source: r~z*
  • source+target union extra maps: rrz<
  • address predecessor equals logical predecessor map set: rz1
  • address predecessor -> current root refs: rz)
  • address contiguity proves execution: rz
  • promotion status: rz
z

rz

z

Target Alias Group

zz
selectorrolerootaddress orderfillspublic samples
z

Duplicate Groups

zCr)r target_rows group_rowss r html_pagers)) -.y9  K ./ J 99] y0 DKK(9:;;OPTP[P[\cdl\mPnOoo{| (1L)M(NNpqxzXrYqZZ_ ` ,T[[7KaCb9c-d,eeqr 09W1X0YY^_ 7@d8e7ffkl 4T[[7SoKpAqAxux5y4z{G H FwPBHCGDDI J ;GDm> 7q9D@? 22>>y?Q\c>drc tjt}|jdtt dz |jdtt dz |jdtt dz |jd tt d z |jd tt d z |jd tt |j }tt|jgt|jit|jit|jit|ji}t||jt!d|jdz y)N) descriptionz --selectorszsave_scene_selectors.json)typedefaultz--secondary-fill-rootsz'save_selector_secondary_fill_roots.jsonz--sample-coveragezsavedata_sample_coverage.jsonz--address-contextz.save_selector_address_predecessor_context.jsonz--set-decompositionz$save_selector_set_decomposition.jsonz --out-dirz'wrote save selector map-set aliases -> r)argparseArgumentParser__doc__ add_argumentrOUT parse_argsrrr!r,r4address_contextrrrprint)parserargsrs rmainr<sC  $ $ 9F  D#@[:[\ 0tSKtEtu +$Fe@ef +$Fv@vw -D#HnBno  $<    D $.."%$++R0$&&+$&&+$(("- G'4<<( 3DLLCf4f3g hir__main__)rrrrreturnr)rdictrr)r! list[dict]r"rrr)r'z list[str]rztuple[str, ...])r,rrdict[str, dict])r4rrdict[str, list[str]])r!rrdict[str, int])r0rrr) rrrZr>r[rr\rr]rrr)NNNN) r!rr, dict | Noner4rrrrrrr)rrrr)rrrrrNone)rr)$r __future__rrrrpathlibrtypingr__file__resolverROOTrrrrGrHrJrIrrr#r(r-r8rErKr`rrrrr__name__rhrrrsNP"  H~''* Ul  $%8 32= &   #  .  <)-#'/3%) gg%g!g"- g # g  gT)X,^25ej( zFr
aliasesmaps