RE: [TOPIC 01/11] Rust
On September 22, 2024 10:26 PM, Sean Allred wrote:
>This ended up being pretty long, so I apologize in advance for 'not having
>to make it shorter' (if you'll permit a small amount of plagiarism there).
>just my thoughts on this topic that have been cooking for a long time. I've
>following this conversation closely, and for the first time, I thought I
Show 11 quoted lines
>something small to add. Unfortunately, it's taken a lot of words to say it!
>
><rsbecker@nexbridge.com> writes:
>> On September 20, 2024 10:18 AM, Taylor Blau wrote:
>>>* Kyle: Rust code in the Git project; do we want it? Why would we want
>>> it?
>>>* Elijah: Anybody other than Randall that objects to it?
>>
>> To be honest, I do not fundamentally object to Rust.
>
>I don't think anybody (or at least, I hope nobody) thinks so; this is
>conversation we can and should (and I believe do) have in good faith :-)
>
>I've not contributed to this conversation much so far -- not out of lack of
Show 20 quoted lines
>but out of respect:
>
>1. While I've been using Git for many, many years, I'm a pretty new face
> on this list. I'm still working on making a good first impression :-)
>
>2. I know absolutely _nothing_ about NonStop, but I do know what it's
> like to feel like you're a member of an invisible set of users. There
> are significant aspects of my $DAYJOB where that is absolutely the
> case, so I want to leave room for what I know that I don't know. I
> know your customers are important, and (I think I know) you
> supporting your customers requires the tools being used to be
> supported.
>
>3. I don't even know _that_ much about Git's implementation compared to
> the experts on this list, so I feel ill-equipped to judge personally
> whether Rust is a good fit for the project to begin with -- thus I
> don't feel I have much to contribute to that conversation over what
> the experts have already said.
>
>Putting my own cards on the table -- I'd be in favor of introducing Rust
>codebase for many of the reasons cited elsewhere. Based on my naive
>understanding of the codebase and the types of bug fixes I've seen come in
>my time paying attention to this list, it does seem like rustc would add
>which it was designed. I say this not to 'upvote' the idea of including
Show 10 quoted lines
>transparent about the context from which I'm speaking.
>
>So, in good faith, here goes :-)
>
>> My problem is that the Rust team is not supporting including NonStop
>> as a platform. I would love to be able to do the port, but it is not
>> up to me - it is up to Rust's permission (or lack of in this case) to
>> support NonStop, and I do not see this changing in my life-time.
>
>Is this just regarding the GCC dependency I've seen you reference
>there something else? I just want to make all the cards are on the table
>particularly I want to make sure you're not referencing some licensing
>incompatibility or project policy that could be (even) more challenging
>GCC to NonStop. An uneducated search of rustc's book[2] for 'gcc' didn't
>anything immediately interesting, but there are call-outs for not
>platforms that introduce license incompatibilities or 'onerous legal
terms'.
The GCC dependency, which does not currently exist in git, is independent of Rust. Rust has its own rules and runtime. The issue here is that the Rust team gets to decide what platforms can participate, NOT the platform maintainers. No matter what my intent, or resources, I cannot get the Rust team to "Allow" a port. In many ways, this is egregious and is a policy issue entirely on Rust, not us. We want to do a Rust port but are simply not allowed/approved. It is their policy.
>If not, is this about (what I assume to be the) 'tier 3' platform support
>mentioned at [2]? In some respects, it seems like this is similar to the
>NonStop as a supported platform in the Git project already, though I
>also a main topic of conversation for the 'supported platform' thread
>does seem in line with what you already do, though, which is to provide
>Git when something merges that breaks tests on NonStop. It seems it would
>similar in a Rust world, though patches would 'just' be sent to the Rust
>instead. (I say that knowing that it would be an entirely foreign codebase
>concerns for submitting correct patches -- so the two are not at all
>just in
>behavior.)
This is not a tier 3 policy with regards to Rust. It is exclusionary.
Show 6 quoted lines
>> Depending on a piece of technology where control of where it runs is
>> outside of git's control is not responsible, in my view. It restricts
>> where git can run, and excludes platforms that currently use a
>> critical piece of infrastructure (git).
>
>I think this is going to be true of any platform that the Git project
>continue to build upon, isn't it? Any platform-specific bugs in the various
>compilers used are not in this project's control, either, nor OpenSSL,
>gettext, etc., etc. that are already essential to Git's main functions when
>used by a human (i.e., not as part of a larger automated system).
>
>Any added dependency will run the risk of not being buildable on every
>out there -- even if it's included in the standard library, potentially --
>believe it's a sustainable practice to never add any dependencies.
I agree that it is not a good policy to never add new dependencies. However, Dependencies must be reasonable and give the platforms a chance, at least, to adapt. We cannot in the case of Rust. The problem is not actually that we can do without new features that are in Rust but not C. The problem is when there are CVEs. Suppose a severe CVE happens that is fixed in a Rust component but referenced by a C component or somehow intertwined. The fix to the CVE becomes unavailable and git gets thrown off the platform. That is the reality of how insidious CVEs are when it meets corporate policy. I am primarily trying to protect from that.
If git was a toy or an experiment, this would not be an issue. But git is core Infrastructure for managing and deploying customer facing functionality now, more than any other single piece of code on any platform. It my hope that the git team will finally and eventually understand this, and act accordingly.
If the component in Rust is a toy or non-core, like Git LFS in GO, it can sometimes be worked around. Git LFS was something we wanted to port, but it turns out to be irrelevant as restrictions in Cloud GitHub and BitBucket make it pretty much worthless looking into the future.
Show 6 quoted lines
>> I have tens of thousands of people in my community who depend on git
>> on a daily basis, and simply kicking them off because of a decision,
>> or lack of decision, that some unrelated dependency controls should be
>> (unfortunately does not appear to be for git) a showstopper.
>
>I'd like to understand this a little better.
Telling 10-20000 users that their core bit of infrastructure is insecure and not fixable is not a tenable position. However, it is hard to defend the community when the git team is hell-bent on this particular decision. What do you need to understand here? It is a small community with a large number of users in key financial institutions that have a very conservative adoption policy and an even more conservative hardware vendors.
>First, from the original notes:
>>> Emily: old versions aren't going away.
>which I mention only to supply the obvious counterpoint. I believe you've
>the past (sorry that I can't find the specific link) that you'd like to see
>receive improvements and enhancements that you can forward onto your
>customers. This is great! I understand this perfectly. I have the very same
>my users (which number in the 3-4k range). I look forward to every
>improvement and revamped workflow with bated breath -- wondering how/when
>it can be incorporated into our system to give our folks the best
>possibly have as direct users of Git in a heavily automated system.
What I should have said was that I have no problem with git adding new portable dependencies. Rust is fundamentally unportable given the policy restrictions Imposed by that team.
>
>It stands to reason that your users wouldn't see such improvements if
>technologies like Rust are adopted into the codebase and those features
>written using this incompatible technology. This is understandably a
>prospect! Previously, you would have been able to get even more value out
>the open-source effort (and your own effort as a maintainer keeping it
>- and now it's not really feasible. I do understand this sentiment.
>much I understand it, if this is not _your_ sentiment, please let me know!)
>
>Here's where I'm struggling a bit. From what I see, I understand two
Show 16 quoted lines
>points:
>
>1. To continue building Git on every platform where it builds today, the
> project must either
>
> a) not add any new incompatible dependencies or
> b) put any such dependencies behind a feature flag (e.g. NO_CURL) so
> that Git may continue to be built without that dependency.
>
> Great, no harm -- no foul. But...
>
>2. If you continue building without that dependency, you don't get that
> feature, so the original purpose of enhancing Git -- to pass that
> benefit on to users -- is lost.
>
>So it would seem that this leaves us with only option (a) to not add any
>incompatible dependencies -- which is what I understand you've been
>Certainly reasonable. But then how do you build cool new stuff? Well, build
>yourself, I guess.
>
>There's been a _lot_ of cool new stuff lately. This is great! But this does
>spearheaded by the work (and thus funding) of companies like GitLab,
>and Google (and these are just the ones I recognize either by contributor
>by email domain). I'm incredibly thankful for the work and expertise these
>to the project on an ongoing basis.
>
>I worry though that the 'cool new stuff' seems to require such investment.
>_hard_ to write correct, safe C. I worry that this difficulty will
>significant, safe contributions coming only from those with the resources
>them and not from a more diverse pool of contributors. As grateful as I am
>companies who fund Git contributions, I don't think those companies, given
>choice in and of themselves, would think twice about dropping support for a
>platform they don't use -- and that is probably a much smaller set than
>platform have GCC'. I don't think this is a danger today or tomorrow, but
>danger of not having a diverse group of contributors -- and that is the
>by not allowing yourself to use any of the 'cool new stuff' _other_ people
Show 5 quoted lines
>written.
>
>--
>
>I don't have a satisfying response to what to do for NonStop in a world
>enters the Git codebase. I really don't, and that frustrates me for you. I
>there's a solution out there (maybe from your vendors, maybe from the
>halls of GCC maintainers, who knows), but I'll echo (more earnestly this
>>> Emily: old versions aren't going away.
Again, it is not the gcc dependency. We have been coping with c99 and will have c11 shortly. It is Rust itself that is exclusionary. It might be easier to write new functionality in Rust - it is easier in Java, Perl, and Python too. Why Rust? Because someone wants it, not because you cannot implement the functionality.
I do not see giving up on git is an option, but if that is what ultimately happens, I think it will be embarrassing and expensive in the extreme for large numbers of users. Considering that 90% of all financial transactions quietly and without fanfare touch NonStop hardware at some point, the impact should be obvious but not initially apparent.
>Nobody has the power to 'kick users off' a project such as Git -- not even
>everyone somehow miraculously agreed to port the entire thing to something
>off the presses at /r/programminglanguages :-) Ultimately, your systems
>continue to function regardless of what happens upstream. Of course I can't
>to support contracts, but I assume neither can anyone on this list.
>
>That said, I also don't know how a project can continue to thrive without
>(occasional, thoughtful, and deliberate) introduction of new technologies,
>contributors excited and emboldened by those technologies, and new ideas
>those contributors.
>
>Change is essential to growth. Like I mentioned at the outset, I'll let the
>on this list speak to whether _this_ change is essential for growth, but I
Show 9 quoted lines
>least made some points that were worth reading.
>
>[1]:
>https://lore.kernel.org/git/007c01da4420$10a7b700$31f72500$@nexbridge.co
>m/
>[2]: https://doc.rust-lang.org/rustc/target-tier-policy.html
>
>--
>Sean Allred