Yat: a Validation Framework for Persistent Memory Software

Total Page:16

File Type:pdf, Size:1020Kb

Yat: a Validation Framework for Persistent Memory Software Yat: A Validation Framework for Persistent Memory Software Philip Lantz, Subramanya Dulloor, Sanjay Kumar, Rajesh Sankaran, and Jeff Jackson, Intel Labs https://www.usenix.org/conference/atc14/technical-sessions/presentation/lantz This paper is included in the Proceedings of USENIX ATC ’14: 2014 USENIX Annual Technical Conference. June 19–20, 2014 • Philadelphia, PA 978-1-931971-10-2 Open access to the Proceedings of USENIX ATC ’14: 2014 USENIX Annual Technical Conference is sponsored by USENIX. Yat: A Validation Framework for Persistent Memory Software Philip Lantz Subramanya Dulloor Sanjay Kumar Rajesh Sankaran Jeff Jackson Intel Labs Abstract WA->B = {W1, W2} WB->C = {W3, W4} This paper describes the design and implementation of Yat. Yat is a hypervisor-based framework that sup- ports testing of applications that use Persistent Memory A B C (PM)—byte-addressable, non-volatile memory attached directly to the memory controller. PM has implications on both system architecture and software. The PM ar- clflush (L1, L2) clflush (L3, L4) chitecture extends the memory ordering model to add pm_wbarrier pm_wbarrier software-visible support for durability of stores to PM. Figure 1: PM software flow By simulating the characteristics of PM, and integrat- ing an application-specific checker in the framework, Yat lines (L1,L2) in the process. For traditional block based enables validation, correctness testing, and debugging storage, software explicitly schedules IO to make these of PM software in the presence of power failures and cachelines persistent at block granularity. However, for crashes. We discuss the use of Yat in development and PM-based storage these cachelines can become persis- testing of the Persistent Memory File System (PMFS), tent in arbitrary order by cacheline evictions outside of describing the effectiveness of Yat in catching and de- software control. Hence, extra care must be taken in en- bugging several hard-to-find bugs in PMFS. forcing ordering on updates to PM. Programmers today are not used to explicitly tracking and flushing modified 1 Introduction cachelines in volatile memory. But, this is a critical re- We are witnessing growing interest in Non-Volatile quirement of PM software, failing which could cause se- DIMMs (NVDIMMs) that attach storage class memory rious consistency bugs and data corruption. (e.g., PCM, MRAM, etc.) directly to the memory con- Testing for the correctness of PM software is challeng- troller [5]. We refer to any such byte-addressable, non- ing. One way is to simulate or induce failures (such volatile memory as Persistent Memory (PM). as from power loss or crashes) and use an application- PM has implications on system architecture and soft- specific checker tool (similar to fsck for Linux filesys- ware [2]. Since PM performance—both latency and tems) to verify consistency of the data in PM. However, bandwidth—is within an order of magnitude of DRAM, this method tests only the actual ordering of writes to software can map PM as write-back cacheable for per- PM in a single flow, even though many other orderings formance reasons. Several studies [2, 6] have shown sig- are possible outside the control of the PM software (e.g., nificant performance gains from the use of in-place data due to arbitrary cacheline evictions). structures in write-back PM. These studies also show the To overcome this challenge, we built Yat (meaning need for extensions to the existing memory model to al- “trial by fire” in Sanskrit), a hypervisor-based framework low PM software to control ordering and durability of for testing the correctness of PM. Yat uses a record and stores to write-back PM. replay method to simulate architectural failure conditions However, such extensions to the memory model intro- that are specific to PM. We used Yat in validation and duce the possibility of new types of programming errors. correctness testing of PMFS [2], which is a reasonably For instance, consider a PM software flow as shown in large and complex PM software module. Though we fo- Figure 1. Starting at consistent state A, PM software per- cus on PMFS as the only case study in this paper, the forms two writes to PM (set WA >B), dirtying two cache- principles of Yat are applicable to other PM software, in- − USENIX Association 2014 USENIX Annual Technical Conference 433 cluding libraries and applications [6]. 4. When a fence is executed, prior clflushes on that Contributions of this paper are as follows: processor take effect. All writes performed by any Design and implementation of Yat, a hypervisor- processor to the cache lines affected by the clflushes • based framework for testing PM software. are flushed. Evaluation of a Yat prototype, using PMFS as an • 5. When a pm wbarrier primitive is executed, all example PM software. writes that have been flushed by rule 4 are made 2 System Architecture durable. Any writes that have not been clflushed— We assume the Intel64 based system architecture de- or that were clflushed but where no subsequent scribed elsewhere [2], where software can access PM fence was executed on the same processor as the directly using regular CPU load and store instructions. clflush prior to the pm wbarrier—are not guaran- Because PM is typically mapped write-back (for perfor- teed to be durable. mance reasons), PM data in CPU caches can be evicted 3 Yat Design and made durable at any time. To give software the abil- ity to control consistency, the architecture must provide Yat is a framework for testing PM software. We refer to a software visible guarantee of ordering and durability of the PM software being tested as App. stores to PM. The proposed architecture includes a sim- The goals of Yat are: ple hardware primitive, PM write barrier (pm wbarrier), 1) to test App for bugs caused by improper reorder- which guarantees durability of all stores to PM that have ing of write operations; e.g., due to missing or misplaced been explicitly flushed from the CPU caches but might ordering and durability instructions. still be be in a volatile buffer in the memory controller or 2) to exercise the PM recovery code in App in the con- in the PM module. text of a large variety of failure scenarios, such as power In Figure 1, to effect WA >B before WB >C, PM soft- failures and software failures internal or external to App − − ware must flush the dirty cachelines L1 2 and make those that cause it to abort. − writes durable using pm wbarrier, before proceeding to To test that App applies sufficient memory ordering writes in WB >C. In complex software, it can be chal- − constraints to preserve consistency no matter when a fail- lenging to keep track of all the dirty cachelines that need ure occurs, Yat simulates reordering PM writes in every to be flushed before the use of pm wbarrier. We ex- allowed order in which they may become durable in the pect user-level libraries and programming models to hide PM hardware based on the rules in 2. Note that if App is § most of this programming complexity from PM applica- multithreaded, Yat records the actual sequence of opera- tions [6]. tions executed by the various threads. However, Yat does Yat is designed to help validate that PM software cor- not model the non-determinism in the software as it has rectly uses cache flushes (clflush), ordering instructions no knowledge of synchronization done by the software. (sfence and mfence), and the new hardware primitive The operation of Yat is shown in Figure 2. Yat op- (pm wbarrier) to control durability and consistency in erates in two phases. The first phase, Yat-record, sim- PM, even in the face of arbitrary failures and cacheline ply collects a trace (App-trace) while App is executing. evictions. For any sequence of updates to PM, Yat cre- Yat-record logs write and clflush instructions within the ates all possible states in PM based storage and then runs address range of PM, along with the explicit ordering in- the PM application’s recovery tool to test recovery to a structions (sfence and mfence), and the new hardware consistent state. The possible orderings are determined primitive pm wbarrier. by the memory ordering model of the processor archi- The second phase, Yat-replay, has the following steps: tecture. The proposed system (based on Intel64 architec- Segment Yat-replay divides App-trace into segments, ture) follows these rules: separated by each pm wbarrier in the trace. For each 1. When a write is executed, it may become durable segment, there is a set of writes to PM that have been immediately or at any subsequent time up to the executed but are not guaranteed to be durable. This set point where it is known to have become durable by of writes is called the active set for that segment. rule 5. Reorder For each segment, Yat-replay selects subsets 2. When a write is executed that modifies a cache line of writes in the active set that do not violate rule 2. Each that has been modified by a prior write, the later such selected subset of writes is called a combination. write is guaranteed to become durable no sooner For each combination, Yat-replay starts with than the prior write to the same cache line. This Replay an initial state (App-initial-state), applies all writes guarantee holds across cores based on Intel64 ar- that are guaranteed to have become durable as of the chitecture. pm wbarrier that precedes the current segment, and then 3. When a clflush is executed, it has no effect until it is applies the writes contained in the current combination.
Recommended publications
  • Old Cyrillic in Unicode*
    Old Cyrillic in Unicode* Ivan A Derzhanski Institute for Mathematics and Computer Science, Bulgarian Academy of Sciences [email protected] The current version of the Unicode Standard acknowledges the existence of a pre- modern version of the Cyrillic script, but its support thereof is limited to assigning code points to several obsolete letters. Meanwhile mediæval Cyrillic manuscripts and some early printed books feature a plethora of letter shapes, ligatures, diacritic and punctuation marks that want proper representation. (In addition, contemporary editions of mediæval texts employ a variety of annotation signs.) As generally with scripts that predate printing, an obvious problem is the abundance of functional, chronological, regional and decorative variant shapes, the precise details of whose distribution are often unknown. The present contents of the block will need to be interpreted with Old Cyrillic in mind, and decisions to be made as to which remaining characters should be implemented via Unicode’s mechanism of variation selection, as ligatures in the typeface, or as code points in the Private space or the standard Cyrillic block. I discuss the initial stage of this work. The Unicode Standard (Unicode 4.0.1) makes a controversial statement: The historical form of the Cyrillic alphabet is treated as a font style variation of modern Cyrillic because the historical forms are relatively close to the modern appearance, and because some of them are still in modern use in languages other than Russian (for example, U+0406 “I” CYRILLIC CAPITAL LETTER I is used in modern Ukrainian and Byelorussian). Some of the letters in this range were used in modern typefaces in Russian and Bulgarian.
    [Show full text]
  • Neurological Soft Signs in Mainstream Pupils Arch Dis Child: First Published As 10.1136/Adc.85.5.371 on 1 November 2001
    Arch Dis Child 2001;85:371–374 371 Neurological soft signs in mainstream pupils Arch Dis Child: first published as 10.1136/adc.85.5.371 on 1 November 2001. Downloaded from J M Fellick, A P J Thomson, J Sills, C A Hart Abstract psychiatry. Are there any tests that a paediatri- Aims—(1) To examine the relation be- cian may use to predict which children have tween neurological soft signs and meas- significant problems? ures of cognition, coordination, and Neurological soft signs (NSS) may be behaviour in mainstream schoolchildren. defined as minor abnormalities in the neuro- (2) To determine whether high soft sign logical examination in the absence of other fea- scores may predict children with signifi- tures of fixed or transient neurological disor- cant problems in other areas. der.1 They have been associated with Methods—A total of 169 children aged behaviour,12 coordination,3 and learning diY- between 8 and 13 years from mainstream culties.4 Other authors believe they represent a schools were assessed. They form part of developmental lag rather than a fixed abnor- a larger study into the outcome of menin- mality.5 Studies have found a high incidence of gococcal disease in childhood. Half had soft signs in children following premature6 or previous meningococcal disease and half low birthweight7 birth, meningitis,8 and malnu- were controls. Assessment involved trition.910 measurement of six soft signs followed by There are a number of soft sign batteries assessment of motor skills (movement published that include tests of sensory func- ABC), cognitive function (WISC-III), and tion, coordination, motor speed, and abnormal behaviour (Conners’ Rating Scales).
    [Show full text]
  • Language Specific Peculiarities Document for Halh Mongolian As Spoken in MONGOLIA
    Language Specific Peculiarities Document for Halh Mongolian as Spoken in MONGOLIA Halh Mongolian, also known as Khalkha (or Xalxa) Mongolian, is a Mongolic language spoken in Mongolia. It has approximately 3 million speakers. 1. Special handling of dialects There are several Mongolic languages or dialects which are mutually intelligible. These include Chakhar and Ordos Mongol, both spoken in the Inner Mongolia region of China. Their status as separate languages is a matter of dispute (Rybatzki 2003). Halh Mongolian is the only Mongolian dialect spoken by the ethnic Mongolian majority in Mongolia. Mongolian speakers from outside Mongolia were not included in this data collection; only Halh Mongolian was collected. 2. Deviation from native-speaker principle No deviation, only native speakers of Halh Mongolian in Mongolia were collected. 3. Special handling of spelling None. 4. Description of character set used for orthographic transcription Mongolian has historically been written in a large variety of scripts. A Latin alphabet was introduced in 1941, but is no longer current (Grenoble, 2003). Today, the classic Mongolian script is still used in Inner Mongolia, but the official standard spelling of Halh Mongolian uses Mongolian Cyrillic. This is also the script used for all educational purposes in Mongolia, and therefore the script which was used for this project. It consists of the standard Cyrillic range (Ux0410-Ux044F, Ux0401, and Ux0451) plus two extra characters, Ux04E8/Ux04E9 and Ux04AE/Ux04AF (see also the table in Section 5.1). 5. Description of Romanization scheme The table in Section 5.1 shows Appen's Mongolian Romanization scheme, which is fully reversible.
    [Show full text]
  • A Additional Notation for the Appendix B Proof of Proposition 4.1 C Results from Section 5
    A Additional Notation for the Appendix To avoid overloading, we use φ, F for the standard Gaussian PDF and CDF respectively. We write c to denote the set complement of a set . We write to denote entrywise absolute value. S S j · j B Proof of Proposition 4.1 Recall the IRM objective: ^T min E(x;y)∼p(x;y)[ log σ(y β Φ(x))] Φ,β − · @ ^T subject to E(x;y)∼pe [ log σ(y β Φ(x))] = 0: e : @β^ − · 8 2 E Concretely, we represent Φ as some parametrized function Φθ, over whose parameters θ we then optimize. The derivative of the negative log-likelihood for logistic regression with respect to the β coefficients is well known: @ h T i T log σ(y β^ Φθ(x)) = (σ(β^ Φθ(x)) 1 y = 1 )Φθ(x): @β^ − · − f g zc ^ β Suppose we recover the true invariant features Φθ(x) = 0 and coefficients β = 0 (in other words, we allow for the introduction of new features). Then the IRM constraint becomes: @ ^T 0 = E(x;y)∼pe [ log σ(y β Φθ(x))] @β^ − · Z e X e @ T = p (zc) p (y zc) log σ(y β zc) dzc Z j ^ − · y∈{±1g @β Z e T T T T = p (zc)Φθ(x) σ(β^ zc)(σ(β^ zc) 1) + (1 σ(β^ zc))σ(β^ zc) dzc: Z − − Since β^ is constant across environments, this constraint is clearly satisfied for every environment, and is therefore also the minimizing β^ for the training data as a whole.
    [Show full text]
  • Once, a Rather Long Time Ago, a Very Good Doctor Told Us, "Never Go
    Once, a rather long time ago, muscles in the very process of a very good doctor told us, stretching and relaxing, we miss "Never go to sleep tired. Exer­ our guess ! \Ve haven't had a cise until you have released ten­ chance to prove this theory but a sions, cleansing muscles and tis­ woman who has tells us she took sues of all fatigue poisons. off two inches in a yery short Otherwise you probably will time. wake still tired." Another adYantage offered by Many times we have had an the Rx Lounge is the so-call ed opportunity to verify the truth beauty or body lant, known to of this statement that if you fall all fashionable salons where asleep tense and tired you usual­ complete beauty culture is prac­ ly wake much the same way. But ticed. This is a Yery simple way this doctor's a d v i c e always of relaxing the ''"hole body by seemed too stern for us to fol low. placing the head lower than the \i\f hen we are t ired we simply do feet at the proper angle. The not exercise ! beauty slant straightens the Many years later - just the spine ... frees feet and legs from other day in fact - we found a the continual pull of gravity, re­ solution to the problem, at leasing congestions in tissues ECKERTS' of a ll places! Solu­ and blood stream . g ives ab­ tion is the Rx Lounge, contour dominal muscles a lift and allows chair with a patented construc­ the blood to flow easily, without tion that enables you, with a strain on the heart, to face, minimum of effort, to exercise throat, chin and shoulders.
    [Show full text]
  • Marking the Grave of Lincoln's Mother
    Bulletm of the Linculn Nations! Life Foundation. - - - - - - Dr. Louis A. Warren, E~itor. Published each we<'k by Tho Lincoln Nataonal L•fe lnsurnnce Company, of Fort Wayne, Indiana. No. 218 Jo'ORT WAYNE, fNDIANA June 12, 1933 MARKING THE GRAVE OF LINCOLN'S MOTHER The annual obJt rvancc o! :M<'morhll nnlt \1,; i~h nppro­ :. h·tt··r which )lr. P. E. Studebaker or South Bend wrote priatc e.."<erci~~ at the grn\'e of Nancy Hank L1ncoln in· to Cu~emor !.Iount on June 11, 1897, staU.s t.hnt he rood ,;tcs a contlnunll)· incrC".lBII g numlw:r of people to attend of th~ negl~led condition of the grave in a ncY..'"Spaper, the ceremonie:; each yenr. 1 h1 fact a;,uggl" t3 thnt the ma~k­ and, at the :;-uggestion of Sehuyler Cotcax, "I enu cd a ing of the burial placo of Lincoln's mother •• a story wh1ch mO\;.~t .:.lab to be pbccd o'\"'"~r the gra\·e, and at the J.Bmo should be preserved. Whlil• at as difilcult tn \erify a;ome of time friends pbced an iron fence around the lot ... 1 hn\'G the early tradition" mentioning rn:Lrkcra used nt the grave, u \Cr my:.clf vi,.itcd tht< spot." Trumnn S. Gilke)•, the post­ the accounL;,; of the more forrnal nttempts to honor the m·aster ht H~kport, acted as agent for llr. Stud<'bak(>r in president's mother arc av.aiJab1e. t'urchn!-.ing the marker. Allli-.d H. Yates, the Jocal Jnonu· Origi11al .llarl~crs m(nt worker, ~ured the stone from \\'.
    [Show full text]
  • TLD: Сайт Script Identifier: Cyrillic Script Description: Cyrillic Unicode (Basic, Extended-A and Extended-B) Version: 1.0 Effective Date: 02 April 2012
    TLD: сайт Script Identifier: Cyrillic Script Description: Cyrillic Unicode (Basic, Extended-A and Extended-B) Version: 1.0 Effective Date: 02 April 2012 Registry: сайт Registry Contact: Iliya Bazlyankov <[email protected]> Tel: +359 8 9999 1690 Website: http://www.corenic.org This document presents a character table used by сайт Registry for IDN registrations in Cyrillic script. The policy disallows IDN variants, but prevents registration of names with potentially similar characters to avoid any user confusion. U+002D;U+002D # HYPHEN-MINUS -;- U+0030;U+0030 # DIGIT ZERO 0;0 U+0031;U+0031 # DIGIT ONE 1;1 U+0032;U+0032 # DIGIT TWO 2;2 U+0033;U+0033 # DIGIT THREE 3;3 U+0034;U+0034 # DIGIT FOUR 4;4 U+0035;U+0035 # DIGIT FIVE 5;5 U+0036;U+0036 # DIGIT SIX 6;6 U+0037;U+0037 # DIGIT SEVEN 7;7 U+0038;U+0038 # DIGIT EIGHT 8;8 U+0039;U+0039 # DIGIT NINE 9;9 U+0430;U+0430 # CYRILLIC SMALL LETTER A а;а U+0431;U+0431 # CYRILLIC SMALL LETTER BE б;б U+0432;U+0432 # CYRILLIC SMALL LETTER VE в;в U+0433;U+0433 # CYRILLIC SMALL LETTER GHE г;г U+0434;U+0434 # CYRILLIC SMALL LETTER DE д;д U+0435;U+0435 # CYRILLIC SMALL LETTER IE е;е U+0436;U+0436 # CYRILLIC SMALL LETTER ZHE ж;ж U+0437;U+0437 # CYRILLIC SMALL LETTER ZE з;з U+0438;U+0438 # CYRILLIC SMALL LETTER I и;и U+0439;U+0439 # CYRILLIC SMALL LETTER SHORT I й;й U+043A;U+043A # CYRILLIC SMALL LETTER KA к;к U+043B;U+043B # CYRILLIC SMALL LETTER EL л;л U+043C;U+043C # CYRILLIC SMALL LETTER EM м;м U+043D;U+043D # CYRILLIC SMALL LETTER EN н;н U+043E;U+043E # CYRILLIC SMALL LETTER O о;о U+043F;U+043F
    [Show full text]
  • Native Lands in Central Iowa
    Native Lands in Central Iowa Indigenous peoples have lived in Iowa for over 10,000 years. Since about 3,000 years ago, Native people in what is today Iowa have been farmers. They built villages and towns, burial and effigy mounds, ridged fields, and large earthworks. They were involved in a network of trade that spanned the continent. Native people have been shaping this land just like they have been shaping its history and its current society and culture from time immemorial. Today, the state of Iowa is home to around 17,000 Native people from all over North America. Most people in the United States do not know much about the history of the land or the histories of the people of the land. Iowa State University, the land grant university in Iowa, takes its obligations to provide that education seriously. Iowa State University acknowledges the histories of the land it is built on, and where students, faculty, and staff gather to learn, educate, and live. This land carries the histories within it, and the people on it establish relations to the land through the ways in which they remember and acknowledge those histories. Those histories are complex. If we listen to them we learn how to relate. If we ignore them, we run the danger of tapping into some of the darkest stereotypes and untruths. Land Acknowledgment Statement "Iowa State University aspires to be the best land‐grant university at creating a welcoming and inclusive environment where diverse individuals can succeed and thrive. As a land‐grant institution, we are committed to the caretaking of this land and would like to begin this event by acknowledging those who have previously taken care of the land on which we gather.
    [Show full text]
  • Early American Gravestones Introduction to the Farber Gravestone Collection by Jessie Lie Farber
    Early American Gravestones Introduction to the Farber Gravestone Collection by Jessie Lie Farber Copyright 2003 American Antiquarian Society ACKNOWLEDGMENTS INTRODUCTION FREQUENTLY ASKED QUESTIONS Who is interested in America’s early gravestones? How did this collection of gravestone photographs develop? How were the photographs made? Where are the colonial burying grounds? Have early American graveyards changed over time? Why do the early stones face west? How many early American gravestones are there? What are common sizes and shapes of seventeenth- and eighteenth-century gravestones? What materials were used? What is the current condition of the early stones? What can be done to lengthen the life of these artifacts? Who carved the stones? How is a carver identified? What motifs decorate the stones? What do the motifs on the stones mean? Who wrote the inscriptions? What was the general form of the inscription? What kinds of verses were used? What is the source of the verses? What quotations were used? What was the lettering style, wording, and layout of the inscriptions? What is the relationship between the motifs and the inscriptions? Are there many variations on the basic gravestone styles here described? What conclusions can be drawn from the study of the country’s early gravestones? RECOMMENDED READING ACKNOWLEDGMENTS Creating this photograph collection was a fascinating labor of love that dominated and enhanced our lives for more than twenty years. In each of its two phases we have enjoyed a great deal of assistance from friends, colleagues, and institutions. We thank those who aided us in our search for interesting old burial grounds.
    [Show full text]
  • Ashef Lshtshfum JDA Winslow
    Ashef Lshtshfum JDA Winslow I write bad jokes. Bad jokes are more interesting than Russian. The Russian passport has two names. First, in funny ones. Here’s one: the Latin alphabet, there’s Foma Kinaev. Foma’s a credi- ble Russian name. Secondly, written in Cyrillic there’s Q: How does Jason Bourne know he’s Jason Bourne? Ащьф Лштшфум. When I look down at my MacBook A: Because he is Matt Damon. now, as I’m writing this, I can see how it would happen. About four years ago I spent a happy hour or two care- To get it you need a fair bit of background informa- fully sticking down transfers of Cyrillic letters onto my tion. You need to have seen at least one of the Bourne keyboard. Where the letter F is on my keyboard I have films, unless the one you’ve seen is The Bourne Legacy, a small cyrillic А. Where I have o I have Щ, the soft sh in which case you need to have seen two. An even more sound. M has Ь, the soft sign, and so on. The Bourne Bourne passport - American niche version would go like this: Supremacy’s goof then could be read as just that, a goof of hitting the same place on a keyboard, even when the Matt Damon stands in a room in a Swiss bank, looking keyboard’s layout is changed. I’d argue that, goof and at the safety deposit box he’s looking down at. He sta- all, it’s also something more.
    [Show full text]
  • Results of Emancipation
    SPEECH OF REV. HENRY BLEBY, MISSION.A.RY ffR01tI B.ARBADOES, ON THE RESULTS OF EMANCIPATION IN THE BRITISH 'V. I.- COLONIES, Delivered at the Celebration of the Massachu­ setts Anti-Slavery Society, held at Island qrove, Abington, July 31st, 1858. FHONOGRA.PHIC REPORT BY J. M. W. YERRINTON* BOSTON: , R. F. W A. L Leu T, 21 COR N H ILL. 18 58. S PE ,E C H• • , I am h3:PPY, Mr. President, that you have placed me before this assembly, not as one from whom a speech may be expected, but in the capacity of a wit. 'ness; and therefore I can tell a plain, straight-for­ ward tale, without being at all cast down by the con­ sciousness that I cannot make any pretension to those gifts of oratory, which I have observed our friends have been accustomed to meet with in connection with those who have taken a leading part on such occasions as this. I am, perhaps, Mr. Chairman, the only person pres­ ent ,vho was all eye-witness of that event which you have met together this day to celebrate. You will see that I am not a yery old man, sir; the snows of age have not entIrely covered my head; but I am old ~ . enough to have been present during that insung ectlon to ,vhich you have referred, al1d which was one of the principal evel1ts which hastened on the crisis of the movement for West India Emancipation, and con­ strained the B.ritish government to 'let the oppressed go free.' It had been customary with the pro-slavery press of Great Britain,-and a very large portion of that press waSt up to a late hour, under the influence of the West India bodYt and of those interested in 4 the maintenance of slavery,-it had been customary for that press, as it is no,," of the pro-slavery press of this country, to endeavor to mislead the masses by asserting that the slaves ,,,,ere better ,off '~than they would be in freedom, thatthey were perfectly con­ tent with theil· lot, that they hugged their chains, and th,at it was, in brief, a condition very little short of the happiness of Paradise.
    [Show full text]
  • Fact Or Opinion? - Tutor Hints
    Fact or Opinion? - Tutor Hints A fact is a statement that can be verified. It can be proven to be true or false through objective evidence. An opinion is a statement that expresses a feeling, an attitude, a value judgment, or a belief. It is a statement that is neither true nor false. Or it may feel true for some, but false for others. A FACT: AN OPINION: - can be proven true or false through - cannot be presently verified. objective evidence. - relies on connotative language. - relies on denotative language. - can mean different things to different - frequently uses measurable or people. verifiable numbers, statistics, dates - uses value judgment words and and measurements. comparisons such as “best,” “most,” etc… Practice: Fact or Opinion or Both? 1. I have a husband and two children. 2. Pit bulls are the most dangerous dogs alive. 3. Ostriches do not hide their head in the sand. 4. There is nothing like an ice-cold bottle of Coke to satisfy a thirst! 5. It is time for educators to assume more responsibility for schools’ unhealthy lunch menus. 6. The government should increase spending for preventing unwanted pregnancy; more than one million teenagers become pregnant every year. 7. Rob said that the book Angels and Demons is better than The Da Vinci Code. 8. New York City is not the capital of New York State. Other tips on fact and opinion: • Opinions may sometimes look like facts because of professional or technical-sounding words: State funded and accredited schools are far superior to private institutions. • A false fact is still a fact: A majority of experts agree that smoking daily can improve your health.
    [Show full text]