Storage design and benchmarking for a trading firm
A quantitative trading firm asked for help with the engineering behind its parallel file system and distributed systems. The work centred on design and architecture, formal modelling in TLA+, and benchmarking.
What we did
Parallel file system design
We worked with the firm's engineers on the design and architecture of its parallel file system.
Distributed systems architecture
Architecture for the distributed systems around the file system, planned alongside the storage design.
Formal modelling with TLA+
We modelled the distributed systems design in TLA+ and model-checked it, so design errors, including those that only appear in failure scenarios, are found before they reach code.
Benchmarking
We benchmarked the firm's systems to measure how they perform under its workloads, and used the results to guide the design.
Storage slower than your compute?
Send us your topology, workload and a benchmark run. We will get back to you.