SnakeViz
miri
SnakeViz | miri | |
---|---|---|
10 | 122 | |
2,251 | 4,042 | |
- | 4.0% | |
5.2 | 10.0 | |
6 months ago | about 7 hours ago | |
Python | Rust | |
GNU General Public License v3.0 or later | Apache License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
SnakeViz
- Alternative to for loop in python ?
-
Python Built-in vs Looping
From the same guy, use snakeviz to diagnose code. Video: [9:57] https://www.youtube.com/watch?v=m_a0fN48Alw
-
Python 3.11 delivers.
Python profiling is enabled primarily through cprofile, and can be visualized with help of tools like snakeviz (output flame graph can look like this). There are also memory profilers like memray which does in-depth traces, or sampling profilers like py-spy.
-
Hey Rustaceans! Got a question? Ask here! (40/2022)!
I'm looking for a Rust equivalent Python's cProfile https://docs.python.org/3/library/profile.html if possible with visualizations like in SnakeViz https://jiffyclub.github.io/snakeviz/
- Scanning Function calls in a script - is there a tool?
-
Apply decorator to all functions in a list
If you want stats for only your list of functions, you can do that with pstats, or you could use some third-party tool like https://jiffyclub.github.io/snakeviz/ or myriad other options.
-
An efficient way of getting second neighbors of a point in a grid.
I would make a list of tuples where each tuple is (2,0),(-2,0),(0,2),etc... and put those in a list. Then you can use random.choice to pick a random one out of the list. How often are you going to be doing this next to the edge of the grid? If its not that much then I would just try to have it re-draw a new random choice from the list in those cases. This isn't an elegant solution, since it could take an unknown amount of time to draw something valid, but it might be fast enough in practice. Then if that ends up causing issues on the edge cases you could have some logic to select a list to draw from that only contains the valid choices. Also remember, don't assume that some part of your code is the slow part. Always profile it to get some actual information on how long each section is taking so you can optimize the parts of the code that actually need it. I use snakeviz for profiling python code.
-
Profiled my Python video game code and then used snakeviz to check for performance bottlenecks
Official site: http://jiffyclub.github.io/snakeviz/
-
Pyheatmagic: Profile and view your Python code as a heat map
I've always used snakeviz with the stdlib profiler https://jiffyclub.github.io/snakeviz/
In prod, the pyinstrument profiler has worked well for me https://pyinstrument.readthedocs.io/en/latest/guide.html#pro...
-
Need a help to optimize the code when using pandas
its going to be very hard to give advice on this without seeing the code. could you share the relevant code? if you're not sure what the slow part is, i recommend https://jiffyclub.github.io/snakeviz/ it should allow you to see what function is taking long
miri
-
Rust: Box Is a Unique Type
>While we are many missing language features away from this being the case, the noalias case is also magic descended upon box itself, with no user code ever having access to it.
I'm not sure why the author thinks there's magic behind Box. Box is not a special case of `noalias`. Run this snippet with miri and you'll see the same issue: https://play.rust-lang.org/?version=stable&mode=debug&editio...
`Box` _does_ have an expectation that its inner pointer is not aliased to another Box (even if used for readonly operations). See: https://github.com/rust-lang/miri/issues/1800#issuecomment-8...)
-
Bytecode VMs in Surprising Places
Miri [0] is an interpreter for the mid-level intermediate representation (MIR) generated by the Rust compiler. MIR is input for more processing steps of the compiler. However miri also runs MIR directly. This means miri is a VM. Of course it's not a bytecode VM, because MIR is not a bytecode AFAIK. I still think that miri is a interesting example.
And why does miri exist?
It is a lot slower. However it can check for some undefined behavior.
[0]: https://github.com/rust-lang/miri
-
RFC: Rust Has Provenance
Provenance is a dynamic property of pointer values. The actual underlying rules that a program must follow, even when using raw pointers and `unsafe`, are written in terms of provenance. Miri (https://github.com/rust-lang/miri) represents provenance as an actual value stored alongside each pointer's address, so it can check for violations of these rules.
Lifetimes are a static approximation of provenance. They are erased after being validated by the borrow checker, and do not exist in Miri or have any impact on what transformations the optimizer may perform. In other words, the provenance rules allow a superset of what the borrow checker allows.
- Mir: Strongly typed IR to implement fast and lightweight interpreters and JITs
-
Running rustc in a browser
There has been discussion of doing this with MIRI, which would be easier than all of rustc.
-
Piecemeal dropping of struct members causes UB? (Miri)
This issue has been fixed: https://github.com/rust-lang/miri/issues/2964
- Erroneous UB Error with Miri?
-
I've incidentally created one of the fastest bounded MPSC queue
Actually, I've done more advanced tests with MIRI (see https://github.com/rust-lang/miri/issues/2920 for example) which allowed me to fix some issues. I've also made the code compatible with loom, but I didn't found the time yet to write and execute loom tests. That's on the TODO-list, and I need to track it with an issue too.
-
Interested in "secure programming languages", both theory and practice but mostly practice, where do I start?
He is one of the big brains behind Miri, which is a interpreter that runs on the MIR (compiler representation between human code and asm/machine code) and detects undefined behavior. Super useful tool for language safety, pretty interesting on its own.
-
Formal verification for unsafe code?
I would also run your tests in Miri (https://github.com/rust-lang/miri) to try to cover more bases.
What are some alternatives?
tuna - :fish: Python profile viewer
cons-list - Singly-linked list implementation in Rust
pygraphviz - Python interface to Graphviz graph drawing package
sanitizers - AddressSanitizer, ThreadSanitizer, MemorySanitizer
GooPyCharts - A Google Charts API for Python, meant to be used as an alternative to matplotlib.
rust - Empowering everyone to build reliable and efficient software.
Flask JSONDash - :snake: :bar_chart: :chart_with_upwards_trend: Build complex dashboards without any front-end code. Use your own endpoints. JSON config only. Ready to go.
Rust-Full-Stack - Rust projects here are easy to use. There are blog posts for them also.
VisPy - Main repository for Vispy
rfcs - RFCs for changes to Rust
line_profiler - Line-by-line profiling for Python
nomicon - The Dark Arts of Advanced and Unsafe Rust Programming