github.com/DARA-Project/GoDist-Scheduler@v0.0.0-20201030134746-668de4acea0d/examples/ProducerConsumerInstrument/Shiviz_logs (about)

     1  (?<host>\S*) (?<clock>{.*})\n(?<event>.*)
     2  
     3  PID-1-G-1-main.main {"PID-1-G-1-main.main":1}
     4  INIT
     5  PID-1-G-1-main.main {"PID-1-G-1-main.main":2}
     6  SCHEDULE GoID 1 Status running
     7  PID-1-G-4-main.(*Producer).produce {"PID-1-G-4-main.(*Producer).produce":1}
     8  THREAD GoID 4 Status runnable
     9  PID-1-G-5-main.(*Consumer).consume {"PID-1-G-5-main.(*Consumer).consume":1}
    10  THREAD GoID 5 Status runnable; Coverage: ../examples/ProducerConsumerInstrument/ProducerConsumerInstrument.go:19:21 - 1,../examples/ProducerConsumerInstrument/ProducerConsumerInstrument.go:42:103 - 1,../examples/ProducerConsumerInstrument/ProducerConsumerInstrument.go:61:103 - 1,../examples/ProducerConsumerInstrument/ProducerConsumerInstrument.go:91:105 - 1; PropFailures: Property Failures:0
    11  PID-1-G-1-main.main {"PID-1-G-1-main.main":3}
    12  Switching routines
    13  PID-1-G-5-main.(*Consumer).consume {"PID-1-G-5-main.(*Consumer).consume":2, "PID-1-G-1-main.main":3}
    14  SCHEDULE GoID 5 Status runnable
    15  PID-1-G-5-main.(*Consumer).consume {"PID-1-G-5-main.(*Consumer).consume":3, "PID-1-G-1-main.main":3}
    16  SYSCALL LOCK
    17  PID-1-G-5-main.(*Consumer).consume {"PID-1-G-5-main.(*Consumer).consume":4, "PID-1-G-1-main.main":3}
    18  SYSCALL UNLOCK
    19  PID-1-G-5-main.(*Consumer).consume {"PID-1-G-5-main.(*Consumer).consume":5, "PID-1-G-1-main.main":3}
    20  SYSCALL LOCK
    21  PID-1-G-5-main.(*Consumer).consume {"PID-1-G-1-main.main":3, "PID-1-G-5-main.(*Consumer).consume":6}
    22  SYSCALL UNLOCK
    23  PID-1-G-5-main.(*Consumer).consume {"PID-1-G-5-main.(*Consumer).consume":7, "PID-1-G-1-main.main":3}
    24  SYSCALL LOCK
    25  PID-1-G-5-main.(*Consumer).consume {"PID-1-G-5-main.(*Consumer).consume":8, "PID-1-G-1-main.main":3}
    26  SYSCALL UNLOCK
    27  PID-1-G-5-main.(*Consumer).consume {"PID-1-G-5-main.(*Consumer).consume":9, "PID-1-G-1-main.main":3}
    28  SYSCALL WRITE; Coverage: ../examples/ProducerConsumerInstrument/ProducerConsumerInstrument.go:25:275 - 1,../examples/ProducerConsumerInstrument/ProducerConsumerInstrument.go:28:103 - 1; PropFailures: Property Failures:0
    29  PID-1-G-5-main.(*Consumer).consume {"PID-1-G-5-main.(*Consumer).consume":10, "PID-1-G-1-main.main":3}
    30  Switching routines
    31  PID-1-G-3-runtime.createfing {"PID-1-G-3-runtime.createfing":1, "PID-1-G-5-main.(*Consumer).consume":10, "PID-1-G-1-main.main":3}
    32  SCHEDULE GoID 3 Status runnable; PropFailures: Property Failures:0
    33  PID-1-G-3-runtime.createfing {"PID-1-G-3-runtime.createfing":2, "PID-1-G-5-main.(*Consumer).consume":10, "PID-1-G-1-main.main":3}
    34  Switching routines
    35  PID-1-G-4-main.(*Producer).produce {"PID-1-G-5-main.(*Consumer).consume":10, "PID-1-G-1-main.main":3, "PID-1-G-4-main.(*Producer).produce":2, "PID-1-G-3-runtime.createfing":2}
    36  SCHEDULE GoID 4 Status runnable
    37  PID-1-G-4-main.(*Producer).produce {"PID-1-G-4-main.(*Producer).produce":3, "PID-1-G-3-runtime.createfing":2, "PID-1-G-5-main.(*Consumer).consume":10, "PID-1-G-1-main.main":3}
    38  SYSCALL WRITE
    39  PID-1-G-4-main.(*Producer).produce {"PID-1-G-4-main.(*Producer).produce":4, "PID-1-G-3-runtime.createfing":2, "PID-1-G-5-main.(*Consumer).consume":10, "PID-1-G-1-main.main":3}
    40  SYSCALL WRITE
    41  PID-1-G-4-main.(*Producer).produce {"PID-1-G-4-main.(*Producer).produce":5, "PID-1-G-3-runtime.createfing":2, "PID-1-G-5-main.(*Consumer).consume":10, "PID-1-G-1-main.main":3}
    42  SYSCALL WRITE; Coverage: ../examples/ProducerConsumerInstrument/ProducerConsumerInstrument.go:48:103 - 1,../examples/ProducerConsumerInstrument/ProducerConsumerInstrument.go:51:103 - 2; PropFailures: Property Failures:0
    43  PID-1-G-4-main.(*Producer).produce {"PID-1-G-4-main.(*Producer).produce":6, "PID-1-G-3-runtime.createfing":2, "PID-1-G-5-main.(*Consumer).consume":10, "PID-1-G-1-main.main":3}
    44  Switching routines
    45  PID-1-G-5-main.(*Consumer).consume {"PID-1-G-5-main.(*Consumer).consume":11, "PID-1-G-1-main.main":3, "PID-1-G-4-main.(*Producer).produce":6, "PID-1-G-3-runtime.createfing":2}
    46  SCHEDULE GoID 5 Status runnable
    47  PID-1-G-5-main.(*Consumer).consume {"PID-1-G-5-main.(*Consumer).consume":12, "PID-1-G-1-main.main":3, "PID-1-G-4-main.(*Producer).produce":6, "PID-1-G-3-runtime.createfing":2}
    48  SYSCALL WRITE
    49  PID-1-G-5-main.(*Consumer).consume {"PID-1-G-5-main.(*Consumer).consume":13, "PID-1-G-1-main.main":3, "PID-1-G-4-main.(*Producer).produce":6, "PID-1-G-3-runtime.createfing":2}
    50  SYSCALL WRITE; Coverage: ../examples/ProducerConsumerInstrument/ProducerConsumerInstrument.go:28:103 - 2; PropFailures: Property Failures:0
    51  PID-1-G-5-main.(*Consumer).consume {"PID-1-G-5-main.(*Consumer).consume":14, "PID-1-G-1-main.main":3, "PID-1-G-4-main.(*Producer).produce":6, "PID-1-G-3-runtime.createfing":2}
    52  Switching routines
    53  PID-1-G-4-main.(*Producer).produce {"PID-1-G-1-main.main":3, "PID-1-G-4-main.(*Producer).produce":7, "PID-1-G-3-runtime.createfing":2, "PID-1-G-5-main.(*Consumer).consume":14}
    54  SCHEDULE GoID 4 Status runnable
    55  PID-1-G-4-main.(*Producer).produce {"PID-1-G-4-main.(*Producer).produce":8, "PID-1-G-3-runtime.createfing":2, "PID-1-G-5-main.(*Consumer).consume":14, "PID-1-G-1-main.main":3}
    56  SYSCALL WRITE
    57  PID-1-G-4-main.(*Producer).produce {"PID-1-G-3-runtime.createfing":2, "PID-1-G-5-main.(*Consumer).consume":14, "PID-1-G-1-main.main":3, "PID-1-G-4-main.(*Producer).produce":9}
    58  SYSCALL WRITE; Coverage: ../examples/ProducerConsumerInstrument/ProducerConsumerInstrument.go:51:103 - 2; PropFailures: Property Failures:0
    59  PID-1-G-4-main.(*Producer).produce {"PID-1-G-3-runtime.createfing":2, "PID-1-G-5-main.(*Consumer).consume":14, "PID-1-G-1-main.main":3, "PID-1-G-4-main.(*Producer).produce":10}
    60  Switching routines
    61  PID-1-G-5-main.(*Consumer).consume {"PID-1-G-5-main.(*Consumer).consume":15, "PID-1-G-1-main.main":3, "PID-1-G-4-main.(*Producer).produce":10, "PID-1-G-3-runtime.createfing":2}
    62  SCHEDULE GoID 5 Status runnable
    63  PID-1-G-5-main.(*Consumer).consume {"PID-1-G-5-main.(*Consumer).consume":16, "PID-1-G-1-main.main":3, "PID-1-G-4-main.(*Producer).produce":10, "PID-1-G-3-runtime.createfing":2}
    64  SYSCALL WRITE
    65  PID-1-G-5-main.(*Consumer).consume {"PID-1-G-1-main.main":3, "PID-1-G-4-main.(*Producer).produce":10, "PID-1-G-3-runtime.createfing":2, "PID-1-G-5-main.(*Consumer).consume":17}
    66  SYSCALL WRITE; Coverage: ../examples/ProducerConsumerInstrument/ProducerConsumerInstrument.go:28:103 - 2; PropFailures: Property Failures:0
    67  PID-1-G-5-main.(*Consumer).consume {"PID-1-G-1-main.main":3, "PID-1-G-4-main.(*Producer).produce":10, "PID-1-G-3-runtime.createfing":2, "PID-1-G-5-main.(*Consumer).consume":18}
    68  Switching routines
    69  PID-1-G-4-main.(*Producer).produce {"PID-1-G-4-main.(*Producer).produce":11, "PID-1-G-3-runtime.createfing":2, "PID-1-G-5-main.(*Consumer).consume":18, "PID-1-G-1-main.main":3}
    70  SCHEDULE GoID 4 Status runnable
    71  PID-1-G-4-main.(*Producer).produce {"PID-1-G-5-main.(*Consumer).consume":18, "PID-1-G-1-main.main":3, "PID-1-G-4-main.(*Producer).produce":12, "PID-1-G-3-runtime.createfing":2}
    72  SYSCALL WRITE
    73  PID-1-G-4-main.(*Producer).produce {"PID-1-G-4-main.(*Producer).produce":13, "PID-1-G-3-runtime.createfing":2, "PID-1-G-5-main.(*Consumer).consume":18, "PID-1-G-1-main.main":3}
    74  SYSCALL WRITE; Coverage: ../examples/ProducerConsumerInstrument/ProducerConsumerInstrument.go:51:103 - 1,../examples/ProducerConsumerInstrument/ProducerConsumerInstrument.go:55:553 - 1; PropFailures: Property Failures:0
    75  PID-1-G-4-main.(*Producer).produce {"PID-1-G-3-runtime.createfing":2, "PID-1-G-5-main.(*Consumer).consume":18, "PID-1-G-1-main.main":3, "PID-1-G-4-main.(*Producer).produce":14}
    76  Switching routines
    77  PID-1-G-1-main.main {"PID-1-G-1-main.main":4, "PID-1-G-4-main.(*Producer).produce":14, "PID-1-G-3-runtime.createfing":2, "PID-1-G-5-main.(*Consumer).consume":18}
    78  SCHEDULE GoID 1 Status runnable
    79  PID-1-G-1-main.main {"PID-1-G-4-main.(*Producer).produce":14, "PID-1-G-3-runtime.createfing":2, "PID-1-G-5-main.(*Consumer).consume":18, "PID-1-G-1-main.main":5}
    80  LOG
    81  PID-1-G-1-main.main {"PID-1-G-3-runtime.createfing":2, "PID-1-G-5-main.(*Consumer).consume":18, "PID-1-G-1-main.main":6, "PID-1-G-4-main.(*Producer).produce":14}
    82  END; Coverage: ../examples/ProducerConsumerInstrument/ProducerConsumerInstrument.go:121:119 - 1; PropFailures: Property Failures:1: Equality map[main.leftElements:1]