CX: Wait-Free Universal Construction

Re:CX: Wait-Free Universal Construction by 0xffff2 on Thursday November 07, 2019 @01:27PM (#21475830)

Is "Universal Construction" a well-known term? I don't recall ever encountering it in my Comp. Sci. degree, and some quick searching only leads me to more academic papers.

[ Parent | on HN ]

Re:CX: Wait-Free Universal Construction by FisDugthop on Thursday November 07, 2019 @01:39PM (#21475958)

I only know them from category theory and abstract algebra. You could think of them as polymorphic constructions from some set of assumptions. As an example, given some type of elements, the type of lists of those elements is a monoid (the free monoid) on those elements.

[ Parent | on HN ]

Re:CX: Wait-Free Universal Construction by rhacker on Thursday November 07, 2019 @03:51PM (#21477123)

It's horribly over garbled. The Github repo doesn't do a better job of explaining anything. This is a horrible news item.

[ Parent | on HN ]

Re:CX: Wait-Free Universal Construction by ajkjk on Thursday November 07, 2019 @08:20PM (#21479223)

It's mentioned on https://en.wikipedia.org/wiki/Non-blocking_algorithm, at least.

[ Parent | on HN ]