[tor-bugs] #24249 [Core Tor/Tor]: Create automated mechanism for C/Rust types to stay in sync

[Tor Bug Tracker & Wiki]

#24249: Create automated mechanism for C/Rust types to stay in sync
--------------------------+------------------------
 Reporter:  chelseakomlo  |          Owner:  (none)
     Type:  enhancement   |         Status:  new
 Priority:  Medium        |      Milestone:
Component:  Core Tor/Tor  |        Version:
 Severity:  Normal        |     Resolution:
 Keywords:  rust          |  Actual Points:
Parent ID:                |         Points:
 Reviewer:                |        Sponsor:
--------------------------+------------------------
Description changed by chelseakomlo:

Old description:

> In transitioning parts of tor to Rust, some parts of the code will either
> need to temporarily exist in both C and Rust (such as protover), or will
> be highly coupled (such as enums that are passed between the FFI
> boundary).
>
> It would be good to automatically verify these areas of the code don't
> get out of sync. This could either be a post-hoc verifier, or a generator
> that takes a higher-level specification and generates both C and Rust
> headers.
>
> Ideally, the coupling between C and Rust will be as minimal as possible,
> so this probably does not need to be a heavyweight solution.

New description:

 In transitioning parts of tor to Rust, some parts of the code will either
 need to temporarily exist in both C and Rust (such as protover), or will
 be highly coupled (such as enums that are passed between the FFI
 boundary).

 It would be good to automatically verify these areas of the code don't get
 out of sync. This could either be a post-hoc verifier, or a generator that
 takes a higher-level specification and generates both C and Rust types.

 Ideally, the coupling between C and Rust will be as minimal as possible,
 so this probably does not need to be a heavyweight solution.

--

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/24249#comment:1>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online