Difference between revisions of "User:JSharp"

From RCS Wiki
Jump to navigation Jump to search
m (+cluster/(purpose,status))
m (%s/mendax/verus)
 
(23 intermediate revisions by the same user not shown)
Line 4: Line 4:
 
* twitter.com/justinrwlynn
 
* twitter.com/justinrwlynn
  
== T2/x86 OS Development/Testing Cluster Build ==
+
== .plan ==
  
Includes Primary User Interface/System Element components. Documentation is currently incomplete.
+
* Mine/Review [https://openpowerfoundation.org/openpower-summit-2016/] for additional documentation
 +
* Also Mine/Review [http://developercongress2017.openpowerfoundation.org/presentations/]
 +
** Especially [http://developercongress2017.openpowerfoundation.org/wp-content/uploads/2017/05/Part3-On-Chip-Controller-OCC-Tutorial-1.pdf OCC Tutorial](!) Heaps of good stuff there.
  
Purpose: vNUMA/Heterogeneous OS Development/Data Processing/Firmware Integration Testbed; General Purpose Workstation Scale-out System
+
=== Projects (in order of interest/work likelihood) ===
  
=== Component List ===
+
* [[User:JSharp/Verax|Verax T2 Cluster System (w/ Coreboot-powered x86 Isolated Acceleration)]]
 
+
* [[User:JSharp/Verus|Verus OpenPOWER POWER9 Portable Workstation]]
* Infrastructure
+
* [[User:JSharp/oVRMc|oVRMc Open Source Multiphase PMBus/AVSBus POWER9-compatible Voltage Regulation Module Controller (open VRM controller)]]
** 1x CyberPower CR24U11001 24U Rack Enclosure
+
* [[User:JSharp/PowerLine|cycle/bus/transaction accurate simulation of the (POWER9/T2 SoC IPL) for FW development/verification]]
** 3x TCG TGC-H4-650 Chassis 4U 650mm Depth w/o PSU
+
** Design, Implementation and Verification of a cycle/bus accurate simulation of the POWER9/T2 IPL for use in systems firmware development and verification.  I haven't been able to find an existing method for fully simulating systems firmware deployment and execution not involving actual hardware and support infrastructure. Ideally, physical hardware would be used only for model verification. More research on exist methods of development required.
** 1x Thermaltake Core W200 Chassis (Dual System, 1x RCS T2/1x x86)
+
* [[User:JSharp/Durania|formally verified re-implementation of OpenPOWER equivalent P9 SoC firmware]]
* Power Routing and Management
+
** Formal verification of low-level systems firmware is vital for stability, security and algorithm correctness. Do so via re-implementation of OpenPOWER provided firmware equivalent POWER9 SoC firmware specifications/build systems using Ivory/Tower eDSL Models enhanced with LiquidHaskell refinement type system. Use Simulation to validate equivalent initialisation and run-time behaviour versus OpenPOWER provided firmwares.
** 2x APC SMX3000HV Smart-UPS 3000VA (4U)
 
** 2x CyberPower PDU20MHVIEC10AT Metered Auto-transfer Switch (1U)
 
* Power Conversion
 
** 5x Corsair AX1500i Power Supply
 
* Data Routing/Transfer
 
** 1x Arista DCS-7050QX-32 (QSFP+) (1U)
 
** 1x Cisco SG-500X-24-K9 (1U)
 
** 10x Mellanox MCX314A-BCBT ConnectX-3 Ethernet Adapters (Dual Port)
 
* Data Storage Elements
 
** 30x Seagate BarraCuda ST8000DM004 8TB SATA HDDs (coldline)
 
** 8x Samsung EVO PRO 860 1TB SATA SSDs (warmline)
 
** 5x LSI 9300-8i SATA/SAS HBA
 
** 10x Intel 900P (6x PCI Express/4x OCuLink) NVMe 480GB (hotline)
 
** 32x Samsung M393A2G40EB2 DDR4-2667 ECC DRAM (online - POWER) (64x once tested)
 
** 8x Micron MT36KSF2G72PZ-1G6E1FE 16GB DDR3-1600 ECC DRAM (online - x86) (16x once memory controller patched, known coreboot issues)
 
* Data Processing Elements/Backplane
 
** 4x Raptor Computing Systems T2P9D01 Talos II Mainboard
 
** 1x ASUS KGPE-D16 Mainboard
 
** 2x AMD Opteron 6378 CPU
 
** 8x IBM POWER9 CPU (18-Core)
 
** 6x AMD Radeon Pro WX 7100
 

Latest revision as of 03:40, 20 November 2018

Hi There. I'm a Systems Engineer and Hobbyist.

My other social media accounts

  • twitter.com/justinrwlynn

.plan

  • Mine/Review [1] for additional documentation
  • Also Mine/Review [2]

Projects (in order of interest/work likelihood)