Dmitry Tsitelov

A new tool in 0x.tools family: xtop - Top for Wall-Clock Time. It uses eBPF/xcapture v3 and gives you "x-ray vision" into Linux system activity. It will be available on next Tuesday 19 Aug at 1pm EDT when I also run a live demo webinar! tanelpoder.com/posts/xtop-top…

Today I have delivered my rather geeky talk about advancing Java profiling at JavaOne speakerdeck.com/jbachorik/java… (recording will be available ~soon) Thanks to the audience for bearing with me and I hope I brought something interesting up. #java #javaone #jvm #performance #profiling

@shipilev Do you know a place where MacOS-targeted fastdebug builds can be downloaded?

builds.shipilev.net have them, just do `java -fastdebug` on those binaries. Here is a catchy tune to make you remember: "Faaaaastdebug, doo, doo, doo, doo, doo, doo. Fastdebug, doo, doo, doo, doo, doo, doo. Fastdebug, doo, doo, doo, doo, doo, doo. Fastdebug!"

PSA: If you suspect a JVM bug, try running with a fastdebug JVM before submitting a bug report. If you suspect a JVM bug, try running with a fastdebug JVM before submitting a bug report. If you suspect a JVM bug, try running with a fastdebug JVM before submitting a bug report.

Оставлю, как напоминание себе и последователям:

@nevgeniev @mnhocktweets @tagir_valeev Maybe good coverage-guided fuzzing/property testing frameworks (like JQF) will get even better results, but I haven't had a chance to play with them yet.

@nevgeniev @mnhocktweets @tagir_valeev I didn't ever try to "sell" mutation testing (or PIT particularly) widely, but we use it from time to time to ensure that our unit tests really check corner cases (and several times we found loose checks in our code during such analysis).

🚀 Java Tip 🚀 Mutation testing with PIT PIT is a state of the art mutation testing system, providing gold standard test coverage for Java and the jvm. It's fast, scalable and integrates with modern test and build tooling. 🔥 pitest.org

@nevgeniev @mnhocktweets @tagir_valeev Well, not exactly. If you have some critical parts in the code under test that you believe are tightly covered, PIT may show you some insights if they are not. Good for testing some data structures, for example.

@mnhocktweets @tagir_valeev Hmm.. so, pit only makes sense if code coverage is 100% which I haven't seen just ever... Or did I miss something?

@nevgeniev @tagir_valeev Это смотря каких. Зачастую это просто аналог анимации. Например, подсветка отдельных участков кода с пояснениями.

@tagir_valeev Показать можно и 200 просто в мозг не ляжет

Ничего не знаю про эту историю, но оценивать качество лекции по количеству слайдов — полная тупня и свидетельствует о профнепригодности завкафедрой, потому что он ничего не смыслит в современном образовании. За пару можно и сто слайдов показать, и это будет нормально.

New blog & tool: TracepointArgs: List Any Linux Tracepoint with Their Arguments, Datatypes and Related Structs tanelpoder.com/posts/tpargs-l… This should be useful for all the Linux kernel explorers and eBPF nerds!

#AeronCommunity - Update your bookmarks! 🔖 The #Aeron, #SBE, #Agrona repositories and all related resources have moved to a new home on @github! 🎉 All stars, forks, issues, and PRs have been migrated. 🔗 New URL: eu1.hubs.ly/H0g6NWN0 Thank you for your support! #OSS

@kyvernetes_sen @relizarov In Java, it's just identity for ints and a xor of high and low words for longs. I believe many standard hashtable implementations don't provide any specific counter-measures from a crafted collision, like random hash salting, or anything else.

I've been interviewing candidates for internships and discovered a subtle way modern C++-centric competitive programming is undermining industrial programming skills in ways I hadn’t realized before. 🧵

@relizarov Regarding crafted tests: Is it some hash-collision attack or another map implementation weakness in C++?

The reality: C++'s standard hash table (unordered_map) implementations lack defences against malicious inputs. In modern competitive programming there are often tests designed specifically to exploit this, making unordered_map blow up in time it takes to run and fail the test.

@Nekrolm Сочувствую. А вообще искренне удивлён таким предпочтениям издательств. Несколько лет назад тоже пришлось уже готовую статью в LaTeX-е переводить в word для *научного* журнала 😞 Не понимаю.

Дописать книжку — полдела. Теперь ее надо собрать в word документ. Вот уж где задачка-то...

Symmetry in TLA+ reduces the state space by treating interchangeable components like servers, nodes, or processes as equivalent. This post explores examples of how equivalent states get collapsed, to help build a mental model of symmetry when model checking. jack-vanlightly.com/blog/2024/12/5…

I've written 18 posts (and counting) on table format internals. I've created a page that contains the list of my writings on the subject, including my formal verification work. Any suggestions on further table format analysis? jack-vanlightly.com/blog/2024/10/2…

When you're using a library officially supporting Java 17.

🎉 Concurrency-Interest Mailing List finally has an OpenJDK successor: mail.openjdk.org/mailman/listin… #java #concurrency

Does @intellijidea have a refactoring to convert a call chain like 'x.getY().doZ(<params>)' to a method of x like 'x.doZforY(<params>)' ?

Reminder that my book—Rust Atomics and Locks—is freely available online: marabos.nl/atomics/ 😊 (If you read it, please leave a review on goodreads.com/book/show/6329…)

@antonarhipov My senses tell me the opposite :(