Skip to content

multiple in flight appendentries - #2

Open
Overcomplicated12 wants to merge 3 commits into
frank/raft-rustdslfrom
frank/raft-multiappendentries2
Open

multiple in flight appendentries#2
Overcomplicated12 wants to merge 3 commits into
frank/raft-rustdslfrom
frank/raft-multiappendentries2

Conversation

@Overcomplicated12

@Overcomplicated12 Overcomplicated12 commented Jul 28, 2026

Copy link
Copy Markdown
Owner

Temporary pull request to test multiple in flight append entries

Overcomplicated12 pushed a commit that referenced this pull request Jul 28, 2026
Second Group-4 reshape, same recipe as logging.cpp: the Linux
print_stack_trace body shrinks to three micro-kernels + a one-line
fputs sink, and the report assembly moves into DSL `fn bt_render`.

- DSL core bt_render: resolution loop, column-width (max_len)
  computation, alignment-padding loop, report assembly. New verified
  lowerings: Vec::<T>::new() turbofish on a C++ aggregate element
  type, rusty::len(field), indexing chains lines[k].name.size(),
  early `return` of a std::string local.
- Kernels (@unsafe, the irreducible C surface): bt_capture
  (backtrace/backtrace_symbols/free + addr2line command build),
  bt_resolve_at (popen/pclose; indexes the capture on the C++ side so
  the DSL never borrows a container element), bt_index_prefix
  (snprintf "%-3d  "), bt_empty_string factory.
- BtLine/BtCapture plain C++ aggregates carry the data across the
  kernel/DSL boundary; move-hazards designed out by reading name_len
  before any append.
- Output byte-identical; __APPLE__ branch untouched (not compilable
  here, documented).

Co-Authored-By: Claude Opus 4.8 <[email protected]>
Claude-Session: https://claude.ai/code/session_01N9DLY5SDRooowERihphNQ1
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant