ST: Refine tools and CMakeLists.txt. Add backtrace example. v5.0.79

trunk/3rdparty/st-srs/tools/verify/Makefile

@@ -1,7 +1,7 @@
 .PHONY: clean
 
 LDLIBS=../../obj/libst.a
-CFLAGS=-g -O0
+CFLAGS=-g -O0 -I../../obj
 
 OS_NAME 	= $(shell uname -s)
 ST_TARGET 	= linux-debug
@@ -13,7 +13,7 @@ CFLAGS      += -arch $(CPU_ARCHS)
 endif
 
 ./verify:  verify.c $(LDLIBS)
-	$(CC) $(CPPFLAGS) $(CFLAGS) $(LDFLAGS) -Wall -o verify verify.c $(LDLIBS)
+	$(CC) $(CPPFLAGS) $(CFLAGS) $(LDFLAGS) -Wall -o $@ $^ $(LDLIBS)
 
 clean:
 	cd ../.. && make clean

trunk/3rdparty/st-srs/tools/verify/verify.c

@@ -1,134 +1,64 @@
 /* SPDX-License-Identifier: MIT */
-/* Copyright (c) 2021 Winlin */
+/* Copyright (c) 2013-2022 Winlin */
 
 #include <stdio.h>
 
-#include <setjmp.h>
-extern int _st_md_cxt_save(jmp_buf env);
-extern void _st_md_cxt_restore(jmp_buf env, int val);
+#include <st.h>
+#include <assert.h>
 
-void verify_jmpbuf();
-void print_buf(unsigned char* p, int nn_jb);
+st_mutex_t lock;
+st_cond_t cond;
+
+void* start(void* arg)
+{
+    printf("ST: thread run\n");
+
+    printf("ST: thread wait for a while\n");
+    st_usleep(1.5 * 1000 * 1000);
+    printf("ST: thread wait done\n");
+
+    int r0 = st_cond_signal(cond);
+    printf("ST: thread cond signal, r0=%d\n", r0);
+
+    printf("ST: thread lock\n");
+    r0 = st_mutex_lock(lock);
+    assert(r0 == 0);
+
+    r0 = st_mutex_unlock(lock);
+    printf("ST: thread unlock\n");
+
+    return NULL;
+}
 
 int main(int argc, char** argv)
 {
-    verify_jmpbuf();
+    int r0 = st_init();
+    assert(r0 == 0);
+    printf("ST: main init ok\n");
+
+    lock = st_mutex_new();
+    cond = st_cond_new();
+
+    st_thread_t trd = st_thread_create(start, NULL, 1, 0);
+    printf("ST: main create ok\n");
+
+    printf("ST: main lock\n");
+    r0 = st_mutex_lock(lock);
+    assert(r0 == 0);
+
+    printf("ST: main cond waiting\n");
+    r0 = st_cond_wait(cond);
+    printf("ST: main cond wait ok, r0=%d\n", r0);
+
+    r0 = st_mutex_unlock(lock);
+    printf("ST: main unlock\n");
+
+    st_thread_join(trd, NULL);
+    printf("ST: main done\n");
+
+    st_mutex_destroy(lock);
+    st_cond_destroy(cond);
+
     return 0;
 }
 
-#ifdef __linux__
-#ifdef __mips__
-void verify_jmpbuf()
-{
-    // https://en.wikipedia.org/wiki/MIPS_architecture#Calling_conventions
-    register void* ra asm("ra");
-    register void* gp asm("gp");
-    register void* sp asm("sp");
-    register void* fp asm("fp");
-    // $s0–$s7	$16–$23	saved temporaries
-    register void* s0 asm("s0");
-    register void* s1 asm("s1");
-    register void* s2 asm("s2");
-    register void* s3 asm("s3");
-    register void* s4 asm("s4");
-    register void* s5 asm("s5");
-    register void* s6 asm("s6");
-    register void* s7 asm("s7");
-
-    jmp_buf ctx = {0};
-    int r0 = _st_md_cxt_save(ctx);
-    if (!r0) {
-        _st_md_cxt_restore(ctx, 1); // Restore/Jump to previous line, set r0 to 1.
-    }
-
-    printf("sp=%p, ra=%p, gp=%p, s0=%p, s1=%p, s2=%p, s3=%p, s4=%p, s5=%p, s6=%p, s7=%p, fp=%p\n",
-        sp, ra, gp, s0, s1, s2, s3, s4, s5, s6, s7, fp);
-
-    int nn_jb = sizeof(ctx[0].__jb);
-    unsigned char* p = (unsigned char*)ctx[0].__jb;
-    print_buf(p, nn_jb);
-}
-#elif __loongarch64
-void verify_jmpbuf()
-{
-    // https://github.com/ossrs/state-threads/issues/24#porting
-    register void* ra asm("r1"); // r1, ra, Return address
-    register void* sp asm("r3"); // r3, sp, Stack pointer
-    register void* fp asm("r22"); // r22, fp, Frame pointer
-    // r23-r31, s0-s8, Subroutine register variable
-    register void* s0 asm("r23");
-    register void* s1 asm("r24");
-    register void* s2 asm("r25");
-    register void* s3 asm("r26");
-    register void* s4 asm("r27");
-    register void* s5 asm("r28");
-    register void* s6 asm("r29");
-    register void* s7 asm("r30");
-    register void* s8 asm("r31");
-
-    jmp_buf ctx = {0};
-    int r0 = _st_md_cxt_save(ctx);
-    if (!r0) {
-        _st_md_cxt_restore(ctx, 1); // Restore/Jump to previous line, set r0 to 1.
-    }
-
-    printf("sp=%p, ra=%p, fp=%p, s0=%p, s1=%p, s2=%p, s3=%p, s4=%p, s5=%p, s6=%p, s7=%p, s7=%p\n",
-        sp, ra, fp, s0, s1, s2, s3, s4, s5, s6, s7, s8);
-
-    int nn_jb = sizeof(ctx[0].__jmpbuf);
-    unsigned char* p = (unsigned char*)ctx[0].__jmpbuf;
-    print_buf(p, nn_jb);
-}
-#endif
-#endif
-
-#ifdef __APPLE__
-#ifdef __x86_64__
-void verify_jmpbuf()
-{
-    // https://courses.cs.washington.edu/courses/cse378/10au/sections/Section1_recap.pdf
-    void *rbx, *rbp, *r12, *r13, *r14, *r15, *rsp;
-    __asm__ __volatile__ ("movq %%rbx,%0": "=r"(rbx): /* No input */);
-    __asm__ __volatile__ ("movq %%rbp,%0": "=r"(rbp): /* No input */);
-    __asm__ __volatile__ ("movq %%r12,%0": "=r"(r12): /* No input */);
-    __asm__ __volatile__ ("movq %%r13,%0": "=r"(r13): /* No input */);
-    __asm__ __volatile__ ("movq %%r14,%0": "=r"(r14): /* No input */);
-    __asm__ __volatile__ ("movq %%r15,%0": "=r"(r15): /* No input */);
-    __asm__ __volatile__ ("movq %%rsp,%0": "=r"(rsp): /* No input */);
-
-    printf("rbx=%p, rbp=%p, r12=%p, r13=%p, r14=%p, r15=%p, rsp=%p\n",
-        rbx, rbp, r12, r13, r14, r15, rsp);
-
-    jmp_buf ctx = {0};
-    int r0 = _st_md_cxt_save(ctx);
-    if (!r0) {
-        _st_md_cxt_restore(ctx, 1); // Restore/Jump to previous line, set r0 to 1.
-    }
-
-    int nn_jb = sizeof(ctx);
-    printf("sizeof(jmp_buf)=%d (unsigned long long [%d])\n", nn_jb, nn_jb/8);
-
-    unsigned char* p = (unsigned char*)ctx;
-    print_buf(p, nn_jb);
-}
-#endif
-#endif
-
-void print_buf(unsigned char* p, int nn_jb)
-{
-    printf("    ");
-
-    for (int i = 0; i < nn_jb; i++) {
-        printf("0x%02x ", (unsigned char)p[i]);
-
-        int newline = ((i + 1) % sizeof(void*));
-        if (!newline || i == nn_jb - 1) {
-            printf("\n");
-        }
-
-        if (!newline && i < nn_jb - 1) {
-            printf("    ");
-        }
-    }
-}
-