Commit 001951be authored by Peter Zijlstra's avatar Peter Zijlstra Committed by Ingo Molnar

jump_label, x86: Add variable length patching support

This allows the patching to to emit 2 byte JMP/NOP instruction in
addition to the 5 byte JMP/NOP we already did. This allows for more
compact code.

This code is not yet used, as we don't emit shorter code at compile
time yet.
Signed-off-by: default avatarPeter Zijlstra (Intel) <peterz@infradead.org>
Signed-off-by: default avatarIngo Molnar <mingo@kernel.org>
Link: https://lore.kernel.org/r/20210506194157.846870383@infradead.org
parent fa5e5dc3
...@@ -23,44 +23,63 @@ int arch_jump_entry_size(struct jump_entry *entry) ...@@ -23,44 +23,63 @@ int arch_jump_entry_size(struct jump_entry *entry)
return JMP32_INSN_SIZE; return JMP32_INSN_SIZE;
} }
static const void * struct jump_label_patch {
__jump_label_set_jump_code(struct jump_entry *entry, enum jump_label_type type) const void *code;
int size;
};
static struct jump_label_patch
__jump_label_patch(struct jump_entry *entry, enum jump_label_type type)
{ {
const void *expect, *code; const void *expect, *code, *nop;
const void *addr, *dest; const void *addr, *dest;
int size;
addr = (void *)jump_entry_code(entry); addr = (void *)jump_entry_code(entry);
dest = (void *)jump_entry_target(entry); dest = (void *)jump_entry_target(entry);
code = text_gen_insn(JMP32_INSN_OPCODE, addr, dest); size = arch_jump_entry_size(entry);
switch (size) {
case JMP8_INSN_SIZE:
code = text_gen_insn(JMP8_INSN_OPCODE, addr, dest);
nop = x86_nops[size];
break;
case JMP32_INSN_SIZE:
code = text_gen_insn(JMP32_INSN_OPCODE, addr, dest);
nop = x86_nops[size];
break;
default: BUG();
}
if (type == JUMP_LABEL_JMP) if (type == JUMP_LABEL_JMP)
expect = x86_nops[5]; expect = nop;
else else
expect = code; expect = code;
if (memcmp(addr, expect, JUMP_LABEL_NOP_SIZE)) { if (memcmp(addr, expect, size)) {
/* /*
* The location is not an op that we were expecting. * The location is not an op that we were expecting.
* Something went wrong. Crash the box, as something could be * Something went wrong. Crash the box, as something could be
* corrupting the kernel. * corrupting the kernel.
*/ */
pr_crit("jump_label: Fatal kernel bug, unexpected op at %pS [%p] (%5ph != %5ph)) type:%d\n", pr_crit("jump_label: Fatal kernel bug, unexpected op at %pS [%p] (%5ph != %5ph)) size:%d type:%d\n",
addr, addr, addr, expect, type); addr, addr, addr, expect, size, type);
BUG(); BUG();
} }
if (type == JUMP_LABEL_NOP) if (type == JUMP_LABEL_NOP)
code = x86_nops[5]; code = nop;
return code; return (struct jump_label_patch){.code = code, .size = size};
} }
static inline void __jump_label_transform(struct jump_entry *entry, static inline void __jump_label_transform(struct jump_entry *entry,
enum jump_label_type type, enum jump_label_type type,
int init) int init)
{ {
const void *opcode = __jump_label_set_jump_code(entry, type); const struct jump_label_patch jlp = __jump_label_patch(entry, type);
/* /*
* As long as only a single processor is running and the code is still * As long as only a single processor is running and the code is still
...@@ -74,12 +93,11 @@ static inline void __jump_label_transform(struct jump_entry *entry, ...@@ -74,12 +93,11 @@ static inline void __jump_label_transform(struct jump_entry *entry,
* always nop being the 'currently valid' instruction * always nop being the 'currently valid' instruction
*/ */
if (init || system_state == SYSTEM_BOOTING) { if (init || system_state == SYSTEM_BOOTING) {
text_poke_early((void *)jump_entry_code(entry), opcode, text_poke_early((void *)jump_entry_code(entry), jlp.code, jlp.size);
JUMP_LABEL_NOP_SIZE);
return; return;
} }
text_poke_bp((void *)jump_entry_code(entry), opcode, JUMP_LABEL_NOP_SIZE, NULL); text_poke_bp((void *)jump_entry_code(entry), jlp.code, jlp.size, NULL);
} }
static void __ref jump_label_transform(struct jump_entry *entry, static void __ref jump_label_transform(struct jump_entry *entry,
...@@ -100,7 +118,7 @@ void arch_jump_label_transform(struct jump_entry *entry, ...@@ -100,7 +118,7 @@ void arch_jump_label_transform(struct jump_entry *entry,
bool arch_jump_label_transform_queue(struct jump_entry *entry, bool arch_jump_label_transform_queue(struct jump_entry *entry,
enum jump_label_type type) enum jump_label_type type)
{ {
const void *opcode; struct jump_label_patch jlp;
if (system_state == SYSTEM_BOOTING) { if (system_state == SYSTEM_BOOTING) {
/* /*
...@@ -111,9 +129,8 @@ bool arch_jump_label_transform_queue(struct jump_entry *entry, ...@@ -111,9 +129,8 @@ bool arch_jump_label_transform_queue(struct jump_entry *entry,
} }
mutex_lock(&text_mutex); mutex_lock(&text_mutex);
opcode = __jump_label_set_jump_code(entry, type); jlp = __jump_label_patch(entry, type);
text_poke_queue((void *)jump_entry_code(entry), text_poke_queue((void *)jump_entry_code(entry), jlp.code, jlp.size, NULL);
opcode, JUMP_LABEL_NOP_SIZE, NULL);
mutex_unlock(&text_mutex); mutex_unlock(&text_mutex);
return true; return true;
} }
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment