Antithesis of a One-in-a-Million Bug: Taming Demonic Nondeterminism

This page summarizes the projects mentioned and recommended in the original post on news.ycombinator.com

InfluxDB - Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured
  • legion

    The Legion Parallel Programming System (by StanfordLegion)

  • I work on a distributed runtime system for heterogeneous supercomputers [1].

    As an example of the sort of bug we regularly deal with, I am at this exact moment tracking down a freeze that occurs on 8,192 nodes of a supercomputer [2]. That means I'm using about 64,000 GPUs and about half a million CPU cores. The smallest node count I've seen my issue is 2,048 nodes and at that scale it only happens about 10% of the time.

    We've been debating internally whether Antithesis could help us or not. On the one hand, the fuzzing to explore the state space, and deterministic reproduction, are exactly what we want. On the other hand, we believe our state space is much larger than what you see in a typical distributed database. (And not just because of the sheer scale of things, but even on a single node we have state machines with order hundreds to thousands of states in them.) Based on the post here and the "scenario" count explored in CouchDB, I'm not convinced you'd be able to handle us. :-)

    I'd be curious what you think. Happy to discuss here, or contact info in profile.

    [1]: https://legion.stanford.edu/

    [2]: https://www.olcf.ornl.gov/frontier/

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts

  • Printing Music with CSS Grid

    3 projects | news.ycombinator.com | 30 Apr 2024
  • Level of Gaussians: Real-Time View Synthesis for Square Meters

    2 projects | news.ycombinator.com | 30 Apr 2024
  • Highlighting Image Text

    1 project | dev.to | 30 Apr 2024
  • Llama.cpp Bfloat16 Support

    1 project | news.ycombinator.com | 30 Apr 2024
  • Ask HN: What have you built with ESPHome, ESP8266 or similar hardware

    25 projects | news.ycombinator.com | 27 Apr 2024