Merge #182

182: Demo: Add overaligned thread-local storage r=stlankes a=mkroening



Co-authored-by: Martin Kröning <mkroening@posteo.net>

examples/demo/src/main.rs

@@ -1,6 +1,7 @@
 #![allow(dead_code)]
 #![allow(unused_imports)]
 #![feature(thread_id_value)]
+#![feature(thread_local_const_init)]
 
 #[cfg(target_os = "hermit")]
 extern crate hermit_sys;
@@ -23,6 +24,11 @@ fn test_result<T>(result: Result<(), T>) -> &'static str {
 
 fn main() {
 	println!("Test {} ... {}", stringify!(hello), test_result(hello()));
+	println!(
+		"Test {} ... {}",
+		stringify!(test_thread_local),
+		test_result(test_thread_local())
+	);
 	println!(
 		"Test {} ... {}",
 		stringify!(arithmetic),

examples/demo/src/matrix_multiplication.rs

@@ -1,6 +1,7 @@
 #![allow(dead_code)]
 #![allow(unused_imports)]
 #![feature(thread_id_value)]
+#![feature(thread_local_const_init)]
 
 #[cfg(target_os = "hermit")]
 extern crate hermit_sys;

examples/demo/src/pi_sequential.rs

@@ -1,6 +1,7 @@
 #![allow(dead_code)]
 #![allow(unused_imports)]
 #![feature(thread_id_value)]
+#![feature(thread_local_const_init)]
 
 #[cfg(target_os = "hermit")]
 extern crate hermit_sys;

examples/demo/src/tests/mod.rs

@@ -16,8 +16,10 @@ use syscalls::SYS_getpid;
 
 mod laplace;
 mod matmul;
+mod thread_local;
 
 pub use matmul::test_matmul_strassen;
+pub use thread_local::test_thread_local;
 
 pub fn thread_creation() -> Result<(), ()> {
 	const N: usize = 10;

examples/demo/src/tests/thread_local.rs

@@ -0,0 +1,14 @@
+pub fn test_thread_local() -> Result<(), ()> {
+	#[repr(align(0x1000))]
+	struct OverAligned(u8);
+
+	thread_local! {
+		static THREAD_LOCAL: OverAligned = const { OverAligned(0x42) };
+	}
+
+	THREAD_LOCAL.with(|thread_local| {
+		assert_eq!(0x42, thread_local.0);
+	});
+
+	Ok(())
+}