Posts
4675
Following
319
Followers
484
Linux kernel hacker and maintainer etc.

OpenPGP: 3AB05486C7752FE1

Jarkko Sakkinen

Edited 1 year ago
My SATP and PTE issues might have been just ignorance. I've learned the ISA so far almost purely by trial and error. Should look at the spec but it is good to learn to swim first...
0
0
0

Jarkko Sakkinen

Edited 1 year ago
I like in RISC-V that it is pretty fast to build kernel alike environments for S-mode because it has the cleanest state transformations I've seen so far in any CPU, It is a "unikernel first" CPU architecture. And different subsets of the specification scale from CPU cores to application cores, such as GPU cores as demonstrated recently: https://www.tomshardware.com/pc-components/cpus/imagination-and-ventana-to-build-a-risc-v-cpu-gpu-platform
2
1
2

Jarkko Sakkinen

Edited 1 year ago

Some learnings of RISC-V, at least from CVA6 perspective:

  1. If there is any SATP or PTE sync issue, sprinkle first sfence.vma together with fence.i. It is not optimal but usually ensures stability. Once things are functionally together sync points can be reduced.
  2. Might be CVA6 specific issue but I’ve sometimes had issues with W PTE’s created without having also D, causing odd crashes. So again, I’ve taken the habit of first binding these together and later on reduce.

I’ve yet use ASIC boards, have only used FPGA so far and development versions of CPU’s. I guess these sort of fail-safe practices are more important in early development

#riscv #fpga #note

1
0
0
@mjg59 I've had friends with kids at least at LPC so I see that as a plus tbh.
0
0
2
@AndreasBackx comedy writing itself is not a new thing open source have to admit :---) E.g. Ulrich Drepper and EGLIBC drama is one of the classics in this area (not to insult the person, I still have cpumemory.pdf always at hand, exceptionally smart guy).
0
0
0
@hiljaisuus @lari Ja sitten se on mielenkiintoista kanssa, että miksi ihmisille joiden käsissä meidän elämä on tavalla tai toisella kuten poliisille, sairaanhoitajille yms. maksetaan aivan helvetin huonosti. Ne on kuitenkin eksistentiaalisen kriittisiä duuneja...
0
0
2

Jarkko Sakkinen

Edited 1 year ago
@AndreasBackx Don't get me wrong. I appreciate your comments. interesting topic.

For sudo, I think it would make sense to me in the case, if the upstream project would start to rewrite itself in Rust similarly as kernel is rewriting itself in Rust. Security is more a process than a tool.
0
0
1
@AndreasBackx This sort of makes me think if I should just switch back to GNU ls...

Considering sudo-like command the more important factor is committed and experienced maintainers than implementation language tbh.

I mean this is just stupid: https://github.com/ogham/exa/issues/1243

With bat I think I live on the edge... Syntax highlighted source code dump is useful enough.
2
0
0
@AndreasBackx True, there's exceptions to the rule. I use exa and bat [1] :-) How do exa and eza differ anyway?

[1] https://github.com/jarkkojs/home/blob/main/.bashrc
1
0
0
I mean factors larger binaries with non-standard output, and you really have limited use for the added fanciness. They are only great at breaking backwards compatibility, if you put them into scripts.

This does not mean that Rust in command-line sucks in general. I think tools such as Starship and Typst are just great. They invent.
0
0
2

Jarkko Sakkinen

I like Rust in kernel, and more generally in the backend but Rust command-line replicas mostly are just software bloat tbh.

#rustlang
3
0
0

Jarkko Sakkinen

Edited 1 year ago
@lari @hiljaisuus Mä oon tienannut open sourcella sen verran, että se on riittänyt monta vuotta putkeen verokoneisiin, ja maksanut paljon veroja myös.

Se ei vituta, koska teen asioita mitä tekisin vaikka sossun asiakkaana, mutta mun mielestä siinä on joku epäsuhta, että Internetin infrastruktuurin kehittämisestä verotetaan rankemmin kuin vaikkapa some-influensseria, joka kiertää verot holding-yhtiön kautta.

Verotuksessa tuntuu epäreilulta, ei mikään tietty prosentti, vaan että aktiivisuus on kaikista raskaimmin verotettua, ja passiivisuus vähiten (esim. pääoman verottaminen). Ne voisi olla edes samalla viivalla.
1
0
12

Jarkko Sakkinen

0
0
0

Jarkko Sakkinen

Edited 1 year ago
Well, if I count total time that went to SGX, it was 8 years (I started on it in 2013). So not as bad as SGX :-) SGX took long partly because of required hardware changes (flexible launch control).
0
0
0
@mjg59 @f4grx Makes me wonder, if it was competing Linux wouldn't that sort of "zero out"? Not sure how you can compete with Linux, well, with Linux. Beyond me...
0
0
0

Jarkko Sakkinen

Edited 1 year ago

75% time went to exclusion, i.e. finding that the bug is in the enclave itself, not in kernel, SDK or the security monitor. Last two weeks was peeking and poking with loader.S. I even wrote a new driver for Keystone in the process so that I could exclude the driver (OTT driver is, well, I don’t want to say anything impolite…).

1
0
1
On positive side, this was the best possible RISC-V assembly tutorial...
1
0
1

Jarkko Sakkinen

Edited 1 year ago

I nailed the Keystone SATP change bug on CVA6 after only 1.5 months of constant debugging:

#riscv #keystone

1
0
1

Jarkko Sakkinen

"Sometimes smart thinkers just don’t know when to stop, and they create these absurd, all-encompassing, high-level pictures of the universe that are all good and fine, but don’t actually mean anything at all."

Is this a description of Haskell or NixOS? I'm sorry, a bad joke. Please don't get upset.

https://www.joelonsoftware.com/2001/04/21/dont-let-architecture-astronauts-scare-you/
0
0
1
Show older