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

Document how to use InterDex #5

Closed
bertmaher opened this issue Mar 26, 2016 · 1 comment
Closed

Document how to use InterDex #5

bertmaher opened this issue Mar 26, 2016 · 1 comment
Assignees
@onomatopoeia

Comments

@bertmaher
Copy link
Contributor

InterDex is the feedback-directed class layout pass (perhaps it should have a clearer name as well, but that's a separate issue). We should document:

  1. How to enable InterDexPass
  2. How to gather a trace of app cold start
  3. How to feed that trace into InterDex
@onomatopoeia onomatopoeia self-assigned this Apr 13, 2016
@onomatopoeia
Copy link

Documentation add in docs/Interdex.md

@Phil-Coulson Phil-Coulson mentioned this issue May 21, 2016
Closed
@colinstonema colinstonema mentioned this issue Jul 10, 2017
Closed
@deephole deephole mentioned this issue Sep 1, 2017
Closed
@liush55 liush55 mentioned this issue Apr 19, 2018
Closed
facebook-github-bot pushed a commit that referenced this issue Oct 15, 2019
@facebook-github-bot
Fix ASan report on fb4a at VectorImpl.cpp:507 (nonnull)
b358291 
Summary:
Report:
  fbandroid/native/redex/libresource/VectorImpl.cpp:507:22: runtime error: null pointer passed as argument 2, which is declared to never be null
  fbcode/third-party-buck/platform007/build/glibc/include/string.h:43:28: note: nonnull attribute specified here

Stack trace:
```
#0  android::VectorImpl::_do_copy (this=<optimized out>, dest=0x7fffd140c818, from=0x0, num=0) at fbandroid/native/redex/libresource/VectorImpl.cpp:507
#1  android::VectorImpl::setCapacity (this=0x7fffffff5ac0, new_capacity=25420576) at fbandroid/native/redex/libresource/VectorImpl.cpp:341
#2  0x0000000001f34f4a in android::Vector<char>::setCapacity (this=<optimized out>, size=17592186039131)
    at buck-out/gen/fbandroid/native/redex/libresource#header-mode-symlink-tree-with-header-map,headers/utils/Vector.h:85
#3  android::Vector<char>::reserve (this=<optimized out>, n=17592186039131)
    at buck-out/gen/fbandroid/native/redex/libresource#header-mode-symlink-tree-with-header-map,headers/utils/Vector.h:196
#4  android::ResTable::serialize (this=0x7fffffff66b0, cVec=..., resTableIndex=<optimized out>) at fbandroid/native/redex/libresource/ResourceTypes.cpp:4006
#5  0x0000000001e049eb in ResourcesArscFile::serialize (this=0x7fffffff66b0) at fbandroid/native/redex/libredex/RedexResources.cpp:1262
#6  0x00000000014ad94d in OptimizeResourcesPass::run_pass (this=0x24d25e0 <_ZL6s_pass>, stores=..., conf=..., mgr=...)
    at fbandroid/native/redex/facebook/opt/optimize_resources/OptimizeResources.cpp:630
#7  0x0000000001c6b2a9 in PassManager::run_passes (this=0x7fffffffb660, stores=..., conf=...) at fbandroid/native/redex/libredex/PassManager.cpp:258
#8  0x0000000000d2bb3a in main (argc=-25816, argv=0x7fffffffaf48) at fbandroid/native/redex/tools/redex-all/main.cpp:1122
```

Reviewed By: int3

Differential Revision: D17889740

fbshipit-source-id: 360c1e7bd341a09f3537b9115cd2967d98b0c36c
facebook-github-bot pushed a commit that referenced this issue Nov 8, 2019
@skkeem @facebook-github-bot
Implement weak partial ordering (WPO) of the graph for concurrent fix…
7fe3cb0 
…point iteration. (#5)

Summary:
This implements the Weak Partial Ordering (WPO) of a graph that generalizes the WTO.
It can be used to implement concurrent fixpoint iteration algorithms.
It is implemented in an iterative style so that it does not stack overflow during the WPO construction.
- Test cases are added, including the cases for the irreducible graphs.
- Ran clang-format to clean up the codes.

Publications:
- Sung Kook Kim, Arnaud J. Venet, and Aditya V. Thakur. Deterministic Parallel Fixpoint Computation. To appear in POPL 2020
- preprint: [arXiv:1909.05951](https://arxiv.org/abs/1909.05951)
Pull Request resolved: facebook/SPARTA#5

Reviewed By: yuxuanchen1997

Differential Revision: D18169499

Pulled By: int3

fbshipit-source-id: 64fcc87ce94b33c34fdbe89a327ebb7e99b64697
facebook-github-bot pushed a commit that referenced this issue Nov 8, 2019
@skkeem @facebook-github-bot
Implement weak partial ordering (WPO) of the graph for concurrent fix…
b7beadb 
…point iteration. (#5)

Summary:
This implements the Weak Partial Ordering (WPO) of a graph that generalizes the WTO.
It can be used to implement concurrent fixpoint iteration algorithms.
It is implemented in an iterative style so that it does not stack overflow during the WPO construction.
- Test cases are added, including the cases for the irreducible graphs.
- Ran clang-format to clean up the codes.

Publications:
- Sung Kook Kim, Arnaud J. Venet, and Aditya V. Thakur. Deterministic Parallel Fixpoint Computation. To appear in POPL 2020
- preprint: [arXiv:1909.05951](https://arxiv.org/abs/1909.05951)
Pull Request resolved: facebook/SPARTA#5

Reviewed By: yuxuanchen1997

Differential Revision: D18169499

Pulled By: int3

fbshipit-source-id: 64fcc87ce94b33c34fdbe89a327ebb7e99b64697
@AlanXuGuangZ AlanXuGuangZ mentioned this issue Feb 13, 2020
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@onomatopoeia onomatopoeia

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@onomatopoeia @bertmaher