Back to home page

LXR

 
 

    


Warning, /testsuites/tmtests/tmfine01/tmfine01.scn is written in an unsupported language. File is not indexed.

0001 
0002  SIS - SPARC/RISCV instruction simulator 2.30,  copyright Jiri Gaisler 2020
0003  Bug-reports to jiri@gaisler.se
0004 
0005  GR740/LEON4 emulation enabled, 4 cpus online, delta 50 clocks
0006 
0007  Loaded build/sparc/gr740/testsuites/tmtests/tmfine01.exe, entry 0x00000000
0008 
0009 
0010 *** BEGIN OF TEST TMFINE 1 ***
0011 *** TEST VERSION: 6.0.0.4bca4100fc4f184b6638165675095808f109546a
0012 *** TEST STATE: EXPECTED_PASS
0013 *** TEST BUILD: RTEMS_SMP
0014 *** TEST TOOLS: 13.2.0 20230727 (RTEMS 6, RSB d3d738c35a71ca05f675b188539225099401ac79, Newlib a021448)
0015 *** BEGIN OF JSON DATA ***
0016 [
0017   {
0018     "type": "event",
0019     "description": "Send Event to Self",
0020     "counter": [
0021       [172991],
0022       [173266, 168815],
0023       [173282, 168785, 168831],
0024       [173276, 168779, 168779, 172240]
0025     ]
0026   }, {
0027     "type": "event",
0028     "description": "Send Event to One",
0029     "counter": [
0030       [172666],
0031       [172666, 320222],
0032       [172682, 304636, 304639],
0033       [172676, 304626, 320241, 312574]
0034     ]
0035   }, {
0036     "type": "contested-mutex",
0037     "description": "Obtain/Release Contested Classic Inheritance Mutex",
0038     "counter": [
0039       [159961],
0040       [12149, 12148],
0041       [7529, 7529, 7528],
0042       [5671, 5671, 5671, 5670]
0043     ]
0044   }, {
0045     "type": "message",
0046     "description": "Send Message to Self",
0047     "counter": [
0048       [94498],
0049       [94506, 94612],
0050       [94516, 94622, 94622],
0051       [94513, 94620, 94619, 94615]
0052     ]
0053   }, {
0054     "type": "message",
0055     "description": "Send Message to One Receiver",
0056     "counter": [
0057       [94155],
0058       [105077, 210425],
0059       [91113, 182522, 182535],
0060       [74015, 148307, 148308, 148292]
0061     ]
0062   }, {
0063     "type": "private-mutex",
0064     "description": "Obtain/Release Private Pthread Spinlock",
0065     "counter": [
0066       [648144],
0067       [648120, 648744],
0068       [648207, 648831, 648831],
0069       [648183, 648808, 648808, 648779]
0070     ]
0071   }, {
0072     "type": "private-mutex",
0073     "description": "Obtain/Release Private <sys/lock.h> Mutex",
0074     "counter": [
0075       [317884],
0076       [317869, 318174],
0077       [317912, 318217, 318217],
0078       [317901, 318206, 318206, 318193]
0079     ]
0080   }, {
0081     "type": "private-mutex",
0082     "description": "Obtain/Release Private Pthread Inheritance Mutex",
0083     "counter": [
0084       [219857],
0085       [219843, 220056],
0086       [219877, 220089, 220089],
0087       [219868, 220080, 220081, 220066]
0088     ]
0089   }, {
0090     "type": "private-mutex",
0091     "description": "Obtain/Release Private Classic Inheritance Mutex",
0092     "counter": [
0093       [159957],
0094       [159867, 160095],
0095       [159923, 160107, 160107],
0096       [159941, 160133, 160078, 160075]
0097     ]
0098   }, {
0099     "type": "private-mutex",
0100     "description": "Obtain/Release Private Pthread Ceiling Mutex",
0101     "counter": [
0102       [28740],
0103       [27948, 27993],
0104       [26941, 26973, 26973],
0105       [21414, 21439, 21439, 21439]
0106     ]
0107   }, {
0108     "type": "private-mutex",
0109     "description": "Obtain/Release Private Classic Ceiling Mutex",
0110     "counter": [
0111       [27399],
0112       [26819, 26841],
0113       [26253, 26282, 26282],
0114       [21187, 21215, 21214, 21214]
0115     ]
0116   }, {
0117     "type": "private-mutex",
0118     "description": "Obtain/Release Private Classic MrsP Mutex",
0119     "counter": [
0120       [26696],
0121       [26074, 26074],
0122       [24738, 24770, 24769],
0123       [18947, 18970, 18970, 18968]
0124     ]
0125   }
0126 ]
0127 *** END OF JSON DATA ***
0128 
0129 *** END OF TEST TMFINE 1 ***
0130 
0131 cpu 1 in error mode (tt = 0x80)
0132  2400642150  0000d760:  91d02000   ta  0x0