Skip to content

Commit 042ac5a

Browse files
authored
coding guidelines agenda 2026-07-08 (#702)
* coding guidelines agenda 2026-07-08 * coding guidelines: meeting notes 2026-07-08
1 parent 21c6d28 commit 042ac5a

1 file changed

Lines changed: 103 additions & 0 deletions

File tree

  • subcommittee/coding-guidelines/meetings/2026-07-08
Lines changed: 103 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,103 @@
1+
# **Coding Guidelines Subcommittee Meeting on 2026-07-08 @ 1600 CEST / 1100 EDT**
2+
3+
[Link](https://www.worldtimebuddy.com/?qm=1&lid=5,12,2643743,8,1850147,100,14,14,1835848,1816670&h=5&date=2026-7-8&sln=11-12&hf=1) to meeting time in common time zones.
4+
5+
| Search Key | Description |
6+
| :---- | :---- |
7+
| todo | Action Item |
8+
| decision | Something decided on |
9+
| important | Key information |
10+
11+
## **Agenda**
12+
13+
1. Solicitation of notetaker
14+
2. Acceptance of [Previous Meeting Minutes](https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/blob/main/subcommittee/coding-guidelines/meetings/2026-07-01/minutes.md)
15+
3. Introduction of new members
16+
4. Solicit availability for RustConf 2026 SCRC Room (Pete)
17+
- Please put availability on this [LettuceMeet](https://lettucemeet.com/l/oYlvM)
18+
5. The SCRC as a member organization of the Rust Commercial Network (RCN)
19+
- [RFC PR](https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium-rfcs/pull/8) has merged
20+
6. One-off feedback session on Clippy lint mapping to usefulness for safety-critical purposes (David / Pete)
21+
- David and Félix will run this session; they are looking at around Thursday, July 16th (2026-07-16)
22+
- Please note your interest in [this Zulip thread](https://rust-lang.zulipchat.com/#narrow/channel/445688-safety-critical-consortium/topic/Clippy-linters/with/607612630)\\ and post availability on this [LettuceMeet](https://lettucemeet.com/l/gm2aK)
23+
7. Pete will be out of pocket for two weeks and would like to have someone sub in for hosting next week’s (July 15th) and the week after’s meeting (July 22nd)
24+
- Pete will post a thread on Zulip about this soliciting who would like to run the meeting 🏃
25+
8. Safety-Critical Rust: Items of Shared Value for Fund Pooling (Pete)
26+
- A first (0th?) draft document is available here: [Safety-Critical Rust \- Items of Shared Value for Fund Pooling](https://docs.google.com/document/d/1E39cNTjK-5azCeWWFWS1jORsz9nqzMs4CNa6Rm68jV4/edit?usp=sharing)
27+
- Small workgroup to draft more and refine
28+
- Pete to post thread on Zulip to solicit interest
29+
9. Interest in the MISRA C++ mapping (mira / Pete)
30+
- Updates on new things in the MISRA C++ \=\> Rust mapping
31+
- In talks with MISRA folks still; but in practice the procedure outlined seemed reasonable to them
32+
- Please register interest on [this Zulip thread](https://rust-lang.zulipchat.com/#narrow/channel/579369-safety-critical-consortium.2Fcoding-guidelines/topic/MISRA.20C.2B.2B.20Mapping.20Interest/with/584764785)
33+
10. Walkthrough of Eclipse iceoryx2 stand-alone examples
34+
- In pursuit of this Rust Project Goal: [Normative Documentation for Sound unsafe Rust](https://rust-lang.github.io/rust-project-goals/2026/safe-unsafe-for-safety-critical.html)
35+
- Available here: [https://github.com/ekxide/iox2-scrc-examples](https://github.com/ekxide/iox2-scrc-examples)
36+
- Goal: familiarize ourselves enough to have follow-up session with t-opsem
37+
11. Round table
38+
39+
## **Check-in area**
40+
41+
- Mira Baumann ☁️
42+
- Oreste Bernardi 🌧️
43+
- Samuel Wright ⛺
44+
- Daniel Dia 🌅
45+
- Pete LeVasseur 🌭
46+
- Marcos Borges 😀
47+
- William Barsse🌡️
48+
- Achim
49+
50+
**Notetaker:**
51+
52+
- Oreste Bernardi
53+
54+
For tips on how we take notes in the Safety-Critical Rust Consortium, please see the [Meeting Notetaker Role](https://github.com/rustfoundation/safety-critical-rust-consortium/blob/main/docs/notetaker-role.md) doc.
55+
56+
## **Housekeeping section**
57+
58+
- Document space: [coding-guidelines](https://github.com/rustfoundation/safety-critical-rust-consortium/tree/main/subcommittee/coding-guidelines)
59+
- Zulip: [safety-critical-consortium: Coding Guidelines](https://rust-lang.zulipchat.com/#narrow/channel/445688-safety-critical-consortium/topic/Coding.20Guidelines)
60+
- [Kanban board](https://github.com/orgs/rustfoundation/projects/1/views/3)
61+
- [`contributor experience`](https://github.com/orgs/rustfoundation/projects/1/views/4) view
62+
- [`coding guideline`](https://github.com/orgs/rustfoundation/projects/1/views/5) view
63+
64+
## **Tasks**
65+
66+
- Pete shall setup a conf call with expert regarding the usage of `unsafe` in the zerocopy crate. In particular of interest is whether they have to rely on any syscalls.
67+
68+
## **Meeting Minutes**
69+
70+
- Previous meeting
71+
- Approved
72+
- Solicit availability for RustConf 2026 SCRC Room
73+
- No comments
74+
- One-off feedback session on Clippy lint mapping to usefulness for safety-critical purposes
75+
- No comments
76+
- Substitute of Pete (next 2 week)
77+
- Post in Zulip. No one is available.
78+
- Safety-Critical Rust: Items of Shared Value for Fund Pooling
79+
- There will be a Zulip thread
80+
- Interest in the MISRA C++ mapping
81+
- Some discussion is on going
82+
- Many thanks to Mira.
83+
- Things are moving faster than expected. Pretty good pace.
84+
- Walkthrough of Eclipse iceoryx2 stand-alone examples
85+
- Quick review of [https://github.com/ekxide/iox2-scrc-examples/tree/main](https://github.com/ekxide/iox2-scrc-examples/tree/main)
86+
- Review example ex1\_subscriber\_aliasing
87+
1. It is an example for internal API
88+
- Review example ex2\_subscriber\_spooky\_action
89+
1. Discussed some potential risk to have just spot answers without “big picture” (e.g. abstract machine)
90+
- Review example ex5\_uninitialized\_memory
91+
1. Discussed how is modeled mmap from compiler point of view.
92+
93+
## **Material**
94+
95+
Any material to read before the meeting should be included here.
96+
97+
Overview of [Safety-Critical Rust](https://rust-lang.github.io/rust-project-goals/2026/roadmap-safety-critical-rust.html) Rust Project Goals Roadmap (Pete)
98+
99+
- Soliciting those interested in [Normative Documentation for Sound unsafe Rust](https://rust-lang.github.io/rust-project-goals/2026/safe-unsafe-for-safety-critical.html) goal
100+
- Register interest [here](https://rust-lang.zulipchat.com/#narrow/channel/445688-safety-critical-consortium/topic/SCRC.20.3C.3D.3E.20t-opsem.3A.20Normative.20Documentation.20for.20Sound.20.60unsafe.60/with/586198564) on Rust Zulip
101+
- Soliciting those interested in [Establish a Spot for Safety-Critical Lints in Clippy](https://rust-lang.github.io/rust-project-goals/2026/safety-critical-lints-in-clippy.html) goal
102+
- Register interest [here](https://rust-lang.zulipchat.com/#narrow/channel/445688-safety-critical-consortium/topic/Getting.20involved.20with.20Clippy.20for.20SCRC.20lints/with/583090116) on Rust Zulip
103+

0 commit comments

Comments
 (0)