GDBPortlib.st
changeset 302 fdfe1a981363
parent 295 4e7365cece13
child 309 f2481d09d58e
--- a/GDBPortlib.st	Fri Aug 18 14:10:59 2023 +0100
+++ b/GDBPortlib.st	Fri Aug 18 14:25:54 2023 +0100
@@ -146,6 +146,20 @@
     ^ NonPositionableExternalStream makePipe
 ! !
 
+!GDBPortlib methodsFor:'synchronization'!
+
+newMutex
+    ^ Semaphore forMutualExclusion
+
+    "Created: / 18-08-2023 / 14:17:36 / Jan Vrany <jan.vrany@labware.com>"
+!
+
+newSemaphore
+    ^ Semaphore new
+
+    "Created: / 18-08-2023 / 14:16:31 / Jan Vrany <jan.vrany@labware.com>"
+! !
+
 !GDBPortlib methodsFor:'user interface'!
 
 newCLI: aGDBDebugger