Csaba Hruska
@csaba_hruska
Followers
1K
Following
2K
Media
99
Statuses
973
I'm into compilers and pure functional programming. I'm doing Research & Development. (GHC, LLVM, ASM, pointer analysis, optimization) FYI: Csaba ⟦ˈt͡ʃɒbɒ⟧
Joined August 2016
If you like my work please support me on Patreon. https://t.co/cnICbqhc12
0
9
16
I'm trying to locate a memory leak with GHC tooling. I want to see how far I can get. I also want to experience its convenience. If I get stuck then I'll switch to my custom tooling as an extension.
1
0
8
I did not know about the rr-project. You can record and replay native program execution. This project is a great source of inspiration for debugger developers. https://t.co/3pmP1eJ7EA
2
3
12
5
28
196
An Introduction to Interpreters and JIT Compilation https://t.co/KF7sYb8cxH Last week, I attended PLISS and had great time. In my own lectures, I talked, probably unsurprisingly, about how one can build interpreters, and how JIT compilation works. 😀 Slides in the blog post.
stefan-marr.de
Lectures on programming language interpreters and just-in-time compilation
5
90
401
Initial result: External STG Interpreter shows current program point on Haskell source code
3
14
97
Check this excellent talk from Ben Gamari to get and overview of GHC RTS https://t.co/XcKmxThBsp
1
2
16
Does Haskell have fellow FP language and community? Or are other Haskell like languages viewed as alien competitors?
7
1
8
It would be great to have a Haskell EDSL like specification of GHC native RTS internal C structures. It would make easy and safe to develop native RTS tools. i.e. whole RTS state snapshot I/O
1
0
11
I plan to check feasibility of the bidirectional state conversion between the native Haskell RTS and External STG Interpreter
1
0
1
AFAIK ghc-debug can not decode all closure types. (right?) So I plan to make an experiment manually, I'd like to modify the GHC RTS GC to dump the whole heap to a file during the traversal and then analyse it with custom offline tools.
2
0
1
I think it would be worthwhile to have quickcheck tests for GHC native RTS. I'd expect to find lots of bugs in complex C code.
1
0
7
I've implemented STM primops in the External STG Interpreter. Now I'm using the STM tests from GHC test suite to iron out the bugs.
1
5
21
The best software development environment I've ever seen: https://t.co/fDP9M3djuq
1
4
14
IMO the biggest problem with GHC is that it was designed by researchers and not engineers. It is not built from reusable components, instead everything is overspecialized for one use case. Engineers care about future use cases too!
1
0
10