sorear changed the topic of #riscv to: RISC-V instruction set architecture | https://riscv.org | Logs: https://libera.irclog.whitequark.org/riscv | Matrix: #riscv:catircservices.org
DesRoin has quit [Ping timeout: 265 seconds]
DesRoin has joined #riscv
<heat> JohnHenry, just the act of mapping is a giant case of possibly altering non-leaf PMDs/P4Es/etc, should probably be handled in set_pmd(), et al (i think that's the appropriate spot, update_mmu_cache doesn't know if you alloc'd any page table)
<heat> but really the mere detail of requiring a global TLB flush when *adding* a page table is, uh, interesting to say the least
<jrtc27> it's not required if you're prepared to take a spurious fault in the case that the invalid entry was cached
DesRoin has quit [Ping timeout: 246 seconds]
<heat> but the default method of flushing on pages (sfence.vma rs1=addr) doesn't properly handle that
<jrtc27> (which you really should do, otherwise you have to pause all the other cores that are currently running that process when mapping a new page and make them also sfence on resuming....)
<jrtc27> hm?
<jrtc27> so don't do that?
<jrtc27> freebsd's approach, which I believe linux also does, is to not do any sfence.vma on adding a new page table entry
<jrtc27> if you later take a spurious fault, i.e. the page table says the operation should succeed, you sfence.vma and retry
<heat> i know, but the spurious fault tlb flushing does an sfence.vma rs1=<addr>, which would not properly handle non-leaf pte adding (per the spec)
<jrtc27> I don't know the linux code, but freebsd's definitely uses rs1=x0 in that instance
DesRoin has joined #riscv
<heat> yeah that doesnt *seem* to be the case here. is there ongoing extension/spec work to fix this mess?
<heat> Sinval seems to have the same semantics, unfortunately
<jrtc27> maybe https://github.com/riscv/riscv-svvptc/blob/main/svvptc.adoc is what you're after, though I'm not sure "mess" is a fair way to describe this corner of the spec
<heat> thanks, that helps. maybe it's just me, but overzealous and simplified sfence.vmas definitely sound like leftovers of the educational, simplified side of the ISA
<heat> sfence.vma rs1=x0 only on unmapping page tables is definitely more palatable though :)
Maylay has quit [Ping timeout: 246 seconds]
armand__ has quit [Remote host closed the connection]
armand__ has joined #riscv
cleger has quit [Ping timeout: 268 seconds]
Noisytoot has quit [Excess Flood]
Noisytoot has joined #riscv
Maylay has joined #riscv
Noisytoot has quit [Ping timeout: 265 seconds]
Noisytoot has joined #riscv
Maylay has quit [Ping timeout: 264 seconds]
Noisytoot has quit [Read error: Connection reset by peer]
Maylay has joined #riscv
Noisytoot has joined #riscv
Tenkawa has quit [Quit: Was I really ever here?]
BootLayer has joined #riscv
Noisytoot has quit [Ping timeout: 245 seconds]
guerby_ has joined #riscv
guerby has quit [Ping timeout: 258 seconds]
frkazoid333 has quit [Ping timeout: 256 seconds]
frkazoid333 has joined #riscv
Trifton_ has joined #riscv
Trifton has quit [Remote host closed the connection]
Noisytoot has joined #riscv
vagrantc has quit [Quit: leaving]
Trifton_ has quit [Ping timeout: 252 seconds]
Trifton has joined #riscv
jacklsw has joined #riscv
zBeeble has quit [Remote host closed the connection]
zBeeble has joined #riscv
coldfeet has joined #riscv
BootLayer has quit [Quit: Leaving]
Noisytoot has quit [Quit: ZNC 1.8.2 - https://znc.in]
fuwei has quit [Remote host closed the connection]
Esmil has quit [Server closed connection]
Esmil has joined #riscv
Noisytoot has joined #riscv
heat has quit [Ping timeout: 264 seconds]
Noisytoot has quit [Excess Flood]
Noisytoot has joined #riscv
Noisytoot has quit [Ping timeout: 256 seconds]
Noisytoot has joined #riscv
naoki has quit [Quit: naoki]
fuwei has joined #riscv
vgtw has joined #riscv
stolen has joined #riscv
coldfeet has quit [Remote host closed the connection]
Noisytoot has quit [Quit: ZNC 1.8.2 - https://znc.in]
Noisytoot has joined #riscv
Noisytoot has quit [Remote host closed the connection]
Noisytoot has joined #riscv
vgtw has quit [Quit: ZNC - https://znc.in]
cow321 has quit [Ping timeout: 268 seconds]
cow321 has joined #riscv
lockna_ has quit [Server closed connection]
lockna has joined #riscv
Andre_Z has joined #riscv
Andre_Z has quit [Quit: Leaving.]
vgtw has joined #riscv
cleger has joined #riscv
ldevulder has joined #riscv
wbx has quit [Remote host closed the connection]
prabhakalad has quit [Quit: Konversation terminated!]
prabhakalad has joined #riscv
coldfeet has joined #riscv
danilogondolfo has joined #riscv
coldfeet has quit [Remote host closed the connection]
naoki has joined #riscv
fuwei has quit [Remote host closed the connection]
naoki has quit [Quit: naoki]
Andre_Z has joined #riscv
Noisytoot has quit [Excess Flood]
wbx has joined #riscv
stolen has quit [Quit: Connection closed for inactivity]
DoubleJ has quit [Server closed connection]
Noisytoot has joined #riscv
DoubleJ has joined #riscv
memset has joined #riscv
pecastro has joined #riscv
Andre_Z has quit [Quit: Leaving.]
Noisytoot has quit [Quit: ZNC 1.8.2 - https://znc.in]
Noisytoot has joined #riscv
Noisytoot has quit [Remote host closed the connection]
Noisytoot has joined #riscv
hightower2 has quit [Remote host closed the connection]
hightower2 has joined #riscv
hightower2 has quit [Remote host closed the connection]
hightower3 has joined #riscv
clemens3 has quit [Server closed connection]
TMM has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
TMM has joined #riscv
clemens3 has joined #riscv
Jackneill_ has quit [Quit: Leaving]
Andre_Z has joined #riscv
ema has quit [Quit: leaving]
ema has joined #riscv
eightthree has quit [Remote host closed the connection]
nmeum has quit [Remote host closed the connection]
nmeum has joined #riscv
Noisytoot has quit [Remote host closed the connection]
troglodito has quit [Server closed connection]
Noisytoot has joined #riscv
troglodito has joined #riscv
Noisytoot has quit [Remote host closed the connection]
Noisytoot has joined #riscv
Noisytoot has quit [Ping timeout: 248 seconds]
jacklsw has quit [Ping timeout: 245 seconds]
Noisytoot has joined #riscv
naoki has joined #riscv
naoki has quit [Client Quit]
fossdd has quit [Remote host closed the connection]
fossdd has joined #riscv
mcfrdy has quit [Server closed connection]
mcfrdy has joined #riscv
Noisytoot is now known as Guest7326
Guest7326 has quit [Killed (lithium.libera.chat (Nickname regained by services))]
Noisytoot has joined #riscv
hightower3 has quit [Remote host closed the connection]
hightower2 has joined #riscv
hightower2 has quit [Remote host closed the connection]
hightower2 has joined #riscv
Noisytoot has quit [Ping timeout: 244 seconds]
Noisytoot has joined #riscv
alexghiti has joined #riscv
ntwk has quit [Ping timeout: 264 seconds]
Noisytoot has quit [Ping timeout: 244 seconds]
Stat_headcrabed has joined #riscv
m5zs7k has quit [Ping timeout: 252 seconds]
Noisytoot has joined #riscv
Noisytoot has quit [Remote host closed the connection]
guerby_ is now known as guerby
Noisytoot has joined #riscv
heat has joined #riscv
Noisytoot has quit [Remote host closed the connection]
Noisytoot has joined #riscv
Tenkawa has joined #riscv
iooi has quit [Read error: Connection reset by peer]
iooi has joined #riscv
m5zs7k has joined #riscv
dilfridge has quit [Server closed connection]
dilfridge has joined #riscv
memset has quit [Ping timeout: 260 seconds]
memset has joined #riscv
Stat_headcrabed has quit [Quit: Stat_headcrabed]
wbx has quit [Remote host closed the connection]
eightthree has joined #riscv
vagrantc has joined #riscv
Stat_headcrabed has joined #riscv
memset has quit [Remote host closed the connection]
memset has joined #riscv
heat_ has joined #riscv
heat has quit [Read error: Connection reset by peer]
wbx has joined #riscv
shoragan has quit [Ping timeout: 256 seconds]
BootLayer has joined #riscv
coldfeet has joined #riscv
shoragan has joined #riscv
memset has quit [Ping timeout: 260 seconds]
memset has joined #riscv
heat has joined #riscv
heat_ has quit [Read error: Connection reset by peer]
Maylay has quit [Ping timeout: 246 seconds]
Maylay has joined #riscv
aurel32 has quit [Quit: leaving]
aurel32 has joined #riscv
Maylay has quit [Ping timeout: 248 seconds]
heat has quit [Read error: Connection reset by peer]
heat_ has joined #riscv
smaeul has quit [Ping timeout: 252 seconds]
Maylay has joined #riscv
coldfeet has quit [Remote host closed the connection]
smaeul has joined #riscv
Maylay has quit [Ping timeout: 244 seconds]
memset has quit [Remote host closed the connection]
memset has joined #riscv
Maylay has joined #riscv
khem has quit [Quit: WeeChat 4.3.3]
Maylay has quit [Ping timeout: 248 seconds]
Maylay has joined #riscv
memset has quit [Remote host closed the connection]
memset has joined #riscv
Maylay has quit [Ping timeout: 248 seconds]
marcj has quit [Ping timeout: 246 seconds]
cow321_ has joined #riscv
cow321 has quit [Ping timeout: 272 seconds]
cow321_ is now known as cow321
Maylay has joined #riscv
iooi has quit [Read error: Connection reset by peer]
iooi has joined #riscv
khem has joined #riscv
Maylay has quit [Ping timeout: 272 seconds]
memset has quit [Remote host closed the connection]
memset has joined #riscv
seasharp has quit [Remote host closed the connection]
usama has quit [Server closed connection]
usama has joined #riscv
alexghiti has quit [Ping timeout: 248 seconds]
alexghiti has joined #riscv
cow321 has quit [Remote host closed the connection]
cow321 has joined #riscv
Maylay has joined #riscv
Stat_headcrabed has quit [Quit: Stat_headcrabed]
Maylay has quit [Ping timeout: 272 seconds]
Maylay has joined #riscv
usrnaem2 has quit [Read error: Connection reset by peer]
usrnaem2 has joined #riscv
Maylay has quit [Ping timeout: 248 seconds]
Maylay has joined #riscv
BootLayer has quit [Quit: Leaving]
Maylay has quit [Ping timeout: 252 seconds]
Stat_headcrabed has joined #riscv
Stat_headcrabed has quit [Client Quit]
Maylay has joined #riscv
Maylay has quit [Ping timeout: 248 seconds]
Noisytoot has quit [Remote host closed the connection]
Noisytoot has joined #riscv
cp- has quit [Server closed connection]
cp- has joined #riscv
Noisytoot has quit [Excess Flood]
Noisytoot has joined #riscv
Maylay has joined #riscv
santiago_ has joined #riscv
santiago has quit [Ping timeout: 245 seconds]
marcj has joined #riscv
Noisytoot has quit [Ping timeout: 252 seconds]
Noisytoot has joined #riscv
Maylay has quit [Ping timeout: 252 seconds]
heat_ is now known as heat
sevan has joined #riscv
alexghiti has quit [Ping timeout: 272 seconds]
Narrat has joined #riscv
Maylay has joined #riscv
pecastro has quit [Ping timeout: 244 seconds]
pecastro has joined #riscv
felixonmars has quit [Server closed connection]
Maylay has quit [Ping timeout: 272 seconds]
felixonmars has joined #riscv
memset has quit [Remote host closed the connection]
memset has joined #riscv
Maylay has joined #riscv
Maylay has quit [Ping timeout: 248 seconds]
TMM has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
TMM has joined #riscv
ldevulder has quit [Quit: Leaving]
jfsimon1981 has quit [Remote host closed the connection]
Noisytoot has quit [Remote host closed the connection]
Noisytoot has joined #riscv
Andre_Z has quit [Ping timeout: 272 seconds]
santiago_ has quit [Quit: ZNC - https://znc.in]
memset has quit [Remote host closed the connection]
santiago has joined #riscv
memset has joined #riscv
hightower2 has quit [Remote host closed the connection]
sevan has quit [Changing host]
sevan has joined #riscv
hightower2 has joined #riscv
alexghiti has joined #riscv
Maylay has joined #riscv
Maylay has quit [Ping timeout: 244 seconds]
Maylay has joined #riscv
danilogondolfo has quit [Remote host closed the connection]
memset has quit [Remote host closed the connection]
memset has joined #riscv
lagash has quit [Remote host closed the connection]
lagash has joined #riscv
Narrat has quit [Ping timeout: 244 seconds]
Maylay has quit [Ping timeout: 272 seconds]
alexghiti has quit [Ping timeout: 272 seconds]
Maylay has joined #riscv
Maylay has quit [Ping timeout: 272 seconds]
Maylay has joined #riscv
naoki has joined #riscv
Maylay has quit [Ping timeout: 248 seconds]
Maylay has joined #riscv
naoki has quit [Quit: naoki]
unnick has quit [Ping timeout: 265 seconds]
unnick has joined #riscv
vagrantc has quit [Ping timeout: 252 seconds]
Maylay has quit [Ping timeout: 248 seconds]
gurki has quit [Server closed connection]
gurki has joined #riscv
Maylay has joined #riscv
Noisytoot has quit [Ping timeout: 272 seconds]
Noisytoot_ has joined #riscv
Noisytoot_ is now known as Noisytoot
Noisytoot is now known as Guest911
Guest911 has quit [Killed (calcium.libera.chat (Nickname regained by services))]
Noisytoot has joined #riscv
Maylay has quit [Ping timeout: 252 seconds]
Maylay has joined #riscv
DesRoin has quit [Ping timeout: 268 seconds]
DesRoin has joined #riscv
Guest12 has joined #riscv
pecastro has quit [Ping timeout: 244 seconds]
Guest12 has quit [Write error: Broken pipe]