Merge #451

451: April notes r=therealprof a=jamesmunns



Co-authored-by: James Munns <[email protected]>

Author: bors[bot]

minutes/2020-04-14.md

@@ -0,0 +1,47 @@
+# Embedded Working Group Meeting Notes
+
+* [Coordination Repository]
+* Meetings: Tuesday 8pm Europe/Berlin time
+* [Join the Chat]
+* Today's meeting: 2020-04-14
+
+[Coordination Repository]: https://github.com/rust-embedded/wg
+[Join the Chat]: https://riot.im/app/#/room/#rust-embedded:matrix.org
+[Meeting Agenda]: https://github.com/rust-embedded/wg/issues/444
+
+## Attendance
+
+Write your GH username or Matrix handle here!
+
+* jamesmunns
+* adamgreig
+* korken89
+* therealprof
+
+## Agenda
+
+* Discussion around the project to implement and document a new DMA API for the embedonomicon, write-up so far: [ra-kete/dma-poc](https://github.com/ra-kete/dma-poc/blob/master/README.md)
+* New MSRV focus project: https://github.com/rust-embedded/wg/pull/443
+* Discussion about whether to take https://github.com/smoltcp-rs/rust-managed into the EWG
+
+
+## Action Items
+
+* [ ] @korken89 - add a `## How to help` section to [the DMA project doc](https://github.com/rust-embedded/wg/blob/master/projects/in-progress/0440-dma-api-documentation.md)
+* [ ] @adamgreig - add a how to help section
+* [ ] @jamesmunns - add how to help section to the project template
+
+## Last Week's Agenda
+
+* The DMA API proposed in the embedonomicon is unsound: rust-embedded/embedonomicon#64
+    * Discuss in issue
+    * korken89 is forming a crack squad to investigate
+* cortex-m-rt MSRV (rust-embedded/cortex-m-rt#262)
+    * Merge adamgreig's PR, 1.39 is looking like a likely MSRV
+* The road to 1.0 - progress on crates
+    * bare-metal - ship it and sink it
+
+## Last Week's Action Items
+
+* [ ] Focus Project - @korken89 for DMA
+* [ ] Focus Project - @adamgreig for MSRV CI builds

minutes/2020-04-21.md

@@ -0,0 +1,56 @@
+# Embedded Working Group Meeting Notes
+
+* [Coordination Repository]
+* Meetings: Tuesday 8pm Europe/Berlin time
+* [Join the Chat]
+* Today's meeting: 2020-04-21
+
+[Coordination Repository]: https://github.com/rust-embedded/wg
+[Join the Chat]: https://riot.im/app/#/room/#rust-embedded:matrix.org
+[Meeting Agenda]: #
+
+## Attendance
+
+Write your GH username or Matrix handle here!
+
+* jamesmunns
+* jschievink
+* therealprof
+* adamgreig
+* korken89
+* chorman0773
+* thalesfragoso
+* japaric
+* cr1901
+* thejpster
+* disasm
+
+## Agenda
+
+* Check up on focus projects
+    * DMA
+        * Feedback needed! See action items
+    * MSRV CI
+        * Progress going well
+* The Road to 1.0
+    * bare-metal - https://github.com/rust-embedded/bare-metal/issues/22
+* ?
+
+## Action Items
+
+* [ ] Feedback needed on [DMA traits](https://github.com/ra-kete/dma-poc/issues/1)
+* [ ] Help wanted on [MSRV CI task](https://github.com/rust-embedded/wg/issues/445)!
+* [ ] Next week's agenda: https://github.com/rust-embedded/wg/issues/447
+
+## Last Week's Agenda
+
+* Discussion around the project to implement and document a new DMA API for the embedonomicon, write-up so far: [ra-kete/dma-poc](https://github.com/ra-kete/dma-poc/blob/master/README.md)
+* New MSRV focus project: https://github.com/rust-embedded/wg/pull/443
+* Discussion about whether to take https://github.com/smoltcp-rs/rust-managed into the EWG
+
+
+## Last Week's Action Items
+
+* [ ] @korken89 - add a `## How to help` section to [the DMA project doc](https://github.com/rust-embedded/wg/blob/master/projects/in-progress/0440-dma-api-documentation.md)
+* [ ] @adamgreig - add a how to help section
+* [ ] @jamesmunns - add how to help section to the project template

minutes/2020-04-28.md

@@ -0,0 +1,105 @@
+# Embedded Working Group Meeting Notes
+
+* [Coordination Repository]
+* Meetings: Tuesday 8pm Europe/Berlin time
+* [Join the Chat]
+* Today's meeting: 2020-04-28
+
+[Coordination Repository]: https://github.com/rust-embedded/wg
+[Join the Chat]: https://riot.im/app/#/room/#rust-embedded:matrix.org
+[Meeting Agenda]: #
+
+## Attendance
+
+Write your GH username or Matrix handle here!
+
+* jamesmunns
+* adamgreig
+* therealprof
+* cr1901
+
+## Agenda
+
+* Focus Projects Check-in
+* Request for review/assistance:
+  * Review the [concurrency](https://github.com/rust-embedded/embedonomicon/pull/48) chapter for correctness.
+  * Review [MSRV RFC](https://github.com/rust-embedded/wg/pull/449)
+  * Help needed with embedonomicon assembly changes: https://github.com/rust-embedded/embedonomicon/pull/66
+* Lang team has requested "lang item wish list" items, before a push to a 2021 edition of Rust.
+* Use of Github Actions for WG repositories
+
+## Action Items
+
+* [ ] MSRV CI Focus Project: A couple more crates need to be tackled!
+* [ ] Still need feedback on https://github.com/ra-kete/dma-poc/issues/1
+    * [ ] @adamgreig to do a stm32f0 impl check
+    * [ ] @jamesmunns to do a nrf52 impl check
+
+* [ ] Next Week's Agenda: https://github.com/rust-embedded/wg/issues/450
+
+## Last Week's Agenda
+
+* Check up on focus projects
+    * DMA
+        * Feedback needed! See action items
+    * MSRV CI
+        * Progress going well
+* The Road to 1.0
+    * bare-metal - https://github.com/rust-embedded/bare-metal/issues/22
+* ?
+
+## Last Week's Action Items
+
+* [ ] Feedback needed on [DMA traits](https://github.com/ra-kete/dma-poc/issues/1)
+* [ ] Help wanted on [MSRV CI task](https://github.com/rust-embedded/wg/issues/445)!
+* [ ] Next week's agenda: https://github.com/rust-embedded/wg/issues/447
+
+## Embedded Lang Item Wish List
+
+Note, this was a brainstorming session during one meeting. We plan to iterate on this, prioritize, etc.
+
+Link to chat log, wish list discussion starts here: https://freenode.logbot.info/rust-embedded/20200428#c3752795
+
+### Items
+
+* `Sync` and `Send` on non-hosted, multi core systems
+    * https://github.com/rust-embedded/wg/blob/master/rfcs/0419-multi-core-soundness.md - TL;DR:
+    * TL;DR: `Send` and `Sync` only work within one "environment". On hosted applications, the operating system handles this (via virtual memory). On non-hosted applications (bare metal, multicore processors), `Send` and `Sync` are not "good enough" for this use case
+    * Today on a single core processor, we use `Send` and `Sync` to model the main application and each interrupt context as separate "threads" (which never run concurrently).
+    * In the future, we want to define our own `MulticoreSend` and `MulticoreSync` which are usable in a bare metal, multicore processor
+* 'Non-contiguous pointers' or 'pointers of incompatible type's
+    * near/far pointers
+    * `__flash` pointers on AVR, or disjoint addr spaces in general
+    * Relevant for:
+        * Multi Core devices with disparate address spaces
+        * Weird architectures
+        * Arm SecureZone
+        * WASM (spec defines multiple addr spaces)
+* Certain attributes/flags should probably require unsafe
+    * `#[link_section]`
+    * `#[no_mangle]`
+        * Deprecated in favor of the "needs/provides thing"?
+    * `-Clink-args`
+    * `-C linker="unsafe { rust-lld }"` /s
+* Const generics
+* Const trait bounds
+* Inline ASM
+* Arbitrary size types (a la the recent C/C++ proposals)
+    * Successor to https://github.com/rust-lang/rfcs/pull/2581 ?
+    * Also/inclusive of bitfields? (some contention around this)
+* `#[link_args]` (to avoid requiring `.cargo/config`)
+* Placing/allocation within a certain linker section within `const` context/`static` items, e.g. `static S: &str = "foo";`
+    * Right now you can state where `S` is placed (just the reference), but you can't place `"foo"`
+
+### Items - maybe not?
+
+* MMIO/dereferencable thing
+    * Are raw pointers good enough?
+    * is `&raw` relevant?
+    * `UndereferencableCell` /s ?
+* Panic Formatting
+* Some libs requests, like:
+    * non-global allocators
+    * allow for defining a global allocator stable-y
+* Breaking changes to `std` to allow for easier move/reuse in `core`?
+    * `Read`, `Write`, `Error` traits?