<div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Sep 3, 2020 at 11:34 PM Rob Landley <<a href="mailto:rob@landley.net">rob@landley.net</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On 9/3/20 10:02 AM, enh wrote:<br>
> Isn't it 6 digits now? 999999 processes? (Didn't we have this discussion already<br>
> about ps? In theory top inherits that code...)<br>
> <br>
> <br>
> Yes, but my desktop has 7 digits (now at least --- I don't know whether my<br>
> desktop and laptop always differed like this, or this is from the ubuntu -><br>
> debian switch).<br>
<br>
Are you willing to admit threads were a mistake yet? :)<br></blockquote><div><br></div><div>to be clear, i only have 412 different pids on this machine. but the current largest is 4116808. (the "mistake" is that pids are meant to be a unique identifier but come from a small pool --- not having something like pidfd since the 1970s.)</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
> We could bump the hard-coded value again, but that seems like a lot of wasted<br>
> empty columns for small systems?<br>
<br>
I have confidence that a truly threaded system can hit 8 anyway.<br></blockquote><div><br></div><div>well, someone will configure a system to use the full range of an int at some point, yes.</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
Alright, am I writing to the typos array already? That really looks like it<br>
should be in read-only memory but currently isn't, I forget why. (Vague "tried<br>
it and it didn't work" vibes but what specifically happened? I almost certainly<br>
have a todo item for it somewhere...)<br>
<br>
Pushed. Try now?<br></blockquote><div><br></div><div>yeah, lgtm on both a phone and a "real computer". thanks!</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
Rob<br>
</blockquote></div></div>