freepascal.ru

Linux - это замечательное средство выпалывать баги с критическими секциями.
Вы можете думать, что ваш код без багов, и он даже может работать - а под капотом у вас может твориться страшная п0рнография, и WinAPI просто говорит: ":okay: и не такие ужасы видали"
Собираем тот же код под линуксами, запускаем - ииии, surprise buttsecks!

На моём конкретном примере: выходил из критической секции дважды. Винда: чё-чё?.. Не, не слышали. Линуксятина: ХРЯП! EInOutError

Кроме того, wine под линуксом - более общее средство править радиус кривизны в работе с WinAPI в целом. Там, где винда морщится, но глотает, вайн блюётЪ от вашего говнокода (тоже на своей шкуре выучено).

>выходил из критической секции дважды. Винда: чё-чё?..
Слой Locks в Application Verifier предназначен как раз для этого. Ещё можно завернуть их во что-нибудь своё и запоминать/проверять ID потока, который держит блокировку. (В структуре CRITICAL_SECTION, а за ней и TRTLCriticalSection, такое поле, OwningThread, уже есть.)

Код: Выделить всё

procedure Lock.Leave;
begin
{$ifdef WINDOWS} Assert(ThreadID = cs.OwningThread); {$endif}
   LeaveCriticalSection(cs);
end;

function Lock.HeldAssert: boolean;
begin
   result := {$ifdef WINDOWS} ThreadID = cs.OwningThread {$else} true {$endif};
end;

// предусловие: захвачена LockA.
procedure Foo;
begin
   Assert(LockA.HeldAssert);
   LockB.Enter;
   ...
   LockB.Leave;
end;


Тестировать программу на всех доступных системах и всех доступных виджесетах - хорошо. не только критические секции а вообще всё. Помогает найти множество проблем

Согласен. Разница ощущается даже на вроде бы очевидных и тривиальных вещах.

тема доказывает, что кроссплатформенное программирование это миф

скалогрыз писал(а):тема доказывает, что кроссплатформенное программирование это миф

Вообще-то я доказываю как раз обратное!