HVM
The underlying runtime for the Bend programming language, based on an Interaction Combinator Net computational model. It achieves large-scale automatic parallelism through local, global-state-free reduction steps, and can be mapped to GPU thread execution models.
Timeline (last 90 days)
Bend's GPU execution capability is reportedly based on its underlying runtime HVM (Higher-order Virtual Machine).
HVM represents programs as Interaction Combinator Nets, a computational model derived from linear logic, where each reduction step is local and free of global state.
The actual speedup of the Interaction Combinator model is highly dependent on the shape of a program's computation graph; for tasks with heavy data dependencies or irregular control flow, the benefits of automatic parallelization may be quite limited.
All Facts (3)
Bend's GPU execution capability is reportedly based on its underlying runtime HVM (Higher-order Virtual Machine).
50%UnverifiedHVM represents programs as Interaction Combinator Nets, a computational model derived from linear logic, where each reduction step is local and free of global state.
50%UnverifiedThe actual speedup of the Interaction Combinator model is highly dependent on the shape of a program's computation graph; for tasks with heavy data dependencies or irregular control flow, the benefits of automatic parallelization may be quite limited.
50%