Handle frame buffer flushing

Author: Rot127

contrib/plugins/bap-tracing/tracing.c

@@ -44,7 +44,15 @@ static void log_insn_reg_access(unsigned int vcpu_index, void *udata) {
   g_assert(current_regs->len == vcpu->registers->len);
 
   add_post_state_regs(vcpu, vcpu_index, current_regs);
-  // Check if buffer should be dumped to file.
+
+  g_rw_lock_writer_lock(&state.frame_buffer_lock);
+  g_rw_lock_writer_lock(&state.file_lock);
+  FrameBuffer *vcpu_buf = g_ptr_array_index(state.frame_buffer, vcpu_index);
+  if (frame_buffer_is_full(vcpu_buf)) {
+    frame_buffer_flush_to_file(vcpu_buf, state.file);
+  }
+  g_rw_lock_writer_unlock(&state.file_lock);
+  g_rw_lock_writer_unlock(&state.frame_buffer_lock);
 
   // Open new one.
   Instruction *insn = udata;

contrib/plugins/bap-tracing/tracing.h

@@ -68,11 +68,8 @@ FrameBuffer *frame_buffer_init(size_t size);
  */
 bool frame_buffer_push(FrameBuffer *buf, Frame *frame);
 
-/**
- * \brief Flushs the buffer and returns it's content.
- * The size of the returned buffer is written to \p fbuf_size.
- */
-Frame **frame_buffer_flush(FrameBuffer *buf, size_t *fbuf_size);
+void frame_buffer_flush_to_file(FrameBuffer *buf, FILE *file);
+bool frame_buffer_is_full(const FrameBuffer *buf);
 
 void frame_buffer_new_frame(FrameBuffer *buf);
 void frame_buffer_append_op_info(FrameBuffer *buf, OperandInfo *oi);