#include #include #include #include #ifdef LOCKDOC struct log_action la_buffer; int32_t lockdoc_get_ctx(void) { if (curlwp == NULL) { return 0; } else if (curlwp->l_pflag & LP_INTR) { return -1; } else { return curlwp->l_lid; } } void lockdoc_send_current_task_addr(void) { u_long flags; flags = lockdoc_x86_disable_intr(); memset(&la_buffer,0,sizeof(la_buffer)); la_buffer.action = LOCKDOC_CURRENT_TASK; la_buffer.ptr = (uint32_t)((uint32_t)curcpu()->ci_self + offsetof(struct cpu_info, ci_curlwp)); outb_(PING_CHAR,IO_PORT_LOG); lockdoc_x86_restore_intr(flags); } void lockdoc_send_lwp_flag_offset(void) { u_long flags; flags = lockdoc_x86_disable_intr(); memset(&la_buffer,0,sizeof(la_buffer)); la_buffer.action = LOCKDOC_LWP_FLAG_OFFSET; la_buffer.ptr = offsetof(struct lwp, l_pflag); outb_(PING_CHAR,IO_PORT_LOG); lockdoc_x86_restore_intr(flags); } void lockdoc_send_pid_offset(void) { u_long flags; flags = lockdoc_x86_disable_intr(); memset(&la_buffer,0,sizeof(la_buffer)); la_buffer.action = LOCKDOC_PID_OFFSET; la_buffer.ptr = offsetof(struct lwp, l_lid); outb_(PING_CHAR,IO_PORT_LOG); lockdoc_x86_restore_intr(flags); } void lockdoc_send_kernel_version(void) { u_long flags; flags = lockdoc_x86_disable_intr(); memset(&la_buffer,0,sizeof(la_buffer)); snprintf((char*)&la_buffer.type, LOG_CHAR_BUFFER_LEN, "%s", "notimplemented"); // TODO Implement la_buffer.action = LOCKDOC_KERNEL_VERSION; outb_(PING_CHAR,IO_PORT_LOG); lockdoc_x86_restore_intr(flags); } void trace_irqs_on(struct trapframe *frame) { u_long cur_eflags; cur_eflags = x86_read_flags(); if ((frame->tf_eflags & (1 << 9)) && !(cur_eflags & (1 << 9))) { #ifdef DEBUG_TRAPS log_lock(V_WRITE, (struct lock_object*)PSEUDOLOCK_ADDR_HARDIRQ, __FILE__, __LINE__, frame->tf_trapno); #else log_lock(V_WRITE, (struct lock_object*)PSEUDOLOCK_ADDR_HARDIRQ, __FILE__, __LINE__, LOCK_NONE); #endif } } void trace_irqs_off(struct trapframe *frame) { u_long cur_eflags; cur_eflags = x86_read_flags(); if ((frame->tf_eflags & (1 << 9)) && !(cur_eflags & (1 << 9))) { #ifdef DEBUG_TRAPS log_lock(P_WRITE, (struct lock_object*)PSEUDOLOCK_ADDR_HARDIRQ, __FILE__, __LINE__, frame->tf_trapno); #else log_lock(P_WRITE, (struct lock_object*)PSEUDOLOCK_ADDR_HARDIRQ, __FILE__, __LINE__, LOCK_NONE); #endif } } void lockdoc_alloc(const char *func, const char *file, size_t line, volatile void *lock, lockops_t *lo, uintptr_t initaddr){ } void lockdoc_free(const char *func, const char *file, size_t line, volatile void *lock){ } void lockdoc_wantlock(const char *func, const char *file, size_t line, const volatile void *lock, uintptr_t where, int shared){ } void lockdoc_locked(const char *func, const char *file, size_t line, volatile void *lock, void *cvlock, uintptr_t where, int shared){ // shared == 0 means exclusive (write) lock; shared > 0 means shared (read) lock if(shared > 0) { // TODO Check if LOCK_NONE is appropriate log_lock(P_READ, lock, file, line, LOCK_NONE); } else if (shared == 0){ log_lock(P_WRITE, lock, file, line, LOCK_NONE); } } void lockdoc_unlocked(const char *func, const char *file, size_t line, volatile void *lock, uintptr_t where, int shared){ // shared == 0 means exclusive (write) lock; shared > 0 means shared (read) lock if(shared > 0) { // TODO Check if LOCK_NONE is appropriate log_lock(V_READ, lock, file, line, LOCK_NONE); } else if (shared == 0){ log_lock(V_WRITE, lock, file, line, LOCK_NONE); } } void lockdoc_barrier(const char *func, const char *file, size_t line, volatile void *spinlock, int slplocks){ } void lockdoc_mem_check(const char *func, const char *file, size_t line, void *base, size_t sz){ } void lockdoc_wakeup(const char *func, const char *file, size_t line, volatile void *lock, uintptr_t where){ } void __x86_disable_intr(const char *file, int line, const char *func){ u_long eflags; eflags = x86_read_flags(); if (eflags & (1 << 9)){ // Check if interrupts were enabled in the first place log_lock(P_WRITE, (void*)PSEUDOLOCK_ADDR_HARDIRQ, file, line, LOCK_NONE); } lockdoc_x86_disable_intr(); } u_long lockdoc_x86_disable_intr(void){ u_long eflags; eflags = x86_read_flags(); __asm volatile ("cli" ::: "memory"); return eflags; } void __x86_enable_intr(const char *file, int line, const char *func){ u_long eflags; eflags = x86_read_flags(); if (!(eflags & (1 << 9))){ // Check if interrupts were disabled in the first place log_lock(V_WRITE, (void*)PSEUDOLOCK_ADDR_HARDIRQ, file, line, LOCK_NONE); } lockdoc_x86_enable_intr(); } u_long lockdoc_x86_enable_intr(void){ u_long eflags; eflags = x86_read_flags(); __asm volatile ("sti" ::: "memory"); return eflags; } void lockdoc_x86_restore_intr(u_long eflags){ x86_write_flags(eflags); } #endif /* LOCKDOC */