Post · bonfire.cafe

Post

Log in

Guillaume Endignoux

@gendx@infosec.exchange · 4 months ago

Introduction to Petri nets and how to use them to detect deadlocks at compile time: https://eurorust.eu/talks/deadlock-detection/ #EuroRust

4 media

Slide of a Petri net graph of a send/ack communication protocol.

Slide of a Hello World in MIR representation, with 3 basic blocks.

Slide of a simple MIR graph with 5 basic blocks.

Slide of a Petri net representing a mutex + condition variable (graph with 7 states and 5 transitions nodes), allowing to detect lost signals in a wider program.

bonfire.cafe

A space for Bonfire maintainers and contributors to communicate

bonfire.cafe: About · Code of conduct · Privacy · Users · Instances

Bonfire social · 1.0.2-alpha.7 no JS en

Automatic federation enabled

Log in