lkml.org 
[lkml]   [1999]   [Nov]   [28]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: spin_unlock optimization(i386)

Hi Andrea,

In my opinion, 2 agents that write to the same location (current_state)
without any synchronisation can only mess up any kind of ordering that
applies to the view of all agents observing a single agent.

Btw, the lock after the double write from thread 2:

"movl $0,%0\n\t"
"movl $0,%1\n\t"
--> "lock; addl $0,(%%esp)\n\t" /* flush our write buffers*/

does not fix at all the disordering problem, IMO.

In my opinion, the only situation that could make sense is to lock for
the both writes to 'current_state'.

By the way, I never liked the sequence that consists in changing the
current->state and relying on some barrier to avoid race.

In my opinion, the only way to be obviously correct is to have the
whole sequence that tests the condition and that move the task to its wait
state actually protected.

Something that the following make sense to me:

LOCK(some_lock)
if (CONDITION is FALSE) then SLEEP(some_event, &some_lock)

And have SLEEP that first puts the TASK into some sleeping state on
'some_event' and _then_ unlock 'some_lock'.

(Some other well known constructs that use 'assert_wait' and friends also
make sense to me).

Sorry if I missed something, but the issue is perhaps so complex that my
brain also races. :-)

Gérard.

On Sun, 28 Nov 1999, Andrea Arcangeli wrote:

> On Sat, 27 Nov 1999, Gerard Roudier wrote:
>
> >By the way, I am not that impressed about the result:
> >
> >1) Either we use a lock prefix and latency in case of contention is
> > deterministic but the cost is about 20 cyles (the cache will be aware
> > of the STORE and will raise HITM if another CPU wants the data).
> >
> >2) Or we have to cross fingers for the CPU to drain the STORE out of
> > the write buffer fast enough, but the cost is just a couple of cycles.
>
> (2) is not an option as it's not a performance issue.
>
> The wait_event userspace simulation (from Manfred) shows that something
> gets definitely reordered by my double-PII. The CPU that waits for the
> event sees the writes in reversed order. It doesn't matter at all the
> delay of the writes. The two writes on the event CPU can also happen at
> the same time. Or both CPU (the `event' and the `wait' CPU) can try to
> write to the same location at the same time and if there's contention of
> the location it doesn't matter who wins as if there's contention it means
> the event-CPU just wrote the other variable (where there can't be
> contention as nobody else will write to it) and so our further read will
> tell us to skip the loop in first place because will see the ancient write
> of the event-CPU. The _only_ thing that matters is that the waiter must
> see the changes in order as expected by reading the trivial assembler
> supposing that the CPUs are not allowed to reoder/speculate anything. That
> doesn't happen and we need a lock on the bus to prevent the wait-CPU to
> speculate reads. So the current locking is necessary to prevent deadlocks
> and we are not wasting time (thus we are not broken ;).
>
> BTW, the lock on the bus after the two writes on the event-CPU is not
> necessary to exploit the SMP race (the race happens even if nobody in
> userspace runs a lock on the bus). I also noticed that putting the lock on
> the bus _between_ the two writes on the event-CPU prevents the deadlock
> too, but I believe that's only a side effect, I guess such a lock only
> incidentally prevents the wait-CPU to speculate reads as well.
>
> >Still joking :), if it is so it may work a lot better under NT than under
>
> If NT really assumes that an IA32-SMP system won't reorder instructions it
> can SMP race IMHO.
>
> Andrea



-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.rutgers.edu
Please read the FAQ at http://www.tux.org/lkml/

\
 
 \ /
  Last update: 2005-03-22 13:55    [W:1.874 / U:1.472 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site