Commits · master · Applied Language / The Netfarm Suite / cl-decentralise2 · GitLab

Nov 29, 2022
- Use a method to pick a translation target for a system, rather than using the system as target · d4df5b85
  Hayley Patton authored Nov 29, 2022
  
  d4df5b85
Aug 14, 2021
- Generalise the model to any number of connections and any spurious failures. · ee6fb949
  Hayley Patton authored Aug 14, 2021
  
  ee6fb949
- Use a temporal expression for EventuallyLoads2, and mark each process as fair. · 22054684
  Hayley Patton authored Aug 14, 2021
  
  22054684
Aug 12, 2021
- The scheduler shouldn't wait for a connection to respond in the model. · d8558da2
  Hayley Patton authored Aug 12, 2021
  
  d8558da2
Aug 11, 2021
- Merge branch 'chunk-mailbox' into 'master' · 6d505adb
  Hayley Patton authored Aug 11, 2021
  6d505adb
- Add a TLA+ model of the scheduler and connections. · 9652fdf6
  Hayley Patton authored Aug 11, 2021
  
  9652fdf6
Aug 10, 2021
- Reconsider other sources when a response for a request is received. · 5408a57c
  Hayley Patton authored Aug 10, 2021
  
  5408a57c
Jul 20, 2021
- Adjust the loading order. · 8c3995bc
  Hayley Patton authored Jul 20, 2021
  
  8c3995bc
- Simplify the leader loop · 88c6aacb
  Hayley Patton authored Jul 20, 2021
  
  88c6aacb
- Simplify request generation · 163800a5
  Hayley Patton authored Jul 20, 2021
  
  163800a5
- Use chunking in the interesting block mailbox. · 15283638
  Hayley Patton authored Jul 20, 2021
  
  15283638
- Replace the queue with a mailbox. · 0c3c6aac
  Hayley Patton authored Jul 20, 2021
  
  0c3c6aac
- Move enqueing to another function stored in a special variable. · ca74ea39
  Hayley Patton authored Jul 20, 2021
  
  ca74ea39
Jul 19, 2021
- Describe what we're doing in CALL-WITH-NAMED-RESOURCES better. · 83e50f78
  Hayley Patton authored Jul 19, 2021
  
  83e50f78
- Play less loosely with specialised arrays. · 04a256f1
  Hayley Patton authored Jul 19, 2021
  
  04a256f1
May 25, 2021
- Bump the version some months late · 37cd397e
  Hayley Patton authored May 25, 2021
  
  37cd397e
May 09, 2021
- Clean up some of the Kademlia client · 58052014
  Hayley Patton authored May 09, 2021
  
  58052014
Apr 21, 2021
- Make Clozure happy · 429c48c1
  Hayley Patton authored Apr 21, 2021
  
  429c48c1
- Use ATOMIC-INCF for updating meters on 64-bit SBCL · 0a363f8d
  Hayley Patton authored Apr 21, 2021
  
  0a363f8d
Apr 08, 2021
- Make block consistency locks non-recursive and bump year · 74324ff8
  Hayley Patton authored Apr 08, 2021
  74324ff8
- Be slightly less lazy with hashing block names - it isn't that slow to hash. · a84a5151
  Hayley Patton authored Apr 08, 2021
  
  a84a5151
Mar 24, 2021
- Convince SBCL to generate somewhat better code for CALL-WITH-NAMED-RESOURCES. · baf0e65b
  Hayley Patton authored Mar 24, 2021
  
  baf0e65b
- Hold consistent blocks from :get messages until responses are sent off. · 80dfa4b9
  Hayley Patton authored Mar 24, 2021
  
  80dfa4b9
- Add WITH-CONSISTENT-BLOCKS · f5cd4c04
  Hayley Patton authored Mar 24, 2021
  
  f5cd4c04
- Provide a macro for acquiring multiple resources from a lock table. · 42cc425a
  Hayley Patton authored Mar 24, 2021
  
  42cc425a
Feb 24, 2021
- Shrink down the default table size. · 6648cdad
  Hayley Patton authored Feb 24, 2021
  
  6648cdad
- Fiddle with hash functions some more. · f633ffbd
  Hayley Patton authored Feb 24, 2021
  
  f633ffbd
Feb 23, 2021
- Name boxes, and use a spiffy fast RNG for synchronisation tests. · 746defd3
  Hayley Patton authored Feb 23, 2021
  
  746defd3
Feb 03, 2021
- Use a simpler, fixed resource lock vector · 301df9ca
  Hayley Patton authored Feb 03, 2021
  
  301df9ca
Jan 24, 2021
- Clean up the socketed-connection protocol, and export some useful standard-system symbols. · bc850dd6
  Hayley Patton authored Jan 24, 2021
  
  bc850dd6
Jan 18, 2021
- Put the synchronisation test back to its original size. · 34fddda9
  Hayley Patton authored Jan 18, 2021
  
  34fddda9
- Avoid a race condition when adding connection information and remove its 'fix' · a208ebdf
  Hayley Patton authored Jan 18, 2021
  
  a208ebdf
Dec 30, 2020
- Merge branch 'master' of https://gitlab.com/cal-coop/netfarm/cl-decentralise2 · 4c9c5ce3
  Hayley Patton authored Dec 31, 2020
  
  View commits for tag v0.1.0 v0.1.0
  
  4c9c5ce3
- Export MAKE-BLOCK-TABLE from DECENTRALISE-SYSTEM · 18055f30
  Hayley Patton authored Dec 31, 2020
  
  18055f30
Dec 29, 2020
- Fix a technically not correct LOOP · 7be4bb6c
  Hayley Patton authored Dec 29, 2020
  
  7be4bb6c
Dec 27, 2020
- Remove some more unused macros · 12417279
  Hayley Patton authored Dec 27, 2020
  
  12417279
- Use a less sketchy implementation of DOLISTIT · 2b5d87ac
  Hayley Patton authored Dec 27, 2020
  
  2b5d87ac
- Remove string-hash-table.lisp -- we never used it. · 6afff638
  Hayley Patton authored Dec 27, 2020
  
  6afff638
- Remove the custom argument-precedence-orders and specialise all translation methods correctly. · a5bb0a18
  Hayley Patton authored Dec 27, 2020
  
  a5bb0a18
Dec 23, 2020
- Don't try to write nodes with no URIs. · 533108fd
  Hayley Patton authored Dec 23, 2020
  
  533108fd