JITWatch
yesod-persistent
JITWatch | yesod-persistent | |
---|---|---|
10 | 10 | |
3,015 | 2,598 | |
0.6% | 0.5% | |
6.3 | 6.7 | |
about 1 month ago | 20 days ago | |
Java | Haskell | |
GNU General Public License v3.0 or later | MIT License |
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.
JITWatch
-
It's 2023, so of course I'm learning Common Lisp
You can kind of do the same as DISASSEMBLE in Clojure.
There are some helper projects like https://github.com/Bronsa/tools.decompiler, and on the OpenJDK JitWatch (https://github.com/AdoptOpenJDK/jitwatch), other JVMs have similar tools as well.
It isn't as straightforward as in Lisp, but it is nonetheless doable.
-
How much is too much? 380+ lines of an AssertionUtil class Or Loggin classes in general.
As you have encapsulated the asserts inside methods, these will be called at runtime with the arguments evaluated (for example, creating that lambda). When assertions are disabled, the C1/C2 may inline the empty method call eventually, but I don't know whether it drops the lambda instantiation as well. You can use JITWatch to see what gets inlined. The general notion though is to not worry too much. Lazy log messages are a common pattern.
-
JIT x86 ia32
You can use jitwatch for this. To see the actual assembly code generated you will also need to use a debug build of the jvm.
-
SIMD accelerated sorting in Java – how it works and why it was 3x faster
If you use Oracle's own IDE, it will support it out of the box, as it already did on Sun's days.
Then there are other ways depending on which JVM implementation is used.
On OpenJDK's case you can load runtime plugin to do it
https://github.com/AdoptOpenJDK/jitwatch
- Equivalent of cppinsight for kotlin
-
Compiler Explorer - Java support
We use https://github.com/AdoptOpenJDK/jitwatch for this.
- How to Read Assembly Language
-
Why Zig When There Is Already C++ and Rust?
If you already know any JVM or .NET language, the first step would be to understand the full stack, you don't need C for that.
Many of us were doing systems programming with other languages before C went mainstream.
What you need to learn is computer architecture.
Getting back to JVM or .NET, you can get hold of JIT Watch, VS debug mode or play online in SharpLab.
Get to understand how some code gets translated into MSIL/JVM, and how those bytecodes end up being converted into machine code.
https://github.com/AdoptOpenJDK/jitwatch/wiki/Screenshots
https://sharplab.io/
Languages like F# and C# allow you to leave the high level comfort and also do most of the stuff you would be doing in C.
Or just pick D, which provides the same comfort and goes even further in low level capabilities.
Use them to write a toy compiler, userspace driver, talking to GPIO pins in a PI, manipulating B-Tree data stuctures directly from inodes, a TCP/IP userspace driver.
Not advocating not to learn Zig, do it still, the more languages one learns the better.
Only advocating what might be an easier transition path into learning about systems programming concepts.
-
JIT 101
You can enable a lot of debug information about how the compiler decides what to do with your code using feature flags like -XX:+UnlockDiagnosticVMOptions -XX:+PrintInlining. If you want to dive deeper into the world of the Hotspot JIT Compiler, have a look at JITWatch.
-
Is Java As Fast As C When It Comes To Stack
In what concerns HotSpot, one way would be JITWatch.
yesod-persistent
- It's 2023, so of course I'm learning Common Lisp
-
so people are making these
I also looked into Snap (http://snapframework.com/) and Yesod (https://www.yesodweb.com/) for Haskell. I didn't really get anywhere with those though because I had build issues with dependencies and was in a bit of a hurry so I put them off for later.
-
[ANNOUNCE] GHC 9.4.1-alpha2 now available
If you have a yesod app and want to try this out, I've got a cabal.project that works for yesod and persistent: https://github.com/yesodweb/yesod/pull/1769
-
Should a noob consider learning Haskell for web back end?
It would be an unorthodox choice. If you're looking to use this personal site as a portfolio project, you'd probably be better off using something like Node (JS), Java, or Python which tend to be a bit more marketable. However, if you want to try learning Haskell, then building a personal site with it seems like a great way to dive in. If you want to learn a bit more, Yesod seems to be the most well-documented Haskell web framework
-
Does Haskell have a Laravel like framework ?
I believe yesod is the go-to all encompassing framework.
-
On a daily base in this sub
frameworks like yesod and IHP
-
Writing a Wiki-Server with Yesod
In this blog post I’m presenting an implementation of a Wiki System in the spirit of the legendary C2-Wiki - written in Haskell with the Yesod framework.
-
New blog post: Type-level sharing in Haskell, now
I'm wondering if this is related to this.
-
The Importance of Humility in Software Development
> Every language phasing the web is stringly typed
Heh, not even close. Off the top of my head I can think of Ur/Web as an extreme example ( http://www.impredicative.com/ur ), and slightly more mainstream systems like Yesod ( https://www.yesodweb.com ). I've worked professionally with Haskell, although not for Web stuff. These days I mostly work with Scala, which has a similar typing mindset to ML/Haskell, but unfortunately inherits a lot of stringly typed legacy from Java. We use an in-house library that provides zero-cost newtypes to distinguish between different semantically-distinct data types, many of which just-so-happen to be representable as subsets of String (e.g. GET parameter names, GET parameter values, POST bodies, etc.). This makes it a type error to try and e.g. concatenate different sorts of data together.
W.r.t. "escaping", I tend to avoid it entirely since it's inherently unsafe:
- "Escaping" doesn't distinguish between its input and output types; they're both just "String", and we have to make assumptions about the contents of each (i.e. it's unsafe)
- Having the same input and output types makes it possible to "double-escape" by accident. This discourages the use of escaping, just-in-case it happens to be done elsewhere; hence it's very common to end up without any escaping taking place.
- Having the same input and output types makes escaping functionally unnecessary: anything we do to an escaped string could also be done to an unescaped string, so it's up to us to remember that it's needed (i.e. it's unsafe).
The whole idea of "escaping a string" betrays a flawed approach to the problem. Instead of throwing everything into the same representation, then manually trying to figure out whether or not a value comes from a particular subset of that representation or not, it's much easier and safer to avoid lumping them all together in the first place. If our inputs have a certain type (e.g. HTTP.Get.Val) and we can only output certain other types (e.g. JSON, Map[HTTP.Header.Key, HTTP.Header.Val], etc.), then the processing which turns input into output is forced to specify any necessary conversions. Whilst such conversions may involve escape sequences, having them associated to particular types is more akin to serialisation.
Heck, at my first PHP job we largely solved this problem not by 'filtering and escaping', but by modifying the PHP interpreter to distinguish between 'clean' and 'dirty' strings (with literals being clean, and $_GET, etc. being dirty). Operations like concatenation would propagate 'dirtiness', and output functions like 'echo' would crash if given a dirty string. Traditional 'escaping' functions would convert dirty strings to clean ones, and crash when given a clean string. Having this be dynamic was more annoying than ahead-of-time compile errors, but it still did a pretty good job.
There's pretty much no excuse for stringly typed languages/libraries/etc. when such such trivial solutions exist, other than the historical inertia of legacy systems.
-
Starting a project that depends on a module with a custom Prelude: mixins, cabal, and yesod-bin
The project is going to make use of Warp. To smoothen the development process I set up yesod-bin according to their template for non-yesod projects. This worked fine initially, giving me hot reloading on file changes, but after adding the private package as described above it's giving the following error:
What are some alternatives?
JMH - "Trust no one, bench everything." - sbt plugin for JMH (Java Microbenchmark Harness)
swagger-petstore - swagger-codegen contains a template-driven engine to generate documentation, API clients and server stubs in different languages by parsing your OpenAPI / Swagger definition.
SharpLab - .NET language playground
graphql - Haskell GraphQL implementation
Sniffy - Sniffy - interactive profiler, testing and chaos engineering tool for Java
swagger2 - Swagger 2.0 data model.
jHiccup - jHiccup is a non-intrusive instrumentation tool that logs and records platform "hiccups" - including the JVM stalls that often happen when Java applications are executed and/or any OS or hardware platform noise that may cause the running application to not be continuously runnable.
yesod-auth-hashdb - Yesod.Auth.HashDB plugin, now moved out of main yesod-auth package
LatencyUtils - Utilities for latency measurement and reporting
inquire
quickperf - QuickPerf is a testing library for Java to quickly evaluate and improve some performance-related properties
tiny-scheduler - no-brainer job scheduler for haskell