Splitting recursion schemes into reversible and classical interacting threads

TL;DR

This paper presents a method to decompose simple recursive functions into reversible and classical parts that can cooperate, enabling implementation on reversible hardware and extending to broader compilation schemes.

Contribution

It introduces a novel approach to split recursive functions into reversible and classical components for hardware and compilation advantages.

Findings

Reversible and classical parts can be synchronized in a producer/consumer pattern.

The approach enables implementation on reversible hardware.

Extension to more general compilation schemes is discussed.

Abstract

Given a simple recursive function, we show how to extract from it a reversible and an classical iterative part. Those parts can synchronously cooperate under a Producer/Consumer pattern in order to implement the original recursive function. The reversible producer is meant to run on reversible hardware. We also discuss how to extend the extraction to a more general compilation scheme.