複数のスレッドが 1 つのミューテックスのロックをしようとしているとき、スレッドがロックをロックを得る保証はありません。これは、他のすれっどがロックを得るために待機する間、スレッドがミューテックスをアンロックして再びロックすることが可能なことを意味します。

Lock コマンドは現在のスレッドの識別子 mutexId を持つミューテックスをロックします。 mutexId を持つスレッドがロックしているものがないとき、Lock をすぐに行います。スレッドが既にロックされているときは、 Lock はミューテックスがアンロックされるまで待機します。Lock は現在のスレッドに対してロックすることを試みます。

ロックされているミューテックスを開放するためには、Unlock コマンドを使います。

複数のスレッドは 1 つのミューテックスをロックしようとするとき、

ミューテックスの使い方について詳しくは Mutex を参照ください。

p := proc( m )
    global count;
    print( count );
    count := count+1;
end proc;

      p := proc(m) global count; print(count); count := count + 1 end proc

count := 1;

                                   count := 1

Threads:-Wait( seq( Threads:-Create( p(m) ), i=1..10 ) );

                                       1

                                       2

                                       3

                                       4

                                       5

                                       6

                                       6

                                       8

                                       8

                                       10

p := proc( m )
    global count;
    Threads:-Mutex:-Lock( m );
    print( count );
    count := count+1;
   
    Threads:-Mutex:-Unlock( m );
end proc;

p := proc(m)
global count;
    Threads:-Mutex:-Lock(m);
    print(count);
    count := count + 1;
    Threads:-Mutex:-Unlock(m)
end proc

count := 1;

                                   count := 1

m := Threads:-Mutex:-Create();

                                     m := 1

Threads:-Wait( seq( Threads:-Create( p(m) ), i=1..10 ) ):

                                       1

                                       2

                                       3

                                       4

                                       5

                                       6

                                       7

                                       8

                                       9

                                       10

Threads:-Mutex:-Destroy( m );