Conversation

Which maniac invented SLAB_TYPESAFE_BY_RCU

1
0
1
@ljs I am sure that it seemed like a good idea at the time. ;-)

But what trouble is it causing you this time?
2
0
3

@paulmckrcu ah! It's the smart maniac! ;)

It's really my own fault because without SLAB_TYPESAFE_BY_RCU the whole thing-I'm-trying-to-do wouldn't even be possible (concurrent teardown would break me and I want to just be under RCU at this point).

But as to the why well, still kinda mid-development, the anon_vma replacement where I've RCU'd so much that I'm now now as stabilised as I'd like :)

I'm sure there's something in your slides at kernel recipes about tradeoffs that might apply here... :P

Anyway (assuming) I'll see you at LSF and by then (hopefully) I'll have something to present and can discuss more? :)

1
0
1

Vlastimil Babka πŸ‡¨πŸ‡ΏπŸ‡ͺπŸ‡ΊπŸ‡ΊπŸ‡¦

@paulmckrcu @ljs I bet it's just a sadness that it's no longer called SLAB_DESTROY_BY_RCU which was not confusing at all!

2
0
1

@vbabka @paulmckrcu well I'm still sad about @david nacking MADV_POISON and MADV_REMEDY...

A lot of sadness on the old naming front unfortunately

1
0
1
@ljs "Smart maniac"? Why, that is the nicest thing anyone has said to me all week. I am touched! ;-)

I unfortunately must miss LSF/MM and a lot of upcoming events due to a quarter-century-delayed full-house remodel. I should be able to call into late-afternoon sessions, if that would help. Failing that, there is always the possibility of a separate VC. What works best for you?
2
0
2
@vbabka @paulmckrcu @ljs

IIRC Hugh was the maniac who invented it decades ago for anon_vma!
1
0
3

@paulmckrcu ah sorry to hear you're not coming! I suspect call in not going to work so well for discussion but I guess we'll see!

Separate VC maybe best but could cover in next mmap meeting I get to?

The problems I'm wrestling with in this work constantly shift, though to be honest they are all kinda lock-related...!

1
0
2
@ljs I will be at the next mmap meeting, so that works for me!
1
0
1

Harry (Hyeonggon) Yoo

Edited 28 days ago
@ljs @vbabka @paulmckrcu ...which was built on top of RCU, created by the smart manic one-ish more decade ago than that
1
0
3
@hyeyoo @ljs @vbabka Two smart maniacs, Jack Slingwine being the other back in the early 1990s. Dipankar Sarma is the smart maniac who got RCU into the Linux kernel in the early 2000s. I took over maintainership in about 2005 for the real-time project. ;-)
0
0
3

@paulmckrcu great! I am still rather in the 'confused and chaotic' stage of development.

I thought things might have stabilised a bit but it turns out this stuff is quite complicated, who knew??

Hopefully I get further by lsf otherwise I may have to wave my arms a bit :)

1
0
1
@ljs There is always the school of thought that says that if it is not confused and chaotic, that means that you are not trying hard enough. ;-)
1
0
2

@paulmckrcu oh yes, and I have a theory that the nature of attacking a problem is of going through a state of utter chaos and confusion, then gradual comfort (false usually) then some more, then back and forth until sanity gradually prevails and EUREKA!

But you have to battle through the chaotic bit to get there...

0
0
1
@paulmckrcu @ljs Weird ... I would think that a full-house model would be an *ideal* time to flee the country... :)
1
0
5
@corbet @ljs ;-) ;-) ;-)

It all depends on how deeply you care about the final state of your house. ;-)
0
0
1

Vlastimil Babka πŸ‡¨πŸ‡ΏπŸ‡ͺπŸ‡ΊπŸ‡ΊπŸ‡¦

@ljs @hyeyoo @paulmckrcu it's always the same thing, right? Vma related stuff invents the trickiest (not only) locking schemes. Glad Lorenzo is here to simplify it all!

0
0
2