[Bug 276985] crash in LinuxKPI/drm

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=276985

--- Comment #37 from feh@fehcom.de ---
(In reply to Olivier Certner from comment #35)

I just checked both drm versions (5.15 and 6.1) briefly, but the difference is
significant, so it will be hard to tell whether the new version is the correct
solution. 

AMD needs of course to provide driver for their new GPUs. As said, their
development focuses on the Linux kernel. One particular mechanism here is 'rcu'
- Ready/Copy/Update.
I'm wondering how is is realized under FreeBSD. 

@Oliver: Is there any whitepaper or so, detailing this, perhaps while
reverse-engineering the code base?

And regarding:

> I wouldn't fly a plane whose code hasn't both been proved correct *and* tested.

In this sector of the industry, formal proof methods will be applied. Hardware
redundancy/diversity is also important. 

We have to thank all volunteers here to come close that quality for an OS you
can get for free and running realiably on HW for just $300 (like mine).

--eh.

-- 
You are receiving this mail because:
You are the assignee for the bug.