lldb/test/API/tools/lldb-server/TestNonStop.py

   1 from lldbsuite.test.decorators import *
   2 from lldbsuite.test.lldbtest import *
   3
   4 import gdbremote_testcase
   5
   6
   7 class LldbGdbServerTestCase(gdbremote_testcase.GdbRemoteTestCaseBase):
   8     @skipIfWindows  # no SIGSEGV support
   9     @add_test_categories(["llgs"])
  10     def test_run(self):
  11         self.build()
  12         self.set_inferior_startup_launch()
  13         thread_num = 3
  14         procs = self.prep_debug_monitor_and_inferior(
  15             inferior_args=["thread:segfault"] + thread_num * ["thread:new"]
  16         )
  17         self.test_sequence.add_log_lines(
  18             [
  19                 "read packet: $QNonStop:1#00",
  20                 "send packet: $OK#00",
  21                 "read packet: $c#63",
  22                 "send packet: $OK#00",
  23             ],
  24             True,
  25         )
  26         self.expect_gdbremote_sequence()
  27
  28         segv_signo = lldbutil.get_signal_number("SIGSEGV")
  29         all_threads = set()
  30         all_segv_threads = []
  31
  32         # we should get segfaults from all the threads
  33         for segv_no in range(thread_num):
  34             # first wait for the notification event
  35             self.reset_test_sequence()
  36             self.test_sequence.add_log_lines(
  37                 [
  38                     {
  39                         "direction": "send",
  40                         "regex": r"^%Stop:(T([0-9a-fA-F]{2})thread:([0-9a-fA-F]+);)",
  41                         "capture": {1: "packet", 2: "signo", 3: "thread_id"},
  42                     },
  43                 ],
  44                 True,
  45             )
  46             m = self.expect_gdbremote_sequence()
  47             del m["O_content"]
  48             threads = [m]
  49
  50             # then we may get events for the remaining threads
  51             # (but note that not all threads may have been started yet)
  52             while True:
  53                 self.reset_test_sequence()
  54                 self.test_sequence.add_log_lines(
  55                     [
  56                         "read packet: $vStopped#00",
  57                         {
  58                             "direction": "send",
  59                             "regex": r"^\$(OK|T([0-9a-fA-F]{2})thread:([0-9a-fA-F]+);)",
  60                             "capture": {1: "packet", 2: "signo", 3: "thread_id"},
  61                         },
  62                     ],
  63                     True,
  64                 )
  65                 m = self.expect_gdbremote_sequence()
  66                 if m["packet"] == "OK":
  67                     break
  68                 del m["O_content"]
  69                 threads.append(m)
  70
  71             segv_threads = []
  72             other_threads = []
  73             for t in threads:
  74                 signo = int(t["signo"], 16)
  75                 if signo == segv_signo:
  76                     segv_threads.append(t["thread_id"])
  77                 else:
  78                     self.assertEqual(signo, 0)
  79                     other_threads.append(t["thread_id"])
  80
  81             # verify that exactly one thread segfaulted
  82             self.assertEqual(len(segv_threads), 1)
  83             # we should get only one segv from every thread
  84             self.assertNotIn(segv_threads[0], all_segv_threads)
  85             all_segv_threads.extend(segv_threads)
  86             # segv_threads + other_threads should always be a superset
  87             # of all_threads, i.e. we should get states for all threads
  88             # already started
  89             self.assertFalse(all_threads.difference(other_threads + segv_threads))
  90             all_threads.update(other_threads + segv_threads)
  91
  92             # verify that `?` returns the same result
  93             self.reset_test_sequence()
  94             self.test_sequence.add_log_lines(
  95                 [
  96                     "read packet: $?#00",
  97                 ],
  98                 True,
  99             )
 100             threads_verify = []
 101             while True:
 102                 self.test_sequence.add_log_lines(
 103                     [
 104                         {
 105                             "direction": "send",
 106                             "regex": r"^\$(OK|T([0-9a-fA-F]{2})thread:([0-9a-fA-F]+);)",
 107                             "capture": {1: "packet", 2: "signo", 3: "thread_id"},
 108                         },
 109                     ],
 110                     True,
 111                 )
 112                 m = self.expect_gdbremote_sequence()
 113                 if m["packet"] == "OK":
 114                     break
 115                 del m["O_content"]
 116                 threads_verify.append(m)
 117                 self.reset_test_sequence()
 118                 self.test_sequence.add_log_lines(
 119                     [
 120                         "read packet: $vStopped#00",
 121                     ],
 122                     True,
 123                 )
 124
 125             self.assertEqual(threads, threads_verify)
 126
 127             self.reset_test_sequence()
 128             self.test_sequence.add_log_lines(
 129                 [
 130                     "read packet: $vCont;C{:02x}:{};c#00".format(
 131                         segv_signo, segv_threads[0]
 132                     ),
 133                     "send packet: $OK#00",
 134                 ],
 135                 True,
 136             )
 137             self.expect_gdbremote_sequence()
 138
 139         # finally, verify that all threads have started
 140         self.assertEqual(len(all_threads), thread_num + 1)
 141
 142     @add_test_categories(["llgs"])
 143     def test_vCtrlC(self):
 144         self.build()
 145         self.set_inferior_startup_launch()
 146         procs = self.prep_debug_monitor_and_inferior(inferior_args=["thread:new"])
 147         self.test_sequence.add_log_lines(
 148             [
 149                 "read packet: $QNonStop:1#00",
 150                 "send packet: $OK#00",
 151                 "read packet: $c#63",
 152                 "send packet: $OK#00",
 153                 "read packet: $vCtrlC#00",
 154                 "send packet: $OK#00",
 155                 {
 156                     "direction": "send",
 157                     "regex": r"^%Stop:T",
 158                 },
 159             ],
 160             True,
 161         )
 162         self.expect_gdbremote_sequence()
 163
 164     @add_test_categories(["llgs"])
 165     def test_exit(self):
 166         self.build()
 167         self.set_inferior_startup_launch()
 168         procs = self.prep_debug_monitor_and_inferior()
 169         self.test_sequence.add_log_lines(
 170             [
 171                 "read packet: $QNonStop:1#00",
 172                 "send packet: $OK#00",
 173                 "read packet: $c#63",
 174                 "send packet: $OK#00",
 175                 "send packet: %Stop:W00#00",
 176                 "read packet: $vStopped#00",
 177                 "send packet: $OK#00",
 178             ],
 179             True,
 180         )
 181         self.expect_gdbremote_sequence()
 182
 183     @skipIfWindows  # no clue, the result makes zero sense
 184     @add_test_categories(["llgs"])
 185     def test_exit_query(self):
 186         self.build()
 187         self.set_inferior_startup_launch()
 188         procs = self.prep_debug_monitor_and_inferior()
 189         self.test_sequence.add_log_lines(
 190             [
 191                 "read packet: $QNonStop:1#00",
 192                 "send packet: $OK#00",
 193                 "read packet: $c#63",
 194                 "send packet: $OK#00",
 195                 "send packet: %Stop:W00#00",
 196                 "read packet: $?#00",
 197                 "send packet: $W00#00",
 198                 "read packet: $vStopped#00",
 199                 "send packet: $OK#00",
 200             ],
 201             True,
 202         )
 203         self.expect_gdbremote_sequence()
 204
 205     def multiple_resume_test(self, second_command):
 206         self.build()
 207         self.set_inferior_startup_launch()
 208         procs = self.prep_debug_monitor_and_inferior(inferior_args=["sleep:15"])
 209         self.test_sequence.add_log_lines(
 210             [
 211                 "read packet: $QNonStop:1#00",
 212                 "send packet: $OK#00",
 213                 "read packet: $c#63",
 214                 "send packet: $OK#00",
 215                 "read packet: ${}#00".format(second_command),
 216                 "send packet: $E37#00",
 217             ],
 218             True,
 219         )
 220         self.expect_gdbremote_sequence()
 221
 222     @add_test_categories(["llgs"])
 223     def test_multiple_C(self):
 224         self.multiple_resume_test("C05")
 225
 226     @add_test_categories(["llgs"])
 227     def test_multiple_c(self):
 228         self.multiple_resume_test("c")
 229
 230     @add_test_categories(["llgs"])
 231     def test_multiple_s(self):
 232         self.multiple_resume_test("s")
 233
 234     @skipIfWindows
 235     @add_test_categories(["llgs"])
 236     def test_multiple_vCont(self):
 237         self.build()
 238         self.set_inferior_startup_launch()
 239         procs = self.prep_debug_monitor_and_inferior(
 240             inferior_args=["thread:new", "stop", "sleep:15"]
 241         )
 242         self.test_sequence.add_log_lines(
 243             [
 244                 "read packet: $QNonStop:1#00",
 245                 "send packet: $OK#00",
 246                 "read packet: $c#63",
 247                 "send packet: $OK#00",
 248                 {
 249                     "direction": "send",
 250                     "regex": r"^%Stop:T[0-9a-fA-F]{2}thread:([0-9a-fA-F]+);",
 251                     "capture": {1: "tid1"},
 252                 },
 253                 "read packet: $vStopped#63",
 254                 {
 255                     "direction": "send",
 256                     "regex": r"^[$]T[0-9a-fA-F]{2}thread:([0-9a-fA-F]+);",
 257                     "capture": {1: "tid2"},
 258                 },
 259                 "read packet: $vStopped#63",
 260                 "send packet: $OK#00",
 261             ],
 262             True,
 263         )
 264         ret = self.expect_gdbremote_sequence()
 265
 266         self.reset_test_sequence()
 267         self.test_sequence.add_log_lines(
 268             [
 269                 "read packet: $vCont;c:{}#00".format(ret["tid1"]),
 270                 "send packet: $OK#00",
 271                 "read packet: $vCont;c:{}#00".format(ret["tid2"]),
 272                 "send packet: $E37#00",
 273             ],
 274             True,
 275         )
 276         self.expect_gdbremote_sequence()
 277
 278     @add_test_categories(["llgs"])
 279     def test_vCont_then_stop(self):
 280         self.build()
 281         self.set_inferior_startup_launch()
 282         procs = self.prep_debug_monitor_and_inferior(inferior_args=["sleep:15"])
 283         self.test_sequence.add_log_lines(
 284             [
 285                 "read packet: $QNonStop:1#00",
 286                 "send packet: $OK#00",
 287                 "read packet: $c#63",
 288                 "send packet: $OK#00",
 289                 "read packet: $vCont;t#00",
 290                 "send packet: $OK#00",
 291             ],
 292             True,
 293         )
 294         self.expect_gdbremote_sequence()
 295
 296     def vCont_then_partial_stop_test(self, run_both):
 297         self.build()
 298         self.set_inferior_startup_launch()
 299         procs = self.prep_debug_monitor_and_inferior(
 300             inferior_args=["thread:new", "stop", "sleep:15"]
 301         )
 302         self.test_sequence.add_log_lines(
 303             [
 304                 "read packet: $QNonStop:1#00",
 305                 "send packet: $OK#00",
 306                 "read packet: $c#63",
 307                 "send packet: $OK#00",
 308                 {
 309                     "direction": "send",
 310                     "regex": r"^%Stop:T[0-9a-fA-F]{2}thread:([0-9a-fA-F]+);",
 311                     "capture": {1: "tid1"},
 312                 },
 313                 "read packet: $vStopped#63",
 314                 {
 315                     "direction": "send",
 316                     "regex": r"^[$]T[0-9a-fA-F]{2}thread:([0-9a-fA-F]+);",
 317                     "capture": {1: "tid2"},
 318                 },
 319                 "read packet: $vStopped#63",
 320                 "send packet: $OK#00",
 321             ],
 322             True,
 323         )
 324         ret = self.expect_gdbremote_sequence()
 325
 326         self.reset_test_sequence()
 327         if run_both:
 328             self.test_sequence.add_log_lines(
 329                 [
 330                     "read packet: $vCont;c#00",
 331                 ],
 332                 True,
 333             )
 334         else:
 335             self.test_sequence.add_log_lines(
 336                 [
 337                     "read packet: $vCont;c:{}#00".format(ret["tid1"]),
 338                 ],
 339                 True,
 340             )
 341         self.test_sequence.add_log_lines(
 342             [
 343                 "send packet: $OK#00",
 344                 "read packet: $vCont;t:{}#00".format(ret["tid2"]),
 345                 "send packet: $E03#00",
 346             ],
 347             True,
 348         )
 349         self.expect_gdbremote_sequence()
 350
 351     @skipIfWindows
 352     @add_test_categories(["llgs"])
 353     def test_vCont_then_partial_stop(self):
 354         self.vCont_then_partial_stop_test(False)
 355
 356     @skipIfWindows
 357     @add_test_categories(["llgs"])
 358     def test_vCont_then_partial_stop_run_both(self):
 359         self.vCont_then_partial_stop_test(True)
 360
 361     @skipIfWindows
 362     @add_test_categories(["llgs"])
 363     def test_stdio(self):
 364         self.build()
 365         self.set_inferior_startup_launch()
 366         # Since we can't easily ensure that lldb will send output in two parts,
 367         # just put a stop in the middle.  Since we don't clear vStdio,
 368         # the second message won't be delivered immediately.
 369         self.prep_debug_monitor_and_inferior(
 370             inferior_args=["message 1", "stop", "message 2"]
 371         )
 372         self.test_sequence.add_log_lines(
 373             [
 374                 "read packet: $QNonStop:1#00",
 375                 "send packet: $OK#00",
 376                 "read packet: $c#63",
 377                 "send packet: $OK#00",
 378                 {"direction": "send", "regex": r"^%Stop:T.*"},
 379                 "read packet: $vStopped#00",
 380                 "send packet: $OK#00",
 381                 "read packet: $c#63",
 382                 "send packet: $OK#00",
 383                 "send packet: %Stop:W00#00",
 384             ],
 385             True,
 386         )
 387         ret = self.expect_gdbremote_sequence()
 388
 389         # We know there will be at least two messages, but there may be more.
 390         # Loop until we have everything. The first message waiting for us in the
 391         # packet queue.
 392         count = 1
 393         output = self._server.get_raw_output_packet()
 394         while not (b"message 2\r\n" in output):
 395             self._server.send_packet(b"vStdio")
 396             output += self._server.get_raw_output_packet()
 397             count += 1
 398         self.assertGreaterEqual(count, 2)
 399
 400         self.reset_test_sequence()
 401         self.test_sequence.add_log_lines(
 402             [
 403                 "read packet: $vStdio#00",
 404                 "send packet: $OK#00",
 405                 "read packet: $vStopped#00",
 406                 "send packet: $OK#00",
 407             ],
 408             True,
 409         )
 410         self.expect_gdbremote_sequence()
 411
 412     @skipIfWindows
 413     @add_test_categories(["llgs"])
 414     def test_stop_reason_while_running(self):
 415         self.build()
 416         self.set_inferior_startup_launch()
 417         procs = self.prep_debug_monitor_and_inferior(
 418             inferior_args=["thread:new", "thread:new", "stop", "sleep:15"]
 419         )
 420         self.test_sequence.add_log_lines(
 421             [
 422                 "read packet: $QNonStop:1#00",
 423                 "send packet: $OK#00",
 424                 # stop is used to synchronize starting threads
 425                 "read packet: $c#63",
 426                 "send packet: $OK#00",
 427                 {"direction": "send", "regex": "%Stop:T.*"},
 428                 "read packet: $c#63",
 429                 "send packet: $OK#00",
 430                 "read packet: $?#00",
 431                 "send packet: $OK#00",
 432             ],
 433             True,
 434         )
 435         self.expect_gdbremote_sequence()
 436
 437     @skipIfWindows
 438     @add_test_categories(["llgs"])
 439     def test_leave_nonstop(self):
 440         self.build()
 441         self.set_inferior_startup_launch()
 442         procs = self.prep_debug_monitor_and_inferior(
 443             inferior_args=["thread:new", "thread:new", "stop", "sleep:15"]
 444         )
 445         self.test_sequence.add_log_lines(
 446             [
 447                 "read packet: $QNonStop:1#00",
 448                 "send packet: $OK#00",
 449                 # stop is used to synchronize starting threads
 450                 "read packet: $c#63",
 451                 "send packet: $OK#00",
 452                 {"direction": "send", "regex": "%Stop:T.*"},
 453                 "read packet: $c#63",
 454                 "send packet: $OK#00",
 455                 # verify that the threads are running now
 456                 "read packet: $?#00",
 457                 "send packet: $OK#00",
 458                 "read packet: $QNonStop:0#00",
 459                 "send packet: $OK#00",
 460                 # we should issue some random request now to verify that the stub
 461                 # did not send stop reasons -- we may verify whether notification
 462                 # queue was cleared while at it
 463                 "read packet: $vStopped#00",
 464                 "send packet: $Eff#00",
 465                 "read packet: $?#00",
 466                 {"direction": "send", "regex": "[$]T.*"},
 467             ],
 468             True,
 469         )
 470         self.expect_gdbremote_sequence()