Logging with symbols

japaric · japaric · commit fd93076c13d6 · 2018-09-23T22:55:19.000+02:00
diff --git a/ci/logging/app/.cargo/config b/ci/logging/app/.cargo/config
@@ -0,0 +1,6 @@
+[target.thumbv7m-none-eabi]
+runner = "qemu-system-arm -cpu cortex-m3 -machine lm3s6965evb -nographic -semihosting-config enable=on,target=native -kernel"
+rustflags = ["-C", "link-arg=-Tlink.x"]
+
+[build]
+target = "thumbv7m-none-eabi"
diff --git a/ci/logging/app/Cargo.toml b/ci/logging/app/Cargo.toml
@@ -0,0 +1,13 @@
+[package]
+authors = ["Jorge Aparicio <jorge@japaric.io>"]
+edition = "2018"
+name = "app"
+version = "0.1.0"
+
+[dependencies]
+cortex-m-semihosting = "0.3.1"
+rt = { path = "../rt" }
+
+[profile.release]
+codegen-units = 1
+lto = true
diff --git a/ci/logging/app/dev.objdump b/ci/logging/app/dev.objdump
@@ -0,0 +1,2 @@
+00001fe1 l       .rodata		 00000001 Goodbye
+00001fe0 l       .rodata		 00000001 Hello, world!
diff --git a/ci/logging/app/dev.out b/ci/logging/app/dev.out
@@ -0,0 +1,2 @@
+0x1fe0
+0x1fe1
diff --git a/ci/logging/app/release.objdump b/ci/logging/app/release.objdump
@@ -0,0 +1,2 @@
+00000a7d l       .rodata		 00000001 Goodbye
+00000a7c l       .rodata		 00000001 Hello, world!
diff --git a/ci/logging/app/release.out b/ci/logging/app/release.out
@@ -0,0 +1,2 @@
+0xa7c
+0xa7d
diff --git a/ci/logging/app/src/main.rs b/ci/logging/app/src/main.rs
@@ -0,0 +1,27 @@
+#![no_main]
+#![no_std]
+
+use core::fmt::Write;
+use cortex_m_semihosting::{debug, hio};
+
+use rt::entry;
+
+entry!(main);
+
+fn main() -> ! {
+    let mut hstdout = hio::hstdout().unwrap();
+
+    #[export_name = "Hello, world!"]
+    static A: u8 = 0;
+
+    writeln!(hstdout, "{:#x}", &A as *const u8 as usize);
+
+    #[export_name = "Goodbye"]
+    static B: u8 = 0;
+
+    writeln!(hstdout, "{:#x}", &B as *const u8 as usize);
+
+    debug::exit(debug::EXIT_SUCCESS);
+
+    loop {}
+}
diff --git a/ci/logging/app2/.cargo/config b/ci/logging/app2/.cargo/config
@@ -0,0 +1,9 @@
+[target.thumbv7m-none-eabi]
+runner = "qemu-system-arm -cpu cortex-m3 -machine lm3s6965evb -nographic -semihosting-config enable=on,target=native -kernel"
+rustflags = [
+  "-C", "link-arg=-Tlink.x",
+  "-C", "link-arg=-Tlog.x", # <- NEW!
+]
+
+[build]
+target = "thumbv7m-none-eabi"
diff --git a/ci/logging/app2/Cargo.toml b/ci/logging/app2/Cargo.toml
@@ -0,0 +1,13 @@
+[package]
+authors = ["Jorge Aparicio <jorge@japaric.io>"]
+edition = "2018"
+name = "app"
+version = "0.1.0"
+
+[dependencies]
+cortex-m-semihosting = "0.3.1"
+rt = { path = "../rt" }
+
+[profile.release]
+codegen-units = 1
+lto = true
diff --git a/ci/logging/app2/dev.objdump b/ci/logging/app2/dev.objdump
@@ -0,0 +1,2 @@
+00000001 l       .log		 00000001 Goodbye
+00000000 l       .log		 00000001 Hello, world!
diff --git a/ci/logging/app2/dev.out b/ci/logging/app2/dev.out
@@ -0,0 +1 @@
+0001
diff --git a/ci/logging/app2/log.x b/ci/logging/app2/log.x
@@ -0,0 +1,6 @@
+SECTIONS
+{
+  .log 0 (INFO) : {
+    *(.log);
+  }
+}
diff --git a/ci/logging/app2/src/main.rs b/ci/logging/app2/src/main.rs
@@ -0,0 +1,30 @@
+#![no_main]
+#![no_std]
+
+use cortex_m_semihosting::{debug, hio};
+
+use rt::entry;
+
+entry!(main);
+
+fn main() -> ! {
+    let mut hstdout = hio::hstdout().unwrap();
+
+    #[export_name = "Hello, world!"]
+    #[link_section = ".log"] // <- NEW!
+    static A: u8 = 0;
+
+    let address = &A as *const u8 as usize as u8;
+    hstdout.write_all(&[address]).unwrap(); // <- CHANGED!
+
+    #[export_name = "Goodbye"]
+    #[link_section = ".log"] // <- NEW!
+    static B: u8 = 0;
+
+    let address = &B as *const u8 as usize as u8;
+    hstdout.write_all(&[address]).unwrap(); // <- CHANGED!
+
+    debug::exit(debug::EXIT_SUCCESS);
+
+    loop {}
+}
diff --git a/ci/logging/app3/.cargo b/ci/logging/app3/.cargo
@@ -0,0 +1 @@
+../app2/.cargo
diff --git a/ci/logging/app3/Cargo.toml b/ci/logging/app3/Cargo.toml
@@ -0,0 +1,10 @@
+[package]
+authors = ["Jorge Aparicio <jorge@japaric.io>"]
+edition = "2018"
+name = "app"
+version = "0.1.0"
+
+[dependencies]
+cortex-m-semihosting = "0.3.1"
+log = { path = "../log" }
+rt = { path = "../rt" }
diff --git a/ci/logging/app3/dev.objdump b/ci/logging/app3/dev.objdump
@@ -0,0 +1,2 @@
+00000001 l       .log		 00000001 Goodbye
+00000000 l       .log		 00000001 Hello, world!
diff --git a/ci/logging/app3/dev.out b/ci/logging/app3/dev.out
@@ -0,0 +1 @@
+0001
diff --git a/ci/logging/app3/src/main.rs b/ci/logging/app3/src/main.rs
@@ -0,0 +1,37 @@
+#![no_main]
+#![no_std]
+
+use cortex_m_semihosting::{
+    debug,
+    hio::{self, HStdout},
+};
+
+use log::{log, Log};
+use rt::entry;
+
+struct Logger {
+    hstdout: HStdout,
+}
+
+impl Log for Logger {
+    type Error = ();
+
+    fn log(&mut self, address: u8) -> Result<(), ()> {
+        self.hstdout.write_all(&[address])
+    }
+}
+
+entry!(main);
+
+fn main() -> ! {
+    let hstdout = hio::hstdout().unwrap();
+    let mut logger = Logger { hstdout };
+
+    log!(logger, "Hello, world!");
+
+    log!(logger, "Goodbye");
+
+    debug::exit(debug::EXIT_SUCCESS);
+
+    loop {}
+}
diff --git a/ci/logging/app4/.cargo b/ci/logging/app4/.cargo
@@ -0,0 +1 @@
+../app2/.cargo
diff --git a/ci/logging/app4/Cargo.toml b/ci/logging/app4/Cargo.toml
@@ -0,0 +1,10 @@
+[package]
+authors = ["Jorge Aparicio <jorge@japaric.io>"]
+edition = "2018"
+name = "app"
+version = "0.1.0"
+
+[dependencies]
+cortex-m-semihosting = "0.3.1"
+log = { path = "../log2" }
+rt = { path = "../rt" }
diff --git a/ci/logging/app4/dev.objdump b/ci/logging/app4/dev.objdump
@@ -0,0 +1,3 @@
+00000000 l       .log		 00000001 Goodbye
+00000001 l       .log		 00000001 Hello, world!
+00000001         .log		 00000000 __log_warning_start__
diff --git a/ci/logging/app4/dev.out b/ci/logging/app4/dev.out
@@ -0,0 +1 @@
+0100
diff --git a/ci/logging/app4/src/main.rs b/ci/logging/app4/src/main.rs
@@ -0,0 +1,37 @@
+#![no_main]
+#![no_std]
+
+use cortex_m_semihosting::{
+    debug,
+    hio::{self, HStdout},
+};
+
+use log::{error, warn, Log};
+use rt::entry;
+
+entry!(main);
+
+fn main() -> ! {
+    let hstdout = hio::hstdout().unwrap();
+    let mut logger = Logger { hstdout };
+
+    warn!(logger, "Hello, world!"); // <- CHANGED!
+
+    error!(logger, "Goodbye"); // <- CHANGED!
+
+    debug::exit(debug::EXIT_SUCCESS);
+
+    loop {}
+}
+
+struct Logger {
+    hstdout: HStdout,
+}
+
+impl Log for Logger {
+    type Error = ();
+
+    fn log(&mut self, address: u8) -> Result<(), ()> {
+        self.hstdout.write_all(&[address])
+    }
+}
diff --git a/ci/logging/log/Cargo.toml b/ci/logging/log/Cargo.toml
@@ -0,0 +1,7 @@
+[package]
+name = "log"
+version = "0.1.0"
+authors = ["Jorge Aparicio <jorge@japaric.io>"]
+edition = "2018"
+
+[dependencies]
diff --git a/ci/logging/log/build.rs b/ci/logging/log/build.rs
@@ -0,0 +1,12 @@
+use std::{env, error::Error, fs::File, io::Write, path::PathBuf};
+
+fn main() -> Result<(), Box<Error>> {
+    // Put the linker script somewhere the linker can find it
+    let out = PathBuf::from(env::var("OUT_DIR")?);
+
+    File::create(out.join("log.x"))?.write_all(include_bytes!("log.x"))?;
+
+    println!("cargo:rustc-link-search={}", out.display());
+
+    Ok(())
+}
diff --git a/ci/logging/log/log.x b/ci/logging/log/log.x
@@ -0,0 +1,6 @@
+SECTIONS
+{
+  .log 0 (INFO) : {
+    *(.log);
+  }
+}
diff --git a/ci/logging/log/src/lib.rs b/ci/logging/log/src/lib.rs
@@ -0,0 +1,18 @@
+#![no_std]
+
+pub trait Log {
+    type Error;
+
+    fn log(&mut self, address: u8) -> Result<(), Self::Error>;
+}
+
+#[macro_export]
+macro_rules! log {
+    ($logger:expr, $string:expr) => {{
+        #[export_name = $string]
+        #[link_section = ".log"]
+        static SYMBOL: u8 = 0;
+
+        $crate::Log::log(&mut $logger, &SYMBOL as *const u8 as usize as u8)
+    }};
+}
diff --git a/ci/logging/log2/Cargo.toml b/ci/logging/log2/Cargo.toml
@@ -0,0 +1,7 @@
+[package]
+name = "log"
+version = "0.1.0"
+authors = ["Jorge Aparicio <jorge@japaric.io>"]
+edition = "2018"
+
+[dependencies]
diff --git a/ci/logging/log2/build.rs b/ci/logging/log2/build.rs
@@ -0,0 +1 @@
+../log/build.rs
diff --git a/ci/logging/log2/log.x b/ci/logging/log2/log.x
@@ -0,0 +1,8 @@
+SECTIONS
+{
+  .log 0 (INFO) : {
+    *(.log.error);
+    __log_warning_start__ = .;
+    *(.log.warning);
+  }
+}
diff --git a/ci/logging/log2/src/lib.rs b/ci/logging/log2/src/lib.rs
@@ -0,0 +1,31 @@
+#![no_std]
+
+pub trait Log {
+    type Error;
+
+    fn log(&mut self, address: u8) -> Result<(), Self::Error>;
+}
+
+/// Logs messages at the ERROR log level
+#[macro_export]
+macro_rules! error {
+    ($logger:expr, $string:expr) => {{
+        #[export_name = $string]
+        #[link_section = ".log.error"] // <- CHANGED!
+        static SYMBOL: u8 = 0;
+
+        $crate::Log::log(&mut $logger, &SYMBOL as *const u8 as usize as u8)
+    }};
+}
+
+/// Logs messages at the WARNING log level
+#[macro_export]
+macro_rules! warn {
+    ($logger:expr, $string:expr) => {{
+        #[export_name = $string]
+        #[link_section = ".log.warning"] // <- CHANGED!
+        static SYMBOL: u8 = 0;
+
+        $crate::Log::log(&mut $logger, &SYMBOL as *const u8 as usize as u8)
+    }};
+}
diff --git a/ci/logging/rt b/ci/logging/rt
@@ -0,0 +1 @@
+../exceptions/rt
diff --git a/ci/script.sh b/ci/script.sh
diff --git a/src/SUMMARY.md b/src/SUMMARY.md
diff --git a/src/logging.md b/src/logging.md

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+00001fe1 l .rodata 00000001 Goodbye`
	`2`	`+00001fe0 l .rodata 00000001 Hello, world!`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+00000a7d l .rodata 00000001 Goodbye`
	`2`	`+00000a7c l .rodata 00000001 Hello, world!`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+00000001 l .log 00000001 Goodbye`
	`2`	`+00000000 l .log 00000001 Hello, world!`