Re: [9fans] 9P reading directories client/server behavior
Quoting Anthony Martin : > nicolagi via 9fans <9fans@9fans.net> once said: >> The only question that still stands is the last in my original post: >> What happens and what should happen when a dir entry is larger than >> msize-24? Possibly written from a connection with a large msize, and to >> be read from a connection with a smaller msize? > > In that case either the server or client lied about it's > msize and is not correctly speaking the 9p protocol. > >>From version(5): > > The client suggests a maximum message size, msize, that is > the maximum length, in bytes, it will ever generate or ex- > pect to receive in a single 9P message. This count includes > all 9P protocol data, starting from the size field and ex- > tending through the message, but excludes enveloping trans- > port protocols. The server responds with its own maximum, > msize, which must be less than or equal to the client's > value. Thenceforth, both sides of the connection must honor > this limit. Different clients can still negotiate different values for msize. I've written a program to show that the scenario I'm talking about is real. Here's the trace that shows creating a file with an absurdly large name (name omitted): Tversion msize 131072 version '9P2000' Rversion msize 131072 version '9P2000' Tattach fid 1 afid 4294967295 uname 'nicolagi' nuname 4294967295 aname '' Rattach aqid (16061c98c25a5b1c 1 'd') Twalk fid 1 newfid 2 0:'tmp' Rwalk (16061c9a5c4069e4 1 'd') Tcreate fid 2 name 'ality.OMITTED' perm 666 mode 0 Rcreate qid (166b10d3f614e29e 1 '') iounit 0 Tclunk fid 2 Rclunk Listing using a connection with msize 8192 and grepping the new file: ; 9p ls pine/tmp | grep ality | wc -l 0 I can create another file after the absurdly named one, but I can't list it, because the client wrongly detects EOF before reaching that: ; date > another ; ls | grep another | wc -l 0 You can see why I thought a server may return Rerror instead of silently clipping the listing. But it's fine, nobody will generate such large dir entries, I was just confused to find this edge case and around how to handle it. I'll go write some client code to clean up my tmp folder now. :-) -- 9fans: 9fans Permalink: https://9fans.topicbox.com/groups/9fans/T65a81624b7b9db0f-Mf45bcfc5bcd0d01d25fda0e1 Delivery options: https://9fans.topicbox.com/groups/9fans/subscription
Re: [9fans] No signal on some monitors with Raspberry Pi 400
i even get 4k@60hz here on a rpi4 on 9front, but there was a lot of interference with bluetooth, wifi and usb3, it might be you need an extra strong signal, did you try with a short cable that has a high bandwidth? On 3/10/21, Bakul Shah wrote: > On Mar 10, 2021, at 8:53 AM, Richard Miller <9f...@hamnavoe.com> wrote: >>> That is, if I plug into a ~10 year old Vizio television >>> everything works fine at a reasonable resolution (1280x1024? I haven't >>> yet figured >>> out which utility to use to query display properties) >> >> Here's a simple way: >> >> term% echo `{dd -if /dev/screen -bs 64 -count 1} >> >>> , but if I plug it into a Dell >>> S2817Q the monitor says "No signal detected." >> >> That's a 4k monitor, I think. The native resolution is probably too big >> to fit in the virtual area allowed for the kernel frame buffer. (Lack of >> foresight - monitors were smaller when 9pi was first done.) >> >> I'll see about fixing that soon. Meanwhile, you should be able to use >> hdmi_group and hdmi_mode settings in config.txt to request a lower >> resolution. >> Or add something like "vgasize=1600x1200x16" to the command line in >> cmdline.txt - >> either method should work. > > Not sure how things are different in pi4+pi9 but I was able to get 4K@20Hz > under plan9 back in 2014 on the original pi. Not sure I can find that > SDcard now but the settings were based on what I gleaned from this thread: > https://www.raspberrypi.org/forums/viewtopic.php?t=79330 -- 9fans: 9fans Permalink: https://9fans.topicbox.com/groups/9fans/T295835c4cafb6d4f-M5444f7c46a5f07d392c4a08c Delivery options: https://9fans.topicbox.com/groups/9fans/subscription
Re: [9fans] No signal on some monitors with Raspberry Pi 400
On Mar 10, 2021, at 8:53 AM, Richard Miller <9f...@hamnavoe.com> wrote: >> That is, if I plug into a ~10 year old Vizio television >> everything works fine at a reasonable resolution (1280x1024? I haven't yet >> figured >> out which utility to use to query display properties) > > Here's a simple way: > > term% echo `{dd -if /dev/screen -bs 64 -count 1} > >> , but if I plug it into a Dell >> S2817Q the monitor says "No signal detected." > > That's a 4k monitor, I think. The native resolution is probably too big > to fit in the virtual area allowed for the kernel frame buffer. (Lack of > foresight - monitors were smaller when 9pi was first done.) > > I'll see about fixing that soon. Meanwhile, you should be able to use > hdmi_group and hdmi_mode settings in config.txt to request a lower resolution. > Or add something like "vgasize=1600x1200x16" to the command line in > cmdline.txt - > either method should work. Not sure how things are different in pi4+pi9 but I was able to get 4K@20Hz under plan9 back in 2014 on the original pi. Not sure I can find that SDcard now but the settings were based on what I gleaned from this thread: https://www.raspberrypi.org/forums/viewtopic.php?t=79330 -- 9fans: 9fans Permalink: https://9fans.topicbox.com/groups/9fans/T295835c4cafb6d4f-M855b50cfb52355dd9a906ae2 Delivery options: https://9fans.topicbox.com/groups/9fans/subscription
Re: [9fans] Re: various problems with installing go lang
I was able to solve the same issue with hget https://curl.se/ca/cacert-2021-01-19.pem >/sys/lib/tls/ca.pem -- 9fans: 9fans Permalink: https://9fans.topicbox.com/groups/9fans/T80ee3327f2f3dc57-M36366bde4c34815f3b04b988 Delivery options: https://9fans.topicbox.com/groups/9fans/subscription
Re: [9fans] No signal on some monitors with Raspberry Pi 400
> That is, if I plug into a ~10 year old Vizio television > everything works fine at a reasonable resolution (1280x1024? I haven't yet > figured > out which utility to use to query display properties) Here's a simple way: term% echo `{dd -if /dev/screen -bs 64 -count 1} > , but if I plug it into a Dell > S2817Q the monitor says "No signal detected." That's a 4k monitor, I think. The native resolution is probably too big to fit in the virtual area allowed for the kernel frame buffer. (Lack of foresight - monitors were smaller when 9pi was first done.) I'll see about fixing that soon. Meanwhile, you should be able to use hdmi_group and hdmi_mode settings in config.txt to request a lower resolution. Or add something like "vgasize=1600x1200x16" to the command line in cmdline.txt - either method should work. -- 9fans: 9fans Permalink: https://9fans.topicbox.com/groups/9fans/T295835c4cafb6d4f-Md4f814e7c44f86d9f584b403 Delivery options: https://9fans.topicbox.com/groups/9fans/subscription
[9fans] No signal on some monitors with Raspberry Pi 400
Howdy- I recently bought a Raspberry Pi 400 and installed Richard Miller's 9pi img (https://9p.io/sources/contrib/miller/9pi.img.gz) onto a microSD card via Raspberry Pi's Imaging tool. Everything works fine and I'm really enjoying learning Plan 9, however some monitors don't detect any signal. That is, if I plug into a ~10 year old Vizio television everything works fine at a reasonable resolution (1280x1024? I haven't yet figured out which utility to use to query display properties), but if I plug it into a Dell S2817Q the monitor says "No signal detected." I've successfully plugged the Pi back and forth between the two displays several times and the behavior is consistent: everything works fine on the smaller, older Vizio tv, but "no signal" on the Dell. Has anyone else experienced anything like this? Any suggestions for things to try? I would prefer using the Dell monitor to the Vizio tv, but I'm not concerned about the resolution. That is, I would happily prefer running Plan 9 on the Pi at 640x480 on the Dell rather than the higher resolution on the Vizio. (Ideally, of course, I would like to run at the highest resolution possible on the Dell, but for the time being I'd just be happy with anything working on the Dell) Thank you in advance! -- 9fans: 9fans Permalink: https://9fans.topicbox.com/groups/9fans/T295835c4cafb6d4f-Mb8abec25c192665db0434e0f Delivery options: https://9fans.topicbox.com/groups/9fans/subscription
Re: [9fans] Plan 9 in Summer of Code
Hey anths and community, That's good news. I am missing some project ideas that were mentioned on this mailing list in the original announcement thread (and children threads). I think there were some good ideas that could be added to the list, except they were sorted out for reasons. The p9f ideas page links to related projects, including 9atom and even acme-sac. Could you also add the 9front pages to it? http://fqa.9front.org/appendixg.html http://fqa.9front.org/appendixb.html The bounties page might not be well suited for GSoC, but might act as another source of inspiration. Btw I never really met any 9atom guy, only 9front people who played around with 9atom and wanted to port some 9atom stuff to 9front. Also some links on p9f GSoC related pages don't work. I wanted to know more about mentor expectations, that link failed with an error (also the admin expectations, which I clicked by accident with my huge fingers on my smartphone). Some other links are incredibly slow (to the older gsoc ideas on 9p.io). Anyways, good news that we were accepted. Hopefully this year will become some 9ish year. sirjofri -- 9fans: 9fans Permalink: https://9fans.topicbox.com/groups/9fans/Ta35cde1382617430-M1ddedb56ce4e24e8d6112e68 Delivery options: https://9fans.topicbox.com/groups/9fans/subscription