[lkml]   [2006]   [Feb]   [11]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
Messages in this thread
SubjectRe: [RFC][PATCH 04/20] pspace: Allow multiple instaces of the process id namespace
Kirill Korotaev <> writes:

> [ ... skipped .... ]
>> @@ -788,6 +801,16 @@ fastcall NORET_TYPE void do_exit(long co
>> panic("Attempted to kill the idle task!");
>> if (unlikely(is_init(tsk)))
>> panic("Attempted to kill init!");
>> +
>> + /*
>> + * If we are the pspace leader it is nonsense for the pspace
>> + * to continue so kill everyone else in the pspace.
>> + */
>> + if (pspace_leader(tsk)) {
>> + tsk->pspace->flags = PSPACE_EXIT;
>> + kill_pspace_info(SIGKILL, (void *)1, tsk->pspace);
>> + }
>> +
> <<<<
> 1.
> flags are neither atomic nor protected with any lock.

flags are atomic as they are a machine word. So they do not
require a read/modify write so they will either be written
or not written. Plus this allows write-sharing of the appropriate
cache line which is very polite (assuming the line is not shared with
something else)

I do need a big fat comment about this though.

There is serialization as there is only one process that can write
to this value from exactly one spot.

> So if it will be used later for something else in future, there will be 100%
> race. You also assigns them here, while everywhere in other places a bit is
> checked.

Agreed. I need to change the name to something like state and stop doing
bit tests. To make this clear.

> 2. due to 1) you code is buggy. in this respect do_exit() is not serialized with
> copy_process().

Yes. I may need a memory barrier in there. I need to think
about that a little more.

> 3. due to the same 1) reason
> > + kill_pspace_info(SIGKILL, (void *)1, tsk->pspace);
> can miss a task being forked. Bang!!!

Well the only bad thing that can happen is that I get a process that
can run and observe pid == 1 has exited. So Bang!! is not too

For an initial implementation that is not yet ready for kernel
inclusion, and was posted to show the form I expect my patches
to take that wasn't too bad.

> 4.
> So you are effectively inserting a code for cleaning up pspace here and the same
> is actually required for other subsystems like networking/IPC etc.

So the SIGKILL is not about pspace clean up so much as making it
impossible to observe a state where pid == 1 is not running.

> I think you suppose that other resources are freed when the last reference is
> dropped, but to tell the truth this is a way to deadlocks. Because refs are put
> in too many places, where you can't make a real cleanup due to locking etc. You
> can't for example call syncronize_net() from bh, which is required for network
> cleanup.

Yes references counts can work, and do so regularly in the kernel.
Work queues will put you in a process context trivially, so being
dropping the last ref from an irq handler and then needed process
context to do the cleanup is not a problem.

> Just an another argument why containers are easier/better and why you will
> eventually end up with it.

Does not follow.

Kirill you are not making all of your reasoning explicit and making
mistakes in the gaps.

The steps you are making seem to be.
containers are simpler.
simpler means easier to get correct.
bugs will happen.
therefore you will use the simpler solution.

The above reasoning seems to assume that containers are not prone
to the same reference counting bugs as namespaces. Given that
we are solving the same problem in similar problems this seems

In addition the rejection of the basic container approach is largely
based upon lack of flexibility. No amount of additional simplicity
can make up for not meeting real world requirements.

Kirill there may be a case where your container concept performs
beautifully and simplifies the problem, but I have looked and I
have not seen it.

To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to
More majordomo info at
Please read the FAQ at

 \ /
  Last update: 2006-02-11 13:06    [W:0.214 / U:1.244 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site