From 150c3f37083b645ae48d051c18dfc8babbb0b613 Mon Sep 17 00:00:00 2001 From: Luke Kenneth Casson Leighton Date: Fri, 27 Mar 2020 09:13:46 +0000 Subject: [PATCH] add extra sections --- ...23_2020mar26_decoder_emulator_started.mdwn | 97 ++++++++++++------- 1 file changed, 64 insertions(+), 33 deletions(-) diff --git a/updates/023_2020mar26_decoder_emulator_started.mdwn b/updates/023_2020mar26_decoder_emulator_started.mdwn index e6aa032..6f4a2ff 100644 --- a/updates/023_2020mar26_decoder_emulator_started.mdwn +++ b/updates/023_2020mar26_decoder_emulator_started.mdwn @@ -56,6 +56,13 @@ Here's the summary (if it can be called a summary): on the [6600 scoreboard](https://libre-riscv.org/3d_gpu/architecture/6600scoreboard/) page. +* [Public-Inbox](http://bugs.libre-riscv.org/show_bug.cgi?id=181) was + installed successfully on the server, which is in the process of + moving to a [new domain name](http://bugs.libre-riscv.org/show_bug.cgi?id=182) + [Libre-SOC](http://libre-soc.org) +* Build Servers have been set up with + [automated testing](http://lists.libre-riscv.org/pipermail/libre-riscv-dev/2020-March/005364.html) + being established Well dang, as you can see, suddenly it just went ballistic. There's almost certainly things left off the list. For such a small team there's @@ -76,46 +83,61 @@ TODO # simple-soft-float Library and POWER FP emulation -The [simple-soft-float](https://salsa.debian.org/Kazan-team/simple-soft-float) library is a floating-point library Jacob wrote with the intention -of being a reference implementation of IEEE 754 for hardware testing purposes. It's -specifically designed to be written to be easier to understand instead of having the -code obscured in pursuit of speed: +The +[simple-soft-float](https://salsa.debian.org/Kazan-team/simple-soft-float) +library is a floating-point library Jacob wrote with the intention +of being a reference implementation of IEEE 754 for hardware testing +purposes. It's specifically designed to be written to be easier to +understand instead of having the code obscured in pursuit of speed: * Being easier to understand helps prevent bugs where the code does not match the IEEE spec. -* It uses the [algebraics](https://salsa.debian.org/Kazan-team/algebraics) library that Jacob wrote since that allows using numbers - that behave like exact real numbers, making reasoning about the code - simpler. +* It uses the [algebraics](https://salsa.debian.org/Kazan-team/algebraics) + library that Jacob wrote since that allows using numbers that behave + like exact real numbers, making reasoning about the code simpler. * It is written in Rust rather than highly-macro-ified C, since that helps with readability since operations aren't obscured, as well as safety, since Rust proves at compile time that the code won't seg-fault unless you specifically opt-out of those guarantees by using `unsafe`. -It currently supports 16, 32, 64, 128-bit FP for RISC-V, along with having a -`DynamicFloat` type which allows dynamically specifying all aspects of how a -particular floating-point type behaves -- if one wanted, they could configure it as a -2048-bit floating-point type. - -It also has Python bindings, thanks to the awesome [PyO3](https://pyo3.rs/) library for writing Python -bindings in Rust. - -We decided to write simple-soft-float instead of extending the industry-standard -[Berkeley softfloat](http://www.jhauser.us/arithmetic/SoftFloat.html) library because of a range of issues, including not supporting -Power FP, requiring recompilation to switch which ISA is being emulated, not -supporting all the required operations, architectural issues such as depending on -global variables, etc. We are still testing simple-soft-float against Berkeley softfloat -where we can, however, since Berkeley softfloat is widely used and highly likely to -be correct. - -simple-soft-float is [gaining support for Power FP](http://bugs.libre-riscv.org/show_bug.cgi?id=258), which requires rewriting a lot of -the status-flag handling code since Power supports a much larger set of -floating-point status flags and exceptions than most other ISAs. - -Thanks to RaptorCS for giving us remote access to a Power9 system, since that -makes it much easier verifying that the test cases are correct. - -API Docs for stable releases of both [simple-soft-float](https://docs.rs/simple-soft-float) and [algebraics](https://docs.rs/algebraics) are available -on docs.rs. +It currently supports 16, 32, 64, 128-bit FP for RISC-V, along with +having a `DynamicFloat` type which allows dynamically specifying all +aspects of how a particular floating-point type behaves -- if one wanted, +they could configure it as a 2048-bit floating-point type. + +It also has Python bindings, thanks to the awesome +[PyO3](https://pyo3.rs/) library for writing Python bindings in Rust. + +We decided to write simple-soft-float instead +of extending the industry-standard [Berkeley +softfloat](http://www.jhauser.us/arithmetic/SoftFloat.html) library +because of a range of issues, including not supporting Power FP, requiring +recompilation to switch which ISA is being emulated, not supporting +all the required operations, architectural issues such as depending on +global variables, etc. We are still testing simple-soft-float against +Berkeley softfloat where we can, however, since Berkeley softfloat is +widely used and highly likely to be correct. + +simple-soft-float is [gaining support for Power +FP](http://bugs.libre-riscv.org/show_bug.cgi?id=258), which requires +rewriting a lot of the status-flag handling code since Power supports a +much larger set of floating-point status flags and exceptions than most +other ISAs. + +Thanks to RaptorCS for giving us remote access to a Power9 system, +since that makes it much easier verifying that the test cases are correct. + +API Docs for stable releases of both +[simple-soft-float](https://docs.rs/simple-soft-float) and +[algebraics](https://docs.rs/algebraics) are available on docs.rs. + +One of the really important things about these libraries: they're not +specifically coded exclusively for Libre-SOC: like softfloat-3 itself +(and also like the [IEEE754 FPU](https://git.libre-riscv.org/?p=ieee754fpu.git)) +they're intended for *general-purpose* use by other projects. These are +exactly the kinds of side-benefits for the wider Libre community that +sponsorship, from individuals, Foundations (such as NLNet) and Companies +(such as Purism and Raptor Engineering) brings. # OpenPOWER Conference calls @@ -127,7 +149,7 @@ TODO # Sponsorship by RaptorCS with a TALOS II Workstation -TODO +TODO http://lists.libre-riscv.org/pipermail/libre-riscv-dev/2020-March/005291.html # Epic Megagrants @@ -145,7 +167,16 @@ TODO TODO +# Public-Inbox and Domain Migration + +TODO + +# Build Servers + +TODO + # Conclusion TODO + -- 2.30.2