GitHub - GaloisInc/crucible: Crucible is a library for symbolic simulation of imperative programs
Crucible is a language-agnostic library for performing forward symbolic execution of imperative programs. It provides a collection of data-structures and APIs for expressing programs as control-flow graphs. Programs expressed as CFGs in this way can be automatically explored by the symbolic execution engine. In addition, new data types and operations can be added to the symbolic simulator by imple
Javaã«é©å‘½ã‚’èµ·ã“ã™GraalVM Native Image
ã‚ãªãŸã«ã¨ã£ã¦é‡è¦ãªãƒˆãƒ”ックやåŒåƒšã®æœ€æ–°æƒ…å ±ã‚’å…¥æ‰‹ã—ã¾ã—ょã†æœ€æ–°ã®æ´žå¯Ÿã¨ãƒˆãƒ¬ãƒ³ãƒ‰ã«é–¢ã™ã‚‹æœ€æ–°æƒ…å ±ã‚’å³åº§ã«å—ã‘å–ã‚Šã¾ã—ょã†ã€‚ 継続的ãªå¦ç¿’ã®ãŸã‚ã«ã€ç„¡æ–™ã®ãƒªã‚½ãƒ¼ã‚¹ã«æ‰‹è»½ã«ã‚¢ã‚¯ã‚»ã‚¹ã—ã¾ã—ょã†ãƒŸãƒ‹ãƒ–ックã€ãƒˆãƒ©ãƒ³ã‚¹ã‚¯ãƒªãƒ—ト付ãå‹•ç”»ã€ãŠã‚ˆã³ãƒˆãƒ¬ãƒ¼ãƒ‹ãƒ³ã‚°æ•™æ。 記事をä¿å˜ã—ã¦ã€ã„ã¤ã§ã‚‚èªã‚€ã“ã¨ãŒã§ãã¾ã™è¨˜äº‹ã‚’ブックマークã—ã¦ã€æº–å‚™ãŒã§ããŸã‚‰ã„ã¤ã§ã‚‚èªã‚ã¾ã™ã€‚
The JVM on Fire - Using Flame Graphs to Analyse Performance
Currently there are several tools available to analyse your application performance and show the results. Traditionally these results are either shown in some kind of table form, either flat or as a tree view. Flame graphs are relatively new and take a new angle to show the results. Furthermore, flame graphs can be generated on various levels; tooling hooking into the JVM, but also on (Linux / Mac
How to profile JVM applications | @lightbend
Hi everyone. One of the Tooling team focus lately has been improvement of the contribution process to sbt. Another thing we’ve been thinking is the performance of sbt. Combining these themes together, I’ve been looking into how guys like Jason Zaugg and Johannes Rudolph profile JVM applications, and this post is my findings. The techniques described here should be applicable to both Java and Scala
Profiling JVM Applications in Production
Profiling JVM Applications in Production Sasha Goldshtein CTO, Sela Group @goldshtn github.com/goldshtn https://s.sashag.net/srecon0318 Workshop Introduction • Mission: Apply modern, low-overhead, production-ready tools to monitor and improve JVM application performance on Linux • Objectives: qIdentifying overloaded resources qProfiling for CPU bottlenecks qVisualizing and exploring stack traces u
ã‚メるClojure高速開発 - Qiita
ã“ã®è¨˜äº‹ã¯ TIS Advent Calendar 2017 16 日目ã®è¨˜äº‹ã§ã™ã€‚ Clojure を仕事ã§ä½¿ã„始ã‚ã¦ã‹ã‚‰ä¸‰å¹´ãŒçµŒã¡ã¾ã—ãŸã€‚未ã ã«å¦ã³ãŒå¤šã„ã§ã™ãŒã€å¹´æ•°çš„ã«ã¯ä¸å … Clojurian ã¨è¨€ãˆã‚‹åŸŸã«é”ã—ã¦ã—ã¾ã£ãŸã®ã§ã€è‡ªåˆ†ãªã‚Šã® Clojure 観を整ç†ã—ãŸã„ã¨æ€ã„ç«‹ã¡ã¾ã—ãŸã€‚自分ã«ã¨ã£ã¦ Clojure ã®æœ€å¤§ã®é…力ã¯é«˜é€Ÿé–‹ç™ºã§ã™ã€‚ãã—ã¦ãれ㯠Clojure 自体ã®ç¿’熟難度ã¨ç§¤ã«ã‹ã‘ã¦ã‚‚å分é…力的ã ã¨ã„ã†è©±ã‚’書ãã¾ã™ã€‚ ã©ã¡ã‚‰ã‹ã¨è¨€ãˆã° Clojure 勉強ã—始ã‚ã§ã€ã“ã®ã¾ã¾é€²ã‚“ã§ã„ã„ã‹è¿·ã£ã¦ã„る人å‘ã‘ã®å†…容ã§ã™ã€‚ ã“ã®è¨˜äº‹ã¯2017年時点ã§ã®å†…容ã§ã™ã€‚更新版・続編 → ã‚メる Clojure ãƒãƒ¼ãƒ 開発 ãã‚‚ãã‚‚ Clojure ã¨ã¯ 時㯠2053 å¹´ã€Skynet ãŒäººé¡žã‚’è™ã’る世界。エージェント Meier 㯠Skynet ã®ãƒã‚°ã«ã‚¢ã‚¯ã‚»ã‚¹ã™ã‚‹ã“ã¨ã«æˆåŠŸã—ã€S
メニコア環境ã«ãŠã‘ã‚‹Javaコンテナã®ãƒ‘フォーマンス低下 - Qiita
Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? 2018/04/08追記： ã¾ã¨ã‚ã«Java10ã«é–¢ã™ã‚‹è¨˜è¼‰ã‚’è¿½åŠ ã—ã¾ã—ãŸã€‚ 2017/06/02追記： 調査内容をã¾ã¨ã‚ã¦è¨˜è¼‰ã‚’大幅ã«æ›´æ–°ã—ã¾ã—ãŸã€‚ 2017/06/01追記： 記事ã®æœ€å¾Œã«ã€ŒJDK8/9以é™ã®æœ¬å•é¡Œã®å–り組ã¿ã€ã‚’è¿½åŠ ã—ã¾ã—ãŸã€‚OpenJDK8ã®8u121.b34ã€8u131.b06ã§å¯¾å‡¦æ¸ˆã¿ã®ã‚ˆã†ã§ã™ï¼ˆæœ¬å½“ã«ä¿®æ£ã•ã‚Œã¦ã„ã‚‹ã‹ã¯åˆ¥é€”確èªã™ã‚‹äºˆå®šï¼‰ã€‚ ã©ã¡ã‚‰ã®å¯¾å‡¦ç‰ˆã‚‚2017年以é™ã«ãƒªãƒªãƒ¼ã‚¹ã•ã‚Œã¦ã„ã‚‹ãŸã‚ã€é »ç¹ã«JDK/JREã‚’æ›´æ–°ã—ã¦ãªã„å ´åˆã¯ç¢ºèªã—ã¦ãŠãã¨ã‚ˆã„ã§ã™ã€‚ ã¾ã¨ã‚ (Java10以é™) Java10ã§ã¯ã€æ£
Java Decompiler
The “Java Decompiler project†aims to develop tools in order to decompile and analyze Java 5 “byte code†and the later versions. JD-GUI is a standalone graphical utility that displays Java source codes of “.class†files. You can browse the reconstructed source code with the JD-GUI for instant access to methods and fields. JD-Eclipse is a plug-in for the Eclipse platform. It allows you to display a
メモリリークã€ãƒ‡ãƒƒãƒ‰ãƒãƒƒã‚¯ã€ãƒªãƒ€ã‚¤ãƒ¬ã‚¯ãƒˆãƒ«ãƒ¼ãƒ—ã€JVMクラッシュ...ãƒã‚°ã らã‘ã®Webアプリケーションを使ã£ã¦ãƒã‚°ã‚’ç†è§£ã™ã‚‹ - Qiita
æ¦‚è¦ Webアプリケーションã®é–‹ç™ºã‚„ä¿å®ˆã‚’ã—ã¦ã„ã‚‹ã¨ã€ã„ã‚ã„ã‚ãªãƒã‚°ã«éé‡ã—ã¾ã™ã€‚メモリリークã€ãƒ‡ãƒƒãƒ‰ãƒãƒƒã‚¯ã€ãƒªãƒ€ã‚¤ãƒ¬ã‚¯ãƒˆãƒ«ãƒ¼ãƒ—ã€JVMクラッシュç‰ã€…ã€ãƒã‚°ã¯æ§˜ã€…ã§ã™ã€‚ã“ã†ã„ã£ãŸãƒã‚°ã¯ã€å®Ÿéš›ã«ã‚³ãƒ¼ãƒ‰ã‚’書ã„ã¦ã€å®Ÿè¡Œãƒ»å†ç¾ã•ã›ã¦ãƒ„ールã§è§£æžã—ã¦ã¿ã‚‹ã¨ç†è§£ãŒæ·±ã¾ã‚Šã¾ã™ã€‚ ã¨ã„ã†ã“ã¨ã§ã€ã„ã‚ã„ã‚ãªãƒã‚°ã‚’実装ã—ãŸWebアプリケーションをã¤ãã£ã¦ã¿ã¾ã—ãŸã€‚ç¾æ™‚点ã§ã¯ã€ä»¥ä¸‹ã‚’ç°¡å˜ã«å†ç¾ã§ãã¾ã™ã€‚ メモリリーク (Javaãƒ’ãƒ¼ãƒ—é ˜åŸŸ) メモリリーク (Permanenté ˜åŸŸ) メモリリーク (Cãƒ’ãƒ¼ãƒ—é ˜åŸŸ) デッドãƒãƒƒã‚¯ (Java) デッドãƒãƒƒã‚¯ (SQL) 完了ã—ãªã„プãƒã‚»ã‚¹ã®å¾…æ©Ÿ ç„¡é™ãƒ«ãƒ¼ãƒ— リダイレクトループ JVMクラッシュ ãƒãƒƒãƒˆãƒ¯ãƒ¼ã‚¯ã‚½ã‚±ãƒƒãƒˆãƒªãƒ¼ã‚¯ データベースコãƒã‚¯ã‚·ãƒ§ãƒ³ãƒªãƒ¼ã‚¯ ファイルディスクリプタリーク XSS SQLインジェクション ExceptionInInitializerErr
JVMãƒãƒ¥ãƒ¼ãƒ‹ãƒ³ã‚°: G1GCã®ä½¿ã„ã©ã“ã‚ã¨CMS GCã‹ã‚‰ã®ãƒžã‚¤ã‚°ãƒ¬ãƒ¼ãƒˆ
Java7 Update4 (java7u4) ã§æ£å¼ã‚µãƒãƒ¼ãƒˆã•ã‚ŒãŸG1GC(ガベージ・ファーストGC)ã§ã™ãŒã€Java9ã§ã¯ãƒ‡ãƒ•ã‚©ãƒ«ãƒˆGCã«ãªã‚‹ã“ã¨ãŒç¢ºå®šã—ã¦ã„ã¾ã™ã€‚ å‚考: JEP248 ã¾ãŸG1GCã¯ã€CMS GCを長期的ã«ç½®ãæ›ãˆã‚‹ã‚‚ã®ã¨ã—ã¦è¨ˆç”»ã•ã‚Œã¦ã„ã¾ã™ã€‚ ãã“ã§ã€ã©ã®ã‚ˆã†ãªã‚¢ãƒ«ã‚´ãƒªã‚ºãƒ ãªã®ã‹çŸ¥ã£ã¦ãŠã„ãŸã»ã†ãŒè‰¯ã•ãã†ãªã®ã§èª¿æŸ»ã—ã¾ã—ãŸã€‚ G1GCãŒå‘ã„ã¦ã„るケース G1GCãŒå‘ã„ã¦ã„ã‚‹ã®ã¯ä¸‹è¨˜ã®ç’°å¢ƒã§ã™ã€‚ ヒープサイズãŒå¤§ããªç’°å¢ƒ(6GB以上) 一時åœæ¢å¯èƒ½æ™‚é–“ãŒã‚·ãƒ“ã‚¢(0.5sec未満) Oracleã® 9 ガベージファースト・ガベージ・コレクタã«ã‚ˆã‚‹ã¨ã€CMS GCã‚‚ã—ãã¯Parallel GCを使ã£ã¦ã„ã¦æ¬¡ã®ã„ãšã‚Œã‹ã«è©²å½“ã—ãŸã‚‰G1GCã¸ã®åˆ‡ã‚Šæ›¿ãˆã‚’検討ã—ã¾ã—ょã†ã¨ã®ã“ã¨ã§ã™ã€‚ Javaヒープã®50%超ãŒãƒ©ã‚¤ãƒ–・データ(≒必è¦ãªãƒ‡ãƒ¼ã‚¿)ã§å ã‚られã¦ã„る。 オブジェクトã®
ã™ã”ã„ Frege ãŸã®ã—ãå¦ã¼ã†ï¼
æŒèˆžä¼Žåº§.tech #9 ã§ä½¿ç”¨ã—ãŸã‚¹ãƒ©ã‚¤ãƒ‰ã§ã™ã€‚JVM 版 Haskell ã§ã‚るプãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªž Frege ã«ã¤ã„ã¦ã€ãƒ¢ãƒŠãƒ‰ã‚’利用ã—㟠Java ライブラリã®å‘¼ã³å‡ºã—æ–¹ã«ç„¦ç‚¹ã‚’当ã¦ã¦ç´¹ä»‹ã—ã¦ã„ã¾ã™ã€‚ãªãŠã€ã“ã®ãƒ—レゼンã§è§¦ã‚Œã€Œãªã‹ã£ãŸã€è©±é¡Œã«ã¤ã„ã¦ã¯ãƒ–ãƒã‚°è¨˜äº‹ http://ccvanishing.hateblo.jp/entry/2016/03/22/020302 ã‚’å‚ç…§ã®ã“ã¨ã€‚
GitHub - davidar/lljvm: Low Level Java Virtual Machine
LLJVM provides a set of tools and libraries for running comparatively low level languages (such as C) on the JVM. The C to JVM bytecode compilation provided by LLJVM involves several steps. Source code is first compiled to LLVM intermediate representation (IR) by a frontend such as llvm-gcc or clang. LLVM IR is then translated to Jasmin assembly code, linked against other Java classes, and then as
Linux perf Examples
Recent posts: 04 Aug 2025 » When to Hire a Computer Performance Engineering Team (2025) part 1 of 2 22 May 2025 » 3 Years of Extremely Remote Work 01 May 2025 » Doom GPU Flame Graphs 29 Oct 2024 » AI Flame Graphs 22 Jul 2024 » No More Blue Fridays 24 Mar 2024 » Linux Crisis Tools 17 Mar 2024 » The Return of the Frame Pointers 10 Mar 2024 » eBPF Documentary 28 Apr 2023 » eBPF Observability Tools Ar
ランã‚ング
ランã‚ング
メンテナンス
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
GitHub - jvm-profiling-tools/perf-map-agent: A java agent to generate method mappings to use with the linux `perf` tool
https://www.brendangregg.com/Slides/JavaOne2016_JavaFlameGraphs.pdf
Profiling the JVM on Linux: A Hybrid Approach - DZone
Java CPU Flame Graphs
Is there way to compile ATS source into JVM bytecode?
GraalVM
Javaプãƒã‚»ã‚¹ã®ä¸ã§CPUを浪費ã—ã¦ã„るスレッドを特定ã™ã‚‹ - Qiita
{{#tags}}- {{label}}
{{/tags}}