[Kos-dev] "Race condition" 1

[Thomas Petazzoni]

This is an OpenPGP/MIME signed message (RFC 2440 and 3156)
--------------enigE26E8443705F1B7C0FE4A9BA
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit

Hello,

> CQFD ! Conclusion, il faut appeler delete_kernel_thread avant le iret
> dans les handlers d'interruption => dans
> reschedule_after_interrupt(). On le fait deja a chq chgt de contexte
> "manuel" (cpl0_switch_with_return), donc y'a pas besoin d'en rajouter
> d'autres en dehors de celui dans reschedule_after_interrupt()..

J'ai bien compris le problème, on a analysé exactement la même chose ;-)

Et pourquoi ma première solution qui consistait à supprimer le thread
dans cpl0_switch_no_return_internal juste après le changement de pile
n'est pas valide ?

Thomas
-- 
PETAZZONI Thomas - thomas DOT petazzoni AT enix DOT org - UIN : 34937744
Web: http://www.enix.org/~thomas/
KOS: http://kos.enix.org/ - Lolut: http://lolut.utbm.info
Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E  1624 F653 CB30 98D3 F7A7

--------------enigE26E8443705F1B7C0FE4A9BA
Content-Type: application/pgp-signature

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.1 (MingW32)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQE+1Kj99lPLMJjT96cRAiadAKC6XtMkCawp4/JnOdkaGS4HKEzRdgCgr9on
eTiOmoJvOQ7wVdp7W/pBV9M=
=1VIN
-----END PGP SIGNATURE-----

--------------enigE26E8443705F1B7C0FE4A9BA--