Skip to content

Use the public platform selector in portable code - #699

Merged
rtjohnso merged 1 commit into
mainfrom
robj/platform-header-selector
Oct 29, 2026
Merged

rtjohnso merged 1 commit into
mainfrom
robj/platform-header-selector

Conversation

@rtjohnso

Copy link
Copy Markdown
Collaborator

Several non-platform-specific files were including platform_linux.h directly. This changes them to include public_platform.h instead.

Route shared lock, histogram, log, task and utility includes through
splinterdb/public_platform.h so SPLINTERDB_PLATFORM_DIR selects the
appropriate platform definitions. Apply the same correction to the
large-insert stress test.

Keep Linux implementation headers bound to their Linux definitions.
@netlify

netlify Bot commented Oct 29, 2026 •

Copy link
Copy Markdown

✅ Deploy Preview for splinterdb canceled.

Name Link
🔨 Latest commit dffcdeb
🔍 Latest deploy log https://app.netlify.com/projects/splinterdb/deploys/6ae398108d72e7c0300e21a2

@rtjohnso
rtjohnso enabled auto-merge (squash) October 29, 2026 19:05
@rtjohnso
rtjohnso merged commit 9333582 into main Oct 29, 2026
113 of 114 checks passed
@rtjohnso
rtjohnso deleted the robj/platform-header-selector branch October 29, 2026 21:03
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