Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(1649)

Unified Diff: runtime/vm/simulator_arm64.h

Issue 3000803003: Revert "[vm] Implement more efficient CAS in simarm/simarm64 modes" (Closed)
Patch Set: Created 3 years, 4 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
« no previous file with comments | « runtime/vm/simulator_arm.cc ('k') | runtime/vm/simulator_arm64.cc » ('j') | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
Index: runtime/vm/simulator_arm64.h
diff --git a/runtime/vm/simulator_arm64.h b/runtime/vm/simulator_arm64.h
index 78059ea176ae5f7b450e033a9bb4574d94129732..a1a36699e393b688ee2820b8ee9b4055a3f8ffa9 100644
--- a/runtime/vm/simulator_arm64.h
+++ b/runtime/vm/simulator_arm64.h
@@ -101,6 +101,15 @@ class Simulator {
bool fp_return = false,
bool fp_args = false);
+ // Implementation of atomic compare and exchange in the same synchronization
+ // domain as other synchronization primitive instructions (e.g. ldrex, strex).
+ static uword CompareExchange(uword* address,
+ uword compare_value,
+ uword new_value);
+ static uint32_t CompareExchangeUint32(uint32_t* address,
+ uint32_t compare_value,
+ uint32_t new_value);
+
// Runtime and native call support.
enum CallKind {
kRuntimeCall,
@@ -178,6 +187,22 @@ class Simulator {
inline intptr_t ReadX(uword addr, Instr* instr);
inline void WriteX(uword addr, intptr_t value, Instr* instr);
+ // We keep track of 16 exclusive access address tags across all threads.
+ // Since we cannot simulate a native context switch, which clears
+ // the exclusive access state of the local monitor (using the CLREX
+ // instruction), we associate the thread requesting exclusive access to the
+ // address tag. Multiple threads requesting exclusive access (using the LDREX
+ // instruction) to the same address will result in multiple address tags being
+ // created for the same address, one per thread.
+ // At any given time, each thread is associated to at most one address tag.
+ static Mutex* exclusive_access_lock_;
+ static const int kNumAddressTags = 16;
+ static struct AddressTag {
+ Thread* thread;
+ uword addr;
+ } exclusive_access_state_[kNumAddressTags];
+ static int next_address_tag_;
+
// Synchronization primitives support.
void ClearExclusive();
intptr_t ReadExclusiveX(uword addr, Instr* instr);
@@ -186,13 +211,15 @@ class Simulator {
intptr_t ReadExclusiveW(uword addr, Instr* instr);
intptr_t WriteExclusiveW(uword addr, intptr_t value, Instr* instr);
- // Exclusive access reservation: address and value observed during
- // load-exclusive. Store-exclusive verifies that address is the same and
- // performs atomic compare-and-swap with remembered value to observe value
- // changes. This implementation of ldxr/stxr instructions does not detect
- // ABA situation and our uses of ldxr/stxr don't need this detection.
- uword exclusive_access_addr_;
- uword exclusive_access_value_;
+ // Set access to given address to 'exclusive state' for current thread.
+ static void SetExclusiveAccess(uword addr);
+
+ // Returns true if the current thread has exclusive access to given address,
+ // returns false otherwise. In either case, set access to given address to
+ // 'open state' for all threads.
+ // If given addr is NULL, set access to 'open state' for current
+ // thread (CLREX).
+ static bool HasExclusiveAccessAndOpen(uword addr);
// Helper functions to set the conditional flags in the architecture state.
void SetNZFlagsW(int32_t val);
« no previous file with comments | « runtime/vm/simulator_arm.cc ('k') | runtime/vm/simulator_arm64.cc » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698